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-3700213-1338073592/watcher-3700213-1338073592 -o /tmp/evaluation-result-3700213-1338073592/solver-3700213-1338073592 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3700213-1338073592.opb 395810724 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.00 2.00 2.00 3/177 21765
/proc/meminfo: memFree=28677952/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (runsolver) D 21763 21765 18146 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 273484616 12095488 51 33554432000 4194304 5436572 140735737482656 140735737478952 4883175 0 0 4096 24578 18446744071579943789 0 0 17 2 0 0 0 0 0
/proc/21765/statm: 2953 51 31 304 0 2645 0
[startup+0.00678002 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21765
/proc/meminfo: memFree=28677952/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9016 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) R 21763 21765 18146 0 -1 4202496 137 0 0 0 0 0 0 0 20 0 1 0 273484616 9232384 76 33554432000 4194304 5064252 140735624207472 140735737478840 229355242160 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2254 98 75 213 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016
[startup+0.100203 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21765
/proc/meminfo: memFree=28677952/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300278 s]
/proc/loadavg: 2.00 2.00 2.00 3/177 21765
/proc/meminfo: memFree=28677952/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 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/177 21765
/proc/meminfo: memFree=28677952/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 21769
/proc/meminfo: memFree=28606872/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
[pid=21767] ppid=21765 vsize=17520 CPUtime=1.01 cores=0,2,4,6
/proc/21767/stat : 21767 (npSolver-pbo) S 21765 21765 18146 0 -1 4202496 4100 11864 0 0 19 1 77 4 20 0 1 0 273484616 17940480 3758 33554432000 4194304 5992684 140736103123936 140736103110200 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21767/statm: 4380 3758 166 440 0 3936 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 26668
[startup+3.10032 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21771
/proc/meminfo: memFree=28637068/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
[pid=21767] ppid=21765 vsize=17520 CPUtime=1.01 cores=0,2,4,6
/proc/21767/stat : 21767 (npSolver-pbo) S 21765 21765 18146 0 -1 4202496 4100 11864 0 0 19 1 77 4 20 0 1 0 273484616 17940480 3758 33554432000 4194304 5992684 140736103123936 140736103110200 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21767/statm: 4380 3758 166 440 0 3936 0
[pid=21771] ppid=21767 vsize=28616 CPUtime=2.06 cores=0,2,4,6
/proc/21771/stat : 21771 (glucosInc) R 21767 21765 18146 0 -1 4202496 5702 0 0 0 205 1 0 0 20 0 1 0 273484719 29302784 6483 33554432000 4194304 5654031 140733843347376 140733843345160 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/21771/statm: 7154 6483 140 357 0 6794 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 55284
[startup+6.30015 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21771
/proc/meminfo: memFree=28629504/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
[pid=21767] ppid=21765 vsize=17524 CPUtime=5.58 cores=0,2,4,6
/proc/21767/stat : 21767 (npSolver-pbo) S 21765 21765 18146 0 -1 4202496 4562 19551 0 0 26 30 495 7 20 0 1 0 273484616 17944576 3798 33554432000 4194304 5992684 140736103123936 140736103108840 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21767/statm: 4381 3798 178 440 0 3937 0
Current children cumulated CPU time (s) 5.58
Current children cumulated vsize (KiB) 26672
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 21776
/proc/meminfo: memFree=28626908/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
[pid=21767] ppid=21765 vsize=17524 CPUtime=8.57 cores=0,2,4,6
/proc/21767/stat : 21767 (npSolver-pbo) S 21765 21765 18146 0 -1 4202496 5121 25922 0 0 27 30 790 10 20 0 1 0 273484616 17944576 3799 33554432000 4194304 5992684 140736103123936 140736103108840 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21767/statm: 4381 3799 179 440 0 3937 0
[pid=21776] ppid=21767 vsize=32764 CPUtime=4.01 cores=0,2,4,6
/proc/21776/stat : 21776 (glucosInc) R 21767 21765 18146 0 -1 4202496 5773 0 0 0 400 1 0 0 20 0 1 0 273485483 33550336 6527 33554432000 4194304 5654031 140734743523136 140734743521224 4232800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21776/statm: 8191 6527 141 357 0 7831 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 59436
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21776
/proc/meminfo: memFree=28609908/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
[pid=21767] ppid=21765 vsize=17524 CPUtime=8.57 cores=0,2,4,6
/proc/21767/stat : 21767 (npSolver-pbo) S 21765 21765 18146 0 -1 4202496 5121 25922 0 0 27 30 790 10 20 0 1 0 273484616 17944576 3799 33554432000 4194304 5992684 140736103123936 140736103108840 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21767/statm: 4381 3799 179 440 0 3937 0
[pid=21776] ppid=21767 vsize=47940 CPUtime=16.81 cores=0,2,4,6
/proc/21776/stat : 21776 (glucosInc) R 21767 21765 18146 0 -1 4202496 7575 0 0 0 1679 2 0 0 20 0 1 0 273485483 49090560 10736 33554432000 4194304 5654031 140734743523136 140734743510952 4232710 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21776/statm: 11985 10736 142 357 0 11625 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 74612
Solver just ended. Dumping a history of the last processes samples
[startup+31.9063 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21776
/proc/meminfo: memFree=28609288/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
[pid=21767] ppid=21765 vsize=17524 CPUtime=8.57 cores=0,2,4,6
/proc/21767/stat : 21767 (npSolver-pbo) S 21765 21765 18146 0 -1 4202496 5121 25922 0 0 27 30 790 10 20 0 1 0 273484616 17944576 3799 33554432000 4194304 5992684 140736103123936 140736103108840 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21767/statm: 4381 3799 179 440 0 3937 0
[pid=21776] ppid=21767 vsize=47940 CPUtime=23.21 cores=0,2,4,6
/proc/21776/stat : 21776 (glucosInc) R 21767 21765 18146 0 -1 4202496 7732 0 0 0 2319 2 0 0 20 0 1 0 273485483 49090560 10889 33554432000 4194304 5654031 140734743523136 140734743510952 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21776/statm: 11985 10889 142 357 0 11625 0
Current children cumulated CPU time (s) 31.78
Current children cumulated vsize (KiB) 74612
[startup+33.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21776
/proc/meminfo: memFree=28609288/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
[pid=21767] ppid=21765 vsize=17524 CPUtime=8.57 cores=0,2,4,6
/proc/21767/stat : 21767 (npSolver-pbo) S 21765 21765 18146 0 -1 4202496 5121 25922 0 0 27 30 790 10 20 0 1 0 273484616 17944576 3799 33554432000 4194304 5992684 140736103123936 140736103108840 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21767/statm: 4381 3799 179 440 0 3937 0
[pid=21776] ppid=21767 vsize=47940 CPUtime=24.81 cores=0,2,4,6
/proc/21776/stat : 21776 (glucosInc) R 21767 21765 18146 0 -1 4202496 7732 0 0 0 2479 2 0 0 20 0 1 0 273485483 49090560 10889 33554432000 4194304 5654031 140734743523136 140734743510952 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21776/statm: 11985 10889 142 357 0 11625 0
Current children cumulated CPU time (s) 33.38
Current children cumulated vsize (KiB) 74612
[startup+34.3003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21776
/proc/meminfo: memFree=28609412/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
[pid=21767] ppid=21765 vsize=17524 CPUtime=8.57 cores=0,2,4,6
/proc/21767/stat : 21767 (npSolver-pbo) S 21765 21765 18146 0 -1 4202496 5121 25922 0 0 27 30 790 10 20 0 1 0 273484616 17944576 3799 33554432000 4194304 5992684 140736103123936 140736103108840 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21767/statm: 4381 3799 179 440 0 3937 0
[pid=21776] ppid=21767 vsize=47940 CPUtime=25.61 cores=0,2,4,6
/proc/21776/stat : 21776 (glucosInc) R 21767 21765 18146 0 -1 4202496 7732 0 0 0 2559 2 0 0 20 0 1 0 273485483 49090560 10889 33554432000 4194304 5654031 140734743523136 140734743510952 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21776/statm: 11985 10889 142 357 0 11625 0
Current children cumulated CPU time (s) 34.18
Current children cumulated vsize (KiB) 74612
[startup+34.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21776
/proc/meminfo: memFree=28609412/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
[pid=21767] ppid=21765 vsize=17524 CPUtime=8.57 cores=0,2,4,6
/proc/21767/stat : 21767 (npSolver-pbo) S 21765 21765 18146 0 -1 4202496 5121 25922 0 0 27 30 790 10 20 0 1 0 273484616 17944576 3799 33554432000 4194304 5992684 140736103123936 140736103108840 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21767/statm: 4381 3799 179 440 0 3937 0
[pid=21776] ppid=21767 vsize=47940 CPUtime=26.01 cores=0,2,4,6
/proc/21776/stat : 21776 (glucosInc) R 21767 21765 18146 0 -1 4202496 7732 0 0 0 2599 2 0 0 20 0 1 0 273485483 49090560 10889 33554432000 4194304 5654031 140734743523136 140734743510952 4232883 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21776/statm: 11985 10889 142 357 0 11625 0
Current children cumulated CPU time (s) 34.58
Current children cumulated vsize (KiB) 74612
[startup+35.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21776
/proc/meminfo: memFree=28609412/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
[pid=21767] ppid=21765 vsize=17524 CPUtime=8.57 cores=0,2,4,6
/proc/21767/stat : 21767 (npSolver-pbo) S 21765 21765 18146 0 -1 4202496 5121 25922 0 0 27 30 790 10 20 0 1 0 273484616 17944576 3799 33554432000 4194304 5992684 140736103123936 140736103108840 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21767/statm: 4381 3799 179 440 0 3937 0
[pid=21776] ppid=21767 vsize=47940 CPUtime=26.41 cores=0,2,4,6
/proc/21776/stat : 21776 (glucosInc) R 21767 21765 18146 0 -1 4202496 7732 0 0 0 2639 2 0 0 20 0 1 0 273485483 49090560 10889 33554432000 4194304 5654031 140734743523136 140734743510952 4216579 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21776/statm: 11985 10889 142 357 0 11625 0
Current children cumulated CPU time (s) 34.98
Current children cumulated vsize (KiB) 74612
[startup+35.2063 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 21776
/proc/meminfo: memFree=28609412/32873852 swapFree=6848/6848
[pid=21765] ppid=21763 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/21765/stat : 21765 (npSolver-pbo-I.) S 21763 21765 18146 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273484616 9367552 274 33554432000 4194304 5064252 140735624207472 140735624206384 229355710030 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/21765/statm: 2287 274 233 213 0 72 0
[pid=21767] ppid=21765 vsize=17524 CPUtime=8.57 cores=0,2,4,6
/proc/21767/stat : 21767 (npSolver-pbo) S 21765 21765 18146 0 -1 4202496 5121 25922 0 0 27 30 790 10 20 0 1 0 273484616 17944576 3799 33554432000 4194304 5992684 140736103123936 140736103108840 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/21767/statm: 4381 3799 179 440 0 3937 0
[pid=21776] ppid=21767 vsize=47940 CPUtime=26.51 cores=0,2,4,6
/proc/21776/stat : 21776 (glucosInc) R 21767 21765 18146 0 -1 4202496 7732 0 0 0 2649 2 0 0 20 0 1 0 273485483 49090560 10889 33554432000 4194304 5654031 140734743523136 140734743510952 4219872 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/21776/statm: 11985 10889 142 357 0 11625 0
Current children cumulated CPU time (s) 35.08
Current children cumulated vsize (KiB) 74612
Child status: 0
Real time (s): 35.2489
CPU time (s): 35.1517
CPU user time (s): 34.7087
CPU system time (s): 0.442932
CPU usage (%): 99.724
Max. virtual memory (cumulated for all children) (KiB): 86020
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 34.7087
system time used= 0.442932
maximum resident set size= 48880
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 39621
page faults= 0
swaps= 0
block input operations= 0
block output operations= 58736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 358
involuntary context switches= 323
runsolver used 0.069989 second user time and 0.12998 second system time
The end