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-3751926-1339118124/watcher-3751926-1339118124 -o /tmp/evaluation-result-3751926-1339118124/solver-3751926-1339118124 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751926-1339118124.opb 1188335880 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.09 2.03 2.01 3/178 24700
/proc/meminfo: memFree=31583376/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[startup+0.042679 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 24700
/proc/meminfo: memFree=31583376/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100168 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 24700
/proc/meminfo: memFree=31583376/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300114 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 24700
/proc/meminfo: memFree=31583376/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.70011 s]
/proc/loadavg: 2.09 2.03 2.01 3/178 24700
/proc/meminfo: memFree=31583376/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.08 2.03 2.01 3/181 24716
/proc/meminfo: memFree=31571260/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=4496 CPUtime=0.04 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 2240 6197 0 0 2 0 1 1 20 0 1 0 377938496 4603904 729 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 1124 729 195 442 0 678 0
[pid=24716] ppid=24701 vsize=10876 CPUtime=1.42 cores=0,2,4,6
/proc/24716/stat : 24716 (glucosInc) R 24701 24700 22322 0 -1 4202496 2858 0 0 0 142 0 0 0 20 0 1 0 377938502 11137024 2288 33554432000 4194304 5654031 140735400718272 140735400706088 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24716/statm: 2719 2288 141 357 0 2359 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 24520
[startup+3.10029 s]
/proc/loadavg: 2.08 2.03 2.01 3/181 24716
/proc/meminfo: memFree=31565368/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=4496 CPUtime=0.04 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 2240 6197 0 0 2 0 1 1 20 0 1 0 377938496 4603904 729 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 1124 729 195 442 0 678 0
[pid=24716] ppid=24701 vsize=15228 CPUtime=3.02 cores=0,2,4,6
/proc/24716/stat : 24716 (glucosInc) R 24701 24700 22322 0 -1 4202496 3061 0 0 0 302 0 0 0 20 0 1 0 377938502 15593472 2489 33554432000 4194304 5654031 140735400718272 140735400706088 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24716/statm: 3807 2489 141 357 0 3447 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 28872
[startup+6.30035 s]
/proc/loadavg: 2.08 2.03 2.01 3/181 24718
/proc/meminfo: memFree=31556680/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=4496 CPUtime=3.29 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 2946 9812 0 0 3 0 325 1 20 0 1 0 377938496 4603904 738 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 1124 738 195 442 0 678 0
[pid=24718] ppid=24701 vsize=15220 CPUtime=2.96 cores=0,2,4,6
/proc/24718/stat : 24718 (glucosInc) R 24701 24700 22322 0 -1 4202496 3677 0 0 0 296 0 0 0 20 0 1 0 377938829 15585280 3075 33554432000 4194304 5654031 140734328614576 140734328612376 4214977 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24718/statm: 3805 3075 141 357 0 3445 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 28864
[startup+12.7003 s]
/proc/loadavg: 2.14 2.05 2.01 3/181 24829
/proc/meminfo: memFree=31759496/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=4496 CPUtime=10.92 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 4358 17993 0 0 6 1 1082 3 20 0 1 0 377938496 4603904 738 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 1124 738 195 442 0 678 0
[pid=24727] ppid=24701 vsize=11532 CPUtime=1.73 cores=0,2,4,6
/proc/24727/stat : 24727 (glucosInc) R 24701 24700 22322 0 -1 4202496 3118 0 0 0 173 0 0 0 20 0 1 0 377939592 11808768 2519 33554432000 4194304 5654031 140734653613840 140734653601656 4232431 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/24727/statm: 2883 2519 141 357 0 2523 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 25176
[startup+25.5003 s]
/proc/loadavg: 2.12 2.05 2.01 3/181 24835
/proc/meminfo: memFree=31755016/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=4496 CPUtime=24.25 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 6476 29939 0 0 11 1 2407 6 20 0 1 0 377938496 4603904 738 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 1124 738 195 442 0 678 0
[pid=24835] ppid=24701 vsize=9196 CPUtime=1.19 cores=0,2,4,6
/proc/24835/stat : 24835 (glucosInc) R 24701 24700 22322 0 -1 4202496 2536 0 0 0 119 0 0 0 20 0 1 0 377940926 9416704 1945 33554432000 4194304 5654031 140737362458160 140737362445976 4215248 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24835/statm: 2299 1945 141 357 0 1939 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 22840
[startup+51.1003 s]
/proc/loadavg: 2.08 2.04 2.01 3/181 24837
/proc/meminfo: memFree=31737620/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=4496 CPUtime=37.98 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 7182 34840 0 0 12 1 3778 7 20 0 1 0 377938496 4603904 738 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 1124 738 195 442 0 678 0
[pid=24837] ppid=24701 vsize=24956 CPUtime=13.05 cores=0,2,4,6
/proc/24837/stat : 24837 (glucosInc) R 24701 24700 22322 0 -1 4202496 4290 0 0 0 1304 1 0 0 20 0 1 0 377942300 25554944 5888 33554432000 4194304 5654031 140736431692768 140736431680584 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24837/statm: 6239 5888 141 357 0 5879 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 38600
[startup+102.306 s]
/proc/loadavg: 2.03 2.03 2.00 3/181 24843
/proc/meminfo: memFree=31753120/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=4496 CPUtime=100.95 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 9300 50278 0 0 17 2 10065 11 20 0 1 0 377938496 4603904 738 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/24701/statm: 1124 738 195 442 0 678 0
[pid=24843] ppid=24701 vsize=9872 CPUtime=1.26 cores=0,2,4,6
/proc/24843/stat : 24843 (glucosInc) R 24701 24700 22322 0 -1 4202496 2420 0 0 0 126 0 0 0 20 0 1 0 377948599 10108928 2004 33554432000 4194304 5654031 140736104574672 140736104562488 4232994 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/24843/statm: 2468 2004 141 357 0 2108 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 23516
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 24847
/proc/meminfo: memFree=31624872/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=114056 CPUtime=19.71 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 22721 0 0 0 1967 4 0 0 20 0 1 0 377952751 116793344 24012 33554432000 4194304 5654031 140734423815856 140734423813640 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 28514 24012 150 357 0 28154 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 143284
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 24847
/proc/meminfo: memFree=31607596/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=115008 CPUtime=79.69 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 23249 0 0 0 7965 4 0 0 20 0 1 0 377952751 117768192 24729 33554432000 4194304 5654031 140734423815856 140734423813640 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 28752 24729 151 357 0 28392 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 144236
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31556276/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=165132 CPUtime=1099.51 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 25662 0 0 0 109944 7 0 0 20 0 1 0 377952751 169095168 36698 33554432000 4194304 5654031 140734423815856 140734423813736 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 41283 36698 151 357 0 40923 0
Current children cumulated CPU time (s) 1242
Current children cumulated vsize (KiB) 194360
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24857
/proc/meminfo: memFree=31556276/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=165132 CPUtime=1159.51 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 25662 0 0 0 115944 7 0 0 20 0 1 0 377952751 169095168 36698 33554432000 4194304 5654031 140734423815856 140734423813736 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 41283 36698 151 357 0 40923 0
Current children cumulated CPU time (s) 1302
Current children cumulated vsize (KiB) 194360
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24857
/proc/meminfo: memFree=31556276/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=165132 CPUtime=1219.5 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 25662 0 0 0 121943 7 0 0 20 0 1 0 377952751 169095168 36698 33554432000 4194304 5654031 140734423815856 140734423813736 4232662 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 41283 36698 151 357 0 40923 0
Current children cumulated CPU time (s) 1361.99
Current children cumulated vsize (KiB) 194360
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24857
/proc/meminfo: memFree=31556276/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=165132 CPUtime=1279.49 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 25662 0 0 0 127942 7 0 0 20 0 1 0 377952751 169095168 36698 33554432000 4194304 5654031 140734423815856 140734423813736 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 41283 36698 151 357 0 40923 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 194360
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 24860
/proc/meminfo: memFree=31555880/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=165132 CPUtime=1339.48 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 25662 0 0 0 133941 7 0 0 20 0 1 0 377952751 169095168 36698 33554432000 4194304 5654031 140734423815856 140734423813736 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 41283 36698 151 357 0 40923 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 194360
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24861
/proc/meminfo: memFree=31553980/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=165132 CPUtime=1399.47 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 25662 0 0 0 139940 7 0 0 20 0 1 0 377952751 169095168 36698 33554432000 4194304 5654031 140734423815856 140734423813736 4232482 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 41283 36698 151 357 0 40923 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 194360
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24861
/proc/meminfo: memFree=31553980/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=165132 CPUtime=1459.46 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 25662 0 0 0 145939 7 0 0 20 0 1 0 377952751 169095168 36698 33554432000 4194304 5654031 140734423815856 140734423813736 4232477 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 41283 36698 151 357 0 40923 0
Current children cumulated CPU time (s) 1601.95
Current children cumulated vsize (KiB) 194360
[startup+1662.3 s]
/proc/loadavg: 2.06 2.01 2.00 3/181 24861
/proc/meminfo: memFree=31552180/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=165132 CPUtime=1519.45 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 25663 0 0 0 151938 7 0 0 20 0 1 0 377952751 169095168 37210 33554432000 4194304 5654031 140734423815856 140734423813736 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 41283 37210 151 357 0 40923 0
Current children cumulated CPU time (s) 1661.94
Current children cumulated vsize (KiB) 194360
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 24861
/proc/meminfo: memFree=31552180/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=165132 CPUtime=1579.44 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 25663 0 0 0 157937 7 0 0 20 0 1 0 377952751 169095168 37210 33554432000 4194304 5654031 140734423815856 140734423813736 4232581 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 41283 37210 151 357 0 40923 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 194360
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 24861
/proc/meminfo: memFree=31551932/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=165132 CPUtime=1639.43 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 25663 0 0 0 163936 7 0 0 20 0 1 0 377952751 169095168 37210 33554432000 4194304 5654031 140734423815856 140734423813736 4232386 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 41283 37210 151 357 0 40923 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 194360
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 24861
/proc/meminfo: memFree=31552064/32873844 swapFree=7380/7380
[pid=24700] ppid=24698 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/24700/stat : 24700 (npSolver-pbo-It) S 24698 24700 22322 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 377938496 9367552 275 33554432000 4194304 5064252 140734227465840 140734227464752 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/24700/statm: 2287 275 233 213 0 72 0
[pid=24701] ppid=24700 vsize=20080 CPUtime=142.49 cores=0,2,4,6
/proc/24701/stat : 24701 (npSolver-pbo) S 24700 24700 22322 0 -1 4202496 16977 61056 0 0 38 6 14191 14 20 0 1 0 377938496 20561920 4708 33554432000 4194304 6004724 140735955447536 140735955433384 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/24701/statm: 5020 4708 196 442 0 4574 0
[pid=24847] ppid=24701 vsize=165132 CPUtime=1657.54 cores=0,2,4,6
/proc/24847/stat : 24847 (glucosInc) R 24701 24700 22322 0 -1 4202496 25663 0 0 0 165747 7 0 0 20 0 1 0 377952751 169095168 37210 33554432000 4194304 5654031 140734423815856 140734423813736 4208595 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/24847/statm: 41283 37210 151 357 0 40923 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 194360
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.05
CPU user time (s): 1799.76
CPU system time (s): 0.280957
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 194360
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.76
system time used= 0.280957
maximum resident set size= 160912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 104071
page faults= 0
swaps= 0
block input operations= 0
block output operations= 41288
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 828
involuntary context switches= 2198
runsolver used 4.41633 second user time and 18.6442 second system time
The end