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/randa651ed.cudf.difficult.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/difficult//randa651ed.cudf /home/misc2010/tmp/201007051419/inescp-1.0/randa651ed.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.10 1.04 1/98 28653 /proc/meminfo: memFree=1226500/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3276 CPUtime=0 /proc/28654/stat : 28654 (cudf-solver.py) R 28653 28653 13759 34823 13904 4202496 437 0 0 0 0 0 0 0 18 0 1 0 418523621 3354624 353 1283457024 134512640 135539072 4289610624 18446744073709551615 134800287 0 0 16781312 2 0 0 0 17 1 0 0 0 /proc/28654/statm: 822 358 254 251 0 123 0 [startup+0.124087 s] /proc/loadavg: 1.11 1.10 1.04 1/98 28653 /proc/meminfo: memFree=1226500/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3996 CPUtime=0 /proc/28654/stat : 28654 (cudf-solver.py) S 28653 28653 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 17 0 1 0 418523621 4091904 641 1283457024 134512640 135539072 4289610624 18446744073709551615 4159072910 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28654/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.204105 s] /proc/loadavg: 1.11 1.10 1.04 1/98 28653 /proc/meminfo: memFree=1226500/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3996 CPUtime=0 /proc/28654/stat : 28654 (cudf-solver.py) S 28653 28653 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 17 0 1 0 418523621 4091904 641 1283457024 134512640 135539072 4289610624 18446744073709551615 4159072910 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28654/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.34178 s] /proc/loadavg: 1.11 1.10 1.04 1/98 28653 /proc/meminfo: memFree=1226500/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3996 CPUtime=0 /proc/28654/stat : 28654 (cudf-solver.py) S 28653 28653 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 17 0 1 0 418523621 4091904 641 1283457024 134512640 135539072 4289610624 18446744073709551615 4159072910 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28654/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+0.774534 s] /proc/loadavg: 1.11 1.10 1.04 1/98 28653 /proc/meminfo: memFree=1226500/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3996 CPUtime=0 /proc/28654/stat : 28654 (cudf-solver.py) S 28653 28653 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 17 0 1 0 418523621 4091904 641 1283457024 134512640 135539072 4289610624 18446744073709551615 4159072910 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28654/statm: 999 641 346 251 0 300 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 6380 [startup+1.50587 s] /proc/loadavg: 1.11 1.10 1.04 3/112 28667 /proc/meminfo: memFree=1154492/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3996 CPUtime=0 /proc/28654/stat : 28654 (cudf-solver.py) S 28653 28653 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 17 0 1 0 418523621 4091904 641 1283457024 134512640 135539072 4289610624 18446744073709551615 4159072910 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28654/statm: 999 641 346 251 0 300 0 [pid=28656] ppid=28654 vsize=875848 CPUtime=2.22 /proc/28656/stat : 28656 (java) S 28654 28653 13759 34823 13904 4202496 28797 0 0 0 212 10 0 0 18 0 12 0 418523622 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160480402 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28656/statm: 218962 25082 1744 10 0 216049 0 [pid=28656/tid=28657] ppid=28654 vsize=875848 CPUtime=0.96 /proc/28656/task/28657/stat : 28657 (java) R 28654 28653 13759 34823 13904 4202560 9266 0 0 0 92 4 0 0 15 0 12 0 418523624 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160505201 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28656/tid=28658] ppid=28654 vsize=875848 CPUtime=0.15 /proc/28656/task/28658/stat : 28658 (java) S 28654 28653 13759 34823 13904 4202560 5906 0 0 0 13 2 0 0 16 0 12 0 418523625 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 1 0 0 0 [pid=28656/tid=28659] ppid=28654 vsize=875848 CPUtime=0.13 /proc/28656/task/28659/stat : 28659 (java) S 28654 28653 13759 34823 13904 4202560 5263 0 0 0 11 2 0 0 16 0 12 0 418523625 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 1 0 0 0 [pid=28656/tid=28660] ppid=28654 vsize=875848 CPUtime=0.07 /proc/28656/task/28660/stat : 28660 (java) S 28654 28653 13759 34823 13904 4202560 118 0 0 0 7 0 0 0 16 0 12 0 418523626 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160494600 0 0 0 16800975 18446612134214244224 0 0 -1 1 0 0 0 [pid=28656/tid=28661] ppid=28654 vsize=875848 CPUtime=0 /proc/28656/task/28661/stat : 28661 (java) S 28654 28653 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 20 0 12 0 418523627 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=28656/tid=28662] ppid=28654 vsize=875848 CPUtime=0 /proc/28656/task/28662/stat : 28662 (java) S 28654 28653 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 21 0 12 0 418523627 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=28656/tid=28663] ppid=28654 vsize=875848 CPUtime=0 /proc/28656/task/28663/stat : 28663 (java) S 28654 28653 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 12 0 418523630 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160502096 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=28656/tid=28664] ppid=28654 vsize=875848 CPUtime=0.58 /proc/28656/task/28664/stat : 28664 (java) S 28654 28653 13759 34823 13904 4202560 4048 0 0 0 58 0 0 0 15 0 12 0 418523630 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 1 0 0 0 [pid=28656/tid=28665] ppid=28654 vsize=875848 CPUtime=0.29 /proc/28656/task/28665/stat : 28665 (java) S 28654 28653 13759 34823 13904 4202560 2790 0 0 0 29 0 0 0 16 0 12 0 418523630 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 1 0 0 0 [pid=28656/tid=28666] ppid=28654 vsize=875848 CPUtime=0 /proc/28656/task/28666/stat : 28666 (java) S 28654 28653 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 12 0 418523630 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=28656/tid=28667] ppid=28654 vsize=875848 CPUtime=0.01 /proc/28656/task/28667/stat : 28667 (java) S 28654 28653 13759 34823 13904 4202560 0 0 0 0 0 1 0 0 15 0 12 0 418523630 896868352 25082 1283457024 134512640 134550932 4287326368 18446744073709551615 4160494600 0 4 0 16800975 18446612134214244224 0 0 -1 1 0 0 0 Current children cumulated CPU time (s) 2.22 Current children cumulated vsize (KiB) 882228 [startup+3.11395 s] /proc/loadavg: 1.10 1.10 1.04 4/112 28667 /proc/meminfo: memFree=1076000/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3996 CPUtime=0 /proc/28654/stat : 28654 (cudf-solver.py) S 28653 28653 13759 34823 13904 4202496 754 0 0 0 0 0 0 0 17 0 1 0 418523621 4091904 641 1283457024 134512640 135539072 4289610624 18446744073709551615 4159072910 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28654/statm: 999 641 346 251 0 300 0 [pid=28656] ppid=28654 vsize=878900 CPUtime=4.97 /proc/28656/stat : 28656 (java) S 28654 28653 13759 34823 13904 4202496 50200 0 0 0 474 23 0 0 18 0 13 0 418523622 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4160480402 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/28656/statm: 219725 44524 1775 10 0 216812 0 [pid=28656/tid=28657] ppid=28654 vsize=878900 CPUtime=2.14 /proc/28656/task/28657/stat : 28657 (java) S 28654 28653 13759 34823 13904 4202560 15870 0 0 0 204 10 0 0 17 0 13 0 418523624 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=28656/tid=28658] ppid=28654 vsize=878900 CPUtime=0.27 /proc/28656/task/28658/stat : 28658 (java) S 28654 28653 13759 34823 13904 4202560 11009 0 0 0 23 4 0 0 15 0 13 0 418523625 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=28656/tid=28659] ppid=28654 vsize=878900 CPUtime=0.31 /proc/28656/task/28659/stat : 28659 (java) S 28654 28653 13759 34823 13904 4202560 11286 0 0 0 28 3 0 0 16 0 13 0 418523625 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=28656/tid=28660] ppid=28654 vsize=878900 CPUtime=0.24 /proc/28656/task/28660/stat : 28660 (java) S 28654 28653 13759 34823 13904 4202560 1954 0 0 0 23 1 0 0 15 0 13 0 418523626 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4160494600 0 0 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=28656/tid=28661] ppid=28654 vsize=878900 CPUtime=0 /proc/28656/task/28661/stat : 28661 (java) S 28654 28653 13759 34823 13904 4202560 13 0 0 0 0 0 0 0 18 0 13 0 418523627 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=28656/tid=28662] ppid=28654 vsize=878900 CPUtime=0 /proc/28656/task/28662/stat : 28662 (java) R 28654 28653 13759 34823 13904 4202560 6 0 0 0 0 0 0 0 18 0 13 0 418523627 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4095710905 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=28656/tid=28663] ppid=28654 vsize=878900 CPUtime=0 /proc/28656/task/28663/stat : 28663 (java) S 28654 28653 13759 34823 13904 4202560 1 0 0 0 0 0 0 0 25 0 13 0 418523630 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4160502096 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=28656/tid=28664] ppid=28654 vsize=878900 CPUtime=1.07 /proc/28656/task/28664/stat : 28664 (java) R 28654 28653 13759 34823 13904 4202560 5435 0 0 0 106 1 0 0 16 0 13 0 418523630 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4150563601 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=28656/tid=28665] ppid=28654 vsize=878900 CPUtime=0.87 /proc/28656/task/28665/stat : 28665 (java) R 28654 28653 13759 34823 13904 4202560 3230 0 0 0 86 1 0 0 15 0 13 0 418523630 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4159264822 0 4 0 16800975 0 0 0 -1 1 0 0 0 [pid=28656/tid=28666] ppid=28654 vsize=878900 CPUtime=0 /proc/28656/task/28666/stat : 28666 (java) S 28654 28653 13759 34823 13904 4202560 0 0 0 0 0 0 0 0 25 0 13 0 418523630 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4160493808 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 [pid=28656/tid=28667] ppid=28654 vsize=878900 CPUtime=0.01 /proc/28656/task/28667/stat : 28667 (java) S 28654 28653 13759 34823 13904 4202560 0 0 0 0 0 1 0 0 15 0 13 0 418523630 899993600 44524 1283457024 134512640 134550932 4287326368 18446744073709551615 4160494600 0 4 0 16800975 18446612134214244224 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 4.97 Current children cumulated vsize (KiB) 885280 [startup+6.30603 s] /proc/loadavg: 1.10 1.10 1.04 2/102 28673 /proc/meminfo: memFree=1189780/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3996 CPUtime=5.69 /proc/28654/stat : 28654 (cudf-solver.py) S 28653 28653 13759 34823 13904 4202496 812 51612 0 0 0 0 532 37 15 0 1 0 418523621 4091904 641 1283457024 134512640 135539072 4289610624 18446744073709551615 4159072910 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28654/statm: 999 641 346 251 0 300 0 [pid=28671] ppid=28654 vsize=2884 CPUtime=0 /proc/28671/stat : 28671 (sh) S 28654 28653 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418523999 2953216 320 1283457024 134512640 135191968 4290661600 18446744073709551615 4158806670 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28671/statm: 721 320 219 166 0 153 0 [pid=28672] ppid=28671 vsize=32476 CPUtime=2.49 /proc/28672/stat : 28672 (msuncore) R 28671 28653 13759 34823 13904 4202496 18649 0 0 0 244 5 0 0 23 0 1 0 418524000 33255424 7884 1283457024 134512640 135858300 4290083952 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/28672/statm: 8119 7884 137 329 0 7788 0 Current children cumulated CPU time (s) 8.18 Current children cumulated vsize (KiB) 41740 Solver just ended. Dumping a history of the last processes samples [startup+7.90612 s] /proc/loadavg: 1.09 1.10 1.04 2/102 28673 /proc/meminfo: memFree=1189796/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3996 CPUtime=5.69 /proc/28654/stat : 28654 (cudf-solver.py) S 28653 28653 13759 34823 13904 4202496 812 51612 0 0 0 0 532 37 15 0 1 0 418523621 4091904 641 1283457024 134512640 135539072 4289610624 18446744073709551615 4159072910 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28654/statm: 999 641 346 251 0 300 0 [pid=28671] ppid=28654 vsize=2884 CPUtime=0 /proc/28671/stat : 28671 (sh) S 28654 28653 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418523999 2953216 320 1283457024 134512640 135191968 4290661600 18446744073709551615 4158806670 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28671/statm: 721 320 219 166 0 153 0 [pid=28672] ppid=28671 vsize=32476 CPUtime=4.09 /proc/28672/stat : 28672 (msuncore) R 28671 28653 13759 34823 13904 4202496 18649 0 0 0 404 5 0 0 25 0 1 0 418524000 33255424 7884 1283457024 134512640 135858300 4290083952 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/28672/statm: 8119 7884 137 329 0 7788 0 Current children cumulated CPU time (s) 9.78 Current children cumulated vsize (KiB) 41740 [startup+9.50623 s] /proc/loadavg: 1.09 1.10 1.04 2/102 28673 /proc/meminfo: memFree=1189796/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3996 CPUtime=5.69 /proc/28654/stat : 28654 (cudf-solver.py) S 28653 28653 13759 34823 13904 4202496 812 51612 0 0 0 0 532 37 15 0 1 0 418523621 4091904 641 1283457024 134512640 135539072 4289610624 18446744073709551615 4159072910 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28654/statm: 999 641 346 251 0 300 0 [pid=28671] ppid=28654 vsize=2884 CPUtime=0 /proc/28671/stat : 28671 (sh) S 28654 28653 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418523999 2953216 320 1283457024 134512640 135191968 4290661600 18446744073709551615 4158806670 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28671/statm: 721 320 219 166 0 153 0 [pid=28672] ppid=28671 vsize=32476 CPUtime=5.7 /proc/28672/stat : 28672 (msuncore) R 28671 28653 13759 34823 13904 4202496 18649 0 0 0 565 5 0 0 25 0 1 0 418524000 33255424 7884 1283457024 134512640 135858300 4290083952 18446744073709551615 135344188 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/28672/statm: 8119 7884 137 329 0 7788 0 Current children cumulated CPU time (s) 11.39 Current children cumulated vsize (KiB) 41740 [startup+9.90621 s] /proc/loadavg: 1.09 1.10 1.04 2/102 28673 /proc/meminfo: memFree=1189796/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3996 CPUtime=5.69 /proc/28654/stat : 28654 (cudf-solver.py) S 28653 28653 13759 34823 13904 4202496 812 51612 0 0 0 0 532 37 15 0 1 0 418523621 4091904 641 1283457024 134512640 135539072 4289610624 18446744073709551615 4159072910 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28654/statm: 999 641 346 251 0 300 0 [pid=28671] ppid=28654 vsize=2884 CPUtime=0 /proc/28671/stat : 28671 (sh) S 28654 28653 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418523999 2953216 320 1283457024 134512640 135191968 4290661600 18446744073709551615 4158806670 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28671/statm: 721 320 219 166 0 153 0 [pid=28672] ppid=28671 vsize=32476 CPUtime=6.1 /proc/28672/stat : 28672 (msuncore) R 28671 28653 13759 34823 13904 4202496 18649 0 0 0 605 5 0 0 25 0 1 0 418524000 33255424 7884 1283457024 134512640 135858300 4290083952 18446744073709551615 134626188 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/28672/statm: 8119 7884 137 329 0 7788 0 Current children cumulated CPU time (s) 11.79 Current children cumulated vsize (KiB) 41740 [startup+10.1062 s] /proc/loadavg: 1.09 1.10 1.04 2/102 28673 /proc/meminfo: memFree=1189796/2097152 swapFree=2055620/2097144 [pid=28653] ppid=28652 vsize=2384 CPUtime=0 /proc/28653/stat : 28653 (inescp-1.0) S 28652 28653 13759 34823 13904 4194304 362 0 0 0 0 0 0 0 22 0 1 0 418523621 2441216 259 1283457024 134512640 135191968 4289325872 18446744073709551615 4159310478 0 65536 4 65538 18446744071564329979 0 0 17 1 0 0 0 /proc/28653/statm: 596 259 221 166 0 28 0 [pid=28654] ppid=28653 vsize=3996 CPUtime=5.69 /proc/28654/stat : 28654 (cudf-solver.py) S 28653 28653 13759 34823 13904 4202496 812 51612 0 0 0 0 532 37 15 0 1 0 418523621 4091904 641 1283457024 134512640 135539072 4289610624 18446744073709551615 4159072910 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/28654/statm: 999 641 346 251 0 300 0 [pid=28671] ppid=28654 vsize=2884 CPUtime=0 /proc/28671/stat : 28671 (sh) S 28654 28653 13759 34823 13904 4194304 356 0 0 0 0 0 0 0 17 0 1 0 418523999 2953216 320 1283457024 134512640 135191968 4290661600 18446744073709551615 4158806670 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/28671/statm: 721 320 219 166 0 153 0 [pid=28672] ppid=28671 vsize=14688 CPUtime=6.3 /proc/28672/stat : 28672 (msuncore) R 28671 28653 13759 34823 13904 4202496 18662 0 0 0 624 6 0 0 25 0 1 0 418524000 15040512 3469 1283457024 134512640 135858300 4290083952 18446744073709551615 135400398 0 0 16781312 24615 0 0 0 17 1 0 0 0 /proc/28672/statm: 3672 3469 150 329 0 3341 0 Current children cumulated CPU time (s) 11.99 Current children cumulated vsize (KiB) 23952 Child status: 0 Real time (s): 10.1991 CPU time (s): 12.0968 CPU user time (s): 11.6407 CPU system time (s): 0.456028 CPU usage (%): 118.607 Max. virtual memory (cumulated for all children) (KiB): 885600 getrusage(RUSAGE_CHILDREN,...) data: user time used= 11.6407 system time used= 0.456028 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73959 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= 493 involuntary context switches= 219 runsolver used 0.012 second user time and 0.008 second system time The end