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-3698583-1338078604/watcher-3698583-1338078604 -o /tmp/evaluation-result-3698583-1338078604/solver-3698583-1338078604 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo-Itd.sh HOME/instance-3698583-1338078604.opb 1823243125 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.00 2.00 2.00 3/179 30165
/proc/meminfo: memFree=31434472/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[startup+0.099701 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30165
/proc/meminfo: memFree=31434472/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100369 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30165
/proc/meminfo: memFree=31434472/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300328 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30165
/proc/meminfo: memFree=31434472/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700187 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 30165
/proc/meminfo: memFree=31434472/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30180
/proc/meminfo: memFree=31404544/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=0.9 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 7936 24144 0 0 24 9 48 9 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30180] ppid=30166 vsize=22308 CPUtime=0.57 cores=1,3,5,7
/proc/30180/stat : 30180 (glucosInc) R 30166 30165 25792 0 -1 4202496 4588 0 0 0 57 0 0 0 20 0 1 0 273985399 22843392 4808 33554432000 4194304 5654031 140735066956128 140735066954008 4232775 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30180/statm: 5577 4808 140 357 0 5217 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 42240
[startup+3.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30182
/proc/meminfo: memFree=31403288/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=1.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 9523 29446 0 0 28 9 129 10 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30182] ppid=30166 vsize=22788 CPUtime=1.3 cores=1,3,5,7
/proc/30182/stat : 30182 (glucosInc) R 30166 30165 25792 0 -1 4202496 5951 0 0 0 128 2 0 0 20 0 1 0 273985485 23334912 4861 33554432000 4194304 5654031 140735200679936 140735200677704 4232786 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30182/statm: 5697 4861 141 357 0 5337 0
Current children cumulated CPU time (s) 3.06
Current children cumulated vsize (KiB) 42720
[startup+6.30043 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30184
/proc/meminfo: memFree=31400628/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=3.79 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 11110 36319 0 0 33 10 323 13 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30184] ppid=30166 vsize=25512 CPUtime=2.48 cores=1,3,5,7
/proc/30184/stat : 30184 (glucosInc) R 30166 30165 25792 0 -1 4202496 5773 0 0 0 247 1 0 0 20 0 1 0 273985687 26124288 4814 33554432000 4194304 5654031 140736601620928 140736601608744 4232659 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30184/statm: 6378 4814 142 357 0 6018 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 45444
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30184
/proc/meminfo: memFree=31457456/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=3.79 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 11110 36319 0 0 33 10 323 13 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30184] ppid=30166 vsize=45996 CPUtime=8.88 cores=1,3,5,7
/proc/30184/stat : 30184 (glucosInc) R 30166 30165 25792 0 -1 4202496 8150 0 0 0 886 2 0 0 20 0 1 0 273985687 47099904 10468 33554432000 4194304 5654031 140736601620928 140736601608744 4233232 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30184/statm: 11499 10468 142 357 0 11139 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 65928
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30184
/proc/meminfo: memFree=31404952/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=3.79 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 11110 36319 0 0 33 10 323 13 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30184] ppid=30166 vsize=71992 CPUtime=21.68 cores=1,3,5,7
/proc/30184/stat : 30184 (glucosInc) R 30166 30165 25792 0 -1 4202496 9722 0 0 0 2165 3 0 0 20 0 1 0 273985687 73719808 13607 33554432000 4194304 5654031 140736601620928 140736601608744 4215076 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30184/statm: 17998 13607 142 357 0 17638 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 91924
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30184
/proc/meminfo: memFree=31349096/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=3.79 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 11110 36319 0 0 33 10 323 13 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30184] ppid=30166 vsize=83980 CPUtime=47.27 cores=1,3,5,7
/proc/30184/stat : 30184 (glucosInc) R 30166 30165 25792 0 -1 4202496 11120 0 0 0 4722 5 0 0 20 0 1 0 273985687 85995520 19620 33554432000 4194304 5654031 140736601620928 140736601608744 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30184/statm: 20995 19620 142 357 0 20635 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 103912
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30186
/proc/meminfo: memFree=31388568/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=66.28 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 12697 49323 0 0 37 10 6561 20 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30186] ppid=30166 vsize=71992 CPUtime=35.96 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30166 30165 25792 0 -1 4202496 11673 0 0 0 3592 4 0 0 20 0 1 0 273991939 73719808 15552 33554432000 4194304 5654031 140733820019344 140733820007160 4233204 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30186/statm: 17998 15552 142 357 0 17638 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 91924
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30187
/proc/meminfo: memFree=31398328/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=66.28 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 12697 49323 0 0 37 10 6561 20 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30186] ppid=30166 vsize=79656 CPUtime=95.94 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30166 30165 25792 0 -1 4202496 13363 0 0 0 9589 5 0 0 20 0 1 0 273991939 81567744 14978 33554432000 4194304 5654031 140733820019344 140733820007160 4215040 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/30186/statm: 19914 14978 142 357 0 19554 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 99588
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30187
/proc/meminfo: memFree=31357140/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=66.28 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 12697 49323 0 0 37 10 6561 20 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30186] ppid=30166 vsize=79656 CPUtime=155.92 cores=1,3,5,7
/proc/30186/stat : 30186 (glucosInc) R 30166 30165 25792 0 -1 4202496 15781 0 0 0 15581 11 0 0 20 0 1 0 273991939 81567744 18050 33554432000 4194304 5654031 140733820019344 140733820017368 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30186/statm: 19914 18050 142 357 0 19554 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 99588
[startup+282.3 s]
################
# More data... #
################
/proc/meminfo: memFree=31244796/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=282.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 14284 68962 0 0 42 10 28183 41 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30189] ppid=30166 vsize=146748 CPUtime=959.26 cores=1,3,5,7
/proc/30189/stat : 30189 (glucosInc) R 30166 30165 25792 0 -1 4202496 45634 0 0 0 95839 87 0 0 20 0 1 0 274013593 150269952 35934 33554432000 4194304 5654031 140735279682608 140735279680536 4232973 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30189/statm: 36687 35934 142 357 0 36327 0
Current children cumulated CPU time (s) 1242.02
Current children cumulated vsize (KiB) 166680
[startup+1302.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30261
/proc/meminfo: memFree=31154068/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=282.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 14284 68962 0 0 42 10 28183 41 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30189] ppid=30166 vsize=309044 CPUtime=1019.26 cores=1,3,5,7
/proc/30189/stat : 30189 (glucosInc) R 30166 30165 25792 0 -1 4202496 47067 0 0 0 101836 90 0 0 20 0 1 0 274013593 316461056 57806 33554432000 4194304 5654031 140735279682608 140735279680696 4215009 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30189/statm: 77261 57806 142 357 0 76901 0
Current children cumulated CPU time (s) 1302.02
Current children cumulated vsize (KiB) 328976
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30262
/proc/meminfo: memFree=31069172/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=282.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 14284 68962 0 0 42 10 28183 41 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30189] ppid=30166 vsize=441304 CPUtime=1079.24 cores=1,3,5,7
/proc/30189/stat : 30189 (glucosInc) R 30166 30165 25792 0 -1 4202496 47571 0 0 0 107832 92 0 0 20 0 1 0 274013593 451895296 78239 33554432000 4194304 5654031 140735279682608 140735279680696 4215091 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30189/statm: 110326 78239 142 357 0 109966 0
Current children cumulated CPU time (s) 1362
Current children cumulated vsize (KiB) 461236
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30262
/proc/meminfo: memFree=31175776/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=282.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 14284 68962 0 0 42 10 28183 41 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30189] ppid=30166 vsize=227656 CPUtime=1139.22 cores=1,3,5,7
/proc/30189/stat : 30189 (glucosInc) R 30166 30165 25792 0 -1 4202496 48850 0 0 0 113826 96 0 0 20 0 1 0 274013593 233119744 45006 33554432000 4194304 5654031 140735279682608 140735279680696 4215353 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30189/statm: 56914 45006 142 357 0 56554 0
Current children cumulated CPU time (s) 1421.98
Current children cumulated vsize (KiB) 247588
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30262
/proc/meminfo: memFree=31082688/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=282.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 14284 68962 0 0 42 10 28183 41 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30189] ppid=30166 vsize=309044 CPUtime=1199.21 cores=1,3,5,7
/proc/30189/stat : 30189 (glucosInc) R 30166 30165 25792 0 -1 4202496 49407 0 0 0 119822 99 0 0 20 0 1 0 274013593 316461056 68046 33554432000 4194304 5654031 140735279682608 140735279680696 4232984 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30189/statm: 77261 68046 142 357 0 76901 0
Current children cumulated CPU time (s) 1481.97
Current children cumulated vsize (KiB) 328976
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30262
/proc/meminfo: memFree=30972592/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=282.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 14284 68962 0 0 42 10 28183 41 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30189] ppid=30166 vsize=441304 CPUtime=1259.2 cores=1,3,5,7
/proc/30189/stat : 30189 (glucosInc) R 30166 30165 25792 0 -1 4202496 49907 0 0 0 125819 101 0 0 20 0 1 0 274013593 451895296 85919 33554432000 4194304 5654031 140735279682608 140735279680696 4214964 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30189/statm: 110326 85919 142 357 0 109966 0
Current children cumulated CPU time (s) 1541.96
Current children cumulated vsize (KiB) 461236
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30262
/proc/meminfo: memFree=31167692/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=282.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 14284 68962 0 0 42 10 28183 41 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30189] ppid=30166 vsize=227656 CPUtime=1319.2 cores=1,3,5,7
/proc/30189/stat : 30189 (glucosInc) R 30166 30165 25792 0 -1 4202496 51155 0 0 0 131814 106 0 0 20 0 1 0 274013593 233119744 46030 33554432000 4194304 5654031 140735279682608 140735279680696 4232821 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30189/statm: 56914 46030 142 357 0 56554 0
Current children cumulated CPU time (s) 1601.96
Current children cumulated vsize (KiB) 247588
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/180 30262
/proc/meminfo: memFree=31055136/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=282.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 14284 68962 0 0 42 10 28183 41 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30189] ppid=30166 vsize=309044 CPUtime=1379.17 cores=1,3,5,7
/proc/30189/stat : 30189 (glucosInc) R 30166 30165 25792 0 -1 4202496 51726 0 0 0 137810 107 0 0 20 0 1 0 274013593 316461056 65998 33554432000 4194304 5654031 140735279682608 140735279680696 4215097 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30189/statm: 77261 65998 142 357 0 76901 0
Current children cumulated CPU time (s) 1661.93
Current children cumulated vsize (KiB) 328976
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30263
/proc/meminfo: memFree=30985284/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=282.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 14284 68962 0 0 42 10 28183 41 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30189] ppid=30166 vsize=441304 CPUtime=1439.17 cores=1,3,5,7
/proc/30189/stat : 30189 (glucosInc) R 30166 30165 25792 0 -1 4202496 52225 0 0 0 143806 111 0 0 20 0 1 0 274013593 451895296 81823 33554432000 4194304 5654031 140735279682608 140735279680696 4232707 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30189/statm: 110326 81823 142 357 0 109966 0
Current children cumulated CPU time (s) 1721.93
Current children cumulated vsize (KiB) 461236
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 30263
/proc/meminfo: memFree=31203532/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=282.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 14284 68962 0 0 42 10 28183 41 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30189] ppid=30166 vsize=177568 CPUtime=1499.15 cores=1,3,5,7
/proc/30189/stat : 30189 (glucosInc) R 30166 30165 25792 0 -1 4202496 53168 0 0 0 149801 114 0 0 20 0 1 0 274013593 181829632 37025 33554432000 4194304 5654031 140735279682608 140735279680696 4214944 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30189/statm: 44392 37025 142 357 0 44032 0
Current children cumulated CPU time (s) 1781.91
Current children cumulated vsize (KiB) 197500
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 30266
/proc/meminfo: memFree=31145312/32873844 swapFree=7112/7112
[pid=30165] ppid=30163 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/30165/stat : 30165 (npSolver-pbo-It) S 30163 30165 25792 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 273985307 9367552 275 33554432000 4194304 5064252 140736543317856 140736543316768 233220761166 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/30165/statm: 2287 275 233 213 0 72 0
[pid=30166] ppid=30165 vsize=10784 CPUtime=282.76 cores=1,3,5,7
/proc/30166/stat : 30166 (npSolver-pbo) S 30165 30165 25792 0 -1 4202496 14284 68962 0 0 42 10 28183 41 20 0 1 0 273985307 11042816 2048 33554432000 4194304 5992684 140733709674800 140733709660632 5179600 0 0 4096 0 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/30166/statm: 2696 2048 181 440 0 2252 0
[pid=30189] ppid=30166 vsize=177568 CPUtime=1517.26 cores=1,3,5,7
/proc/30189/stat : 30189 (glucosInc) R 30166 30165 25792 0 -1 4202496 53181 0 0 0 151611 115 0 0 20 0 1 0 274013593 181829632 43681 33554432000 4194304 5654031 140735279682608 140735279680696 4232853 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/30189/statm: 44392 43681 142 357 0 44032 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 197500
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.06
CPU user time (s): 1798.37
CPU system time (s): 1.68674
CPU usage (%): 99.9805
Max. virtual memory (cumulated for all children) (KiB): 510556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.37
system time used= 1.68674
maximum resident set size= 418592
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 136806
page faults= 0
swaps= 0
block input operations= 0
block output operations= 36544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 1110
involuntary context switches= 2328
runsolver used 3.20051 second user time and 8.26874 second system time
The end