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-3702603-1338124828/watcher-3702603-1338124828 -o /tmp/evaluation-result-3702603-1338124828/solver-3702603-1338124828 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3702603-1338124828.opb 1633923898 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: 5.13 4.10 3.07 5/180 31718
/proc/meminfo: memFree=26823060/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[startup+0.00687311 s]
/proc/loadavg: 5.13 4.10 3.07 5/180 31718
/proc/meminfo: memFree=26823060/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100198 s]
/proc/loadavg: 5.13 4.10 3.07 5/180 31718
/proc/meminfo: memFree=26823060/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300226 s]
/proc/loadavg: 5.13 4.10 3.07 5/180 31718
/proc/meminfo: memFree=26823060/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700158 s]
/proc/loadavg: 5.13 4.10 3.07 5/180 31718
/proc/meminfo: memFree=26823060/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50022 s]
/proc/loadavg: 5.13 4.10 3.07 3/182 31722
/proc/meminfo: memFree=31763684/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=99812 CPUtime=1.07 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 12664 0 0 0 97 10 0 0 20 0 1 0 278608284 102207488 17436 33554432000 4194304 5992684 140735642236128 140735642230576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/31719/statm: 24953 17436 171 440 0 24509 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 108960
[startup+3.10029 s]
/proc/loadavg: 5.13 4.10 3.07 3/185 31729
/proc/meminfo: memFree=31427948/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=99812 CPUtime=1.07 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 12664 0 0 0 97 10 0 0 20 0 1 0 278608284 102207488 17436 33554432000 4194304 5992684 140735642236128 140735642230576 5175646 0 65536 4102 0 18446744071579302229 0 0 17 2 0 0 2 0 0
/proc/31719/statm: 24953 17436 171 440 0 24509 0
[pid=31723] ppid=31719 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31723/stat : 31723 (cp2_pre.sh) S 31719 31718 31461 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 278608394 9367552 276 33554432000 4194304 5064252 140736290651264 140736290649968 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/31723/statm: 2287 276 234 213 0 72 0
[pid=31724] ppid=31723 vsize=327996 CPUtime=1.98 cores=0,2,4,6
/proc/31724/stat : 31724 (coprocessor) R 31723 31718 31461 0 -1 4202496 42720 0 0 0 189 9 0 0 20 0 1 0 278608395 335867904 79556 33554432000 4194304 6586260 140734433819840 140734433816104 4789248 0 0 4096 8404994 0 0 0 17 4 0 0 0 0 0
/proc/31724/statm: 81999 79556 172 584 0 81411 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 446104
[startup+6.3002 s]
/proc/loadavg: 5.04 4.10 3.07 3/185 31729
/proc/meminfo: memFree=31283864/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=99812 CPUtime=5.62 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 12681 51126 0 0 97 10 433 22 20 0 1 0 278608284 102207488 17438 33554432000 4194304 5992684 140735642236128 140735642222392 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 2 0 0
/proc/31719/statm: 24953 17438 173 440 0 24509 0
Current children cumulated CPU time (s) 5.62
Current children cumulated vsize (KiB) 108960
[startup+12.7003 s]
/proc/loadavg: 4.79 4.07 3.07 3/183 31731
/proc/meminfo: memFree=31515188/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=113744 CPUtime=6.57 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) R 31718 31718 31461 0 -1 4202496 15194 51126 0 0 127 75 433 22 20 0 1 0 278608284 116473856 20928 33554432000 4194304 5992684 140735642236128 140735642230952 5179696 0 0 4096 0 0 0 0 17 2 0 0 2 0 0
/proc/31719/statm: 28436 20928 180 440 0 27992 0
[pid=31731] ppid=31719 vsize=175336 CPUtime=5.96 cores=0,2,4,6
/proc/31731/stat : 31731 (glucosInc) S 31719 31718 31461 0 -1 4202496 32904 0 0 0 591 5 0 0 20 0 1 0 278608862 179544064 39738 33554432000 4194304 5654031 140737415257056 140737415255368 4976656 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/31731/statm: 43834 39738 146 357 0 43474 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 298228
[startup+25.5003 s]
/proc/loadavg: 4.25 3.98 3.05 3/184 31742
/proc/meminfo: memFree=30893060/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=610828 CPUtime=7.11 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 92015 0 0 0 685 26 0 0 20 0 1 0 278610122 625487872 137002 33554432000 4194304 5654031 140735530920400 140735530918184 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 152707 137002 131 357 0 152347 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 744868
[startup+51.1004 s]
/proc/loadavg: 3.48 3.82 3.03 3/184 31742
/proc/meminfo: memFree=30899148/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=612940 CPUtime=32.69 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 92639 0 0 0 3241 28 0 0 20 0 1 0 278610122 627650560 138137 33554432000 4194304 5654031 140735530920400 140735530908216 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 153235 138137 140 357 0 152875 0
Current children cumulated CPU time (s) 50.92
Current children cumulated vsize (KiB) 746980
[startup+102.307 s]
/proc/loadavg: 2.64 3.54 2.97 3/183 31742
/proc/meminfo: memFree=30860808/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=628852 CPUtime=83.9 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 94672 0 0 0 8361 29 0 0 20 0 1 0 278610122 643944448 141703 33554432000 4194304 5654031 140735530920400 140735530908216 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 157213 141703 141 357 0 156853 0
Current children cumulated CPU time (s) 102.13
Current children cumulated vsize (KiB) 762892
[startup+162.3 s]
/proc/loadavg: 2.23 3.26 2.90 3/183 31742
/proc/meminfo: memFree=30856020/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=628852 CPUtime=143.88 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 94678 0 0 0 14359 29 0 0 20 0 1 0 278610122 643944448 142220 33554432000 4194304 5654031 140735530920400 140735530908216 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 157213 142220 141 357 0 156853 0
Current children cumulated CPU time (s) 162.11
Current children cumulated vsize (KiB) 762892
[startup+222.3 s]
/proc/loadavg: 2.08 3.02 2.85 3/183 31742
/proc/meminfo: memFree=30849860/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=628852 CPUtime=203.86 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 94972 0 0 0 20357 29 0 0 20 0 1 0 278610122 643944448 143528 33554432000 4194304 5654031 140735530920400 140735530908216 4232755 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 157213 143528 141 357 0 156853 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 762892
[startup+282.3 s]
/proc/loadavg: 2.03 2.84 2.79 3/183 31742
/proc/meminfo: memFree=30845928/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/loadavg: 2.00 2.02 2.24 3/183 31752
/proc/meminfo: memFree=30783132/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=727856 CPUtime=1283.59 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 99933 0 0 0 128319 40 0 0 20 0 1 0 278610122 745324544 155933 33554432000 4194304 5654031 140735530920400 140735530908216 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 181964 155933 141 357 0 181604 0
Current children cumulated CPU time (s) 1301.82
Current children cumulated vsize (KiB) 861896
[startup+1362.3 s]
/proc/loadavg: 2.00 2.02 2.22 3/183 31752
/proc/meminfo: memFree=30781520/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=727856 CPUtime=1343.57 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 99934 0 0 0 134317 40 0 0 20 0 1 0 278610122 745324544 156445 33554432000 4194304 5654031 140735530920400 140735530908216 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 181964 156445 141 357 0 181604 0
Current children cumulated CPU time (s) 1361.8
Current children cumulated vsize (KiB) 861896
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.21 3/183 31752
/proc/meminfo: memFree=30808948/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=652688 CPUtime=1403.57 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 100543 0 0 0 140315 42 0 0 20 0 1 0 278610122 668352512 149624 33554432000 4194304 5654031 140735530920400 140735530908216 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 163172 149624 141 357 0 162812 0
Current children cumulated CPU time (s) 1421.8
Current children cumulated vsize (KiB) 786728
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.19 3/183 31752
/proc/meminfo: memFree=30785992/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=734076 CPUtime=1463.56 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 101238 0 0 0 146312 44 0 0 20 0 1 0 278610122 751693824 154909 33554432000 4194304 5654031 140735530920400 140735530908216 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 183519 154909 141 357 0 183159 0
Current children cumulated CPU time (s) 1481.79
Current children cumulated vsize (KiB) 868116
[startup+1542.3 s]
/proc/loadavg: 2.05 2.02 2.18 3/183 31753
/proc/meminfo: memFree=30779380/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=734076 CPUtime=1523.53 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 101273 0 0 0 152309 44 0 0 20 0 1 0 278610122 751693824 156445 33554432000 4194304 5654031 140735530920400 140735530908216 4232453 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 183519 156445 141 357 0 183159 0
Current children cumulated CPU time (s) 1541.76
Current children cumulated vsize (KiB) 868116
[startup+1602.3 s]
/proc/loadavg: 2.02 2.01 2.17 3/183 31753
/proc/meminfo: memFree=30804360/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=652688 CPUtime=1583.51 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 101894 0 0 0 158304 47 0 0 20 0 1 0 278610122 668352512 149621 33554432000 4194304 5654031 140735530920400 140735530908216 4232589 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 163172 149621 141 357 0 162812 0
Current children cumulated CPU time (s) 1601.74
Current children cumulated vsize (KiB) 786728
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.16 3/183 31753
/proc/meminfo: memFree=30771536/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=734076 CPUtime=1643.5 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 102608 0 0 0 164302 48 0 0 20 0 1 0 278610122 751693824 157982 33554432000 4194304 5654031 140735530920400 140735530908216 4214344 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 183519 157982 141 357 0 183159 0
Current children cumulated CPU time (s) 1661.73
Current children cumulated vsize (KiB) 868116
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/183 31753
/proc/meminfo: memFree=30783824/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=734076 CPUtime=1703.49 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 103931 0 0 0 170296 53 0 0 20 0 1 0 278610122 751693824 154910 33554432000 4194304 5654031 140735530920400 140735530908216 4232821 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 183519 154910 141 357 0 183159 0
Current children cumulated CPU time (s) 1721.72
Current children cumulated vsize (KiB) 868116
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/184 31756
/proc/meminfo: memFree=30756408/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=734332 CPUtime=1763.48 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 103946 0 0 0 176295 53 0 0 20 0 1 0 278610122 751955968 162079 33554432000 4194304 5654031 140735530920400 140735530908216 4209128 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 183583 162079 141 357 0 183223 0
Current children cumulated CPU time (s) 1781.71
Current children cumulated vsize (KiB) 868372
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.6 s]
/proc/loadavg: 2.00 2.00 2.13 2/175 31783
/proc/meminfo: memFree=30988848/32873648 swapFree=7116/7116
[pid=31718] ppid=31716 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/31718/stat : 31718 (npSolver-pbo-It) S 31716 31718 31461 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 278608284 9367552 274 33554432000 4194304 5064252 140733529010624 140733529009536 260190135886 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/31718/statm: 2287 274 233 213 0 72 0
[pid=31719] ppid=31718 vsize=124892 CPUtime=18.23 cores=0,2,4,6
/proc/31719/stat : 31719 (npSolver-pbo) S 31718 31718 31461 0 -1 4202496 24432 129235 0 0 403 237 1127 56 20 0 1 0 278608284 127889408 23772 33554432000 4194304 5992684 140735642236128 140735642221960 5179600 0 0 4096 0 18446744071580380219 0 0 17 0 0 0 2 0 0
/proc/31719/statm: 31223 23772 205 440 0 30779 0
[pid=31742] ppid=31719 vsize=734332 CPUtime=1781.79 cores=0,2,4,6
/proc/31742/stat : 31742 (glucosInc) R 31719 31718 31461 0 -1 4202496 105249 0 0 0 178122 57 0 0 20 0 1 0 278610122 751955968 152863 33554432000 4194304 5654031 140735530920400 140735530908216 4232994 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/31742/statm: 183583 152863 141 357 0 183223 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 868372
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 31718 and gives
# childrusage.ru_utime.tv_sec=15
# childrusage.ru_utime.tv_usec=311672
# childrusage.ru_stime.tv_sec=2
# childrusage.ru_stime.tv_usec=951551
# CPU time returned by wait4() is 18.2632
# 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.62
CPU time (s): 1800.02
CPU user time (s): 1796.52
CPU system time (s): 3.5
CPU usage (%): 99.9666
Max. virtual memory (cumulated for all children) (KiB): 998600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 15.3117
system time used= 2.95155
maximum resident set size= 454476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154042
page faults= 0
swaps= 0
block input operations= 8
block output operations= 751312
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1056
involuntary context switches= 97
runsolver used 3.13452 second user time and 7.40987 second system time
The end