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-3748325-1339158273/watcher-3748325-1339158273 -o /tmp/evaluation-result-3748325-1339158273/solver-3748325-1339158273 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748325-1339158273.opb 1269687203 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: 1.08 1.68 1.88 2/175 15638
/proc/meminfo: memFree=30772476/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[startup+0.01152 s]
/proc/loadavg: 1.08 1.68 1.88 2/175 15638
/proc/meminfo: memFree=30772476/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100252 s]
/proc/loadavg: 1.08 1.68 1.88 2/175 15638
/proc/meminfo: memFree=30772476/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300213 s]
/proc/loadavg: 1.08 1.68 1.88 2/175 15638
/proc/meminfo: memFree=30772476/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700198 s]
/proc/loadavg: 1.08 1.68 1.88 2/175 15638
/proc/meminfo: memFree=30772476/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5003 s]
/proc/loadavg: 1.08 1.68 1.88 3/183 15653
/proc/meminfo: memFree=30611180/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=17944 CPUtime=1.33 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) R 15638 15638 11784 0 -1 4202496 5392 18747 0 0 20 7 99 7 20 0 1 0 25794266 18374656 3488 33554432000 4194304 6004724 140737394811344 140737394797624 5190832 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 4486 3488 159 442 0 4040 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 27092
[startup+3.10031 s]
/proc/loadavg: 1.08 1.68 1.88 3/181 15656
/proc/meminfo: memFree=30551020/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=170724 CPUtime=3.06 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) R 15638 15638 11784 0 -1 4202496 11621 27207 0 0 145 41 110 10 20 0 1 0 25794266 174821376 30298 33554432000 4194304 6004724 140737394811344 140737394803672 4534738 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 42681 30298 178 442 0 42235 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 179872
[startup+6.30036 s]
/proc/loadavg: 1.23 1.70 1.88 3/182 15658
/proc/meminfo: memFree=29958644/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=281380 CPUtime=2.9 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 46312 0 0 0 277 13 0 0 20 0 1 0 25794606 288133120 59508 33554432000 4194304 5654031 140736780429488 140736780417304 4232477 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15658/statm: 70345 59508 141 357 0 69985 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 330180
[startup+12.7004 s]
/proc/loadavg: 1.29 1.70 1.89 3/182 15658
/proc/meminfo: memFree=29448904/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=281776 CPUtime=9.29 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 46431 0 0 0 915 14 0 0 20 0 1 0 25794606 288538624 59627 33554432000 4194304 5654031 140736780429488 140736780417304 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15658/statm: 70444 59627 142 357 0 70084 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 330576
[startup+25.5004 s]
/proc/loadavg: 1.52 1.73 1.89 3/182 15658
/proc/meminfo: memFree=28508876/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=286220 CPUtime=22.09 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 47184 0 0 0 2195 14 0 0 20 0 1 0 25794606 293089280 60380 33554432000 4194304 5654031 140736780429488 140736780417304 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15658/statm: 71555 60380 142 357 0 71195 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 335020
[startup+51.1004 s]
/proc/loadavg: 1.84 1.79 1.91 3/184 15660
/proc/meminfo: memFree=23884416/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=287584 CPUtime=47.68 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 47736 0 0 0 4754 14 0 0 20 0 1 0 25794606 294486016 61443 33554432000 4194304 5654031 140736780429488 140736780417304 4232880 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 71896 61443 142 357 0 71536 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 336384
[startup+102.3 s]
/proc/loadavg: 2.65 2.02 1.98 3/183 15660
/proc/meminfo: memFree=20586532/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=290120 CPUtime=98.88 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 48035 0 0 0 9873 15 0 0 20 0 1 0 25794606 297082880 62253 33554432000 4194304 5654031 140736780429488 140736780417304 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 72530 62253 142 357 0 72170 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 338920
[startup+162.3 s]
/proc/loadavg: 2.88 2.20 2.04 3/184 15661
/proc/meminfo: memFree=18968816/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=294112 CPUtime=158.87 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 49072 0 0 0 15872 15 0 0 20 0 1 0 25794606 301170688 64312 33554432000 4194304 5654031 140736780429488 140736780417304 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 73528 64312 142 357 0 73168 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 342912
[startup+222.3 s]
/proc/loadavg: 2.35 2.18 2.04 3/183 15664
/proc/meminfo: memFree=20066452/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=294112 CPUtime=218.86 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 49476 0 0 0 21871 15 0 0 20 0 1 0 25794606 301170688 65227 33554432000 4194304 5654031 140736780429488 140736780417304 4233021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 73528 65227 142 357 0 73168 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 342912
[startup+282.3 s]
/proc/loadavg: 2.13 2.14 2.03 3/183 15664
/proc/meminfo: memFree=20027428/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
################
# More data... #
################
/proc/loadavg: 2.00 2.00 2.00 3/183 15673
/proc/meminfo: memFree=19697428/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=311976 CPUtime=1298.7 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 56233 0 0 0 129846 24 0 0 20 0 1 0 25794606 319463424 72880 33554432000 4194304 5654031 140736780429488 140736780417304 4208659 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 77994 72880 142 357 0 77634 0
Current children cumulated CPU time (s) 1301.99
Current children cumulated vsize (KiB) 360776
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 15674
/proc/meminfo: memFree=19680720/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=362064 CPUtime=1358.69 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 56782 0 0 0 135844 25 0 0 20 0 1 0 25794606 370753536 73933 33554432000 4194304 5654031 140736780429488 140736780417304 4215112 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 90516 73933 142 357 0 90156 0
Current children cumulated CPU time (s) 1361.98
Current children cumulated vsize (KiB) 410864
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15674
/proc/meminfo: memFree=19662104/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=362064 CPUtime=1418.68 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 56784 0 0 0 141843 25 0 0 20 0 1 0 25794606 370753536 74957 33554432000 4194304 5654031 140736780429488 140736780417304 4215357 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 90516 74957 142 357 0 90156 0
Current children cumulated CPU time (s) 1421.97
Current children cumulated vsize (KiB) 410864
[startup+1482.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 15675
/proc/meminfo: memFree=19652148/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=362064 CPUtime=1478.67 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 56785 0 0 0 147842 25 0 0 20 0 1 0 25794606 370753536 75469 33554432000 4194304 5654031 140736780429488 140736780417304 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 90516 75469 142 357 0 90156 0
Current children cumulated CPU time (s) 1481.96
Current children cumulated vsize (KiB) 410864
[startup+1542.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/184 15678
/proc/meminfo: memFree=19668860/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=314440 CPUtime=1538.66 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 57420 0 0 0 153840 26 0 0 20 0 1 0 25794606 321986560 70528 33554432000 4194304 5654031 140736780429488 140736780417304 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 78610 70528 142 357 0 78250 0
Current children cumulated CPU time (s) 1541.95
Current children cumulated vsize (KiB) 363240
[startup+1602.3 s]
/proc/loadavg: 2.08 2.02 2.00 3/183 15678
/proc/meminfo: memFree=19648328/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=314440 CPUtime=1598.65 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 57423 0 0 0 159839 26 0 0 20 0 1 0 25794606 321986560 72064 33554432000 4194304 5654031 140736780429488 140736780417304 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 78610 72064 142 357 0 78250 0
Current children cumulated CPU time (s) 1601.94
Current children cumulated vsize (KiB) 363240
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/183 15678
/proc/meminfo: memFree=19622632/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=314440 CPUtime=1658.64 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 57708 0 0 0 165838 26 0 0 20 0 1 0 25794606 321986560 73370 33554432000 4194304 5654031 140736780429488 140736780417304 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 78610 73370 142 357 0 78250 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 363240
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 15678
/proc/meminfo: memFree=19606164/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=366324 CPUtime=1718.63 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 58721 0 0 0 171836 27 0 0 20 0 1 0 25794606 375115776 75401 33554432000 4194304 5654031 140736780429488 140736780417304 4215091 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 91581 75401 142 357 0 91221 0
Current children cumulated CPU time (s) 1721.92
Current children cumulated vsize (KiB) 415124
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15679
/proc/meminfo: memFree=19595108/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=366324 CPUtime=1778.63 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 58722 0 0 0 177836 27 0 0 20 0 1 0 25794606 375115776 75913 33554432000 4194304 5654031 140736780429488 140736780417304 4215009 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 91581 75913 142 357 0 91221 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 415124
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 15679
/proc/meminfo: memFree=19592068/32873844 swapFree=7124/7124
[pid=15638] ppid=15636 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15638/stat : 15638 (npSolver-pbo-I.) S 15636 15638 11784 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 25794266 9367552 275 33554432000 4194304 5064252 140735357401728 140735357400640 215143310926 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15638/statm: 2287 275 233 213 0 72 0
[pid=15639] ppid=15638 vsize=39652 CPUtime=3.29 cores=1,3,5,7
/proc/15639/stat : 15639 (npSolver-pbo) S 15638 15638 11784 0 -1 4202496 12090 27722 0 0 152 55 111 11 20 0 1 0 25794266 40603648 8937 33554432000 4194304 6004724 140737394811344 140737394796264 5190736 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15639/statm: 9913 8937 179 442 0 9467 0
[pid=15658] ppid=15639 vsize=366324 CPUtime=1796.73 cores=1,3,5,7
/proc/15658/stat : 15658 (glucosInc) R 15639 15638 11784 0 -1 4202496 58723 0 0 0 179646 27 0 0 20 0 1 0 25794606 375115776 76425 33554432000 4194304 5654031 140736780429488 140736780417304 4215121 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15658/statm: 91581 76425 142 357 0 91221 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 415124
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15638 and gives
# childrusage.ru_utime.tv_sec=2
# childrusage.ru_utime.tv_usec=635599
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=674897
# CPU time returned by wait4() is 3.3105
# while last known CPU time is 1800.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.02
CPU user time (s): 1799.09
CPU system time (s): 0.93
CPU usage (%): 99.9781
Max. virtual memory (cumulated for all children) (KiB): 493468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2.6356
system time used= 0.674897
maximum resident set size= 208840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40186
page faults= 0
swaps= 0
block input operations= 0
block output operations= 213336
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 255
involuntary context switches= 24
runsolver used 3.15152 second user time and 7.61684 second system time
The end