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-3751977-1339116196/watcher-3751977-1339116196 -o /tmp/evaluation-result-3751977-1339116196/solver-3751977-1339116196 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751977-1339116196.opb 959597541 HOME HOME
running on 4 cores: 1,3,5,7
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: 2.00 2.00 1.98 2/178 28320
/proc/meminfo: memFree=31526896/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[startup+0.100881 s]
/proc/loadavg: 2.00 2.00 1.98 2/178 28320
/proc/meminfo: memFree=31526896/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.20037 s]
/proc/loadavg: 2.00 2.00 1.98 2/178 28320
/proc/meminfo: memFree=31526896/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.30037 s]
/proc/loadavg: 2.00 2.00 1.98 2/178 28320
/proc/meminfo: memFree=31526896/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700319 s]
/proc/loadavg: 2.00 2.00 1.98 2/178 28320
/proc/meminfo: memFree=31526896/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.00 2.00 1.98 3/180 28322
/proc/meminfo: memFree=31391704/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229596 CPUtime=1.49 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) R 28320 28320 26405 0 -1 4202496 41188 0 0 0 134 15 0 0 20 0 1 0 377746597 235106304 57015 33554432000 4194304 6004724 140737122161984 140737122157624 4618006 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28321/statm: 57399 57015 137 442 0 56953 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 238744
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 1.98 3/182 28324
/proc/meminfo: memFree=31237404/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229596 CPUtime=3.06 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 41222 12200 0 0 153 18 132 3 20 0 1 0 377746597 235106304 57034 33554432000 4194304 6004724 140737122161984 140737122148264 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/28321/statm: 57399 57034 152 442 0 56953 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 238744
[startup+6.30037 s]
/proc/loadavg: 2.08 2.02 1.99 3/183 28329
/proc/meminfo: memFree=31160632/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=262368 CPUtime=6.27 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) R 28320 28320 26405 0 -1 4202496 54959 41484 0 0 275 106 232 14 20 0 1 0 377746597 268664832 62254 33554432000 4194304 6004724 140737122161984 140737122158064 4536263 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28321/statm: 65592 62254 195 442 0 65146 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 271516
[startup+12.7004 s]
/proc/loadavg: 2.07 2.02 1.99 3/181 28336
/proc/meminfo: memFree=31161256/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=6.78 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) R 28320 28320 26405 0 -1 4202496 57626 41999 0 0 315 115 232 16 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122157368 4342568 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28336] ppid=28321 vsize=163636 CPUtime=5.87 cores=1,3,5,7
/proc/28336/stat : 28336 (glucosInc) S 28321 28320 26405 0 -1 4202496 30921 0 0 0 577 10 0 0 20 0 1 0 377747278 167563264 36694 33554432000 4194304 5654031 140733849512336 140733849510648 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/28336/statm: 40909 36694 147 357 0 40549 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 402384
[startup+25.5005 s]
/proc/loadavg: 2.06 2.01 1.99 3/181 28338
/proc/meminfo: memFree=31128868/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=14.17 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 67834 73442 0 0 451 126 809 31 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28338] ppid=28321 vsize=164092 CPUtime=11.27 cores=1,3,5,7
/proc/28338/stat : 28338 (glucosInc) R 28321 28320 26405 0 -1 4202496 30163 0 0 0 1120 7 0 0 20 0 1 0 377748018 168030208 36020 33554432000 4194304 5654031 140734843328144 140734843315960 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28338/statm: 41023 36020 141 357 0 40663 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 402840
[startup+51.1005 s]
/proc/loadavg: 2.04 2.01 1.99 3/181 28340
/proc/meminfo: memFree=31068240/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=28.04 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 79523 104418 0 0 589 137 2035 43 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28340] ppid=28321 vsize=165940 CPUtime=23.02 cores=1,3,5,7
/proc/28340/stat : 28340 (glucosInc) R 28321 28320 26405 0 -1 4202496 31937 0 0 0 2294 8 0 0 20 0 1 0 377749404 169922560 38972 33554432000 4194304 5654031 140734007119216 140734007107032 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28340/statm: 41485 38972 141 357 0 41125 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 404688
[startup+102.3 s]
/proc/loadavg: 2.09 2.02 1.99 3/181 28394
/proc/meminfo: memFree=30835508/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=28.04 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 79523 104418 0 0 589 137 2035 43 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28340] ppid=28321 vsize=168884 CPUtime=74.21 cores=1,3,5,7
/proc/28340/stat : 28340 (glucosInc) R 28321 28320 26405 0 -1 4202496 34837 0 0 0 7410 11 0 0 20 0 1 0 377749404 172937216 37690 33554432000 4194304 5654031 140734007119216 140734007107032 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28340/statm: 42221 37690 141 357 0 41861 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 407632
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 1.99 3/181 28400
/proc/meminfo: memFree=30802216/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=164752 CPUtime=15.51 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 30582 0 0 0 1543 8 0 0 20 0 1 0 377761275 168706048 38101 33554432000 4194304 5654031 140735551539296 140735551527112 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 41188 38101 141 357 0 40828 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 403500
[startup+222.307 s]
/proc/loadavg: 2.01 2.01 1.99 3/181 28401
/proc/meminfo: memFree=30774048/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=168640 CPUtime=75.5 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 32759 0 0 0 7540 10 0 0 20 0 1 0 377761275 172687360 38627 33554432000 4194304 5654031 140735551539296 140735551527112 4208659 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 42160 38627 141 357 0 41800 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 407388
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 28401
/proc/meminfo: memFree=30646412/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=203048 CPUtime=135.49 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=29885276/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=515800 CPUtime=1215.27 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 77659 0 0 0 121423 104 0 0 20 0 1 0 377761275 528179200 126432 33554432000 4194304 5654031 140735551539296 140735551537080 4233236 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 128950 126432 141 357 0 128590 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 754548
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28433
/proc/meminfo: memFree=30287120/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=254672 CPUtime=1275.27 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 80430 0 0 0 127411 116 0 0 20 0 1 0 377761275 260784128 58103 33554432000 4194304 5654031 140735551539296 140735551537384 4232960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 63668 58103 141 357 0 63308 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 493420
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28434
/proc/meminfo: memFree=30173164/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=520164 CPUtime=1335.24 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 82958 0 0 0 133402 122 0 0 20 0 1 0 377761275 532647936 127833 33554432000 4194304 5654031 140735551539296 140735551537080 4232973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 130041 127833 141 357 0 129681 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 758912
[startup+1542.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28434
/proc/meminfo: memFree=29699280/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=739360 CPUtime=1395.24 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 84379 0 0 0 139397 127 0 0 20 0 1 0 377761275 757104640 179842 33554432000 4194304 5654031 140735551539296 140735551537080 4215188 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 184840 179842 141 357 0 184480 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 978108
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28434
/proc/meminfo: memFree=30279544/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=311536 CPUtime=1455.22 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 87019 0 0 0 145385 137 0 0 20 0 1 0 377761275 319012864 74621 33554432000 4194304 5654031 140735551539296 140735551527112 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 77884 74621 141 357 0 77524 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 550284
[startup+1662.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 28437
/proc/meminfo: memFree=30369340/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=525928 CPUtime=1515.21 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 88205 0 0 0 151381 140 0 0 20 0 1 0 377761275 538550272 100845 33554432000 4194304 5654031 140735551539296 140735551536984 4232968 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 131482 100845 141 357 0 131122 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 764676
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/182 28437
/proc/meminfo: memFree=30011324/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=527340 CPUtime=1575.2 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 88560 0 0 0 157378 142 0 0 20 0 1 0 377761275 539996160 127261 33554432000 4194304 5654031 140735551539296 140735551527112 4215026 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 131835 127261 141 357 0 131475 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 766088
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28438
/proc/meminfo: memFree=30242540/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=743144 CPUtime=1635.19 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 89360 0 0 0 163376 143 0 0 20 0 1 0 377761275 760979456 137257 33554432000 4194304 5654031 140735551539296 140735551527112 4215344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 185786 137257 141 357 0 185426 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 981892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28438
/proc/meminfo: memFree=30137408/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=743144 CPUtime=1653.3 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 89363 0 0 0 165186 144 0 0 20 0 1 0 377761275 760979456 138793 33554432000 4194304 5654031 140735551539296 140735551527112 4215290 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 185786 138793 141 357 0 185426 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 981892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 28438
/proc/meminfo: memFree=30137408/32873844 swapFree=7116/7116
[pid=28320] ppid=28318 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/28320/stat : 28320 (npSolver-pbo-It) S 28318 28320 26405 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377746597 9367552 275 33554432000 4194304 5064252 140734490509664 140734490508576 233411601998 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/28320/statm: 2287 275 233 213 0 72 0
[pid=28321] ppid=28320 vsize=229600 CPUtime=146.73 cores=1,3,5,7
/proc/28321/stat : 28321 (npSolver-pbo) S 28320 28320 26405 0 -1 4202496 91211 142089 0 0 726 147 13739 61 20 0 1 0 377746597 235110400 57078 33554432000 4194304 6004724 140737122161984 140737122147832 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/28321/statm: 57400 57078 195 442 0 56954 0
[pid=28400] ppid=28321 vsize=743144 CPUtime=1653.3 cores=1,3,5,7
/proc/28400/stat : 28400 (glucosInc) R 28321 28320 26405 0 -1 4202496 89363 0 0 0 165186 144 0 0 20 0 1 0 377761275 760979456 138793 33554432000 4194304 5654031 140735551539296 140735551527112 4215290 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/28400/statm: 185786 138793 141 357 0 185426 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 981892
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 28320 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=999
# CPU time returned by wait4() is 0.000999
# while last known CPU time is 1800.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.42
CPU time (s): 1800.03
CPU user time (s): 1796.51
CPU system time (s): 3.52
CPU usage (%): 99.9785
Max. virtual memory (cumulated for all children) (KiB): 1377268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.000999
maximum resident set size= 1100
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 358
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= 4
involuntary context switches= 1
runsolver used 4.48932 second user time and 10.6944 second system time
The end