runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3749204-1339164510/watcher-3749204-1339164510 -o /tmp/evaluation-result-3749204-1339164510/solver-3749204-1339164510 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3749204-1339164510.opb 1258827515 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.12 2.34 2.24 4/178 25702
/proc/meminfo: memFree=26835144/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[startup+0.055722 s]
/proc/loadavg: 3.12 2.34 2.24 4/178 25702
/proc/meminfo: memFree=26835144/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100204 s]
/proc/loadavg: 3.12 2.34 2.24 4/178 25702
/proc/meminfo: memFree=26835144/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300271 s]
/proc/loadavg: 3.12 2.34 2.24 4/178 25702
/proc/meminfo: memFree=26835144/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700252 s]
/proc/loadavg: 3.12 2.34 2.24 4/178 25702
/proc/meminfo: memFree=26835144/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50033 s]
/proc/loadavg: 3.12 2.34 2.24 3/181 25708
/proc/meminfo: memFree=28176380/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=11372 CPUtime=1.27 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 2675 0 0 0 127 0 0 0 20 0 1 0 382579617 11644928 1981 33554432000 4194304 5654031 140734977935920 140734977923736 4215883 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 2843 1981 141 357 0 2483 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 25176
[startup+3.10032 s]
/proc/loadavg: 3.12 2.34 2.24 3/181 25708
/proc/meminfo: memFree=28223872/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=12008 CPUtime=2.87 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 3097 0 0 0 287 0 0 0 20 0 1 0 382579617 12296192 2394 33554432000 4194304 5654031 140734977935920 140734977923736 4233440 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 3002 2394 141 357 0 2642 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 25812
[startup+6.30034 s]
/proc/loadavg: 3.03 2.33 2.24 3/181 25708
/proc/meminfo: memFree=28210348/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=21872 CPUtime=6.08 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 4629 0 0 0 607 1 0 0 20 0 1 0 382579617 22396928 3943 33554432000 4194304 5654031 140734977935920 140734977923736 4214650 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 5468 3943 141 357 0 5108 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 35676
[startup+12.7003 s]
/proc/loadavg: 2.95 2.33 2.24 3/181 25708
/proc/meminfo: memFree=28202676/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=17480 CPUtime=12.47 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 5765 0 0 0 1246 1 0 0 20 0 1 0 382579617 17899520 3905 33554432000 4194304 5654031 140734977935920 140734977933944 4215017 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 4370 3905 141 357 0 4010 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 31284
[startup+25.5003 s]
/proc/loadavg: 2.74 2.31 2.23 3/181 25708
/proc/meminfo: memFree=28735836/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=26300 CPUtime=25.27 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 7109 0 0 0 2525 2 0 0 20 0 1 0 382579617 26931200 6056 33554432000 4194304 5654031 140734977935920 140734977923736 4215009 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 6575 6056 141 357 0 6215 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 40104
[startup+51.1004 s]
/proc/loadavg: 2.49 2.28 2.23 3/181 25708
/proc/meminfo: memFree=28680744/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=52192 CPUtime=50.86 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 8388 0 0 0 5084 2 0 0 20 0 1 0 382579617 53444608 9575 33554432000 4194304 5654031 140734977935920 140734977923736 4233213 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 13048 9575 141 357 0 12688 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 65996
[startup+102.307 s]
/proc/loadavg: 2.21 2.24 2.21 3/182 25711
/proc/meminfo: memFree=28565272/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=71024 CPUtime=102.07 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 9062 0 0 0 10203 4 0 0 20 0 1 0 382579617 72728576 17243 33554432000 4194304 5654031 140734977935920 140734977923736 4232794 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 17756 17243 141 357 0 17396 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 84828
[startup+162.3 s]
/proc/loadavg: 2.08 2.19 2.19 3/181 25711
/proc/meminfo: memFree=28472048/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=71024 CPUtime=162.05 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 9062 0 0 0 16201 4 0 0 20 0 1 0 382579617 72728576 17243 33554432000 4194304 5654031 140734977935920 140734977923736 4233232 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 17756 17243 141 357 0 17396 0
Current children cumulated CPU time (s) 162.25
Current children cumulated vsize (KiB) 84828
Solver just ended. Dumping a history of the last processes samples
[startup+166.3 s]
/proc/loadavg: 2.07 2.19 2.19 3/181 25711
/proc/meminfo: memFree=28465904/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=71024 CPUtime=166.05 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 9062 0 0 0 16601 4 0 0 20 0 1 0 382579617 72728576 17243 33554432000 4194304 5654031 140734977935920 140734977923736 4214949 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 17756 17243 141 357 0 17396 0
Current children cumulated CPU time (s) 166.25
Current children cumulated vsize (KiB) 84828
[startup+169.5 s]
/proc/loadavg: 2.06 2.18 2.19 3/181 25711
/proc/meminfo: memFree=28459140/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=71024 CPUtime=169.24 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 9394 0 0 0 16920 4 0 0 20 0 1 0 382579617 72728576 17281 33554432000 4194304 5654031 140734977935920 140734977933944 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 17756 17281 141 357 0 17396 0
Current children cumulated CPU time (s) 169.44
Current children cumulated vsize (KiB) 84828
[startup+171.1 s]
/proc/loadavg: 2.06 2.18 2.19 3/181 25711
/proc/meminfo: memFree=28459140/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=71024 CPUtime=170.84 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 9394 0 0 0 17080 4 0 0 20 0 1 0 382579617 72728576 17281 33554432000 4194304 5654031 140734977935920 140734977933944 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 17756 17281 141 357 0 17396 0
Current children cumulated CPU time (s) 171.04
Current children cumulated vsize (KiB) 84828
[startup+172.707 s]
/proc/loadavg: 2.06 2.18 2.19 3/181 25711
/proc/meminfo: memFree=28454920/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=71024 CPUtime=172.45 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 9394 0 0 0 17241 4 0 0 20 0 1 0 382579617 72728576 17281 33554432000 4194304 5654031 140734977935920 140734977933944 4232984 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 17756 17281 141 357 0 17396 0
Current children cumulated CPU time (s) 172.65
Current children cumulated vsize (KiB) 84828
[startup+173.5 s]
/proc/loadavg: 2.06 2.18 2.19 3/181 25711
/proc/meminfo: memFree=28454920/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4656 CPUtime=0.2 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4202496 2009 2881 0 0 2 0 16 2 20 0 1 0 382579595 4767744 780 33554432000 4194304 6004724 140736104173536 140736104159816 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25703/statm: 1164 780 151 442 0 718 0
[pid=25708] ppid=25703 vsize=71024 CPUtime=173.24 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) R 25703 25702 14826 0 -1 4202496 9394 0 0 0 17320 4 0 0 20 0 1 0 382579617 72728576 17281 33554432000 4194304 5654031 140734977935920 140734977933944 4215360 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 17756 17281 141 357 0 17396 0
Current children cumulated CPU time (s) 173.44
Current children cumulated vsize (KiB) 84828
[startup+173.9 s]
/proc/loadavg: 2.06 2.18 2.19 3/181 25711
/proc/meminfo: memFree=28452872/32873844 swapFree=7384/7384
[pid=25702] ppid=25700 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25702/stat : 25702 (npSolver-pbo-I.) S 25700 25702 14826 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 382579595 9367552 275 33554432000 4194304 5064252 140737278878320 140737278877232 270118053454 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25702/statm: 2287 275 233 213 0 72 0
[pid=25703] ppid=25702 vsize=4660 CPUtime=0.21 cores=0,2,4,6
/proc/25703/stat : 25703 (npSolver-pbo) S 25702 25702 14826 0 -1 4204032 2088 2881 0 0 3 0 16 2 20 0 1 0 382579595 4771840 805 33554432000 4194304 6004724 140736104173536 140736104168088 5251733 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25703/statm: 1165 805 173 442 0 719 0
[pid=25708] ppid=25703 vsize=71032 CPUtime=173.53 cores=0,2,4,6
/proc/25708/stat : 25708 (glucosInc) S 25703 25702 14826 0 -1 4202496 9401 0 0 0 17349 4 0 0 20 0 1 0 382579617 72736768 17288 33554432000 4194304 5654031 140734977935920 140734977934232 4976656 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/25708/statm: 17758 17288 147 357 0 17398 0
Current children cumulated CPU time (s) 173.74
Current children cumulated vsize (KiB) 84840
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25702 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=192970
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=29995
# CPU time returned by wait4() is 0.222965
# while last known CPU time is 173.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 173.906
CPU time (s): 173.74
CPU user time (s): 173.68
CPU system time (s): 0.06
CPU usage (%): 99.9048
Max. virtual memory (cumulated for all children) (KiB): 134148
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.19297
system time used= 0.029995
maximum resident set size= 31168
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5345
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1496
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 737
involuntary context switches= 10
runsolver used 0.481926 second user time and 0.864868 second system time
The end