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/201007050905/inescp-1.0/rand61b840.cudf.easy.log.runsolver ./inescp-1.0 /home/misc2010/data/2010/easy//rand61b840.cudf /home/misc2010/tmp/201007050905/inescp-1.0/rand61b840.cudf.easy.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.99 1.11 0.85 4/36 27015 /proc/meminfo: memFree=472672/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=0 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 750 0 0 0 0 0 0 0 25 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 [pid=27014] ppid=27013 vsize=10964 CPUtime=0.01 /proc/27014/stat : 27014 (java) R 27013 27012 24102 769 24102 4202496 1093 0 0 0 0 1 0 0 25 0 2 0 525049320 11227136 523 1283457024 134512640 134550932 4291233504 18446744073709551615 4158995416 0 0 16781312 0 18446744073709551615 0 0 17 0 0 0 0 /proc/27014/statm: 2741 523 220 10 0 1222 0 [pid=27014/tid=27015] ppid=27013 vsize=10964 CPUtime=0 /proc/27014/task/27015/stat : 27015 (java) R 27013 27012 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 2 0 525049321 11227136 523 1283457024 134512640 134550932 4291233504 18446744073709551615 4158995416 0 0 16781312 0 0 0 0 -1 0 0 0 0 [startup+0.169592 s] /proc/loadavg: 0.99 1.11 0.85 4/36 27015 /proc/meminfo: memFree=472672/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=0 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 750 0 0 0 0 0 0 0 25 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 [pid=27014] ppid=27013 vsize=864472 CPUtime=0.16 /proc/27014/stat : 27014 (java) S 27013 27012 24102 769 24102 4202496 4603 0 1 0 14 2 0 0 25 0 9 0 525049320 885219328 3675 1283457024 134512640 134550932 4291233504 18446744073709551615 4159550610 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27014/statm: 216118 3675 1892 10 0 210456 0 [pid=27014/tid=27015] ppid=27013 vsize=864472 CPUtime=0.12 /proc/27014/task/27015/stat : 27015 (java) R 27013 27012 24102 769 24102 4202560 2877 0 1 0 11 1 0 0 25 0 9 0 525049321 885219328 3675 1283457024 134512640 134550932 4291233504 18446744073709551615 4123665321 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.16 Current children cumulated vsize (KiB) 870864 [startup+0.209593 s] /proc/loadavg: 0.99 1.11 0.85 4/36 27015 /proc/meminfo: memFree=472672/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=0 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 750 0 0 0 0 0 0 0 25 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 [pid=27014] ppid=27013 vsize=864472 CPUtime=0.2 /proc/27014/stat : 27014 (java) S 27013 27012 24102 769 24102 4202496 4661 0 1 0 18 2 0 0 25 0 9 0 525049320 885219328 3733 1283457024 134512640 134550932 4291233504 18446744073709551615 4159550610 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27014/statm: 216118 3733 1892 10 0 210456 0 [pid=27014/tid=27015] ppid=27013 vsize=864472 CPUtime=0.16 /proc/27014/task/27015/stat : 27015 (java) R 27013 27012 24102 769 24102 4202560 2877 0 1 0 15 1 0 0 25 0 9 0 525049321 885219328 3733 1283457024 134512640 134550932 4291233504 18446744073709551615 102408622 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 870864 [startup+0.309604 s] /proc/loadavg: 0.99 1.11 0.85 4/36 27015 /proc/meminfo: memFree=472672/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=0 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 750 0 0 0 0 0 0 0 25 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 [pid=27014] ppid=27013 vsize=864472 CPUtime=0.3 /proc/27014/stat : 27014 (java) S 27013 27012 24102 769 24102 4202496 4725 0 1 0 28 2 0 0 25 0 9 0 525049320 885219328 3797 1283457024 134512640 134550932 4291233504 18446744073709551615 4159550610 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27014/statm: 216118 3797 1892 10 0 210456 0 [pid=27014/tid=27015] ppid=27013 vsize=864472 CPUtime=0.26 /proc/27014/task/27015/stat : 27015 (java) R 27013 27012 24102 769 24102 4202560 2877 0 1 0 25 1 0 0 25 0 9 0 525049321 885219328 3797 1283457024 134512640 134550932 4291233504 18446744073709551615 4123663870 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 870864 [startup+0.709673 s] /proc/loadavg: 0.99 1.11 0.85 4/36 27015 /proc/meminfo: memFree=472672/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=0 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 750 0 0 0 0 0 0 0 25 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 [pid=27014] ppid=27013 vsize=864792 CPUtime=0.7 /proc/27014/stat : 27014 (java) S 27013 27012 24102 769 24102 4202496 8397 0 1 0 67 3 0 0 25 0 9 0 525049320 885547008 7282 1283457024 134512640 134550932 4291233504 18446744073709551615 4159550610 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27014/statm: 216198 7282 2715 10 0 210536 0 [pid=27014/tid=27015] ppid=27013 vsize=864792 CPUtime=0.57 /proc/27014/task/27015/stat : 27015 (java) R 27013 27012 24102 769 24102 4202560 2877 0 1 0 56 1 0 0 25 0 9 0 525049321 885547008 7282 1283457024 134512640 134550932 4291233504 18446744073709551615 4124249125 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 871184 [startup+1.50982 s] /proc/loadavg: 0.99 1.11 0.85 2/44 27023 /proc/meminfo: memFree=440828/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=0 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 750 0 0 0 0 0 0 0 25 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 [pid=27014] ppid=27013 vsize=865492 CPUtime=1.5 /proc/27014/stat : 27014 (java) S 27013 27012 24102 769 24102 4202496 15865 0 1 0 144 6 0 0 25 0 9 0 525049320 886263808 14453 1283457024 134512640 134550932 4291233504 18446744073709551615 4159550610 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27014/statm: 216373 14453 2716 10 0 210711 0 [pid=27014/tid=27015] ppid=27013 vsize=865492 CPUtime=0.96 /proc/27014/task/27015/stat : 27015 (java) R 27013 27012 24102 769 24102 4202560 3508 0 1 0 94 2 0 0 25 0 9 0 525049321 886263808 14453 1283457024 134512640 134550932 4291233504 18446744073709551615 4159574727 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27014/tid=27017] ppid=27013 vsize=865492 CPUtime=0.47 /proc/27014/task/27017/stat : 27017 (java) R 27013 27012 24102 769 24102 4202560 10831 0 0 0 44 3 0 0 17 0 9 0 525049322 886263808 14453 1283457024 134512640 134550932 4291233504 18446744073709551615 101449124 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=27014/tid=27018] ppid=27013 vsize=865492 CPUtime=0 /proc/27014/task/27018/stat : 27018 (java) S 27013 27012 24102 769 24102 4202560 15 0 0 0 0 0 0 0 15 0 9 0 525049322 886263808 14453 1283457024 134512640 134550932 4291233504 18446744073709551615 4159564016 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=27014/tid=27019] ppid=27013 vsize=865492 CPUtime=0 /proc/27014/task/27019/stat : 27019 (java) S 27013 27012 24102 769 24102 4202560 8 0 0 0 0 0 0 0 16 0 9 0 525049322 886263808 14453 1283457024 134512640 134550932 4291233504 18446744073709551615 4159564016 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=27014/tid=27020] ppid=27013 vsize=865492 CPUtime=0 /proc/27014/task/27020/stat : 27020 (java) S 27013 27012 24102 769 24102 4202560 1 0 0 0 0 0 0 0 25 0 9 0 525049323 886263808 14453 1283457024 134512640 134550932 4291233504 18446744073709551615 4159572304 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=27014/tid=27021] ppid=27013 vsize=865492 CPUtime=0.06 /proc/27014/task/27021/stat : 27021 (java) S 27013 27012 24102 769 24102 4202560 409 0 0 0 6 0 0 0 16 0 9 0 525049323 886263808 14453 1283457024 134512640 134550932 4291233504 18446744073709551615 4159564016 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=27014/tid=27022] ppid=27013 vsize=865492 CPUtime=0 /proc/27014/task/27022/stat : 27022 (java) S 27013 27012 24102 769 24102 4202560 0 0 0 0 0 0 0 0 25 0 9 0 525049323 886263808 14453 1283457024 134512640 134550932 4291233504 18446744073709551615 4159564016 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 [pid=27014/tid=27023] ppid=27013 vsize=865492 CPUtime=0 /proc/27014/task/27023/stat : 27023 (java) S 27013 27012 24102 769 24102 4202560 0 0 0 0 0 0 0 0 15 0 9 0 525049323 886263808 14453 1283457024 134512640 134550932 4291233504 18446744073709551615 4159564808 0 4 0 16800975 18446612133020138176 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 871884 [startup+3.11401 s] /proc/loadavg: 0.99 1.11 0.85 2/37 27026 /proc/meminfo: memFree=469520/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=2.18 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 808 18873 0 1 0 0 198 20 17 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 Current children cumulated CPU time (s) 2.18 Current children cumulated vsize (KiB) 6392 heavy processes: [startup+6.31476 s] /proc/loadavg: 0.99 1.11 0.85 2/37 27028 /proc/meminfo: memFree=445836/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=2.18 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 808 18873 0 1 0 0 198 20 17 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 [pid=27027] ppid=27013 vsize=2900 CPUtime=0 /proc/27027/stat : 27027 (sh) S 27013 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 17 0 1 0 525049542 2969600 325 1283457024 134512640 135191968 4289349152 18446744073709551615 4158716318 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27027/statm: 725 325 221 166 0 157 0 [pid=27028] ppid=27027 vsize=26768 CPUtime=4.09 /proc/27028/stat : 27028 (msuncore) R 27027 27012 24102 769 24102 4202496 25271 0 0 0 393 16 0 0 25 0 1 0 525049543 27410432 6440 1283457024 134512640 135858300 4292889008 18446744073709551615 134658195 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27028/statm: 6692 6440 137 329 0 6361 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 36060 Solver just ended. Dumping a history of the last processes samples [startup+6.41477 s] /proc/loadavg: 0.99 1.11 0.85 2/37 27028 /proc/meminfo: memFree=445836/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=2.18 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 808 18873 0 1 0 0 198 20 17 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 [pid=27027] ppid=27013 vsize=2900 CPUtime=0 /proc/27027/stat : 27027 (sh) S 27013 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 17 0 1 0 525049542 2969600 325 1283457024 134512640 135191968 4289349152 18446744073709551615 4158716318 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27027/statm: 725 325 221 166 0 157 0 [pid=27028] ppid=27027 vsize=26768 CPUtime=4.19 /proc/27028/stat : 27028 (msuncore) R 27027 27012 24102 769 24102 4202496 25271 0 0 0 403 16 0 0 25 0 1 0 525049543 27410432 6440 1283457024 134512640 135858300 4292889008 18446744073709551615 134661722 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27028/statm: 6692 6440 137 329 0 6361 0 Current children cumulated CPU time (s) 6.37 Current children cumulated vsize (KiB) 36060 [startup+7.21493 s] /proc/loadavg: 0.99 1.11 0.85 2/37 27028 /proc/meminfo: memFree=445836/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=2.18 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 808 18873 0 1 0 0 198 20 17 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 [pid=27027] ppid=27013 vsize=2900 CPUtime=0 /proc/27027/stat : 27027 (sh) S 27013 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 17 0 1 0 525049542 2969600 325 1283457024 134512640 135191968 4289349152 18446744073709551615 4158716318 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27027/statm: 725 325 221 166 0 157 0 [pid=27028] ppid=27027 vsize=26768 CPUtime=4.99 /proc/27028/stat : 27028 (msuncore) R 27027 27012 24102 769 24102 4202496 25271 0 0 0 483 16 0 0 25 0 1 0 525049543 27410432 6440 1283457024 134512640 135858300 4292889008 18446744073709551615 134670971 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27028/statm: 6692 6440 137 329 0 6361 0 Current children cumulated CPU time (s) 7.17 Current children cumulated vsize (KiB) 36060 [startup+7.61502 s] /proc/loadavg: 0.99 1.11 0.85 2/37 27028 /proc/meminfo: memFree=445836/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=2.18 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 808 18873 0 1 0 0 198 20 17 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 [pid=27027] ppid=27013 vsize=2900 CPUtime=0 /proc/27027/stat : 27027 (sh) S 27013 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 17 0 1 0 525049542 2969600 325 1283457024 134512640 135191968 4289349152 18446744073709551615 4158716318 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27027/statm: 725 325 221 166 0 157 0 [pid=27028] ppid=27027 vsize=26768 CPUtime=5.39 /proc/27028/stat : 27028 (msuncore) R 27027 27012 24102 769 24102 4202496 25271 0 0 0 523 16 0 0 25 0 1 0 525049543 27410432 6440 1283457024 134512640 135858300 4292889008 18446744073709551615 134620125 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27028/statm: 6692 6440 137 329 0 6361 0 Current children cumulated CPU time (s) 7.57 Current children cumulated vsize (KiB) 36060 [startup+8.0151 s] /proc/loadavg: 0.99 1.11 0.85 2/37 27028 /proc/meminfo: memFree=445836/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=4008 CPUtime=2.18 /proc/27013/stat : 27013 (cudf-solver.py) S 27012 27012 24102 769 24102 4202496 808 18873 0 1 0 0 198 20 17 0 1 0 525049319 4104192 644 1283457024 134512640 135539072 4290836288 18446744073709551615 4158957982 0 65536 16781318 0 18446744071564329979 0 0 17 0 0 0 0 /proc/27013/statm: 1002 644 348 251 0 303 0 [pid=27027] ppid=27013 vsize=2900 CPUtime=0 /proc/27027/stat : 27027 (sh) S 27013 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 17 0 1 0 525049542 2969600 325 1283457024 134512640 135191968 4289349152 18446744073709551615 4158716318 0 65536 16781316 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27027/statm: 725 325 221 166 0 157 0 [pid=27028] ppid=27027 vsize=26768 CPUtime=5.79 /proc/27028/stat : 27028 (msuncore) R 27027 27012 24102 769 24102 4202496 25271 0 0 0 563 16 0 0 25 0 1 0 525049543 27410432 6440 1283457024 134512640 135858300 4292889008 18446744073709551615 134625893 0 0 16781312 24615 0 0 0 17 0 0 0 0 /proc/27028/statm: 6692 6440 137 329 0 6361 0 Current children cumulated CPU time (s) 7.97 Current children cumulated vsize (KiB) 36060 [startup+8.1251 s] /proc/loadavg: 0.99 1.11 0.85 2/37 27028 /proc/meminfo: memFree=445836/1048576 swapFree=2095456/2097144 [pid=27012] ppid=27011 vsize=2384 CPUtime=0 /proc/27012/stat : 27012 (inescp-1.0) S 27011 27012 24102 769 24102 4194304 363 0 0 0 0 0 0 0 25 0 1 0 525049319 2441216 261 1283457024 134512640 135191968 4290156176 18446744073709551615 4159613342 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27012/statm: 596 261 222 166 0 28 0 [pid=27013] ppid=27012 vsize=6880 CPUtime=8.07 /proc/27013/stat : 27013 (cudf-solver.py) R 27012 27012 24102 769 24102 4202496 1679 44530 0 1 7 0 764 36 15 0 1 0 525049319 7045120 1353 1283457024 134512640 135539072 4290836288 18446744073709551615 4158577453 0 65536 16781318 0 0 0 0 17 0 0 0 0 /proc/27013/statm: 1720 1353 348 251 0 1021 0 Current children cumulated CPU time (s) 8.07 Current children cumulated vsize (KiB) 9264 Child status: 0 Real time (s): 8.13658 CPU time (s): 8.10451 CPU user time (s): 7.73248 CPU system time (s): 0.372023 CPU usage (%): 99.6058 Max. virtual memory (cumulated for all children) (KiB): 872204 getrusage(RUSAGE_CHILDREN,...) data: user time used= 7.73248 system time used= 0.372023 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47785 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= 1171 involuntary context switches= 1235 runsolver used 0 second user time and 0.008 second system time The end