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-3699366-1338136629/watcher-3699366-1338136629 -o /tmp/evaluation-result-3699366-1338136629/solver-3699366-1338136629 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-I.sh HOME/instance-3699366-1338136629.opb 1938043732 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/178 20198
/proc/meminfo: memFree=30207080/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[startup+0.0560159 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20198
/proc/meminfo: memFree=30207080/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100259 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20198
/proc/meminfo: memFree=30207080/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300265 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20198
/proc/meminfo: memFree=30207080/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700154 s]
/proc/loadavg: 2.00 2.00 2.00 3/178 20198
/proc/meminfo: memFree=30207080/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20202
/proc/meminfo: memFree=30054496/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=0.43 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6718 0 0 0 40 3 0 0 20 0 1 0 279787459 33509376 7571 33554432000 4194304 5992684 140736248972992 140736248967440 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7571 171 440 0 7737 0
[pid=20201] ppid=20199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20201/stat : 20201 (cp2_pre.sh) S 20199 20198 18146 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 279787503 9367552 277 33554432000 4194304 5064252 140734374159920 140734374158624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20201/statm: 2287 277 234 213 0 72 0
[pid=20202] ppid=20201 vsize=130628 CPUtime=1.04 cores=0,2,4,6
/proc/20202/stat : 20202 (coprocessor) R 20201 20198 18146 0 -1 4202496 24571 0 0 0 101 3 0 0 20 0 1 0 279787503 133763072 31495 33554432000 4194304 6586260 140734209530304 140734209526328 4775781 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/20202/statm: 32657 31495 182 584 0 32069 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 181648
[startup+3.10034 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20202
/proc/meminfo: memFree=30011940/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=0.43 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6718 0 0 0 40 3 0 0 20 0 1 0 279787459 33509376 7571 33554432000 4194304 5992684 140736248972992 140736248967440 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7571 171 440 0 7737 0
[pid=20201] ppid=20199 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20201/stat : 20201 (cp2_pre.sh) S 20199 20198 18146 0 -1 4202496 611 0 0 0 0 0 0 0 20 0 1 0 279787503 9367552 277 33554432000 4194304 5064252 140734374159920 140734374158624 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/20201/statm: 2287 277 234 213 0 72 0
[pid=20202] ppid=20201 vsize=157688 CPUtime=2.63 cores=0,2,4,6
/proc/20202/stat : 20202 (coprocessor) D 20201 20198 18146 0 -1 4202496 28447 0 0 0 259 4 0 0 20 0 1 0 279787503 161472512 38437 33554432000 4194304 6586260 140734209530304 140734209525928 5732496 0 0 4096 8404994 18446744071580543392 0 0 17 0 0 0 0 0 0
/proc/20202/statm: 39422 38437 202 584 0 38834 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 208708
[startup+6.30032 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20204
/proc/meminfo: memFree=30097416/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=79564 CPUtime=2.45 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 14658 0 0 0 242 3 0 0 20 0 1 0 279787843 81473536 16111 33554432000 4194304 5654031 140733573652336 140733573650120 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 19891 16111 140 357 0 19531 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 121436
[startup+12.7003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20204
/proc/meminfo: memFree=30093260/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=80356 CPUtime=8.85 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 15267 0 0 0 882 3 0 0 20 0 1 0 279787843 82284544 16719 33554432000 4194304 5654031 140733573652336 140733573650120 4208619 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 20089 16719 140 357 0 19729 0
Current children cumulated CPU time (s) 12.55
Current children cumulated vsize (KiB) 122228
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20204
/proc/meminfo: memFree=30088584/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=81328 CPUtime=21.64 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 15673 0 0 0 2161 3 0 0 20 0 1 0 279787843 83279872 16786 33554432000 4194304 5654031 140733573652336 140733573650360 4232800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 20332 16786 141 357 0 19972 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 123200
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20205
/proc/meminfo: memFree=30075692/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=82448 CPUtime=47.24 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 16073 0 0 0 4720 4 0 0 20 0 1 0 279787843 84426752 18553 33554432000 4194304 5654031 140733573652336 140733573650120 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/20204/statm: 20612 18553 142 357 0 20252 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 124320
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20205
/proc/meminfo: memFree=30019956/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=131584 CPUtime=98.43 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 17821 0 0 0 9838 5 0 0 20 0 1 0 279787843 134742016 30828 33554432000 4194304 5654031 140733573652336 140733573640152 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 32896 30828 142 357 0 32536 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 173456
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20205
/proc/meminfo: memFree=30011544/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=131584 CPUtime=158.42 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 17823 0 0 0 15837 5 0 0 20 0 1 0 279787843 134742016 30830 33554432000 4194304 5654031 140733573652336 140733573640152 4233306 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 32896 30830 142 357 0 32536 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 173456
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20208
/proc/meminfo: memFree=30046540/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=131584 CPUtime=218.41 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.01 2.01 2.00 3/181 20283
/proc/meminfo: memFree=30871056/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=150552 CPUtime=1358.19 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 39856 0 0 0 135790 29 0 0 20 0 1 0 279787843 154165248 33082 33554432000 4194304 5654031 140733573652336 140733573650424 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 37638 33082 142 357 0 37278 0
Current children cumulated CPU time (s) 1361.89
Current children cumulated vsize (KiB) 192424
[startup+1422.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20288
/proc/meminfo: memFree=30870652/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=150552 CPUtime=1418.19 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 41044 0 0 0 141788 31 0 0 20 0 1 0 279787843 154165248 33594 33554432000 4194304 5654031 140733573652336 140733573650424 4232988 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 37638 33594 142 357 0 37278 0
Current children cumulated CPU time (s) 1421.89
Current children cumulated vsize (KiB) 192424
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 20311
/proc/meminfo: memFree=30869436/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=150552 CPUtime=1478.18 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 42236 0 0 0 147785 33 0 0 20 0 1 0 279787843 154165248 33594 33554432000 4194304 5654031 140733573652336 140733573650424 4232775 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 37638 33594 142 357 0 37278 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 192424
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20311
/proc/meminfo: memFree=30862532/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=150552 CPUtime=1538.17 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 43436 0 0 0 153783 34 0 0 20 0 1 0 279787843 154165248 33594 33554432000 4194304 5654031 140733573652336 140733573650424 4232821 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 37638 33594 142 357 0 37278 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 192424
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20312
/proc/meminfo: memFree=30858348/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=150552 CPUtime=1598.16 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 44630 0 0 0 159780 36 0 0 20 0 1 0 279787843 154165248 34618 33554432000 4194304 5654031 140733573652336 140733573650424 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 37638 34618 142 357 0 37278 0
Current children cumulated CPU time (s) 1601.86
Current children cumulated vsize (KiB) 192424
[startup+1662.3 s]
/proc/loadavg: 2.03 2.01 2.00 3/181 20314
/proc/meminfo: memFree=30884924/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=131584 CPUtime=1658.15 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 46459 0 0 0 165777 38 0 0 20 0 1 0 279787843 134742016 29968 33554432000 4194304 5654031 140733573652336 140733573650360 4232438 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 32896 29968 142 357 0 32536 0
Current children cumulated CPU time (s) 1661.85
Current children cumulated vsize (KiB) 173456
[startup+1722.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/181 20314
/proc/meminfo: memFree=30851528/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=151620 CPUtime=1718.13 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 47183 0 0 0 171775 38 0 0 20 0 1 0 279787843 155258880 35787 33554432000 4194304 5654031 140733573652336 140733573650120 4233204 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 37905 35787 142 357 0 37545 0
Current children cumulated CPU time (s) 1721.83
Current children cumulated vsize (KiB) 193492
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20314
/proc/meminfo: memFree=30850872/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=153540 CPUtime=1778.13 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 48826 0 0 0 177773 40 0 0 20 0 1 0 279787843 157224960 35749 33554432000 4194304 5654031 140733573652336 140733573650120 4208595 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 38385 35749 142 357 0 38025 0
Current children cumulated CPU time (s) 1781.83
Current children cumulated vsize (KiB) 195412
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20314
/proc/meminfo: memFree=30867240/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=154180 CPUtime=1796.32 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 50040 0 0 0 179591 41 0 0 20 0 1 0 279787843 157880320 31672 33554432000 4194304 5654031 140733573652336 140733573650360 4232800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 38545 31672 142 357 0 38185 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 196052
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 20314
/proc/meminfo: memFree=30867240/32873844 swapFree=7900/7900
[pid=20198] ppid=20196 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/20198/stat : 20198 (npSolver-pbo-I.) S 20196 20198 18146 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279787459 9367552 275 33554432000 4194304 5064252 140735339875680 140735339874592 225444521550 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/20198/statm: 2287 275 233 213 0 72 0
[pid=20199] ppid=20198 vsize=32724 CPUtime=3.7 cores=0,2,4,6
/proc/20199/stat : 20199 (npSolver-pbo) S 20198 20198 18146 0 -1 4202496 6737 29354 0 0 40 3 319 8 20 0 1 0 279787459 33509376 7573 33554432000 4194304 5992684 140736248972992 140736248959256 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/20199/statm: 8181 7573 173 440 0 7737 0
[pid=20204] ppid=20199 vsize=154180 CPUtime=1796.32 cores=0,2,4,6
/proc/20204/stat : 20204 (glucosInc) R 20199 20198 18146 0 -1 4202496 50040 0 0 0 179591 41 0 0 20 0 1 0 279787843 157880320 31672 33554432000 4194304 5654031 140733573652336 140733573650360 4232800 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/20204/statm: 38545 31672 142 357 0 38185 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 196052
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 20198 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=601452
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=127980
# CPU time returned by wait4() is 3.72943
# 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.51
CPU time (s): 1800.02
CPU user time (s): 1799.5
CPU system time (s): 0.52
CPU usage (%): 99.9726
Max. virtual memory (cumulated for all children) (KiB): 226404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.60145
system time used= 0.12798
maximum resident set size= 153748
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 36468
page faults= 0
swaps= 0
block input operations= 0
block output operations= 55208
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 24
runsolver used 6.567 second user time and 19.577 second system time
The end