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-3703111-1338086073/watcher-3703111-1338086073 -o /tmp/evaluation-result-3703111-1338086073/solver-3703111-1338086073 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3703111-1338086073.opb 401263985 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: 2.01 2.00 2.00 3/178 5572
/proc/meminfo: memFree=30840932/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[startup+0.061649 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 5572
/proc/meminfo: memFree=30840932/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100291 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 5572
/proc/meminfo: memFree=30840932/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300274 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 5572
/proc/meminfo: memFree=30840932/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700162 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 5572
/proc/meminfo: memFree=30840932/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50041 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 5576
/proc/meminfo: memFree=30552280/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=0.47 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10286 0 0 0 42 5 0 0 20 0 1 0 274733375 63049728 12306 33554432000 4194304 5992684 140733383670480 140733383664928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12306 165 440 0 14949 0
[pid=5575] ppid=5573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5575/stat : 5575 (cp2_pre.sh) S 5573 5572 4103 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274733422 9367552 276 33554432000 4194304 5064252 140735059836208 140735059834912 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5575/statm: 2287 276 234 213 0 72 0
[pid=5576] ppid=5575 vsize=306156 CPUtime=1 cores=0,2,4,6
/proc/5576/stat : 5576 (coprocessor) R 5575 5572 4103 0 -1 4202496 38176 0 0 0 93 7 0 0 20 0 1 0 274733423 313503744 67347 33554432000 4194304 6586260 140734830984464 140734830980728 4496327 0 0 4096 8404994 0 0 0 17 2 0 0 0 0 0
/proc/5576/statm: 76539 67347 166 584 0 75951 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 386024
[startup+3.10041 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 5576
/proc/meminfo: memFree=30445604/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=0.47 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10286 0 0 0 42 5 0 0 20 0 1 0 274733375 63049728 12306 33554432000 4194304 5992684 140733383670480 140733383664928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12306 165 440 0 14949 0
[pid=5575] ppid=5573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5575/stat : 5575 (cp2_pre.sh) S 5573 5572 4103 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274733422 9367552 276 33554432000 4194304 5064252 140735059836208 140735059834912 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5575/statm: 2287 276 234 213 0 72 0
[pid=5576] ppid=5575 vsize=381476 CPUtime=2.61 cores=0,2,4,6
/proc/5576/stat : 5576 (coprocessor) R 5575 5572 4103 0 -1 4202496 50876 0 0 0 250 11 0 0 20 0 1 0 274733423 390631424 92819 33554432000 4194304 6586260 140734830984464 140734830979784 5599454 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/5576/statm: 95369 92819 190 584 0 94781 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 461344
[startup+6.30037 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 5576
/proc/meminfo: memFree=30396092/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=0.47 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10286 0 0 0 42 5 0 0 20 0 1 0 274733375 63049728 12306 33554432000 4194304 5992684 140733383670480 140733383664928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12306 165 440 0 14949 0
[pid=5575] ppid=5573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5575/stat : 5575 (cp2_pre.sh) S 5573 5572 4103 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274733422 9367552 276 33554432000 4194304 5064252 140735059836208 140735059834912 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5575/statm: 2287 276 234 213 0 72 0
[pid=5576] ppid=5575 vsize=383852 CPUtime=5.81 cores=0,2,4,6
/proc/5576/stat : 5576 (coprocessor) R 5575 5572 4103 0 -1 4202496 51459 0 0 0 570 11 0 0 20 0 1 0 274733423 393064448 93402 33554432000 4194304 6586260 140734830984464 140734830979784 5599447 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/5576/statm: 95963 93402 190 584 0 95375 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 463720
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5576
/proc/meminfo: memFree=30394528/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=0.47 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10286 0 0 0 42 5 0 0 20 0 1 0 274733375 63049728 12306 33554432000 4194304 5992684 140733383670480 140733383664928 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12306 165 440 0 14949 0
[pid=5575] ppid=5573 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5575/stat : 5575 (cp2_pre.sh) S 5573 5572 4103 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274733422 9367552 276 33554432000 4194304 5064252 140735059836208 140735059834912 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/5575/statm: 2287 276 234 213 0 72 0
[pid=5576] ppid=5575 vsize=385040 CPUtime=12.21 cores=0,2,4,6
/proc/5576/stat : 5576 (coprocessor) R 5575 5572 4103 0 -1 4202496 51759 0 0 0 1210 11 0 0 20 0 1 0 274733423 394280960 93702 33554432000 4194304 6586260 140734830984464 140734830979784 5599507 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/5576/statm: 96260 93702 190 584 0 95672 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 464908
[startup+25.5068 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5578
/proc/meminfo: memFree=30662924/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=109456 CPUtime=5.59 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 21352 0 0 0 554 5 0 0 20 0 1 0 274735365 112082944 24688 33554432000 4194304 5654031 140736290699568 140736290697592 4877259 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 27364 24688 141 357 0 27004 0
Current children cumulated CPU time (s) 25.35
Current children cumulated vsize (KiB) 180176
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5578
/proc/meminfo: memFree=30629740/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=167524 CPUtime=31.18 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 23509 0 0 0 3112 6 0 0 20 0 1 0 274735365 171544576 32329 33554432000 4194304 5654031 140736290699568 140736290687384 4232729 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 41881 32329 142 357 0 41521 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 238244
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5578
/proc/meminfo: memFree=30607812/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=167524 CPUtime=82.37 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 24129 0 0 0 8230 7 0 0 20 0 1 0 274735365 171544576 38564 33554432000 4194304 5654031 140736290699568 140736290687384 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 41881 38564 142 357 0 41521 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 238244
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5578
/proc/meminfo: memFree=30601388/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=167516 CPUtime=142.35 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 25456 0 0 0 14226 9 0 0 20 0 1 0 274735365 171536384 38853 33554432000 4194304 5654031 140736290699568 140736290687384 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 41879 38853 142 357 0 41519 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 238236
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5578
/proc/meminfo: memFree=30539948/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/181 5645
/proc/meminfo: memFree=28122456/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=247184 CPUtime=1342.16 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 37466 0 0 0 134176 40 0 0 20 0 1 0 274735365 253116416 50923 33554432000 4194304 5654031 140736290699568 140736290687384 4215040 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 61796 50923 142 357 0 61436 0
Current children cumulated CPU time (s) 1361.92
Current children cumulated vsize (KiB) 317904
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5645
/proc/meminfo: memFree=28155812/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=197864 CPUtime=1402.16 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 38066 0 0 0 140174 42 0 0 20 0 1 0 274735365 202612736 42597 33554432000 4194304 5654031 140736290699568 140736290687384 4208683 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 49466 42597 142 357 0 49106 0
Current children cumulated CPU time (s) 1421.92
Current children cumulated vsize (KiB) 268584
[startup+1482.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/180 5645
/proc/meminfo: memFree=28099844/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=278004 CPUtime=1462.15 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 38811 0 0 0 146172 43 0 0 20 0 1 0 274735365 284676096 56622 33554432000 4194304 5654031 140736290699568 140736290687384 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 69501 56622 142 357 0 69141 0
Current children cumulated CPU time (s) 1481.91
Current children cumulated vsize (KiB) 348724
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/182 5649
/proc/meminfo: memFree=28093900/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=278004 CPUtime=1522.15 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 39561 0 0 0 152170 45 0 0 20 0 1 0 274735365 284676096 58158 33554432000 4194304 5654031 140736290699568 140736290687384 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 69501 58158 142 357 0 69141 0
Current children cumulated CPU time (s) 1541.91
Current children cumulated vsize (KiB) 348724
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 5672
/proc/meminfo: memFree=28099964/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=278004 CPUtime=1582.12 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 40901 0 0 0 158165 47 0 0 20 0 1 0 274735365 284676096 57134 33554432000 4194304 5654031 140736290699568 140736290687384 4232803 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 69501 57134 142 357 0 69141 0
Current children cumulated CPU time (s) 1601.88
Current children cumulated vsize (KiB) 348724
[startup+1662.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5672
/proc/meminfo: memFree=28116968/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=247184 CPUtime=1642.12 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 41649 0 0 0 164163 49 0 0 20 0 1 0 274735365 253116416 52459 33554432000 4194304 5654031 140736290699568 140736290687384 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 61796 52459 142 357 0 61436 0
Current children cumulated CPU time (s) 1661.88
Current children cumulated vsize (KiB) 317904
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5672
/proc/meminfo: memFree=28155052/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=197864 CPUtime=1702.11 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 42869 0 0 0 170159 52 0 0 20 0 1 0 274735365 202612736 42597 33554432000 4194304 5654031 140736290699568 140736290697592 4215200 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 49466 42597 142 357 0 49106 0
Current children cumulated CPU time (s) 1721.87
Current children cumulated vsize (KiB) 268584
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5672
/proc/meminfo: memFree=28080200/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=278004 CPUtime=1762.1 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 43624 0 0 0 176156 54 0 0 20 0 1 0 274735365 284676096 61230 33554432000 4194304 5654031 140736290699568 140736290687384 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 69501 61230 142 357 0 69141 0
Current children cumulated CPU time (s) 1781.86
Current children cumulated vsize (KiB) 348724
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5673
/proc/meminfo: memFree=28076072/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=278004 CPUtime=1780.31 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 43660 0 0 0 177977 54 0 0 20 0 1 0 274735365 284676096 62288 33554432000 4194304 5654031 140736290699568 140736290687384 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 69501 62288 142 357 0 69141 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 348724
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 5673
/proc/meminfo: memFree=28076072/32873648 swapFree=6860/6860
[pid=5572] ppid=5570 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/5572/stat : 5572 (npSolver-pbo-It) S 5570 5572 4103 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274733375 9367552 275 33554432000 4194304 5064252 140737271301152 140737271300064 266435454542 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/5572/statm: 2287 275 233 213 0 72 0
[pid=5573] ppid=5572 vsize=61572 CPUtime=19.76 cores=0,2,4,6
/proc/5573/stat : 5573 (npSolver-pbo) S 5572 5572 4103 0 -1 4202496 10302 56741 0 0 42 5 1717 212 20 0 1 0 274733375 63049728 12308 33554432000 4194304 5992684 140733383670480 140733383656744 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/5573/statm: 15393 12308 167 440 0 14949 0
[pid=5578] ppid=5573 vsize=278004 CPUtime=1780.31 cores=0,2,4,6
/proc/5578/stat : 5578 (glucosInc) R 5573 5572 4103 0 -1 4202496 43660 0 0 0 177977 54 0 0 20 0 1 0 274735365 284676096 62288 33554432000 4194304 5654031 140736290699568 140736290687384 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/5578/statm: 69501 62288 142 357 0 69141 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 348724
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5572 and gives
# childrusage.ru_utime.tv_sec=17
# childrusage.ru_utime.tv_usec=593325
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=187667
# CPU time returned by wait4() is 19.781
# while last known CPU time is 1800.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.51
CPU time (s): 1800.07
CPU user time (s): 1797.36
CPU system time (s): 2.71
CPU usage (%): 99.9753
Max. virtual memory (cumulated for all children) (KiB): 593360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.5933
system time used= 2.18767
maximum resident set size= 496208
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 67418
page faults= 0
swaps= 0
block input operations= 0
block output operations= 97992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 46
runsolver used 3.03754 second user time and 8.44272 second system time
The end