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-3747186-1339098380/watcher-3747186-1339098380 -o /tmp/evaluation-result-3747186-1339098380/solver-3747186-1339098380 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3747186-1339098380.opb 1098599510 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: 3.00 1.39 0.53 3/178 11070
/proc/meminfo: memFree=26641084/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[startup+0.0273739 s]
/proc/loadavg: 3.00 1.39 0.53 3/178 11070
/proc/meminfo: memFree=26641084/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.114841 s]
/proc/loadavg: 3.00 1.39 0.53 3/178 11070
/proc/meminfo: memFree=26641084/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300198 s]
/proc/loadavg: 3.00 1.39 0.53 3/178 11070
/proc/meminfo: memFree=26641084/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700194 s]
/proc/loadavg: 3.00 1.39 0.53 3/178 11070
/proc/meminfo: memFree=26641084/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/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: 3.00 1.39 0.53 3/181 11079
/proc/meminfo: memFree=26599072/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=11644 CPUtime=0.12 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 4566 3635 0 0 7 2 1 2 20 0 1 0 375962574 11923456 2387 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11071/statm: 2911 2387 175 442 0 2465 0
[pid=11079] ppid=11071 vsize=36092 CPUtime=1.36 cores=1,3,5,7
/proc/11079/stat : 11079 (glucosInc) R 11071 11070 10841 0 -1 4202496 6950 0 0 0 135 1 0 0 20 0 1 0 375962586 36958208 7807 33554432000 4194304 5654031 140733876403392 140733876391208 4232477 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/11079/statm: 9023 7807 140 357 0 8663 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 56884
[startup+3.10029 s]
/proc/loadavg: 2.92 1.40 0.54 3/181 11079
/proc/meminfo: memFree=26598640/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=11644 CPUtime=0.12 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 4566 3635 0 0 7 2 1 2 20 0 1 0 375962574 11923456 2387 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11071/statm: 2911 2387 175 442 0 2465 0
[pid=11079] ppid=11071 vsize=36572 CPUtime=2.96 cores=1,3,5,7
/proc/11079/stat : 11079 (glucosInc) R 11071 11070 10841 0 -1 4202496 8189 0 0 0 294 2 0 0 20 0 1 0 375962586 37449728 8212 33554432000 4194304 5654031 140733876403392 140733876391208 4216456 0 0 4096 0 0 0 0 17 7 0 0 0 0 0
/proc/11079/statm: 9143 8212 142 357 0 8783 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 57364
[startup+7.38162 s]
/proc/loadavg: 2.92 1.40 0.54 3/181 11080
/proc/meminfo: memFree=26652256/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=4.31 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 7015 13452 0 0 13 4 409 5 20 0 1 0 375962574 13324288 2646 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11071/statm: 3253 2646 175 442 0 2807 0
Current children cumulated CPU time (s) 4.31
Current children cumulated vsize (KiB) 22160
heavy processes:
[startup+13.9987 s]
/proc/loadavg: 2.85 1.41 0.55 3/181 11081
/proc/meminfo: memFree=26616436/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=4.31 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 7015 13452 0 0 13 4 409 5 20 0 1 0 375962574 13324288 2646 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11071/statm: 3253 2646 175 442 0 2807 0
[pid=11081] ppid=11071 vsize=40672 CPUtime=9.66 cores=1,3,5,7
/proc/11081/stat : 11081 (glucosInc) R 11071 11070 10841 0 -1 4202496 10044 0 0 0 964 2 0 0 20 0 1 0 375963006 41648128 9511 33554432000 4194304 5654031 140736173276544 140736173264360 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11081/statm: 10168 9511 142 357 0 9808 0
Current children cumulated CPU time (s) 13.97
Current children cumulated vsize (KiB) 62832
[startup+27.7687 s]
/proc/loadavg: 2.66 1.44 0.57 3/181 11081
/proc/meminfo: memFree=26571960/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=4.31 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 7015 13452 0 0 13 4 409 5 20 0 1 0 375962574 13324288 2646 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11071/statm: 3253 2646 175 442 0 2807 0
[pid=11081] ppid=11071 vsize=59348 CPUtime=23.42 cores=1,3,5,7
/proc/11081/stat : 11081 (glucosInc) R 11071 11070 10841 0 -1 4202496 11780 0 0 0 2340 2 0 0 20 0 1 0 375963006 60772352 14159 33554432000 4194304 5654031 140736173276544 140736173264360 4232883 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11081/statm: 14837 14159 142 357 0 14477 0
Current children cumulated CPU time (s) 27.73
Current children cumulated vsize (KiB) 81508
[startup+51.9667 s]
/proc/loadavg: 2.50 1.50 0.61 4/181 11081
/proc/meminfo: memFree=26569804/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=4.31 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 7015 13452 0 0 13 4 409 5 20 0 1 0 375962574 13324288 2646 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11071/statm: 3253 2646 175 442 0 2807 0
[pid=11081] ppid=11071 vsize=101916 CPUtime=47.62 cores=1,3,5,7
/proc/11081/stat : 11081 (glucosInc) R 11071 11070 10841 0 -1 4202496 12840 0 0 0 4759 3 0 0 20 0 1 0 375963006 104361984 17928 33554432000 4194304 5654031 140736173276544 140736173264360 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11081/statm: 25479 17928 142 357 0 25119 0
Current children cumulated CPU time (s) 51.93
Current children cumulated vsize (KiB) 124076
[startup+105.338 s]
/proc/loadavg: 2.24 1.57 0.67 4/181 11083
/proc/meminfo: memFree=26581052/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=4.31 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 7015 13452 0 0 13 4 409 5 20 0 1 0 375962574 13324288 2646 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11071/statm: 3253 2646 175 442 0 2807 0
[pid=11081] ppid=11071 vsize=101916 CPUtime=100.99 cores=1,3,5,7
/proc/11081/stat : 11081 (glucosInc) R 11071 11070 10841 0 -1 4202496 12877 0 0 0 10095 4 0 0 20 0 1 0 375963006 104361984 20008 33554432000 4194304 5654031 140736173276544 140736173264360 4215040 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11081/statm: 25479 20008 142 357 0 25119 0
Current children cumulated CPU time (s) 105.3
Current children cumulated vsize (KiB) 124076
[startup+163.299 s]
/proc/loadavg: 2.13 1.65 0.75 3/181 11083
/proc/meminfo: memFree=26558664/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=4.31 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 7015 13452 0 0 13 4 409 5 20 0 1 0 375962574 13324288 2646 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/11071/statm: 3253 2646 175 442 0 2807 0
[pid=11081] ppid=11071 vsize=101916 CPUtime=158.93 cores=1,3,5,7
/proc/11081/stat : 11081 (glucosInc) R 11071 11070 10841 0 -1 4202496 13372 0 0 0 15889 4 0 0 20 0 1 0 375963006 104361984 23050 33554432000 4194304 5654031 140736173276544 140736173264360 4219887 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11081/statm: 25479 23050 142 357 0 25119 0
Current children cumulated CPU time (s) 163.24
Current children cumulated vsize (KiB) 124076
[startup+224.048 s]
/proc/loadavg: 2.09 1.74 0.85 3/182 11089
/proc/meminfo: memFree=26580384/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=179.64 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 9428 27704 0 0 20 6 17927 11 20 0 1 0 375962574 13324288 2647 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11071/statm: 3253 2647 175 442 0 2807 0
[pid=11085] ppid=11071 vsize=94236 CPUtime=44.31 cores=1,3,5,7
/proc/11085/stat : 11085 (glucosInc) R 11071 11070 10841 0 -1 4202496 14267 0 0 0 4426 5 0 0 20 0 1 0 375980541 96497664 16402 33554432000 4194304 5654031 140734843477248 140734843465064 4232466 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/11085/statm: 23559 16402 142 357 0 23199 0
Current children cumulated CPU time (s) 223.95
Current children cumulated vsize (KiB) 116396
[startup+282.307 s]
/proc/loadavg: 2.03 1.78 0.92 3/181 11089
/proc/meminfo: memFree=26512604/32873844 swapFree=9160/9160
################
# More data... #
################
/proc/loadavg: 2.03 2.00 1.64 3/181 11122
/proc/meminfo: memFree=26316468/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=179.64 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 9428 27704 0 0 20 6 17927 11 20 0 1 0 375962574 13324288 2647 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11071/statm: 3253 2647 175 442 0 2807 0
[pid=11085] ppid=11071 vsize=225756 CPUtime=1182.36 cores=1,3,5,7
/proc/11085/stat : 11085 (glucosInc) R 11071 11070 10841 0 -1 4202496 54566 0 0 0 118151 85 0 0 20 0 1 0 375980541 231174144 52684 33554432000 4194304 5654031 140734843477248 140734843465064 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11085/statm: 56439 52684 142 357 0 56079 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 247916
[startup+1422.3 s]
/proc/loadavg: 2.01 2.00 1.66 3/181 11125
/proc/meminfo: memFree=26171656/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=179.64 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 9428 27704 0 0 20 6 17927 11 20 0 1 0 375962574 13324288 2647 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11071/statm: 3253 2647 175 442 0 2807 0
[pid=11085] ppid=11071 vsize=275844 CPUtime=1242.36 cores=1,3,5,7
/proc/11085/stat : 11085 (glucosInc) R 11071 11070 10841 0 -1 4202496 56275 0 0 0 124146 90 0 0 20 0 1 0 375980541 282464256 57081 33554432000 4194304 5654031 140734843477248 140734843475336 4215076 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11085/statm: 68961 57081 142 357 0 68601 0
Current children cumulated CPU time (s) 1422
Current children cumulated vsize (KiB) 298004
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/181 11126
/proc/meminfo: memFree=26058276/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=179.64 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 9428 27704 0 0 20 6 17927 11 20 0 1 0 375962574 13324288 2647 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11071/statm: 3253 2647 175 442 0 2807 0
[pid=11085] ppid=11071 vsize=225756 CPUtime=1302.36 cores=1,3,5,7
/proc/11085/stat : 11085 (glucosInc) R 11071 11070 10841 0 -1 4202496 57373 0 0 0 130143 93 0 0 20 0 1 0 375980541 231174144 55244 33554432000 4194304 5654031 140734843477248 140734843465064 4232821 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11085/statm: 56439 55244 142 357 0 56079 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 247916
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.69 3/181 11126
/proc/meminfo: memFree=25887848/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=179.64 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 9428 27704 0 0 20 6 17927 11 20 0 1 0 375962574 13324288 2647 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11071/statm: 3253 2647 175 442 0 2807 0
[pid=11085] ppid=11071 vsize=275844 CPUtime=1362.35 cores=1,3,5,7
/proc/11085/stat : 11085 (glucosInc) R 11071 11070 10841 0 -1 4202496 59074 0 0 0 136138 97 0 0 20 0 1 0 375980541 282464256 56569 33554432000 4194304 5654031 140734843477248 140734843465064 4232775 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11085/statm: 68961 56569 142 357 0 68601 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 298004
[startup+1602.31 s]
/proc/loadavg: 2.04 2.01 1.72 3/180 11126
/proc/meminfo: memFree=26317388/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=179.64 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 9428 27704 0 0 20 6 17927 11 20 0 1 0 375962574 13324288 2647 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11071/statm: 3253 2647 175 442 0 2807 0
[pid=11085] ppid=11071 vsize=275844 CPUtime=1422.33 cores=1,3,5,7
/proc/11085/stat : 11085 (glucosInc) R 11071 11070 10841 0 -1 4202496 60482 0 0 0 142133 100 0 0 20 0 1 0 375980541 282464256 63225 33554432000 4194304 5654031 140734843477248 140734843465064 4232477 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11085/statm: 68961 63225 142 357 0 68601 0
Current children cumulated CPU time (s) 1601.97
Current children cumulated vsize (KiB) 298004
[startup+1662.3 s]
/proc/loadavg: 1.94 1.99 1.73 3/181 11180
/proc/meminfo: memFree=26765408/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=179.64 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 9428 27704 0 0 20 6 17927 11 20 0 1 0 375962574 13324288 2647 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11071/statm: 3253 2647 175 442 0 2807 0
[pid=11085] ppid=11071 vsize=275844 CPUtime=1482.32 cores=1,3,5,7
/proc/11085/stat : 11085 (glucosInc) R 11071 11070 10841 0 -1 4202496 62351 0 0 0 148127 105 0 0 20 0 1 0 375980541 282464256 64761 33554432000 4194304 5654031 140734843477248 140734843465064 4232598 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11085/statm: 68961 64761 142 357 0 68601 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 298004
[startup+1722.3 s]
/proc/loadavg: 1.98 1.99 1.74 3/181 11192
/proc/meminfo: memFree=26804432/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=179.64 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 9428 27704 0 0 20 6 17927 11 20 0 1 0 375962574 13324288 2647 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11071/statm: 3253 2647 175 442 0 2807 0
[pid=11085] ppid=11071 vsize=225756 CPUtime=1542.31 cores=1,3,5,7
/proc/11085/stat : 11085 (glucosInc) R 11071 11070 10841 0 -1 4202496 63965 0 0 0 154123 108 0 0 20 0 1 0 375980541 231174144 54220 33554432000 4194304 5654031 140734843477248 140734843465064 4214988 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11085/statm: 56439 54220 142 357 0 56079 0
Current children cumulated CPU time (s) 1721.95
Current children cumulated vsize (KiB) 247916
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 1.75 3/181 11199
/proc/meminfo: memFree=26719704/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=179.64 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 9428 27704 0 0 20 6 17927 11 20 0 1 0 375962574 13324288 2647 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11071/statm: 3253 2647 175 442 0 2807 0
[pid=11085] ppid=11071 vsize=357232 CPUtime=1602.3 cores=1,3,5,7
/proc/11085/stat : 11085 (glucosInc) R 11071 11070 10841 0 -1 4202496 66208 0 0 0 160116 114 0 0 20 0 1 0 375980541 365805568 76025 33554432000 4194304 5654031 140734843477248 140734843475336 4232453 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11085/statm: 89308 76025 142 357 0 88948 0
Current children cumulated CPU time (s) 1781.94
Current children cumulated vsize (KiB) 379392
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.06 2.01 1.76 3/181 11199
/proc/meminfo: memFree=26673220/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=179.64 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 9428 27704 0 0 20 6 17927 11 20 0 1 0 375962574 13324288 2647 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11071/statm: 3253 2647 175 442 0 2807 0
[pid=11085] ppid=11071 vsize=357232 CPUtime=1620.41 cores=1,3,5,7
/proc/11085/stat : 11085 (glucosInc) R 11071 11070 10841 0 -1 4202496 66226 0 0 0 161926 115 0 0 20 0 1 0 375980541 365805568 85241 33554432000 4194304 5654031 140734843477248 140734843475336 4232700 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11085/statm: 89308 85241 142 357 0 88948 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 379392
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.06 2.01 1.76 3/181 11199
/proc/meminfo: memFree=26673220/32873844 swapFree=9160/9160
[pid=11070] ppid=11068 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/11070/stat : 11070 (npSolver-pbo-It) S 11068 11070 10841 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 375962573 9367552 274 33554432000 4194304 5064252 140734539517248 140734539516160 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/11070/statm: 2287 274 233 213 0 72 0
[pid=11071] ppid=11070 vsize=13012 CPUtime=179.64 cores=1,3,5,7
/proc/11071/stat : 11071 (npSolver-pbo) S 11070 11070 10841 0 -1 4202496 9428 27704 0 0 20 6 17927 11 20 0 1 0 375962574 13324288 2647 33554432000 4194304 6004724 140736487656304 140736487642152 5190736 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/11071/statm: 3253 2647 175 442 0 2807 0
[pid=11085] ppid=11071 vsize=357232 CPUtime=1620.41 cores=1,3,5,7
/proc/11085/stat : 11085 (glucosInc) R 11071 11070 10841 0 -1 4202496 66226 0 0 0 161926 115 0 0 20 0 1 0 375980541 365805568 85241 33554432000 4194304 5654031 140734843477248 140734843475336 4232700 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/11085/statm: 89308 85241 142 357 0 88948 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 379392
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 11070 and gives
# childrusage.ru_utime.tv_sec=179
# childrusage.ru_utime.tv_usec=477715
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=184971
# CPU time returned by wait4() is 179.663
# while last known CPU time is 1800.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.05
CPU user time (s): 1798.73
CPU system time (s): 1.32
CPU usage (%): 99.9798
Max. virtual memory (cumulated for all children) (KiB): 379392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 179.478
system time used= 0.184971
maximum resident set size= 109948
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37506
page faults= 0
swaps= 0
block input operations= 0
block output operations= 18648
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 431
involuntary context switches= 246
runsolver used 4.74528 second user time and 10.3064 second system time
The end