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-3698553-1338075759/watcher-3698553-1338075759 -o /tmp/evaluation-result-3698553-1338075759/solver-3698553-1338075759 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698553-1338075759.opb 650497179 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.00 3.88 2.83 4/180 29652
/proc/meminfo: memFree=18352264/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[startup+0.068002 s]
/proc/loadavg: 5.00 3.88 2.83 4/180 29652
/proc/meminfo: memFree=18352264/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100277 s]
/proc/loadavg: 5.00 3.88 2.83 4/180 29652
/proc/meminfo: memFree=18352264/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300161 s]
/proc/loadavg: 5.00 3.88 2.83 4/180 29652
/proc/meminfo: memFree=18352264/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700149 s]
/proc/loadavg: 5.00 3.88 2.83 4/180 29652
/proc/meminfo: memFree=18352264/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50019 s]
/proc/loadavg: 5.00 3.88 2.83 4/183 29658
/proc/meminfo: memFree=24245460/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=1.05 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 4946 17457 0 0 14 15 64 12 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
Current children cumulated CPU time (s) 1.05
Current children cumulated vsize (KiB) 24488
[startup+3.10035 s]
/proc/loadavg: 5.00 3.88 2.83 4/183 29661
/proc/meminfo: memFree=31337080/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=1.05 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 4946 17457 0 0 14 15 64 12 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29661] ppid=29653 vsize=30388 CPUtime=2.01 cores=0,2,4,6
/proc/29661/stat : 29661 (glucosInc) R 29653 29652 25976 0 -1 4202496 6374 0 0 0 200 1 0 0 20 0 1 0 273702126 31117312 6572 33554432000 4194304 5654031 140735118036976 140735118034760 4208659 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29661/statm: 7597 6572 131 357 0 7237 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 54876
[startup+6.30038 s]
/proc/loadavg: 4.84 3.87 2.83 3/182 29663
/proc/meminfo: memFree=31350124/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=3.22 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 6497 24446 0 0 18 15 274 15 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29663] ppid=29653 vsize=29380 CPUtime=3.04 cores=0,2,4,6
/proc/29663/stat : 29663 (glucosInc) R 29653 29652 25976 0 -1 4202496 5744 0 0 0 303 1 0 0 20 0 1 0 273702343 30085120 5961 33554432000 4194304 5654031 140733201363648 140733201361432 4232707 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29663/statm: 7345 5961 131 357 0 6985 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 53868
[startup+12.7003 s]
/proc/loadavg: 4.61 3.83 2.82 3/182 29667
/proc/meminfo: memFree=31339088/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=12.05 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 10949 43326 0 0 29 16 1138 22 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
Current children cumulated CPU time (s) 12.05
Current children cumulated vsize (KiB) 24488
[startup+25.5003 s]
/proc/loadavg: 4.03 3.74 2.81 3/182 29671
/proc/meminfo: memFree=31305424/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=15.43 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 12433 49480 0 0 33 16 1470 24 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29671] ppid=29653 vsize=30044 CPUtime=10.03 cores=0,2,4,6
/proc/29671/stat : 29671 (glucosInc) R 29653 29652 25976 0 -1 4202496 6278 0 0 0 1002 1 0 0 20 0 1 0 273703564 30765056 6236 33554432000 4194304 5654031 140733649221824 140733649219608 4232453 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29671/statm: 7511 6236 142 357 0 7151 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 54532
[startup+51.1003 s]
/proc/loadavg: 3.34 3.60 2.79 3/182 29677
/proc/meminfo: memFree=31234680/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=34.05 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 16885 69105 0 0 44 17 3314 30 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29677] ppid=29653 vsize=41640 CPUtime=17 cores=0,2,4,6
/proc/29677/stat : 29677 (glucosInc) R 29653 29652 25976 0 -1 4202496 7653 0 0 0 1699 1 0 0 20 0 1 0 273705426 42639360 9157 33554432000 4194304 5654031 140733465377680 140733465365496 4232380 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/29677/statm: 10410 9157 142 357 0 10050 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 66128
[startup+102.307 s]
/proc/loadavg: 2.53 3.33 2.74 3/181 29677
/proc/meminfo: memFree=31074180/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=34.05 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 16885 69105 0 0 44 17 3314 30 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29677] ppid=29653 vsize=86496 CPUtime=68.2 cores=0,2,4,6
/proc/29677/stat : 29677 (glucosInc) R 29653 29652 25976 0 -1 4202496 10901 0 0 0 6817 3 0 0 20 0 1 0 273705426 88571904 17639 33554432000 4194304 5654031 140733465377680 140733465375560 4233184 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 21624 17639 142 357 0 21264 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 110984
[startup+162.3 s]
/proc/loadavg: 2.21 3.10 2.70 3/181 29677
/proc/meminfo: memFree=31242904/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=34.05 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 16885 69105 0 0 44 17 3314 30 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29677] ppid=29653 vsize=94860 CPUtime=128.19 cores=0,2,4,6
/proc/29677/stat : 29677 (glucosInc) R 29653 29652 25976 0 -1 4202496 12095 0 0 0 12814 5 0 0 20 0 1 0 273705426 97136640 15500 33554432000 4194304 5654031 140733465377680 140733465375560 4233299 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/29677/statm: 23715 15500 142 357 0 23355 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 119348
[startup+222.3 s]
/proc/loadavg: 2.08 2.90 2.65 3/181 29679
/proc/meminfo: memFree=31444420/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=41804 CPUtime=48.53 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 10149 0 0 0 4850 3 0 0 20 0 1 0 273719393 42807296 9244 33554432000 4194304 5654031 140735976983696 140735976981720 4232720 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 10451 9244 142 357 0 10091 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 66292
[startup+282.3 s]
/proc/loadavg: 2.03 2.73 2.61 3/181 29680
/proc/meminfo: memFree=31382236/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
################
# More data... #
################
/proc/meminfo: memFree=31405820/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=111580 CPUtime=1068.36 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 26138 0 0 0 106807 29 0 0 20 0 1 0 273719393 114257920 26684 33554432000 4194304 5654031 140735976983696 140735976981720 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 27895 26684 142 357 0 27535 0
Current children cumulated CPU time (s) 1242.05
Current children cumulated vsize (KiB) 136068
[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.18 3/181 29771
/proc/meminfo: memFree=31344212/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=182272 CPUtime=1128.36 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 27632 0 0 0 112804 32 0 0 20 0 1 0 273719393 186646528 40534 33554432000 4194304 5654031 140735976983696 140735976981624 4232462 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 45568 40534 142 357 0 45208 0
Current children cumulated CPU time (s) 1302.05
Current children cumulated vsize (KiB) 206760
[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.17 3/181 29771
/proc/meminfo: memFree=31365452/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=132952 CPUtime=1188.34 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 28230 0 0 0 118801 33 0 0 20 0 1 0 273719393 136142848 32027 33554432000 4194304 5654031 140735976983696 140735976971512 4208694 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 33238 32027 142 357 0 32878 0
Current children cumulated CPU time (s) 1362.03
Current children cumulated vsize (KiB) 157440
[startup+1422.31 s]
/proc/loadavg: 2.00 2.01 2.16 3/181 29771
/proc/meminfo: memFree=31359384/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=132952 CPUtime=1248.34 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 29151 0 0 0 124799 35 0 0 20 0 1 0 273719393 136142848 32027 33554432000 4194304 5654031 140735976983696 140735976981720 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 33238 32027 142 357 0 32878 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 157440
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.14 3/181 29772
/proc/meminfo: memFree=31358904/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=132952 CPUtime=1308.33 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 30077 0 0 0 130796 37 0 0 20 0 1 0 273719393 136142848 32027 33554432000 4194304 5654031 140735976983696 140735976971512 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 33238 32027 142 357 0 32878 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 157440
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.13 3/181 29772
/proc/meminfo: memFree=31358732/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=132952 CPUtime=1368.31 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 31009 0 0 0 136793 38 0 0 20 0 1 0 273719393 136142848 32027 33554432000 4194304 5654031 140735976983696 140735976971512 4232752 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 33238 32027 142 357 0 32878 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 157440
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.12 3/181 29772
/proc/meminfo: memFree=31325236/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=182272 CPUtime=1428.31 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 32272 0 0 0 142790 41 0 0 20 0 1 0 273719393 186646528 40534 33554432000 4194304 5654031 140735976983696 140735976971512 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 45568 40534 142 357 0 45208 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 206760
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.11 3/182 29775
/proc/meminfo: memFree=31314632/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=182272 CPUtime=1488.3 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 33208 0 0 0 148787 43 0 0 20 0 1 0 273719393 186646528 42582 33554432000 4194304 5654031 140735976983696 140735976971512 4232453 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 45568 42582 142 357 0 45208 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 206760
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.10 3/181 29775
/proc/meminfo: memFree=31271772/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=182272 CPUtime=1548.29 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 34143 0 0 0 154784 45 0 0 20 0 1 0 273719393 186646528 44118 33554432000 4194304 5654031 140735976983696 140735976981624 4232821 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 45568 44118 142 357 0 45208 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 206760
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.09 3/180 29775
/proc/meminfo: memFree=31295812/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=205420 CPUtime=1608.27 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 36050 0 0 0 160779 48 0 0 20 0 1 0 273719393 210350080 47345 33554432000 4194304 5654031 140735976983696 140735976971512 4232775 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 51355 47345 142 357 0 50995 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 229908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.09 3/181 29776
/proc/meminfo: memFree=31242124/32873844 swapFree=7372/7372
[pid=29652] ppid=29650 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/29652/stat : 29652 (npSolver-pbo-It) S 29650 29652 25976 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 273702018 9367552 275 33554432000 4194304 5064252 140733651754480 140733651753392 251031873102 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/29652/statm: 2287 275 233 213 0 72 0
[pid=29653] ppid=29652 vsize=15340 CPUtime=173.69 cores=0,2,4,6
/proc/29653/stat : 29653 (npSolver-pbo) S 29652 29652 25976 0 -1 4202496 18369 82047 0 0 49 17 17267 36 20 0 1 0 273702018 15708160 3101 33554432000 4194304 5992684 140735413002432 140735412988264 5179600 0 0 4096 0 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/29653/statm: 3835 3101 180 440 0 3391 0
[pid=29679] ppid=29653 vsize=236240 CPUtime=1626.38 cores=0,2,4,6
/proc/29679/stat : 29679 (glucosInc) R 29653 29652 25976 0 -1 4202496 36642 0 0 0 162589 49 0 0 20 0 1 0 273719393 241909760 53044 33554432000 4194304 5654031 140735976983696 140735976971512 4232744 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/29679/statm: 59060 53044 142 357 0 58700 0
Current children cumulated CPU time (s) 1800.07
Current children cumulated vsize (KiB) 260728
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
Real time (s): 1800.41
CPU time (s): 1800.1
CPU user time (s): 1799.06
CPU system time (s): 1.03584
CPU usage (%): 99.9824
Max. virtual memory (cumulated for all children) (KiB): 287668
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.06
system time used= 1.03584
maximum resident set size= 212176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 137437
page faults= 0
swaps= 0
block input operations= 0
block output operations= 63464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1659
involuntary context switches= 2254
runsolver used 9.91849 second user time and 16.1515 second system time
The end