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-3698194-1338070074/watcher-3698194-1338070074 -o /tmp/evaluation-result-3698194-1338070074/solver-3698194-1338070074 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698194-1338070074.opb 1115352913 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.01 2.00 2.00 3/178 4685
/proc/meminfo: memFree=29216256/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[startup+0.0170029 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 4685
/proc/meminfo: memFree=29216256/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100232 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 4685
/proc/meminfo: memFree=29216256/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300268 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 4685
/proc/meminfo: memFree=29216256/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700267 s]
/proc/loadavg: 2.01 2.00 2.00 3/178 4685
/proc/meminfo: memFree=29216256/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50032 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 4687
/proc/meminfo: memFree=29184128/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=123028 CPUtime=1.49 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) R 4685 4685 1914 0 -1 4202496 21027 0 0 0 144 5 0 0 20 0 1 0 273132888 125980672 24245 33554432000 4194304 5992684 140737278912912 140737278903192 4523497 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 30757 24245 156 440 0 30313 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 132176
[startup+3.10032 s]
/proc/loadavg: 2.01 2.00 2.00 3/180 4687
/proc/meminfo: memFree=29037880/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=136820 CPUtime=2.16 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 22961 0 0 0 200 16 0 0 20 0 1 0 273132888 140103680 33055 33554432000 4194304 5992684 140737278912912 140737278907360 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 34205 33055 163 440 0 33761 0
Current children cumulated CPU time (s) 2.16
Current children cumulated vsize (KiB) 145968
heavy processes:
[startup+6.30041 s]
/proc/loadavg: 2.01 2.00 2.00 3/182 4689
/proc/meminfo: memFree=28564808/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=136820 CPUtime=2.16 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 22961 0 0 0 200 16 0 0 20 0 1 0 273132888 140103680 33055 33554432000 4194304 5992684 140737278912912 140737278907360 5175646 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 34205 33055 163 440 0 33761 0
[pid=4688] ppid=4686 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4688/stat : 4688 (cp2_pre.sh) S 4686 4685 1914 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 273133104 9367552 277 33554432000 4194304 5064252 140734161297488 140734161296192 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/4688/statm: 2287 277 234 213 0 72 0
[pid=4689] ppid=4688 vsize=497624 CPUtime=4.12 cores=1,3,5,7
/proc/4689/stat : 4689 (coprocessor) R 4688 4685 1914 0 -1 4202496 46044 0 0 0 397 15 0 0 20 0 1 0 273133105 509566976 120737 33554432000 4194304 6586260 140735478263072 140735478259096 4753956 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/4689/statm: 124406 120737 180 584 0 123818 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 652740
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 2.00 3/181 4691
/proc/meminfo: memFree=28773244/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=136820 CPUtime=10.53 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 22978 61084 0 0 200 16 803 34 20 0 1 0 273132888 140103680 33057 33554432000 4194304 5992684 140737278912912 140737278899176 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 34205 33057 165 440 0 33761 0
[pid=4691] ppid=4686 vsize=329820 CPUtime=2.13 cores=1,3,5,7
/proc/4691/stat : 4691 (glucosInc) R 4686 4685 1914 0 -1 4202496 51737 0 0 0 199 14 0 0 20 0 1 0 273133943 337735680 69778 33554432000 4194304 5654031 140733757683088 140733757680872 4233328 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4691/statm: 82455 69778 131 357 0 82095 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 475788
[startup+25.5004 s]
/proc/loadavg: 2.07 2.02 2.00 3/181 4691
/proc/meminfo: memFree=28759480/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=136820 CPUtime=10.53 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 22978 61084 0 0 200 16 803 34 20 0 1 0 273132888 140103680 33057 33554432000 4194304 5992684 140737278912912 140737278899176 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 34205 33057 165 440 0 33761 0
[pid=4691] ppid=4686 vsize=334580 CPUtime=14.93 cores=1,3,5,7
/proc/4691/stat : 4691 (glucosInc) R 4686 4685 1914 0 -1 4202496 52982 0 0 0 1478 15 0 0 20 0 1 0 273133943 342609920 71534 33554432000 4194304 5654031 140733757683088 140733757680872 4232821 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4691/statm: 83645 71534 140 357 0 83285 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 480548
[startup+51.1003 s]
/proc/loadavg: 2.05 2.02 2.00 3/181 4691
/proc/meminfo: memFree=28651364/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=152004 CPUtime=14.5 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) R 4685 4685 1914 0 -1 4202496 25500 61084 0 0 277 336 803 34 20 0 1 0 273132888 155652096 37098 33554432000 4194304 5992684 140737278912912 140737278907096 5179696 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 38001 37098 172 440 0 37557 0
[pid=4691] ppid=4686 vsize=339008 CPUtime=36.55 cores=1,3,5,7
/proc/4691/stat : 4691 (glucosInc) S 4686 4685 1914 0 -1 4202496 54635 0 0 0 3640 15 0 0 20 0 1 0 273133943 347144192 73698 33554432000 4194304 5654031 140733757683088 140733757681400 4976656 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/4691/statm: 84752 73698 146 357 0 84392 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 500160
[startup+102.307 s]
/proc/loadavg: 2.09 2.03 2.00 3/181 4694
/proc/meminfo: memFree=28588784/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=411968 CPUtime=49.66 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 63781 0 0 0 4946 20 0 0 20 0 1 0 273138085 421855232 91783 33554432000 4194304 5654031 140734079370496 140734079358312 4215079 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/4694/statm: 102992 91783 151 357 0 102632 0
Current children cumulated CPU time (s) 102.43
Current children cumulated vsize (KiB) 577916
[startup+162.3 s]
/proc/loadavg: 2.03 2.02 2.00 3/182 4697
/proc/meminfo: memFree=28585412/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=411968 CPUtime=109.64 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 63956 0 0 0 10944 20 0 0 20 0 1 0 273138085 421855232 92467 33554432000 4194304 5654031 140734079370496 140734079358312 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 102992 92467 151 357 0 102632 0
Current children cumulated CPU time (s) 162.41
Current children cumulated vsize (KiB) 577916
[startup+222.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 4698
/proc/meminfo: memFree=28581416/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=411968 CPUtime=169.6 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 64022 0 0 0 16940 20 0 0 20 0 1 0 273138085 421855232 93482 33554432000 4194304 5654031 140734079370496 140734079358312 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 102992 93482 151 357 0 102632 0
Current children cumulated CPU time (s) 222.37
Current children cumulated vsize (KiB) 577916
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4698
/proc/meminfo: memFree=28581028/32873844 swapFree=7384/7384
################
# More data... #
################
/proc/meminfo: memFree=28414784/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=467420 CPUtime=1189.41 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 67450 0 0 0 118915 26 0 0 20 0 1 0 273138085 478638080 98847 33554432000 4194304 5654031 140734079370496 140734079358312 4216494 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 116855 98847 152 357 0 116495 0
Current children cumulated CPU time (s) 1242.18
Current children cumulated vsize (KiB) 633368
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4752
/proc/meminfo: memFree=28420340/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=417624 CPUtime=1249.42 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 68114 0 0 0 124913 29 0 0 20 0 1 0 273138085 427646976 94545 33554432000 4194304 5654031 140734079370496 140734079358312 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 104406 94545 152 357 0 104046 0
Current children cumulated CPU time (s) 1302.19
Current children cumulated vsize (KiB) 583572
[startup+1362.3 s]
/proc/loadavg: 2.05 2.01 2.00 3/182 4755
/proc/meminfo: memFree=28399748/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=468328 CPUtime=1309.4 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 68535 0 0 0 130910 30 0 0 20 0 1 0 273138085 479567872 97007 33554432000 4194304 5654031 140734079370496 140734079368280 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 117082 97007 152 357 0 116722 0
Current children cumulated CPU time (s) 1362.17
Current children cumulated vsize (KiB) 634276
[startup+1422.31 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 4755
/proc/meminfo: memFree=28396544/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=468844 CPUtime=1369.39 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 68661 0 0 0 136909 30 0 0 20 0 1 0 273138085 480096256 99688 33554432000 4194304 5654031 140734079370496 140734079368280 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 117211 99688 152 357 0 116851 0
Current children cumulated CPU time (s) 1422.16
Current children cumulated vsize (KiB) 634792
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4756
/proc/meminfo: memFree=28420252/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=419260 CPUtime=1429.38 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 69340 0 0 0 142906 32 0 0 20 0 1 0 273138085 429322240 93902 33554432000 4194304 5654031 140734079370496 140734079368520 4208595 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 104815 93902 152 357 0 104455 0
Current children cumulated CPU time (s) 1482.15
Current children cumulated vsize (KiB) 585208
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 4756
/proc/meminfo: memFree=28422624/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=419260 CPUtime=1489.37 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 69341 0 0 0 148905 32 0 0 20 0 1 0 273138085 429322240 94441 33554432000 4194304 5654031 140734079370496 140734079368520 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 104815 94441 152 357 0 104455 0
Current children cumulated CPU time (s) 1542.14
Current children cumulated vsize (KiB) 585208
[startup+1602.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 4756
/proc/meminfo: memFree=28428756/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=419576 CPUtime=1549.36 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 69377 0 0 0 154904 32 0 0 20 0 1 0 273138085 429645824 94477 33554432000 4194304 5654031 140734079370496 140734079368280 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 104894 94477 152 357 0 104534 0
Current children cumulated CPU time (s) 1602.13
Current children cumulated vsize (KiB) 585524
[startup+1662.3 s]
/proc/loadavg: 2.04 2.02 2.00 3/181 4756
/proc/meminfo: memFree=28335048/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=419576 CPUtime=1609.35 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 69385 0 0 0 160903 32 0 0 20 0 1 0 273138085 429645824 94996 33554432000 4194304 5654031 140734079370496 140734079368280 4232775 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 104894 94996 152 357 0 104534 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 585524
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/181 4756
/proc/meminfo: memFree=28385404/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=419576 CPUtime=1669.35 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 69386 0 0 0 166903 32 0 0 20 0 1 0 273138085 429645824 95508 33554432000 4194304 5654031 140734079370496 140734079368280 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 104894 95508 152 357 0 104534 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 585524
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4757
/proc/meminfo: memFree=28289772/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=419728 CPUtime=1729.34 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 69415 0 0 0 172902 32 0 0 20 0 1 0 273138085 429801472 95537 33554432000 4194304 5654031 140734079370496 140734079368280 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 104932 95537 152 357 0 104572 0
Current children cumulated CPU time (s) 1782.11
Current children cumulated vsize (KiB) 585676
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.2 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 4757
/proc/meminfo: memFree=28422688/32873844 swapFree=7384/7384
[pid=4685] ppid=4683 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/4685/stat : 4685 (npSolver-pbo-It) S 4683 4685 1914 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 273132888 9367552 274 33554432000 4194304 5064252 140734592257648 140734592256560 239872927310 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/4685/statm: 2287 274 233 213 0 72 0
[pid=4686] ppid=4685 vsize=156800 CPUtime=52.77 cores=1,3,5,7
/proc/4686/stat : 4686 (npSolver-pbo) S 4685 4685 1914 0 -1 4202496 42985 116759 0 0 374 386 4444 73 20 0 1 0 273132888 160563200 38302 33554432000 4194304 5992684 140737278912912 140737278898744 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/4686/statm: 39200 38302 177 440 0 38756 0
[pid=4694] ppid=4686 vsize=419728 CPUtime=1747.24 cores=1,3,5,7
/proc/4694/stat : 4694 (glucosInc) R 4686 4685 1914 0 -1 4202496 69416 0 0 0 174692 32 0 0 20 0 1 0 273138085 429801472 96049 33554432000 4194304 5654031 140734079370496 140734079368280 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/4694/statm: 104932 96049 152 357 0 104572 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 585676
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.22
CPU time (s): 1800.06
CPU user time (s): 1795.12
CPU system time (s): 4.93425
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 750424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1795.12
system time used= 4.93425
maximum resident set size= 604892
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 229533
page faults= 0
swaps= 0
block input operations= 8
block output operations= 623952
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 18132
involuntary context switches= 3246
runsolver used 3.07953 second user time and 8.39372 second system time
The end