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-3751957-1339115728/watcher-3751957-1339115728 -o /tmp/evaluation-result-3751957-1339115728/solver-3751957-1339115728 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itdqb.sh HOME/instance-3751957-1339115728.opb 160891057 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: 2.02 2.01 1.94 3/179 24641
/proc/meminfo: memFree=25087320/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[startup+0.0434981 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 24641
/proc/meminfo: memFree=25087320/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100282 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 24641
/proc/meminfo: memFree=25087320/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300264 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 24641
/proc/meminfo: memFree=25087320/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.7002 s]
/proc/loadavg: 2.02 2.01 1.94 3/179 24641
/proc/meminfo: memFree=25087320/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50039 s]
/proc/loadavg: 2.02 2.01 1.94 3/182 24656
/proc/meminfo: memFree=25069348/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=0.51 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 3794 13736 0 0 7 4 37 3 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24656] ppid=24642 vsize=12716 CPUtime=0.95 cores=1,3,5,7
/proc/24656/stat : 24656 (glucosInc) R 24642 24641 22913 0 -1 4202496 2549 0 0 0 95 0 0 0 20 0 1 0 377701388 13021184 2432 33554432000 4194304 5654031 140734030708640 140734030706536 4208648 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24656/statm: 3179 2432 132 357 0 2819 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 26728
[startup+3.1002 s]
/proc/loadavg: 2.01 2.01 1.94 3/182 24656
/proc/meminfo: memFree=25068048/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=2.31 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 4326 17567 0 0 8 4 215 4 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
Current children cumulated CPU time (s) 2.31
Current children cumulated vsize (KiB) 14012
heavy processes:
[startup+6.3003 s]
/proc/loadavg: 2.01 2.01 1.94 3/182 24658
/proc/meminfo: memFree=25055020/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=2.31 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 4326 17567 0 0 8 4 215 4 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24658] ppid=24642 vsize=33496 CPUtime=3.94 cores=1,3,5,7
/proc/24658/stat : 24658 (glucosInc) R 24642 24641 22913 0 -1 4202496 5006 0 0 0 394 0 0 0 20 0 1 0 377701568 34299904 5984 33554432000 4194304 5654031 140735559938400 140735559926216 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24658/statm: 8374 5984 141 357 0 8014 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 47508
[startup+12.7003 s]
/proc/loadavg: 2.01 2.01 1.94 3/182 24660
/proc/meminfo: memFree=25040908/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=7.07 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 4857 23111 0 0 9 4 688 6 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24660] ppid=24642 vsize=27400 CPUtime=5.59 cores=1,3,5,7
/proc/24660/stat : 24660 (glucosInc) R 24642 24641 22913 0 -1 4202496 4668 0 0 0 558 1 0 0 20 0 1 0 377702044 28057600 5864 33554432000 4194304 5654031 140736852061936 140736852059736 4232939 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/24660/statm: 6850 5864 141 357 0 6490 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 41412
[startup+25.5003 s]
/proc/loadavg: 2.01 2.01 1.94 3/181 24706
/proc/meminfo: memFree=25145676/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=22032 CPUtime=6.08 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 5895 0 0 0 607 1 0 0 20 0 1 0 377703275 22560768 4958 33554432000 4194304 5654031 140736107338928 140736107336952 4215216 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 5508 4958 142 357 0 5148 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 36044
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 24722
/proc/meminfo: memFree=24835724/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=72820 CPUtime=31.68 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 7865 0 0 0 3165 3 0 0 20 0 1 0 377703275 74567680 16635 33554432000 4194304 5654031 140736107338928 140736107336808 4214996 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 18205 16635 142 357 0 17845 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 86832
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 24724
/proc/meminfo: memFree=24837040/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=72820 CPUtime=82.87 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 7868 0 0 0 8284 3 0 0 20 0 1 0 377703275 74567680 17659 33554432000 4194304 5654031 140736107338928 140736107326744 4216146 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 18205 17659 142 357 0 17845 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 86832
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 24724
/proc/meminfo: memFree=24796776/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=80580 CPUtime=142.86 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 10226 0 0 0 14280 6 0 0 20 0 1 0 377703275 82513920 19599 33554432000 4194304 5654031 140736107338928 140736107326744 4232607 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 20145 19599 142 357 0 19785 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 94592
[startup+222.3 s]
/proc/loadavg: 2.05 2.01 1.94 3/181 24724
/proc/meminfo: memFree=24796168/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=81416 CPUtime=202.84 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 12048 0 0 0 20275 9 0 0 20 0 1 0 377703275 83369984 19808 33554432000 4194304 5654031 140736107338928 140736107326744 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 20354 19808 142 357 0 19994 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 95428
[startup+282.3 s]
/proc/loadavg: 2.02 2.01 1.94 3/182 24728
/proc/meminfo: memFree=24761856/32873844 swapFree=8652/8652
################
# More data... #
################
/proc/loadavg: 2.00 2.00 1.96 3/181 24736
/proc/meminfo: memFree=24149648/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=282132 CPUtime=1282.67 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 47798 0 0 0 128175 92 0 0 20 0 1 0 377703275 288903168 64209 33554432000 4194304 5654031 140736107338928 140736107326744 4232700 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 70533 64209 142 357 0 70173 0
Current children cumulated CPU time (s) 1302.04
Current children cumulated vsize (KiB) 296144
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 24736
/proc/meminfo: memFree=23927864/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=232044 CPUtime=1342.65 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 49950 0 0 0 134169 96 0 0 20 0 1 0 377703275 237613056 51108 33554432000 4194304 5654031 140736107338928 140736107326744 4233194 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 58011 51108 142 357 0 57651 0
Current children cumulated CPU time (s) 1362.02
Current children cumulated vsize (KiB) 246056
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 1.96 3/181 24736
/proc/meminfo: memFree=24284896/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=282132 CPUtime=1402.65 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 51509 0 0 0 140165 100 0 0 20 0 1 0 377703275 288903168 58582 33554432000 4194304 5654031 140736107338928 140736107337016 4232453 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 70533 58582 142 357 0 70173 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 296144
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 24740
/proc/meminfo: memFree=24047544/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=232044 CPUtime=1462.63 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 52998 0 0 0 146159 104 0 0 20 0 1 0 377703275 237613056 57257 33554432000 4194304 5654031 140736107338928 140736107337016 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 58011 57257 142 357 0 57651 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 246056
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/183 24763
/proc/meminfo: memFree=23760076/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=363520 CPUtime=1522.62 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 53854 0 0 0 152156 106 0 0 20 0 1 0 377703275 372244480 77526 33554432000 4194304 5654031 140736107338928 140736107337016 4232752 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 90880 77526 142 357 0 90520 0
Current children cumulated CPU time (s) 1541.99
Current children cumulated vsize (KiB) 377532
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 24763
/proc/meminfo: memFree=24305916/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=282132 CPUtime=1582.61 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 55097 0 0 0 158152 109 0 0 20 0 1 0 377703275 288903168 59094 33554432000 4194304 5654031 140736107338928 140736107326744 4208683 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 70533 59094 142 357 0 70173 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 296144
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 24763
/proc/meminfo: memFree=24131264/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=201224 CPUtime=1642.59 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 55984 0 0 0 164147 112 0 0 20 0 1 0 377703275 206053376 48998 33554432000 4194304 5654031 140736107338928 140736107326744 4232960 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 50306 48998 142 357 0 49946 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 215236
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 24763
/proc/meminfo: memFree=24356824/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=363520 CPUtime=1702.59 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 57433 0 0 0 170144 115 0 0 20 0 1 0 377703275 372244480 77014 33554432000 4194304 5654031 140736107338928 140736107337016 4215344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 90880 77014 142 357 0 90520 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 377532
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 24764
/proc/meminfo: memFree=24170764/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=282132 CPUtime=1762.58 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 58675 0 0 0 176140 118 0 0 20 0 1 0 377703275 288903168 66262 33554432000 4194304 5654031 140736107338928 140736107337016 4233173 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 70533 66262 142 357 0 70173 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 296144
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 1.96 3/182 24764
/proc/meminfo: memFree=24073828/32873844 swapFree=8652/8652
[pid=24641] ppid=24639 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/24641/stat : 24641 (npSolver-pbo-It) S 24639 24641 22913 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 377701334 9367552 274 33554432000 4194304 5064252 140735626251328 140735626250240 218213541454 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/24641/statm: 2287 274 233 213 0 72 0
[pid=24642] ppid=24641 vsize=4864 CPUtime=19.37 cores=1,3,5,7
/proc/24642/stat : 24642 (npSolver-pbo) S 24641 24641 22913 0 -1 4202496 6450 37834 0 0 13 5 1909 10 20 0 1 0 377701334 4980736 842 33554432000 4194304 6004724 140735953865088 140735953850936 5190736 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/24642/statm: 1216 842 189 442 0 770 0
[pid=24666] ppid=24642 vsize=363520 CPUtime=1780.68 cores=1,3,5,7
/proc/24666/stat : 24666 (glucosInc) R 24642 24641 22913 0 -1 4202496 59197 0 0 0 177949 119 0 0 20 0 1 0 377703275 372244480 71382 33554432000 4194304 5654031 140736107338928 140736107337016 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/24666/statm: 90880 71382 142 357 0 90520 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 377532
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 24641 and gives
# childrusage.ru_utime.tv_sec=19
# childrusage.ru_utime.tv_usec=226077
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=158975
# CPU time returned by wait4() is 19.3851
# 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.71
CPU system time (s): 1.34
CPU usage (%): 99.9799
Max. virtual memory (cumulated for all children) (KiB): 377532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 19.2261
system time used= 0.158975
maximum resident set size= 30232
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44658
page faults= 0
swaps= 0
block input operations= 0
block output operations= 15896
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 467
involuntary context switches= 126
runsolver used 7.78981 second user time and 10.8933 second system time
The end