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-3702604-1338124896/watcher-3702604-1338124896 -o /tmp/evaluation-result-3702604-1338124896/solver-3702604-1338124896 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702604-1338124896.opb 201260400 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: 3.95 3.63 2.77 2/172 25197
/proc/meminfo: memFree=31381272/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[startup+0.0704809 s]
/proc/loadavg: 3.95 3.63 2.77 2/172 25197
/proc/meminfo: memFree=31381272/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100229 s]
/proc/loadavg: 3.95 3.63 2.77 2/172 25197
/proc/meminfo: memFree=31381272/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300225 s]
/proc/loadavg: 3.95 3.63 2.77 2/172 25197
/proc/meminfo: memFree=31381272/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700229 s]
/proc/loadavg: 3.95 3.63 2.77 2/172 25197
/proc/meminfo: memFree=31381272/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 3.95 3.63 2.77 3/182 25211
/proc/meminfo: memFree=31270548/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=99812 CPUtime=1.07 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 11998 0 0 0 96 11 0 0 20 0 1 0 278614288 102207488 17282 33554432000 4194304 5992684 140735992412496 140735992406944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 24953 17282 171 440 0 24509 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 108960
[startup+3.1004 s]
/proc/loadavg: 3.95 3.63 2.77 3/183 25215
/proc/meminfo: memFree=31005680/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=99812 CPUtime=1.07 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 11998 0 0 0 96 11 0 0 20 0 1 0 278614288 102207488 17282 33554432000 4194304 5992684 140735992412496 140735992406944 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 24953 17282 171 440 0 24509 0
[pid=25212] ppid=25198 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25212/stat : 25212 (cp2_pre.sh) S 25198 25197 24278 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 278614397 9367552 277 33554432000 4194304 5064252 140736804477280 140736804475984 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25212/statm: 2287 277 234 213 0 72 0
[pid=25213] ppid=25212 vsize=327996 CPUtime=2 cores=0,2,4,6
/proc/25213/stat : 25213 (coprocessor) R 25212 25197 24278 0 -1 4202496 42520 0 0 0 191 9 0 0 20 0 1 0 278614397 335867904 79867 33554432000 4194304 6586260 140733581894512 140733581890776 4774942 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/25213/statm: 81999 79867 176 584 0 81411 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 446104
[startup+6.30027 s]
/proc/loadavg: 3.79 3.60 2.77 3/185 25218
/proc/meminfo: memFree=30778736/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=99812 CPUtime=5.65 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 12016 50920 0 0 96 11 436 22 20 0 1 0 278614288 102207488 17284 33554432000 4194304 5992684 140735992412496 140735992398760 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 24953 17284 173 440 0 24509 0
Current children cumulated CPU time (s) 5.65
Current children cumulated vsize (KiB) 108960
[startup+12.7003 s]
/proc/loadavg: 3.65 3.58 2.77 3/184 25220
/proc/meminfo: memFree=31022064/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=113744 CPUtime=6.03 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) R 25197 25197 24278 0 -1 4202496 14529 50920 0 0 119 26 436 22 20 0 1 0 278614288 116473856 20774 33554432000 4194304 5992684 140735992412496 140735992398760 5179696 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 28436 20774 180 440 0 27992 0
[pid=25220] ppid=25198 vsize=175340 CPUtime=6.39 cores=0,2,4,6
/proc/25220/stat : 25220 (glucosInc) S 25198 25197 24278 0 -1 4202496 32902 0 0 0 631 8 0 0 20 0 1 0 278614880 179548160 39736 33554432000 4194304 5654031 140736024823760 140736024822072 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/25220/statm: 43835 39736 146 357 0 43475 0
Current children cumulated CPU time (s) 12.42
Current children cumulated vsize (KiB) 298232
[startup+25.5004 s]
/proc/loadavg: 3.44 3.53 2.76 3/184 25230
/proc/meminfo: memFree=30348020/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=618168 CPUtime=3.72 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 92824 0 0 0 344 28 0 0 20 0 1 0 278616465 633004032 143533 33554432000 4194304 5654031 140733926519712 140733926517976 4208595 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 154542 143533 131 357 0 154182 0
Current children cumulated CPU time (s) 24.43
Current children cumulated vsize (KiB) 753076
[startup+51.1004 s]
/proc/loadavg: 3.02 3.43 2.75 3/184 25230
/proc/meminfo: memFree=30341012/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=623772 CPUtime=29.31 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 94983 0 0 0 2903 28 0 0 20 0 1 0 278616465 638742528 146203 33554432000 4194304 5654031 140733926519712 140733926517496 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 155943 146203 141 357 0 155583 0
Current children cumulated CPU time (s) 50.02
Current children cumulated vsize (KiB) 758680
[startup+102.307 s]
/proc/loadavg: 2.44 3.20 2.71 3/183 25230
/proc/meminfo: memFree=30335664/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=626544 CPUtime=80.51 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 95771 0 0 0 8022 29 0 0 20 0 1 0 278616465 641581056 147502 33554432000 4194304 5654031 140733926519712 140733926507528 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 156636 147502 142 357 0 156276 0
Current children cumulated CPU time (s) 101.22
Current children cumulated vsize (KiB) 761452
[startup+162.3 s]
/proc/loadavg: 2.16 2.98 2.66 3/183 25230
/proc/meminfo: memFree=30330880/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=628000 CPUtime=140.48 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 96386 0 0 0 14019 29 0 0 20 0 1 0 278616465 643072000 148096 33554432000 4194304 5654031 140733926519712 140733926507528 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 157000 148096 142 357 0 156640 0
Current children cumulated CPU time (s) 161.19
Current children cumulated vsize (KiB) 762908
[startup+222.3 s]
/proc/loadavg: 2.06 2.80 2.61 3/183 25230
/proc/meminfo: memFree=30308060/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=711032 CPUtime=200.43 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 97743 0 0 0 20012 31 0 0 20 0 1 0 278616465 728096768 149923 33554432000 4194304 5654031 140733926519712 140733926507528 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 177758 149923 142 357 0 177398 0
Current children cumulated CPU time (s) 221.14
Current children cumulated vsize (KiB) 845940
[startup+282.3 s]
/proc/loadavg: 2.02 2.65 2.57 3/183 25231
/proc/meminfo: memFree=30302652/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=30268232/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=720016 CPUtime=1220.15 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 101366 0 0 0 121978 37 0 0 20 0 1 0 278616465 737296384 152906 33554432000 4194304 5654031 140733926519712 140733926517496 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 180004 152906 142 357 0 179644 0
Current children cumulated CPU time (s) 1240.86
Current children cumulated vsize (KiB) 854924
[startup+1302.3 s]
/proc/loadavg: 2.00 2.01 2.17 3/183 25241
/proc/meminfo: memFree=30267736/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=720196 CPUtime=1280.14 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 101396 0 0 0 127977 37 0 0 20 0 1 0 278616465 737480704 152936 33554432000 4194304 5654031 140733926519712 140733926517496 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 180049 152936 142 357 0 179689 0
Current children cumulated CPU time (s) 1300.85
Current children cumulated vsize (KiB) 855104
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.16 3/183 25241
/proc/meminfo: memFree=30263516/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=720196 CPUtime=1340.13 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 101405 0 0 0 133976 37 0 0 20 0 1 0 278616465 737480704 153456 33554432000 4194304 5654031 140733926519712 140733926517496 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 180049 153456 142 357 0 179689 0
Current children cumulated CPU time (s) 1360.84
Current children cumulated vsize (KiB) 855104
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.14 3/183 25241
/proc/meminfo: memFree=30263272/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=720448 CPUtime=1400.1 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 101459 0 0 0 139973 37 0 0 20 0 1 0 278616465 737738752 153488 33554432000 4194304 5654031 140733926519712 140733926517496 4232784 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 180112 153488 142 357 0 179752 0
Current children cumulated CPU time (s) 1420.81
Current children cumulated vsize (KiB) 855356
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/183 25242
/proc/meminfo: memFree=30261340/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=720448 CPUtime=1460.07 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 101514 0 0 0 145970 37 0 0 20 0 1 0 278616465 737738752 154033 33554432000 4194304 5654031 140733926519712 140733926517496 4232707 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 180112 154033 142 357 0 179752 0
Current children cumulated CPU time (s) 1480.78
Current children cumulated vsize (KiB) 855356
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/183 25242
/proc/meminfo: memFree=30259292/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=720448 CPUtime=1520.06 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 101522 0 0 0 151969 37 0 0 20 0 1 0 278616465 737738752 154552 33554432000 4194304 5654031 140733926519712 140733926517496 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 180112 154552 142 357 0 179752 0
Current children cumulated CPU time (s) 1540.77
Current children cumulated vsize (KiB) 855356
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/183 25242
/proc/meminfo: memFree=30259044/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=720636 CPUtime=1580.05 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 101572 0 0 0 157968 37 0 0 20 0 1 0 278616465 737931264 154602 33554432000 4194304 5654031 140733926519712 140733926517496 4232916 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 180159 154602 142 357 0 179799 0
Current children cumulated CPU time (s) 1600.76
Current children cumulated vsize (KiB) 855544
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/183 25242
/proc/meminfo: memFree=30257616/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=720984 CPUtime=1640.04 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 101578 0 0 0 163967 37 0 0 20 0 1 0 278616465 738287616 155119 33554432000 4194304 5654031 140733926519712 140733926517496 4232775 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 180246 155119 142 357 0 179886 0
Current children cumulated CPU time (s) 1660.75
Current children cumulated vsize (KiB) 855892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/184 25245
/proc/meminfo: memFree=30257112/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=721276 CPUtime=1700.03 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 101665 0 0 0 169966 37 0 0 20 0 1 0 278616465 738586624 155206 33554432000 4194304 5654031 140733926519712 140733926517608 4232939 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 180319 155206 142 357 0 179959 0
Current children cumulated CPU time (s) 1720.74
Current children cumulated vsize (KiB) 856184
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.08 3/183 25246
/proc/meminfo: memFree=30254700/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=721276 CPUtime=1760.02 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 101666 0 0 0 175965 37 0 0 20 0 1 0 278616465 738586624 155718 33554432000 4194304 5654031 140733926519712 140733926517608 4233315 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 180319 155718 142 357 0 179959 0
Current children cumulated CPU time (s) 1780.73
Current children cumulated vsize (KiB) 856184
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.6 s]
/proc/loadavg: 2.00 2.00 2.08 3/180 25286
/proc/meminfo: memFree=30416088/32873844 swapFree=6080/6080
[pid=25197] ppid=25195 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25197/stat : 25197 (npSolver-pbo-It) S 25195 25197 24278 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 278614288 9367552 275 33554432000 4194304 5064252 140733857710528 140733857709440 248790017614 0 65536 4100 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25197/statm: 2287 275 233 213 0 72 0
[pid=25198] ppid=25197 vsize=125760 CPUtime=20.71 cores=0,2,4,6
/proc/25198/stat : 25198 (npSolver-pbo) S 25197 25197 24278 0 -1 4202496 24280 130521 0 0 427 231 1353 60 20 0 1 0 278614288 128778240 23835 33554432000 4194304 5992684 140735992412496 140735992398328 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/25198/statm: 31440 23835 205 440 0 30996 0
[pid=25230] ppid=25198 vsize=721276 CPUtime=1779.32 cores=0,2,4,6
/proc/25230/stat : 25230 (glucosInc) R 25198 25197 24278 0 -1 4202496 101690 0 0 0 177895 37 0 0 20 0 1 0 278616465 738586624 156253 33554432000 4194304 5654031 140733926519712 140733926507528 4232800 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25230/statm: 180319 156253 142 357 0 179959 0
Current children cumulated CPU time (s) 1800.03
Current children cumulated vsize (KiB) 856184
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1801.62
CPU time (s): 1800.06
CPU user time (s): 1796.76
CPU system time (s): 3.3025
CPU usage (%): 99.9139
Max. virtual memory (cumulated for all children) (KiB): 983488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1796.76
system time used= 3.3025
maximum resident set size= 761624
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 256871
page faults= 0
swaps= 0
block input operations= 0
block output operations= 782320
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1321
involuntary context switches= 1901
runsolver used 2.88656 second user time and 7.06792 second system time
The end