runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201007051233/inescp-1.0/1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/debian-dudf//1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf /home/misc2010/tmp/201007051233/inescp-1.0/1dcce248-4bb4-11df-9e6e-00163e7a6f5e.cudf.debian-dudf.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 0.79 0.97 0.98 1/37 5318 /proc/meminfo: memFree=921448/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2884 CPUtime=0 /proc/5318/stat : 5318 (runsolver) R 5317 5318 3447 769 3447 4202560 73 0 0 0 0 0 0 0 22 0 1 0 526576057 2953216 93 1283457024 134512640 134586868 4287589120 18446744073709551615 4158530602 0 0 0 24578 0 0 0 17 0 0 0 0 /proc/5318/statm: 721 93 62 19 0 53 0 [startup+0.11662 s] /proc/loadavg: 0.79 0.97 0.98 1/37 5318 /proc/meminfo: memFree=921448/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.204623 s] /proc/loadavg: 0.79 0.97 0.98 1/37 5318 /proc/meminfo: memFree=921448/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.304632 s] /proc/loadavg: 0.79 0.97 0.98 1/37 5318 /proc/meminfo: memFree=921448/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+0.704718 s] /proc/loadavg: 0.79 0.97 0.98 1/37 5318 /proc/meminfo: memFree=921448/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2384 [startup+1.52279 s] /proc/loadavg: 0.79 0.97 0.98 2/48 5329 /proc/meminfo: memFree=897848/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 [pid=5320] ppid=5318 vsize=4000 CPUtime=0 /proc/5320/stat : 5320 (cudf-solver.py) S 5318 5318 3447 769 3447 4202496 747 0 1 0 0 0 0 0 23 0 1 0 526576057 4096000 643 1283457024 134512640 135539072 4293480832 18446744073709551615 4159322526 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5320/statm: 1000 643 348 251 0 301 0 [pid=5321] ppid=5320 vsize=864992 CPUtime=0.28 /proc/5321/stat : 5321 (java) S 5320 5318 3447 769 3447 4202496 7378 0 229 0 28 0 0 0 22 0 9 0 526576059 885751808 6492 1283457024 134512640 134550932 4291038864 18446744073709551615 4159902866 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5321/statm: 216248 6492 2715 10 0 210586 0 [pid=5321/tid=5322] ppid=5320 vsize=864992 CPUtime=0.14 /proc/5321/task/5322/stat : 5322 (java) R 5320 5318 3447 769 3447 4202560 2718 0 159 0 14 0 0 0 20 0 9 0 526576084 885751808 6492 1283457024 134512640 134550932 4291038864 18446744073709551615 4159926983 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5321/tid=5323] ppid=5320 vsize=864992 CPUtime=0.09 /proc/5321/task/5323/stat : 5323 (java) R 5320 5318 3447 769 3447 4202560 3151 0 24 0 9 0 0 0 15 0 9 0 526576097 885751808 6492 1283457024 134512640 134550932 4291038864 18446744073709551615 103733279 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=5321/tid=5324] ppid=5320 vsize=864992 CPUtime=0 /proc/5321/task/5324/stat : 5324 (java) S 5320 5318 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 526576102 885751808 6492 1283457024 134512640 134550932 4291038864 18446744073709551615 4159916272 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=5321/tid=5325] ppid=5320 vsize=864992 CPUtime=0 /proc/5321/task/5325/stat : 5325 (java) S 5320 5318 3447 769 3447 4202560 7 0 1 0 0 0 0 0 15 0 9 0 526576102 885751808 6492 1283457024 134512640 134550932 4291038864 18446744073709551615 4159916272 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=5321/tid=5326] ppid=5320 vsize=864992 CPUtime=0 /proc/5321/task/5326/stat : 5326 (java) S 5320 5318 3447 769 3447 4202560 1 0 0 0 0 0 0 0 23 0 9 0 526576111 885751808 6492 1283457024 134512640 134550932 4291038864 18446744073709551615 4159924560 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=5321/tid=5327] ppid=5320 vsize=864992 CPUtime=0.04 /proc/5321/task/5327/stat : 5327 (java) S 5320 5318 3447 769 3447 4202560 429 0 8 0 4 0 0 0 16 0 9 0 526576111 885751808 6492 1283457024 134512640 134550932 4291038864 18446744073709551615 4159916272 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=5321/tid=5328] ppid=5320 vsize=864992 CPUtime=0 /proc/5321/task/5328/stat : 5328 (java) S 5320 5318 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526576111 885751808 6492 1283457024 134512640 134550932 4291038864 18446744073709551615 4159916272 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=5321/tid=5329] ppid=5320 vsize=864992 CPUtime=0 /proc/5321/task/5329/stat : 5329 (java) R 5320 5318 3447 769 3447 4202560 1 0 0 0 0 0 0 0 16 0 9 0 526576111 885751808 6492 1283457024 134512640 134550932 4291038864 18446744073709551615 4159917064 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 871376 [startup+3.11316 s] /proc/loadavg: 0.79 0.97 0.98 2/48 5329 /proc/meminfo: memFree=861452/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 [pid=5320] ppid=5318 vsize=4000 CPUtime=0 /proc/5320/stat : 5320 (cudf-solver.py) S 5318 5318 3447 769 3447 4202496 747 0 1 0 0 0 0 0 23 0 1 0 526576057 4096000 643 1283457024 134512640 135539072 4293480832 18446744073709551615 4159322526 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5320/statm: 1000 643 348 251 0 301 0 [pid=5321] ppid=5320 vsize=865896 CPUtime=1.87 /proc/5321/stat : 5321 (java) S 5320 5318 3447 769 3447 4202496 22470 0 229 0 179 8 0 0 22 0 9 0 526576059 886677504 20627 1283457024 134512640 134550932 4291038864 18446744073709551615 4159902866 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/5321/statm: 216474 20627 2715 10 0 210812 0 [pid=5321/tid=5322] ppid=5320 vsize=865896 CPUtime=1.06 /proc/5321/task/5322/stat : 5322 (java) R 5320 5318 3447 769 3447 4202560 3262 0 159 0 105 1 0 0 21 0 9 0 526576084 886677504 20627 1283457024 134512640 134550932 4291038864 18446744073709551615 4159926983 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=5321/tid=5323] ppid=5320 vsize=865896 CPUtime=0.75 /proc/5321/task/5323/stat : 5323 (java) R 5320 5318 3447 769 3447 4202560 17687 0 24 0 69 6 0 0 16 0 9 0 526576097 886677504 20627 1283457024 134512640 134550932 4291038864 18446744073709551615 104190752 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=5321/tid=5324] ppid=5320 vsize=865896 CPUtime=0 /proc/5321/task/5324/stat : 5324 (java) S 5320 5318 3447 769 3447 4202560 15 0 0 0 0 0 0 0 15 0 9 0 526576102 886677504 20627 1283457024 134512640 134550932 4291038864 18446744073709551615 4159916272 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=5321/tid=5325] ppid=5320 vsize=865896 CPUtime=0 /proc/5321/task/5325/stat : 5325 (java) S 5320 5318 3447 769 3447 4202560 7 0 1 0 0 0 0 0 15 0 9 0 526576102 886677504 20627 1283457024 134512640 134550932 4291038864 18446744073709551615 4159916272 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=5321/tid=5326] ppid=5320 vsize=865896 CPUtime=0 /proc/5321/task/5326/stat : 5326 (java) S 5320 5318 3447 769 3447 4202560 1 0 0 0 0 0 0 0 23 0 9 0 526576111 886677504 20627 1283457024 134512640 134550932 4291038864 18446744073709551615 4159924560 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=5321/tid=5327] ppid=5320 vsize=865896 CPUtime=0.04 /proc/5321/task/5327/stat : 5327 (java) S 5320 5318 3447 769 3447 4202560 441 0 8 0 4 0 0 0 15 0 9 0 526576111 886677504 20627 1283457024 134512640 134550932 4291038864 18446744073709551615 4159916272 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=5321/tid=5328] ppid=5320 vsize=865896 CPUtime=0 /proc/5321/task/5328/stat : 5328 (java) S 5320 5318 3447 769 3447 4202560 1 0 0 0 0 0 0 0 25 0 9 0 526576111 886677504 20627 1283457024 134512640 134550932 4291038864 18446744073709551615 4159916272 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 [pid=5321/tid=5329] ppid=5320 vsize=865896 CPUtime=0 /proc/5321/task/5329/stat : 5329 (java) S 5320 5318 3447 769 3447 4202560 1 0 0 0 0 0 0 0 15 0 9 0 526576111 886677504 20627 1283457024 134512640 134550932 4291038864 18446744073709551615 4159917064 0 4 0 16800975 18446612133392890560 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.87 Current children cumulated vsize (KiB) 872280 heavy processes: [startup+6.30854 s] /proc/loadavg: 0.81 0.97 0.98 2/41 5330 /proc/meminfo: memFree=774200/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 [pid=5320] ppid=5318 vsize=4000 CPUtime=3.95 /proc/5320/stat : 5320 (cudf-solver.py) S 5318 5318 3447 769 3447 4202496 775 42180 1 240 0 0 376 19 18 0 1 0 526576057 4096000 643 1283457024 134512640 135539072 4293480832 18446744073709551615 4159322526 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5320/statm: 1000 643 348 251 0 301 0 Current children cumulated CPU time (s) 3.95 Current children cumulated vsize (KiB) 6384 heavy processes: [startup+12.7094 s] /proc/loadavg: 0.82 0.97 0.98 2/41 5334 /proc/meminfo: memFree=838252/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 [pid=5320] ppid=5318 vsize=4000 CPUtime=6.5 /proc/5320/stat : 5320 (cudf-solver.py) S 5318 5318 3447 769 3447 4202496 803 44101 1 253 0 0 578 72 18 0 1 0 526576057 4096000 643 1283457024 134512640 135539072 4293480832 18446744073709551615 4159322526 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5320/statm: 1000 643 348 251 0 301 0 [pid=5333] ppid=5320 vsize=2896 CPUtime=0.01 /proc/5333/stat : 5333 (sh) S 5320 5318 3447 769 3447 4194304 360 0 0 0 1 0 0 0 18 0 1 0 526576862 2965504 324 1283457024 134512640 135191968 4286942176 18446744073709551615 4159568286 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5333/statm: 724 324 221 166 0 156 0 [pid=5334] ppid=5333 vsize=46932 CPUtime=4.55 /proc/5334/stat : 5334 (msuncore) R 5333 5318 3447 769 3447 4202496 52432 0 14 0 431 24 0 0 25 0 1 0 526576862 48058368 11435 1283457024 134512640 135858300 4294931056 18446744073709551615 134671120 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/5334/statm: 11733 11435 134 329 0 11402 0 Current children cumulated CPU time (s) 11.06 Current children cumulated vsize (KiB) 56212 Solver just ended. Dumping a history of the last processes samples [startup+15.91 s] /proc/loadavg: 0.84 0.97 0.98 2/41 5334 /proc/meminfo: memFree=837880/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 [pid=5320] ppid=5318 vsize=4000 CPUtime=6.5 /proc/5320/stat : 5320 (cudf-solver.py) S 5318 5318 3447 769 3447 4202496 803 44101 1 253 0 0 578 72 18 0 1 0 526576057 4096000 643 1283457024 134512640 135539072 4293480832 18446744073709551615 4159322526 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5320/statm: 1000 643 348 251 0 301 0 [pid=5333] ppid=5320 vsize=2896 CPUtime=0.01 /proc/5333/stat : 5333 (sh) S 5320 5318 3447 769 3447 4194304 360 0 0 0 1 0 0 0 18 0 1 0 526576862 2965504 324 1283457024 134512640 135191968 4286942176 18446744073709551615 4159568286 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5333/statm: 724 324 221 166 0 156 0 [pid=5334] ppid=5333 vsize=47624 CPUtime=7.75 /proc/5334/stat : 5334 (msuncore) R 5333 5318 3447 769 3447 4202496 68512 0 14 0 742 33 0 0 25 0 1 0 526576862 48766976 11627 1283457024 134512640 135858300 4294931056 18446744073709551615 135336595 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/5334/statm: 11906 11627 137 329 0 11575 0 Current children cumulated CPU time (s) 14.26 Current children cumulated vsize (KiB) 56904 [startup+17.5103 s] /proc/loadavg: 0.84 0.97 0.98 2/41 5334 /proc/meminfo: memFree=836888/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 [pid=5320] ppid=5318 vsize=4000 CPUtime=6.5 /proc/5320/stat : 5320 (cudf-solver.py) S 5318 5318 3447 769 3447 4202496 803 44101 1 253 0 0 578 72 18 0 1 0 526576057 4096000 643 1283457024 134512640 135539072 4293480832 18446744073709551615 4159322526 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5320/statm: 1000 643 348 251 0 301 0 [pid=5333] ppid=5320 vsize=2896 CPUtime=0.01 /proc/5333/stat : 5333 (sh) S 5320 5318 3447 769 3447 4194304 360 0 0 0 1 0 0 0 18 0 1 0 526576862 2965504 324 1283457024 134512640 135191968 4286942176 18446744073709551615 4159568286 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5333/statm: 724 324 221 166 0 156 0 [pid=5334] ppid=5333 vsize=47624 CPUtime=9.35 /proc/5334/stat : 5334 (msuncore) R 5333 5318 3447 769 3447 4202496 68512 0 14 0 902 33 0 0 25 0 1 0 526576862 48766976 11627 1283457024 134512640 135858300 4294931056 18446744073709551615 135341749 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/5334/statm: 11906 11627 137 329 0 11575 0 Current children cumulated CPU time (s) 15.86 Current children cumulated vsize (KiB) 56904 [startup+19.1108 s] /proc/loadavg: 0.85 0.97 0.98 2/41 5334 /proc/meminfo: memFree=836888/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 [pid=5320] ppid=5318 vsize=4000 CPUtime=6.5 /proc/5320/stat : 5320 (cudf-solver.py) S 5318 5318 3447 769 3447 4202496 803 44101 1 253 0 0 578 72 18 0 1 0 526576057 4096000 643 1283457024 134512640 135539072 4293480832 18446744073709551615 4159322526 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5320/statm: 1000 643 348 251 0 301 0 [pid=5333] ppid=5320 vsize=2896 CPUtime=0.01 /proc/5333/stat : 5333 (sh) S 5320 5318 3447 769 3447 4194304 360 0 0 0 1 0 0 0 18 0 1 0 526576862 2965504 324 1283457024 134512640 135191968 4286942176 18446744073709551615 4159568286 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5333/statm: 724 324 221 166 0 156 0 [pid=5334] ppid=5333 vsize=47624 CPUtime=10.95 /proc/5334/stat : 5334 (msuncore) R 5333 5318 3447 769 3447 4202496 68512 0 14 0 1062 33 0 0 25 0 1 0 526576862 48766976 11627 1283457024 134512640 135858300 4294931056 18446744073709551615 134658911 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/5334/statm: 11906 11627 137 329 0 11575 0 Current children cumulated CPU time (s) 17.46 Current children cumulated vsize (KiB) 56904 [startup+19.5109 s] /proc/loadavg: 0.85 0.97 0.98 2/41 5334 /proc/meminfo: memFree=836888/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 [pid=5320] ppid=5318 vsize=4000 CPUtime=6.5 /proc/5320/stat : 5320 (cudf-solver.py) S 5318 5318 3447 769 3447 4202496 803 44101 1 253 0 0 578 72 18 0 1 0 526576057 4096000 643 1283457024 134512640 135539072 4293480832 18446744073709551615 4159322526 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/5320/statm: 1000 643 348 251 0 301 0 [pid=5333] ppid=5320 vsize=2896 CPUtime=0.01 /proc/5333/stat : 5333 (sh) S 5320 5318 3447 769 3447 4194304 360 0 0 0 1 0 0 0 18 0 1 0 526576862 2965504 324 1283457024 134512640 135191968 4286942176 18446744073709551615 4159568286 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5333/statm: 724 324 221 166 0 156 0 [pid=5334] ppid=5333 vsize=47624 CPUtime=11.35 /proc/5334/stat : 5334 (msuncore) R 5333 5318 3447 769 3447 4202496 68512 0 14 0 1102 33 0 0 25 0 1 0 526576862 48766976 11627 1283457024 134512640 135858300 4294931056 18446744073709551615 134626804 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/5334/statm: 11906 11627 137 329 0 11575 0 Current children cumulated CPU time (s) 17.86 Current children cumulated vsize (KiB) 56904 [startup+19.906 s] /proc/loadavg: 0.85 0.97 0.98 2/39 5334 /proc/meminfo: memFree=881436/1048576 swapFree=2092160/2097144 [pid=5318] ppid=5317 vsize=2384 CPUtime=0 /proc/5318/stat : 5318 (inescp-1.0) S 5317 5318 3447 769 3447 4194304 360 0 0 0 0 0 0 0 22 0 1 0 526576057 2441216 259 1283457024 134512640 135191968 4289850880 18446744073709551615 4158863774 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/5318/statm: 596 259 222 166 0 28 0 [pid=5320] ppid=5318 vsize=14132 CPUtime=18.25 /proc/5320/stat : 5320 (cudf-solver.py) R 5318 5318 3447 769 3447 4202496 3590 112995 1 268 24 0 1695 106 18 0 1 0 526576057 14471168 3173 1283457024 134512640 135539072 4293480832 18446744073709551615 135056135 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/5320/statm: 3533 3173 348 251 0 2834 0 Current children cumulated CPU time (s) 18.25 Current children cumulated vsize (KiB) 16516 Child status: 0 Real time (s): 19.9529 CPU time (s): 18.2811 CPU user time (s): 17.2091 CPU system time (s): 1.07207 CPU usage (%): 91.6216 Max. virtual memory (cumulated for all children) (KiB): 872424 getrusage(RUSAGE_CHILDREN,...) data: user time used= 17.2091 system time used= 1.07207 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 119290 page faults= 270 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 2296 involuntary context switches= 2064 runsolver used 0 second user time and 0.004 second system time The end