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/randf17677.cudf.difficult.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/difficult//randf17677.cudf /home/misc2010/tmp/201007051419/inescp-1.0/randf17677.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 1.06 1.06 1/97 8326 /proc/meminfo: memFree=1227012/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=3276 CPUtime=0 /proc/8327/stat : 8327 (cudf-solver.py) R 8326 8326 13759 34823 13904 4202496 406 0 0 0 0 0 0 0 19 0 1 0 419052700 3354624 324 1283457024 134512640 135539072 4288289344 18446744073709551615 135132392 0 0 0 0 0 0 0 17 1 0 0 0 /proc/8327/statm: 819 328 239 251 0 120 0 [startup+0.112341 s] /proc/loadavg: 1.11 1.06 1.06 1/97 8326 /proc/meminfo: memFree=1227012/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=4004 CPUtime=0 /proc/8327/stat : 8327 (cudf-solver.py) S 8326 8326 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 419052700 4100096 642 1283457024 134512640 135539072 4288289344 18446744073709551615 4158601870 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8327/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.204382 s] /proc/loadavg: 1.11 1.06 1.06 1/97 8326 /proc/meminfo: memFree=1227012/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=4004 CPUtime=0 /proc/8327/stat : 8327 (cudf-solver.py) S 8326 8326 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 419052700 4100096 642 1283457024 134512640 135539072 4288289344 18446744073709551615 4158601870 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8327/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.304374 s] /proc/loadavg: 1.11 1.06 1.06 1/97 8326 /proc/meminfo: memFree=1227012/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=4004 CPUtime=0 /proc/8327/stat : 8327 (cudf-solver.py) S 8326 8326 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 419052700 4100096 642 1283457024 134512640 135539072 4288289344 18446744073709551615 4158601870 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8327/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+0.702298 s] /proc/loadavg: 1.11 1.06 1.06 1/97 8326 /proc/meminfo: memFree=1227012/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=4004 CPUtime=0 /proc/8327/stat : 8327 (cudf-solver.py) S 8326 8326 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 419052700 4100096 642 1283457024 134512640 135539072 4288289344 18446744073709551615 4158601870 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8327/statm: 1001 642 346 251 0 302 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6384 [startup+1.50444 s] /proc/loadavg: 1.11 1.06 1.06 4/111 8340 /proc/meminfo: memFree=1177424/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=4004 CPUtime=0 /proc/8327/stat : 8327 (cudf-solver.py) S 8326 8326 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 419052700 4100096 642 1283457024 134512640 135539072 4288289344 18446744073709551615 4158601870 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8327/statm: 1001 642 346 251 0 302 0 [pid=8329] ppid=8327 vsize=889276 CPUtime=1.75 /proc/8329/stat : 8329 (java) S 8327 8326 13759 34823 13904 4202496 25088 0 0 0 164 11 0 0 15 0 12 0 419052706 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159673490 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8329/statm: 222319 19582 1749 10 0 219406 0 [pid=8329/tid=8330] ppid=8327 vsize=889276 CPUtime=0.54 /proc/8329/task/8330/stat : 8330 (java) R 8327 8326 13759 34823 13904 4202560 5829 0 0 0 51 3 0 0 25 0 12 0 419052729 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159698289 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8329/tid=8331] ppid=8327 vsize=889276 CPUtime=0.09 /proc/8329/task/8331/stat : 8331 (java) S 8327 8326 13759 34823 13904 4202560 3496 0 0 0 8 1 0 0 16 0 12 0 419052731 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=8329/tid=8332] ppid=8327 vsize=889276 CPUtime=0.03 /proc/8329/task/8332/stat : 8332 (java) S 8327 8326 13759 34823 13904 4202560 1604 0 0 0 3 0 0 0 15 0 12 0 419052731 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 1 0 0 0 [pid=8329/tid=8333] ppid=8327 vsize=889276 CPUtime=0 /proc/8329/task/8333/stat : 8333 (java) S 8327 8326 13759 34823 13904 4202560 15 0 0 0 0 0 0 0 15 0 12 0 419052732 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159687688 0 0 0 16800975 18446612132635822912 0 0 -1 1 0 0 0 [pid=8329/tid=8334] ppid=8327 vsize=889276 CPUtime=0 /proc/8329/task/8334/stat : 8334 (java) S 8327 8326 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 17 0 12 0 419052732 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=8329/tid=8335] ppid=8327 vsize=889276 CPUtime=0 /proc/8329/task/8335/stat : 8335 (java) S 8327 8326 13759 34823 13904 4202560 5 0 0 0 0 0 0 0 21 0 12 0 419052732 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=8329/tid=8336] ppid=8327 vsize=889276 CPUtime=0 /proc/8329/task/8336/stat : 8336 (java) S 8327 8326 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 22 0 12 0 419052735 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159695184 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=8329/tid=8337] ppid=8327 vsize=889276 CPUtime=0.45 /proc/8329/task/8337/stat : 8337 (java) S 8327 8326 13759 34823 13904 4202560 5474 0 0 0 43 2 0 0 16 0 12 0 419052735 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=8329/tid=8338] ppid=8327 vsize=889276 CPUtime=0.62 /proc/8329/task/8338/stat : 8338 (java) S 8327 8326 13759 34823 13904 4202560 7265 0 0 0 58 4 0 0 15 0 12 0 419052735 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 1 0 0 0 [pid=8329/tid=8339] ppid=8327 vsize=889276 CPUtime=0 /proc/8329/task/8339/stat : 8339 (java) S 8327 8326 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 24 0 12 0 419052735 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=8329/tid=8340] ppid=8327 vsize=889276 CPUtime=0 /proc/8329/task/8340/stat : 8340 (java) S 8327 8326 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 15 0 12 0 419052735 910618624 19582 1283457024 134512640 134550932 4287656176 18446744073709551615 4159687688 0 4 0 16800975 18446612132635822912 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 1.75 Current children cumulated vsize (KiB) 895660 [startup+3.1046 s] /proc/loadavg: 1.10 1.05 1.06 2/111 8340 /proc/meminfo: memFree=1112076/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=4004 CPUtime=0 /proc/8327/stat : 8327 (cudf-solver.py) S 8326 8326 13759 34823 13904 4202496 755 0 0 0 0 0 0 0 19 0 1 0 419052700 4100096 642 1283457024 134512640 135539072 4288289344 18446744073709551615 4158601870 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/8327/statm: 1001 642 346 251 0 302 0 [pid=8329] ppid=8327 vsize=893816 CPUtime=3.94 /proc/8329/stat : 8329 (java) S 8327 8326 13759 34823 13904 4202496 51682 0 0 0 372 22 0 0 15 0 12 0 419052706 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4159673490 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/8329/statm: 223454 43557 1753 10 0 220541 0 [pid=8329/tid=8330] ppid=8327 vsize=893816 CPUtime=1.61 /proc/8329/task/8330/stat : 8330 (java) R 8327 8326 13759 34823 13904 4202560 14803 0 0 0 153 8 0 0 16 0 12 0 419052729 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4149005722 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=8329/tid=8331] ppid=8327 vsize=893816 CPUtime=0.26 /proc/8329/task/8331/stat : 8331 (java) S 8327 8326 13759 34823 13904 4202560 9482 0 0 0 22 4 0 0 16 0 12 0 419052731 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 1 0 0 0 [pid=8329/tid=8332] ppid=8327 vsize=893816 CPUtime=0.21 /proc/8329/task/8332/stat : 8332 (java) S 8327 8326 13759 34823 13904 4202560 9054 0 0 0 19 2 0 0 15 0 12 0 419052731 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=8329/tid=8333] ppid=8327 vsize=893816 CPUtime=0.24 /proc/8329/task/8333/stat : 8333 (java) S 8327 8326 13759 34823 13904 4202560 1694 0 0 0 24 0 0 0 15 0 12 0 419052732 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4159687688 0 0 0 16800975 18446612132635822912 0 0 -1 1 0 0 0 [pid=8329/tid=8334] ppid=8327 vsize=893816 CPUtime=0 /proc/8329/task/8334/stat : 8334 (java) S 8327 8326 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 15 0 12 0 419052732 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=8329/tid=8335] ppid=8327 vsize=893816 CPUtime=0 /proc/8329/task/8335/stat : 8335 (java) S 8327 8326 13759 34823 13904 4202560 7 0 0 0 0 0 0 0 18 0 12 0 419052732 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=8329/tid=8336] ppid=8327 vsize=893816 CPUtime=0 /proc/8329/task/8336/stat : 8336 (java) S 8327 8326 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 22 0 12 0 419052735 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4159695184 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=8329/tid=8337] ppid=8327 vsize=893816 CPUtime=0.73 /proc/8329/task/8337/stat : 8337 (java) R 8327 8326 13759 34823 13904 4202560 7628 0 0 0 71 2 0 0 16 0 12 0 419052735 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4149763144 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8329/tid=8338] ppid=8327 vsize=893816 CPUtime=0.85 /proc/8329/task/8338/stat : 8338 (java) R 8327 8326 13759 34823 13904 4202560 7614 0 0 0 81 4 0 0 16 0 12 0 419052735 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4147719392 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=8329/tid=8339] ppid=8327 vsize=893816 CPUtime=0 /proc/8329/task/8339/stat : 8339 (java) S 8327 8326 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 24 0 12 0 419052735 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4159686896 0 4 0 16800975 18446612132635822912 0 0 -1 0 0 0 0 [pid=8329/tid=8340] ppid=8327 vsize=893816 CPUtime=0 /proc/8329/task/8340/stat : 8340 (java) S 8327 8326 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 15 0 12 0 419052735 915267584 43557 1283457024 134512640 134550932 4287656176 18446744073709551615 4159687688 0 4 0 16800975 18446612132635822912 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 3.94 Current children cumulated vsize (KiB) 900200 [startup+6.313 s] /proc/loadavg: 1.10 1.05 1.06 2/101 8345 /proc/meminfo: memFree=1209116/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=4004 CPUtime=6.73 /proc/8327/stat : 8327 (cudf-solver.py) S 8326 8326 13759 34823 13904 4202496 813 58815 0 0 0 0 639 34 15 0 1 0 419052700 4100096 642 1283457024 134512640 135539072 4288289344 18446744073709551615 4158601870 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8327/statm: 1001 642 346 251 0 302 0 [pid=8344] ppid=8327 vsize=2888 CPUtime=0 /proc/8344/stat : 8344 (sh) S 8327 8326 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 419053179 2957312 320 1283457024 134512640 135191968 4294172736 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8344/statm: 722 320 219 166 0 154 0 [pid=8345] ppid=8344 vsize=32836 CPUtime=1.51 /proc/8345/stat : 8345 (msuncore) R 8344 8326 13759 34823 13904 4202496 18927 0 0 0 145 6 0 0 21 0 1 0 419053179 33624064 7983 1283457024 134512640 135858300 4291786256 18446744073709551615 135343881 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/8345/statm: 8209 7983 137 329 0 7878 0 Current children cumulated CPU time (s) 8.24 Current children cumulated vsize (KiB) 42108 Solver just ended. Dumping a history of the last processes samples [startup+6.41303 s] /proc/loadavg: 1.10 1.05 1.06 2/101 8345 /proc/meminfo: memFree=1209116/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=4004 CPUtime=6.73 /proc/8327/stat : 8327 (cudf-solver.py) S 8326 8326 13759 34823 13904 4202496 813 58815 0 0 0 0 639 34 15 0 1 0 419052700 4100096 642 1283457024 134512640 135539072 4288289344 18446744073709551615 4158601870 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8327/statm: 1001 642 346 251 0 302 0 [pid=8344] ppid=8327 vsize=2888 CPUtime=0 /proc/8344/stat : 8344 (sh) S 8327 8326 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 419053179 2957312 320 1283457024 134512640 135191968 4294172736 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8344/statm: 722 320 219 166 0 154 0 [pid=8345] ppid=8344 vsize=32836 CPUtime=1.61 /proc/8345/stat : 8345 (msuncore) R 8344 8326 13759 34823 13904 4202496 18927 0 0 0 155 6 0 0 22 0 1 0 419053179 33624064 7983 1283457024 134512640 135858300 4291786256 18446744073709551615 134665148 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/8345/statm: 8209 7983 137 329 0 7878 0 Current children cumulated CPU time (s) 8.34 Current children cumulated vsize (KiB) 42108 [startup+9.61377 s] /proc/loadavg: 1.09 1.05 1.06 2/101 8345 /proc/meminfo: memFree=1190144/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=4004 CPUtime=6.73 /proc/8327/stat : 8327 (cudf-solver.py) S 8326 8326 13759 34823 13904 4202496 813 58815 0 0 0 0 639 34 15 0 1 0 419052700 4100096 642 1283457024 134512640 135539072 4288289344 18446744073709551615 4158601870 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8327/statm: 1001 642 346 251 0 302 0 [pid=8344] ppid=8327 vsize=2888 CPUtime=0 /proc/8344/stat : 8344 (sh) S 8327 8326 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 419053179 2957312 320 1283457024 134512640 135191968 4294172736 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8344/statm: 722 320 219 166 0 154 0 [pid=8345] ppid=8344 vsize=32836 CPUtime=4.82 /proc/8345/stat : 8345 (msuncore) R 8344 8326 13759 34823 13904 4202496 18927 0 0 0 476 6 0 0 25 0 1 0 419053179 33624064 7983 1283457024 134512640 135858300 4291786256 18446744073709551615 134663483 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/8345/statm: 8209 7983 137 329 0 7878 0 Current children cumulated CPU time (s) 11.55 Current children cumulated vsize (KiB) 42108 [startup+11.2141 s] /proc/loadavg: 1.09 1.05 1.06 3/99 8345 /proc/meminfo: memFree=1190804/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=4004 CPUtime=6.73 /proc/8327/stat : 8327 (cudf-solver.py) S 8326 8326 13759 34823 13904 4202496 813 58815 0 0 0 0 639 34 15 0 1 0 419052700 4100096 642 1283457024 134512640 135539072 4288289344 18446744073709551615 4158601870 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8327/statm: 1001 642 346 251 0 302 0 [pid=8344] ppid=8327 vsize=2888 CPUtime=0 /proc/8344/stat : 8344 (sh) S 8327 8326 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 419053179 2957312 320 1283457024 134512640 135191968 4294172736 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8344/statm: 722 320 219 166 0 154 0 [pid=8345] ppid=8344 vsize=32836 CPUtime=6.4 /proc/8345/stat : 8345 (msuncore) R 8344 8326 13759 34823 13904 4202496 18927 0 0 0 634 6 0 0 25 0 1 0 419053179 33624064 7983 1283457024 134512640 135858300 4291786256 18446744073709551615 134673751 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/8345/statm: 8209 7983 137 329 0 7878 0 Current children cumulated CPU time (s) 13.13 Current children cumulated vsize (KiB) 42108 [startup+11.6141 s] /proc/loadavg: 1.09 1.05 1.06 3/99 8345 /proc/meminfo: memFree=1190804/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=4004 CPUtime=6.73 /proc/8327/stat : 8327 (cudf-solver.py) S 8326 8326 13759 34823 13904 4202496 813 58815 0 0 0 0 639 34 15 0 1 0 419052700 4100096 642 1283457024 134512640 135539072 4288289344 18446744073709551615 4158601870 0 65536 16781318 0 18446744071564329979 0 0 17 1 0 0 0 /proc/8327/statm: 1001 642 346 251 0 302 0 [pid=8344] ppid=8327 vsize=2888 CPUtime=0 /proc/8344/stat : 8344 (sh) S 8327 8326 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 419053179 2957312 320 1283457024 134512640 135191968 4294172736 18446744073709551615 4159294094 0 65536 16781316 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8344/statm: 722 320 219 166 0 154 0 [pid=8345] ppid=8344 vsize=32836 CPUtime=6.8 /proc/8345/stat : 8345 (msuncore) R 8344 8326 13759 34823 13904 4202496 18927 0 0 0 674 6 0 0 25 0 1 0 419053179 33624064 7983 1283457024 134512640 135858300 4291786256 18446744073709551615 134658205 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/8345/statm: 8209 7983 137 329 0 7878 0 Current children cumulated CPU time (s) 13.53 Current children cumulated vsize (KiB) 42108 [startup+11.8242 s] /proc/loadavg: 1.09 1.05 1.06 3/99 8345 /proc/meminfo: memFree=1190804/2097152 swapFree=2055620/2097144 [pid=8326] ppid=8325 vsize=2380 CPUtime=0 /proc/8326/stat : 8326 (inescp-1.0) S 8325 8326 13759 34823 13904 4194304 361 0 0 0 0 0 0 0 18 0 1 0 419052699 2437120 258 1283457024 134512640 135191968 4293508912 18446744073709551615 4159400590 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/8326/statm: 595 258 221 166 0 27 0 [pid=8327] ppid=8326 vsize=6400 CPUtime=13.75 /proc/8327/stat : 8327 (cudf-solver.py) R 8326 8326 13759 34823 13904 4202496 1586 78120 0 0 3 0 1330 42 15 0 1 0 419052700 6553600 1230 1283457024 134512640 135539072 4288289344 18446744073709551615 135044192 0 0 16781312 2 0 0 0 17 0 0 0 0 /proc/8327/statm: 1600 1230 346 251 0 901 0 Current children cumulated CPU time (s) 13.75 Current children cumulated vsize (KiB) 8780 Child status: 0 Real time (s): 11.8876 CPU time (s): 13.8129 CPU user time (s): 13.3808 CPU system time (s): 0.432027 CPU usage (%): 116.195 Max. virtual memory (cumulated for all children) (KiB): 901604 getrusage(RUSAGE_CHILDREN,...) data: user time used= 13.3808 system time used= 0.432027 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 81463 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 598 involuntary context switches= 445 runsolver used 0.004 second user time and 0.004 second system time The end