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/201007051419/inescp-1.0/rand06f749.cudf.difficult.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/difficult//rand06f749.cudf /home/misc2010/tmp/201007051419/inescp-1.0/rand06f749.cudf.difficult.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: 1.11 0.96 0.55 2/105 15225 /proc/meminfo: memFree=723772/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2880 CPUtime=0 /proc/15225/stat : 15225 (runsolver) R 15224 15225 13759 34823 13904 4202560 73 0 0 0 0 0 0 0 19 0 1 0 415082003 2949120 92 1283457024 134512640 134586868 4291406960 18446744073709551615 4157936922 0 2147483391 0 24578 0 0 0 17 0 0 0 0 /proc/15225/statm: 720 92 62 19 0 52 0 [startup+0.200287 s] /proc/loadavg: 1.11 0.96 0.55 2/105 15225 /proc/meminfo: memFree=723772/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.310266 s] /proc/loadavg: 1.11 0.96 0.55 2/105 15225 /proc/meminfo: memFree=723772/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.406466 s] /proc/loadavg: 1.11 0.96 0.55 2/105 15225 /proc/meminfo: memFree=723772/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+0.704484 s] /proc/loadavg: 1.11 0.96 0.55 2/105 15225 /proc/meminfo: memFree=723772/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 2376 [startup+1.5046 s] /proc/loadavg: 1.11 0.96 0.55 2/118 15240 /proc/meminfo: memFree=663148/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 [pid=15227] ppid=15225 vsize=4004 CPUtime=0 /proc/15227/stat : 15227 (cudf-solver.py) S 15225 15225 13759 34823 13904 4202496 754 0 1 0 0 0 0 0 17 0 1 0 415082004 4100096 642 1283457024 134512640 135539072 4293271296 18446744073709551615 4158708366 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15227/statm: 1001 642 346 251 0 302 0 [pid=15228] ppid=15227 vsize=877640 CPUtime=2.03 /proc/15228/stat : 15228 (java) S 15227 15225 13759 34823 13904 4202496 28082 0 0 0 191 12 0 0 18 0 12 0 415082005 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4160124050 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15228/statm: 219410 22832 1744 10 0 216497 0 [pid=15228/tid=15229] ppid=15227 vsize=877640 CPUtime=0.69 /proc/15228/task/15229/stat : 15229 (java) S 15227 15225 13759 34823 13904 4202560 9316 0 0 0 64 5 0 0 18 0 12 0 415082007 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=15228/tid=15230] ppid=15227 vsize=877640 CPUtime=0.1 /proc/15228/task/15230/stat : 15230 (java) S 15227 15225 13759 34823 13904 4202560 4174 0 0 0 9 1 0 0 16 0 12 0 415082008 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=15228/tid=15231] ppid=15227 vsize=877640 CPUtime=0.11 /proc/15228/task/15231/stat : 15231 (java) S 15227 15225 13759 34823 13904 4202560 3920 0 0 0 9 2 0 0 15 0 12 0 415082008 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=15228/tid=15232] ppid=15227 vsize=877640 CPUtime=0.06 /proc/15228/task/15232/stat : 15232 (java) R 15227 15225 13759 34823 13904 4202560 48 0 0 0 6 0 0 0 15 0 12 0 415082009 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4150261832 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=15228/tid=15233] ppid=15227 vsize=877640 CPUtime=0 /proc/15228/task/15233/stat : 15233 (java) S 15227 15225 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 17 0 12 0 415082010 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=15228/tid=15234] ppid=15227 vsize=877640 CPUtime=0 /proc/15228/task/15234/stat : 15234 (java) S 15227 15225 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 17 0 12 0 415082010 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=15228/tid=15235] ppid=15227 vsize=877640 CPUtime=0 /proc/15228/task/15235/stat : 15235 (java) S 15227 15225 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 415082013 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4160145744 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=15228/tid=15236] ppid=15227 vsize=877640 CPUtime=0.47 /proc/15228/task/15236/stat : 15236 (java) S 15227 15225 13759 34823 13904 4202560 5640 0 0 0 46 1 0 0 15 0 12 0 415082013 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=15228/tid=15237] ppid=15227 vsize=877640 CPUtime=0.54 /proc/15228/task/15237/stat : 15237 (java) S 15227 15225 13759 34823 13904 4202560 3576 0 0 0 54 0 0 0 15 0 12 0 415082013 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=15228/tid=15238] ppid=15227 vsize=877640 CPUtime=0 /proc/15228/task/15238/stat : 15238 (java) S 15227 15225 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415082013 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=15228/tid=15239] ppid=15227 vsize=877640 CPUtime=0 /proc/15228/task/15239/stat : 15239 (java) S 15227 15225 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415082013 898703360 22832 1283457024 134512640 134550932 4289126992 18446744073709551615 4160138248 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.03 Current children cumulated vsize (KiB) 884020 [startup+3.10664 s] /proc/loadavg: 1.26 0.99 0.56 2/118 15240 /proc/meminfo: memFree=577340/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 [pid=15227] ppid=15225 vsize=4004 CPUtime=0 /proc/15227/stat : 15227 (cudf-solver.py) S 15225 15225 13759 34823 13904 4202496 754 0 1 0 0 0 0 0 17 0 1 0 415082004 4100096 642 1283457024 134512640 135539072 4293271296 18446744073709551615 4158708366 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15227/statm: 1001 642 346 251 0 302 0 [pid=15228] ppid=15227 vsize=883304 CPUtime=4.18 /proc/15228/stat : 15228 (java) S 15227 15225 13759 34823 13904 4202496 48846 0 0 0 399 19 0 0 18 0 12 0 415082005 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4160124050 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/15228/statm: 220826 40923 1770 10 0 217913 0 [pid=15228/tid=15229] ppid=15227 vsize=883304 CPUtime=1.43 /proc/15228/task/15229/stat : 15229 (java) R 15227 15225 13759 34823 13904 4202560 15002 0 0 0 136 7 0 0 16 0 12 0 415082007 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4095351234 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15228/tid=15230] ppid=15227 vsize=883304 CPUtime=0.24 /proc/15228/task/15230/stat : 15230 (java) S 15227 15225 13759 34823 13904 4202560 9796 0 0 0 23 1 0 0 16 0 12 0 415082008 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=15228/tid=15231] ppid=15227 vsize=883304 CPUtime=0.24 /proc/15228/task/15231/stat : 15231 (java) S 15227 15225 13759 34823 13904 4202560 8773 0 0 0 18 6 0 0 15 0 12 0 415082008 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=15228/tid=15232] ppid=15227 vsize=883304 CPUtime=0.26 /proc/15228/task/15232/stat : 15232 (java) S 15227 15225 13759 34823 13904 4202560 1514 0 0 0 26 0 0 0 16 0 12 0 415082009 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4160138248 0 0 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=15228/tid=15233] ppid=15227 vsize=883304 CPUtime=0 /proc/15228/task/15233/stat : 15233 (java) S 15227 15225 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 17 0 12 0 415082010 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=15228/tid=15234] ppid=15227 vsize=883304 CPUtime=0 /proc/15228/task/15234/stat : 15234 (java) S 15227 15225 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 17 0 12 0 415082010 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 1 0 0 0 [pid=15228/tid=15235] ppid=15227 vsize=883304 CPUtime=0 /proc/15228/task/15235/stat : 15235 (java) S 15227 15225 13759 34823 13904 4202560 2 0 0 0 0 0 0 0 25 0 12 0 415082013 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4160145744 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=15228/tid=15236] ppid=15227 vsize=883304 CPUtime=0.99 /proc/15228/task/15236/stat : 15236 (java) R 15227 15225 13759 34823 13904 4202560 8712 0 0 0 98 1 0 0 16 0 12 0 415082013 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4150216061 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=15228/tid=15237] ppid=15227 vsize=883304 CPUtime=0.97 /proc/15228/task/15237/stat : 15237 (java) R 15227 15225 13759 34823 13904 4202560 3641 0 0 0 97 0 0 0 16 0 12 0 415082013 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4150214356 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=15228/tid=15238] ppid=15227 vsize=883304 CPUtime=0 /proc/15228/task/15238/stat : 15238 (java) S 15227 15225 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 415082013 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4160137456 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 [pid=15228/tid=15239] ppid=15227 vsize=883304 CPUtime=0 /proc/15228/task/15239/stat : 15239 (java) S 15227 15225 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 15 0 12 0 415082013 904503296 40923 1283457024 134512640 134550932 4289126992 18446744073709551615 4160138248 0 4 0 16800975 18446612133914178496 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.18 Current children cumulated vsize (KiB) 889684 [startup+6.30473 s] /proc/loadavg: 1.26 0.99 0.56 2/108 15245 /proc/meminfo: memFree=687960/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 [pid=15227] ppid=15225 vsize=4004 CPUtime=5.67 /proc/15227/stat : 15227 (cudf-solver.py) S 15225 15225 13759 34823 13904 4202496 810 54874 1 0 0 0 536 31 15 0 1 0 415082004 4100096 642 1283457024 134512640 135539072 4293271296 18446744073709551615 4158708366 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15227/statm: 1001 642 346 251 0 302 0 [pid=15244] ppid=15227 vsize=2888 CPUtime=0 /proc/15244/stat : 15244 (sh) S 15227 15225 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 415082420 2957312 320 1283457024 134512640 135191968 4287595008 18446744073709551615 4158892686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15244/statm: 722 320 219 166 0 154 0 [pid=15245] ppid=15244 vsize=32268 CPUtime=2.12 /proc/15245/stat : 15245 (msuncore) R 15244 15225 13759 34823 13904 4202496 18507 0 0 0 204 8 0 0 23 0 1 0 415082420 33042432 7822 1283457024 134512640 135858300 4292261520 18446744073709551615 134658848 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/15245/statm: 8067 7822 137 329 0 7736 0 Current children cumulated CPU time (s) 7.79 Current children cumulated vsize (KiB) 41536 Solver just ended. Dumping a history of the last processes samples [startup+6.40475 s] /proc/loadavg: 1.26 0.99 0.56 2/108 15245 /proc/meminfo: memFree=687960/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 [pid=15227] ppid=15225 vsize=4004 CPUtime=5.67 /proc/15227/stat : 15227 (cudf-solver.py) S 15225 15225 13759 34823 13904 4202496 810 54874 1 0 0 0 536 31 15 0 1 0 415082004 4100096 642 1283457024 134512640 135539072 4293271296 18446744073709551615 4158708366 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15227/statm: 1001 642 346 251 0 302 0 [pid=15244] ppid=15227 vsize=2888 CPUtime=0 /proc/15244/stat : 15244 (sh) S 15227 15225 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 415082420 2957312 320 1283457024 134512640 135191968 4287595008 18446744073709551615 4158892686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15244/statm: 722 320 219 166 0 154 0 [pid=15245] ppid=15244 vsize=32268 CPUtime=2.22 /proc/15245/stat : 15245 (msuncore) R 15244 15225 13759 34823 13904 4202496 18507 0 0 0 214 8 0 0 23 0 1 0 415082420 33042432 7822 1283457024 134512640 135858300 4292261520 18446744073709551615 134664315 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/15245/statm: 8067 7822 137 329 0 7736 0 Current children cumulated CPU time (s) 7.89 Current children cumulated vsize (KiB) 41536 [startup+9.60487 s] /proc/loadavg: 1.24 0.99 0.57 2/108 15245 /proc/meminfo: memFree=687968/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 [pid=15227] ppid=15225 vsize=4004 CPUtime=5.67 /proc/15227/stat : 15227 (cudf-solver.py) S 15225 15225 13759 34823 13904 4202496 810 54874 1 0 0 0 536 31 15 0 1 0 415082004 4100096 642 1283457024 134512640 135539072 4293271296 18446744073709551615 4158708366 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15227/statm: 1001 642 346 251 0 302 0 [pid=15244] ppid=15227 vsize=2888 CPUtime=0 /proc/15244/stat : 15244 (sh) S 15227 15225 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 415082420 2957312 320 1283457024 134512640 135191968 4287595008 18446744073709551615 4158892686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15244/statm: 722 320 219 166 0 154 0 [pid=15245] ppid=15244 vsize=32268 CPUtime=5.4 /proc/15245/stat : 15245 (msuncore) R 15244 15225 13759 34823 13904 4202496 18507 0 0 0 532 8 0 0 25 0 1 0 415082420 33042432 7822 1283457024 134512640 135858300 4292261520 18446744073709551615 135401313 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/15245/statm: 8067 7822 137 329 0 7736 0 Current children cumulated CPU time (s) 11.07 Current children cumulated vsize (KiB) 41536 [startup+10.4049 s] /proc/loadavg: 1.24 0.99 0.57 2/108 15245 /proc/meminfo: memFree=687968/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 [pid=15227] ppid=15225 vsize=4004 CPUtime=5.67 /proc/15227/stat : 15227 (cudf-solver.py) S 15225 15225 13759 34823 13904 4202496 810 54874 1 0 0 0 536 31 15 0 1 0 415082004 4100096 642 1283457024 134512640 135539072 4293271296 18446744073709551615 4158708366 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15227/statm: 1001 642 346 251 0 302 0 [pid=15244] ppid=15227 vsize=2888 CPUtime=0 /proc/15244/stat : 15244 (sh) S 15227 15225 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 415082420 2957312 320 1283457024 134512640 135191968 4287595008 18446744073709551615 4158892686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15244/statm: 722 320 219 166 0 154 0 [pid=15245] ppid=15244 vsize=32268 CPUtime=6.2 /proc/15245/stat : 15245 (msuncore) R 15244 15225 13759 34823 13904 4202496 18507 0 0 0 612 8 0 0 25 0 1 0 415082420 33042432 7822 1283457024 134512640 135858300 4292261520 18446744073709551615 134658864 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/15245/statm: 8067 7822 137 329 0 7736 0 Current children cumulated CPU time (s) 11.87 Current children cumulated vsize (KiB) 41536 [startup+10.8049 s] /proc/loadavg: 1.24 0.99 0.57 2/108 15245 /proc/meminfo: memFree=687968/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 [pid=15227] ppid=15225 vsize=4004 CPUtime=5.67 /proc/15227/stat : 15227 (cudf-solver.py) S 15225 15225 13759 34823 13904 4202496 810 54874 1 0 0 0 536 31 15 0 1 0 415082004 4100096 642 1283457024 134512640 135539072 4293271296 18446744073709551615 4158708366 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/15227/statm: 1001 642 346 251 0 302 0 [pid=15244] ppid=15227 vsize=2888 CPUtime=0 /proc/15244/stat : 15244 (sh) S 15227 15225 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 415082420 2957312 320 1283457024 134512640 135191968 4287595008 18446744073709551615 4158892686 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15244/statm: 722 320 219 166 0 154 0 [pid=15245] ppid=15244 vsize=32268 CPUtime=6.56 /proc/15245/stat : 15245 (msuncore) R 15244 15225 13759 34823 13904 4202496 18507 0 0 0 648 8 0 0 25 0 1 0 415082420 33042432 7822 1283457024 134512640 135858300 4292261520 18446744073709551615 134620132 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/15245/statm: 8067 7822 137 329 0 7736 0 Current children cumulated CPU time (s) 12.23 Current children cumulated vsize (KiB) 41536 [startup+11.201 s] /proc/loadavg: 1.24 0.99 0.57 3/115 15324 /proc/meminfo: memFree=674396/2097152 swapFree=2055676/2097144 [pid=15225] ppid=15224 vsize=2376 CPUtime=0 /proc/15225/stat : 15225 (inescp-1.0) S 15224 15225 13759 34823 13904 4194304 359 0 0 0 0 0 0 0 19 0 1 0 415082003 2433024 257 1283457024 134512640 135191968 4292410912 18446744073709551615 4158691982 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/15225/statm: 594 257 221 166 0 26 0 [pid=15227] ppid=15225 vsize=4400 CPUtime=12.57 /proc/15227/stat : 15227 (cudf-solver.py) R 15225 15225 13759 34823 13904 4202496 1009 73760 1 0 1 0 1216 40 15 0 1 0 415082004 4505600 737 1283457024 134512640 135539072 4293271296 18446744073709551615 4158869390 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/15227/statm: 1100 737 346 251 0 401 0 Current children cumulated CPU time (s) 12.57 Current children cumulated vsize (KiB) 6776 Child status: 0 Real time (s): 11.2987 CPU time (s): 12.6608 CPU user time (s): 12.2368 CPU system time (s): 0.424026 CPU usage (%): 112.055 Max. virtual memory (cumulated for all children) (KiB): 889748 getrusage(RUSAGE_CHILDREN,...) data: user time used= 12.2368 system time used= 0.424026 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 77065 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 720 involuntary context switches= 508 runsolver used 0.016001 second user time and 0.016001 second system time The end