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-3746995-1339109092/watcher-3746995-1339109092 -o /tmp/evaluation-result-3746995-1339109092/solver-3746995-1339109092 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3746995-1339109092.opb 238340226 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 2.00 3/176 12507
/proc/meminfo: memFree=18809012/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[startup+0.053512 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12507
/proc/meminfo: memFree=18809012/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100377 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12507
/proc/meminfo: memFree=18809012/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300323 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12507
/proc/meminfo: memFree=18809012/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700291 s]
/proc/loadavg: 2.00 2.00 2.00 3/176 12507
/proc/meminfo: memFree=18809012/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50035 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 12514
/proc/meminfo: memFree=18772432/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=134404 CPUtime=1.48 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) R 12507 12507 11080 0 -1 4202496 10061 11646 0 0 75 13 56 4 20 0 1 0 377037801 137629696 26882 33554432000 4194304 6004724 140735106958976 140735106952528 5193835 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12508/statm: 33601 26882 183 442 0 33155 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 143552
[startup+3.10041 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12516
/proc/meminfo: memFree=18623736/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=29240 CPUtime=1.54 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 10070 11646 0 0 75 19 56 4 20 0 1 0 377037801 29941760 6801 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12508/statm: 7310 6801 183 442 0 6864 0
[pid=12516] ppid=12508 vsize=124432 CPUtime=1.54 cores=1,3,5,7
/proc/12516/stat : 12516 (glucosInc) R 12508 12507 11080 0 -1 4202496 24658 0 0 0 147 7 0 0 20 0 1 0 377037956 127418368 27193 33554432000 4194304 5654031 140734033626880 140734033614696 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12516/statm: 31108 27193 141 357 0 30748 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 162820
[startup+6.30041 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12516
/proc/meminfo: memFree=18627376/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=29240 CPUtime=1.54 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 10070 11646 0 0 75 19 56 4 20 0 1 0 377037801 29941760 6801 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12508/statm: 7310 6801 183 442 0 6864 0
[pid=12516] ppid=12508 vsize=125620 CPUtime=4.74 cores=1,3,5,7
/proc/12516/stat : 12516 (glucosInc) R 12508 12507 11080 0 -1 4202496 25019 0 0 0 467 7 0 0 20 0 1 0 377037956 128634880 28065 33554432000 4194304 5654031 140734033626880 140734033614696 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12516/statm: 31405 28065 141 357 0 31045 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 164008
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12516
/proc/meminfo: memFree=18627544/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=29240 CPUtime=1.54 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 10070 11646 0 0 75 19 56 4 20 0 1 0 377037801 29941760 6801 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/12508/statm: 7310 6801 183 442 0 6864 0
[pid=12516] ppid=12508 vsize=126280 CPUtime=11.13 cores=1,3,5,7
/proc/12516/stat : 12516 (glucosInc) R 12508 12507 11080 0 -1 4202496 25184 0 0 0 1106 7 0 0 20 0 1 0 377037956 129310720 28230 33554432000 4194304 5654031 140734033626880 140734033624568 4797458 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12516/statm: 31570 28230 141 357 0 31210 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 164668
[startup+25.5069 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12518
/proc/meminfo: memFree=18619252/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=13.63 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 15471 37433 0 0 133 27 1189 14 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12518] ppid=12508 vsize=120172 CPUtime=11.86 cores=1,3,5,7
/proc/12518/stat : 12518 (glucosInc) R 12508 12507 11080 0 -1 4202496 23026 0 0 0 1179 7 0 0 20 0 1 0 377039165 123056128 26909 33554432000 4194304 5654031 140733852372144 140733852359960 4232408 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12518/statm: 30043 26909 141 357 0 29683 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 177268
[startup+51.1004 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12518
/proc/meminfo: memFree=18561712/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=13.63 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 15471 37433 0 0 133 27 1189 14 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12518] ppid=12508 vsize=180376 CPUtime=37.44 cores=1,3,5,7
/proc/12518/stat : 12518 (glucosInc) R 12508 12507 11080 0 -1 4202496 24961 0 0 0 3735 9 0 0 20 0 1 0 377039165 184705024 42053 33554432000 4194304 5654031 140733852372144 140733852369944 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12518/statm: 45094 42053 142 357 0 44734 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 237472
[startup+102.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12564
/proc/meminfo: memFree=24686140/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=69.61 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 21313 63427 0 0 189 35 6710 27 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12564] ppid=12508 vsize=120428 CPUtime=32.65 cores=1,3,5,7
/proc/12564/stat : 12564 (glucosInc) R 12508 12507 11080 0 -1 4202496 23346 0 0 0 3259 6 0 0 20 0 1 0 377044764 123318272 26735 33554432000 4194304 5654031 140734479728400 140734479716216 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12564/statm: 30107 26735 142 357 0 29747 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 177524
[startup+162.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12570
/proc/meminfo: memFree=24487560/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=69.61 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 21313 63427 0 0 189 35 6710 27 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12564] ppid=12508 vsize=183420 CPUtime=92.63 cores=1,3,5,7
/proc/12564/stat : 12564 (glucosInc) R 12508 12507 11080 0 -1 4202496 25247 0 0 0 9254 9 0 0 20 0 1 0 377044764 187822080 42581 33554432000 4194304 5654031 140734479728400 140734479716216 4232707 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12564/statm: 45855 42581 142 357 0 45495 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 240516
[startup+222.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/179 12578
/proc/meminfo: memFree=24561984/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=69.61 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 21313 63427 0 0 189 35 6710 27 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12564] ppid=12508 vsize=202464 CPUtime=152.62 cores=1,3,5,7
/proc/12564/stat : 12564 (glucosInc) R 12508 12507 11080 0 -1 4202496 25906 0 0 0 15252 10 0 0 20 0 1 0 377044764 207323136 44183 33554432000 4194304 5654031 140734479728400 140734479716216 4232453 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/12564/statm: 50616 44183 142 357 0 50256 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 259560
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 12578
/proc/meminfo: memFree=24499964/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
/proc/meminfo: memFree=24533180/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=1197.3 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 32976 118320 0 0 304 51 119314 61 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12624] ppid=12508 vsize=120960 CPUtime=44.73 cores=1,3,5,7
/proc/12624/stat : 12624 (glucosInc) R 12508 12507 11080 0 -1 4202496 23255 0 0 0 4467 6 0 0 20 0 1 0 377157556 123863040 26043 33554432000 4194304 5654031 140736693219456 140736693207272 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12624/statm: 30240 26043 142 357 0 29880 0
Current children cumulated CPU time (s) 1242.03
Current children cumulated vsize (KiB) 178056
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12624
/proc/meminfo: memFree=24563164/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=1197.3 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 32976 118320 0 0 304 51 119314 61 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12624] ppid=12508 vsize=124772 CPUtime=104.71 cores=1,3,5,7
/proc/12624/stat : 12624 (glucosInc) R 12508 12507 11080 0 -1 4202496 24251 0 0 0 10464 7 0 0 20 0 1 0 377157556 127766528 28463 33554432000 4194304 5654031 140736693219456 140736693207272 4232839 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12624/statm: 31193 28463 142 357 0 30833 0
Current children cumulated CPU time (s) 1302.01
Current children cumulated vsize (KiB) 181868
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12627
/proc/meminfo: memFree=24568516/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=1197.3 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 32976 118320 0 0 304 51 119314 61 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12624] ppid=12508 vsize=154080 CPUtime=164.7 cores=1,3,5,7
/proc/12624/stat : 12624 (glucosInc) R 12508 12507 11080 0 -1 4202496 24956 0 0 0 16461 9 0 0 20 0 1 0 377157556 157777920 36317 33554432000 4194304 5654031 140736693219456 140736693207272 4232800 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12624/statm: 38520 36317 142 357 0 38160 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 211176
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12627
/proc/meminfo: memFree=24530984/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=1197.3 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 32976 118320 0 0 304 51 119314 61 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12624] ppid=12508 vsize=154080 CPUtime=224.68 cores=1,3,5,7
/proc/12624/stat : 12624 (glucosInc) R 12508 12507 11080 0 -1 4202496 25736 0 0 0 22458 10 0 0 20 0 1 0 377157556 157777920 35805 33554432000 4194304 5654031 140736693219456 140736693207272 4232448 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12624/statm: 38520 35805 142 357 0 38160 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 211176
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12627
/proc/meminfo: memFree=24498324/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=1197.3 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 32976 118320 0 0 304 51 119314 61 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12624] ppid=12508 vsize=184428 CPUtime=284.68 cores=1,3,5,7
/proc/12624/stat : 12624 (glucosInc) R 12508 12507 11080 0 -1 4202496 26251 0 0 0 28457 11 0 0 20 0 1 0 377157556 188854272 43927 33554432000 4194304 5654031 140736693219456 140736693207272 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12624/statm: 46107 43927 142 357 0 45747 0
Current children cumulated CPU time (s) 1481.98
Current children cumulated vsize (KiB) 241524
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12630
/proc/meminfo: memFree=24491124/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=1197.3 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 32976 118320 0 0 304 51 119314 61 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12624] ppid=12508 vsize=154080 CPUtime=344.67 cores=1,3,5,7
/proc/12624/stat : 12624 (glucosInc) R 12508 12507 11080 0 -1 4202496 27011 0 0 0 34454 13 0 0 20 0 1 0 377157556 157777920 36550 33554432000 4194304 5654031 140736693219456 140736693207272 4233213 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12624/statm: 38520 36550 142 357 0 38160 0
Current children cumulated CPU time (s) 1541.97
Current children cumulated vsize (KiB) 211176
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12631
/proc/meminfo: memFree=24490828/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=1197.3 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 32976 118320 0 0 304 51 119314 61 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12624] ppid=12508 vsize=154080 CPUtime=404.65 cores=1,3,5,7
/proc/12624/stat : 12624 (glucosInc) R 12508 12507 11080 0 -1 4202496 27108 0 0 0 40452 13 0 0 20 0 1 0 377157556 157777920 36550 33554432000 4194304 5654031 140736693219456 140736693207272 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12624/statm: 38520 36550 142 357 0 38160 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 211176
[startup+1662.31 s]
/proc/loadavg: 2.03 2.01 2.00 3/180 12633
/proc/meminfo: memFree=24456020/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=1197.3 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 32976 118320 0 0 304 51 119314 61 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12624] ppid=12508 vsize=203400 CPUtime=464.66 cores=1,3,5,7
/proc/12624/stat : 12624 (glucosInc) R 12508 12507 11080 0 -1 4202496 27300 0 0 0 46451 15 0 0 20 0 1 0 377157556 208281600 44821 33554432000 4194304 5654031 140736693219456 140736693207272 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12624/statm: 50850 44821 142 357 0 50490 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 260496
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/179 12633
/proc/meminfo: memFree=24450024/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=1197.3 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 32976 118320 0 0 304 51 119314 61 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12624] ppid=12508 vsize=203400 CPUtime=524.64 cores=1,3,5,7
/proc/12624/stat : 12624 (glucosInc) R 12508 12507 11080 0 -1 4202496 27399 0 0 0 52449 15 0 0 20 0 1 0 377157556 208281600 45333 33554432000 4194304 5654031 140736693219456 140736693207272 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12624/statm: 50850 45333 142 357 0 50490 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 260496
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12633
/proc/meminfo: memFree=24484608/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=1197.3 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 32976 118320 0 0 304 51 119314 61 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12624] ppid=12508 vsize=154080 CPUtime=584.63 cores=1,3,5,7
/proc/12624/stat : 12624 (glucosInc) R 12508 12507 11080 0 -1 4202496 27503 0 0 0 58446 17 0 0 20 0 1 0 377157556 157777920 36550 33554432000 4194304 5654031 140736693219456 140736693207272 4232380 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12624/statm: 38520 36550 142 357 0 38160 0
Current children cumulated CPU time (s) 1781.93
Current children cumulated vsize (KiB) 211176
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12635
/proc/meminfo: memFree=24536672/32873844 swapFree=7120/7120
[pid=12507] ppid=12505 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/12507/stat : 12507 (npSolver-pbo-It) S 12505 12507 11080 0 -1 4202496 360 0 0 0 0 0 0 0 20 0 1 0 377037801 9367552 275 33554432000 4194304 5064252 140736035910576 140736035909488 235374536270 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/12507/statm: 2287 275 233 213 0 72 0
[pid=12508] ppid=12507 vsize=47948 CPUtime=1197.3 cores=1,3,5,7
/proc/12508/stat : 12508 (npSolver-pbo) S 12507 12507 11080 0 -1 4202496 32976 118320 0 0 304 51 119314 61 20 0 1 0 377037801 49098752 11478 33554432000 4194304 6004724 140735106958976 140735106944824 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/12508/statm: 11987 11478 183 442 0 11541 0
[pid=12624] ppid=12508 vsize=203400 CPUtime=602.73 cores=1,3,5,7
/proc/12624/stat : 12624 (glucosInc) R 12508 12507 11080 0 -1 4202496 27599 0 0 0 60256 17 0 0 20 0 1 0 377157556 208281600 45333 33554432000 4194304 5654031 140736693219456 140736693207272 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/12624/statm: 50850 45333 142 357 0 50490 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 260496
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.07
CPU user time (s): 1798.76
CPU system time (s): 1.3138
CPU usage (%): 99.981
Max. virtual memory (cumulated for all children) (KiB): 270864
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.76
system time used= 1.3138
maximum resident set size= 207304
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 179277
page faults= 0
swaps= 0
block input operations= 8
block output operations= 380744
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1901
involuntary context switches= 2339
runsolver used 3.33449 second user time and 7.56285 second system time
The end