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-3748642-1339113943/watcher-3748642-1339113943 -o /tmp/evaluation-result-3748642-1339113943/solver-3748642-1339113943 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3748642-1339113943.opb 1003474844 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 1.99 1.86 3/178 9876
/proc/meminfo: memFree=30959940/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[startup+0.0635039 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 9876
/proc/meminfo: memFree=30959940/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100299 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 9876
/proc/meminfo: memFree=30959940/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300234 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 9876
/proc/meminfo: memFree=30959940/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700283 s]
/proc/loadavg: 2.00 1.99 1.86 3/178 9876
/proc/meminfo: memFree=30959940/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50021 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 9882
/proc/meminfo: memFree=30929360/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
Current children cumulated CPU time (s) 1.2
Current children cumulated vsize (KiB) 33420
[startup+3.10032 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 9885
/proc/meminfo: memFree=30893012/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=40136 CPUtime=1.86 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 7491 0 0 0 184 2 0 0 20 0 1 0 377520464 41099264 8185 33554432000 4194304 5654031 140734071302704 140734071300312 4234964 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 10034 8185 139 357 0 9674 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 73556
[startup+6.30033 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 9888
/proc/meminfo: memFree=30875668/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=40268 CPUtime=5.06 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 8596 0 0 0 504 2 0 0 20 0 1 0 377520464 41234432 8185 33554432000 4194304 5654031 140734071302704 140734071300792 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 10067 8185 140 357 0 9707 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 73688
[startup+12.7003 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 9888
/proc/meminfo: memFree=30865420/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=47840 CPUtime=11.45 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 9803 0 0 0 1143 2 0 0 20 0 1 0 377520464 48988160 10549 33554432000 4194304 5654031 140734071302704 140734071290520 4232479 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 11960 10549 141 357 0 11600 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 81260
[startup+25.5003 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 9890
/proc/meminfo: memFree=30845036/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=62096 CPUtime=24.25 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 10926 0 0 0 2423 2 0 0 20 0 1 0 377520464 63586304 14667 33554432000 4194304 5654031 140734071302704 140734071290520 4215112 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 15524 14667 141 357 0 15164 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 95516
[startup+51.1004 s]
/proc/loadavg: 2.00 1.99 1.86 3/181 9890
/proc/meminfo: memFree=30837508/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=66516 CPUtime=49.84 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 12535 0 0 0 4981 3 0 0 20 0 1 0 377520464 68112384 12643 33554432000 4194304 5654031 140734071302704 140734071300584 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 16629 12643 141 357 0 16269 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 99936
[startup+102.307 s]
/proc/loadavg: 2.00 1.99 1.87 3/181 9890
/proc/meminfo: memFree=30783676/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=85372 CPUtime=101.05 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 13162 0 0 0 10101 4 0 0 20 0 1 0 377520464 87420928 20559 33554432000 4194304 5654031 140734071302704 140734071290520 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 21343 20559 141 357 0 20983 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 118792
[startup+162.3 s]
/proc/loadavg: 2.04 2.00 1.88 3/181 9890
/proc/meminfo: memFree=30724020/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=98324 CPUtime=161.03 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 14518 0 0 0 16098 5 0 0 20 0 1 0 377520464 100683776 23797 33554432000 4194304 5654031 140734071302704 140734071300728 4215079 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 24581 23797 141 357 0 24221 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 131744
[startup+222.3 s]
/proc/loadavg: 2.01 2.00 1.89 3/181 9891
/proc/meminfo: memFree=30758028/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=98324 CPUtime=221.01 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 15193 0 0 0 22095 6 0 0 20 0 1 0 377520464 100683776 23797 33554432000 4194304 5654031 140734071302704 140734071290520 4215081 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 24581 23797 141 357 0 24221 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 131744
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.89 3/182 9894
/proc/meminfo: memFree=30722528/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=30615136/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=228552 CPUtime=1240.86 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 33013 0 0 0 124043 43 0 0 20 0 1 0 377520464 234037248 45476 33554432000 4194304 5654031 140734071302704 140734071290520 4215097 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 57138 45476 141 357 0 56778 0
Current children cumulated CPU time (s) 1242.06
Current children cumulated vsize (KiB) 261972
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 9901
/proc/meminfo: memFree=30631740/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=178464 CPUtime=1300.85 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 33962 0 0 0 130040 45 0 0 20 0 1 0 377520464 182747136 41079 33554432000 4194304 5654031 140734071302704 140734071290520 4232973 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 44616 41079 141 357 0 44256 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 211884
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 9901
/proc/meminfo: memFree=30649280/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=178464 CPUtime=1360.82 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 35214 0 0 0 136035 47 0 0 20 0 1 0 377520464 182747136 36983 33554432000 4194304 5654031 140734071302704 140734071300792 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 44616 36983 141 357 0 44256 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 211884
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.91 3/181 9901
/proc/meminfo: memFree=30705632/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=98324 CPUtime=1420.83 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 35538 0 0 0 142034 49 0 0 20 0 1 0 377520464 100683776 23798 33554432000 4194304 5654031 140734071302704 140734071290520 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 24581 23798 141 357 0 24221 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 131744
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.91 3/182 9905
/proc/meminfo: memFree=30628188/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=178464 CPUtime=1480.81 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 36642 0 0 0 148031 50 0 0 20 0 1 0 377520464 182747136 43808 33554432000 4194304 5654031 140734071302704 140734071290520 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 44616 43808 141 357 0 44256 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 211884
[startup+1542.3 s]
/proc/loadavg: 2.06 2.02 1.92 3/181 9905
/proc/meminfo: memFree=30651228/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=178464 CPUtime=1540.78 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 37741 0 0 0 154026 52 0 0 20 0 1 0 377520464 182747136 36984 33554432000 4194304 5654031 140734071302704 140734071290520 4232729 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 44616 36984 141 357 0 44256 0
Current children cumulated CPU time (s) 1541.98
Current children cumulated vsize (KiB) 211884
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/181 9905
/proc/meminfo: memFree=30588548/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=228552 CPUtime=1600.77 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 38068 0 0 0 160024 53 0 0 20 0 1 0 377520464 234037248 50085 33554432000 4194304 5654031 140734071302704 140734071290520 4233201 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 57138 50085 141 357 0 56778 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 261972
[startup+1662.3 s]
/proc/loadavg: 2.05 2.02 1.93 3/181 9905
/proc/meminfo: memFree=30613996/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=228552 CPUtime=1660.76 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 39241 0 0 0 166020 56 0 0 20 0 1 0 377520464 234037248 43869 33554432000 4194304 5654031 140734071302704 140734071290520 4215009 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 57138 43869 141 357 0 56778 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 261972
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/181 9905
/proc/meminfo: memFree=30638304/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=178464 CPUtime=1720.74 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 40263 0 0 0 172015 59 0 0 20 0 1 0 377520464 182747136 38008 33554432000 4194304 5654031 140734071302704 140734071290520 4214957 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 44616 38008 141 357 0 44256 0
Current children cumulated CPU time (s) 1721.94
Current children cumulated vsize (KiB) 211884
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/181 9906
/proc/meminfo: memFree=30631940/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=228552 CPUtime=1780.72 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 40607 0 0 0 178011 61 0 0 20 0 1 0 377520464 234037248 50597 33554432000 4194304 5654031 140734071302704 140734071290520 4233232 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 57138 50597 141 357 0 56778 0
Current children cumulated CPU time (s) 1781.92
Current children cumulated vsize (KiB) 261972
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 1.93 3/182 9948
/proc/meminfo: memFree=30602292/32873648 swapFree=7628/7628
[pid=9876] ppid=9874 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9876/stat : 9876 (npSolver-pbo-I.) S 9874 9876 4113 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377520341 9367552 274 33554432000 4194304 5064252 140734281034992 140734281033904 217410332238 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9876/statm: 2287 274 233 213 0 72 0
[pid=9877] ppid=9876 vsize=24272 CPUtime=1.2 cores=0,2,4,6
/proc/9877/stat : 9877 (npSolver-pbo) S 9876 9876 4113 0 -1 4202496 8266 16365 0 0 19 19 78 4 20 0 1 0 377520342 24854528 4576 33554432000 4194304 6004724 140737423174112 140737423159032 5190736 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/9877/statm: 6068 4576 184 442 0 5622 0
[pid=9885] ppid=9877 vsize=147644 CPUtime=1798.83 cores=0,2,4,6
/proc/9885/stat : 9885 (glucosInc) R 9877 9876 4113 0 -1 4202496 40946 0 0 0 179820 63 0 0 20 0 1 0 377520464 151187456 33845 33554432000 4194304 5654031 140734071302704 140734071290520 4215200 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/9885/statm: 36911 33845 141 357 0 36551 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 181064
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.06
CPU user time (s): 1799.19
CPU system time (s): 0.877866
CPU usage (%): 99.9808
Max. virtual memory (cumulated for all children) (KiB): 261972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.19
system time used= 0.877866
maximum resident set size= 204436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65959
page faults= 0
swaps= 0
block input operations= 0
block output operations= 29384
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 207
involuntary context switches= 1991
runsolver used 2.53961 second user time and 7.29089 second system time
The end