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-3701614-1338100504/watcher-3701614-1338100504 -o /tmp/evaluation-result-3701614-1338100504/solver-3701614-1338100504 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701614-1338100504.opb 1990628154 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.69 2.44 2.22 3/180 15082
/proc/meminfo: memFree=28104992/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[startup+0.0522059 s]
/proc/loadavg: 2.69 2.44 2.22 3/180 15082
/proc/meminfo: memFree=28104992/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100268 s]
/proc/loadavg: 2.69 2.44 2.22 3/180 15082
/proc/meminfo: memFree=28104992/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300231 s]
/proc/loadavg: 2.69 2.44 2.22 3/180 15082
/proc/meminfo: memFree=28104992/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700249 s]
/proc/loadavg: 2.69 2.44 2.22 3/180 15082
/proc/meminfo: memFree=28104992/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50036 s]
/proc/loadavg: 2.69 2.44 2.22 3/182 15084
/proc/meminfo: memFree=28064888/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=110084 CPUtime=1.49 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) R 15082 15082 12793 0 -1 4202496 14080 0 0 0 145 4 0 0 20 0 1 0 276175365 112726016 22210 33554432000 4194304 5992684 140735503427616 140735503413208 4569996 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 27521 22210 158 440 0 27077 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 119232
[startup+3.10035 s]
/proc/loadavg: 2.69 2.44 2.22 3/182 15084
/proc/meminfo: memFree=27957876/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=253236 CPUtime=3.09 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) R 15082 15082 12793 0 -1 4202496 34347 0 0 0 299 10 0 0 20 0 1 0 276175365 259313664 62885 33554432000 4194304 5992684 140735503427616 140735503415256 5044337 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 63309 62886 158 440 0 62865 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 262384
[startup+6.30025 s]
/proc/loadavg: 2.63 2.43 2.21 3/182 15084
/proc/meminfo: memFree=27293704/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=478856 CPUtime=5.53 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4202496 59002 0 0 0 497 56 0 0 20 0 1 0 276175365 490348544 112356 33554432000 4194304 5992684 140735503427616 140735503421648 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 119714 112356 165 440 0 119270 0
Current children cumulated CPU time (s) 5.53
Current children cumulated vsize (KiB) 488004
[startup+12.7004 s]
/proc/loadavg: 2.58 2.43 2.21 3/184 15086
/proc/meminfo: memFree=26565212/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=478856 CPUtime=5.53 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4202496 59002 0 0 0 497 56 0 0 20 0 1 0 276175365 490348544 112356 33554432000 4194304 5992684 140735503427616 140735503421648 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 119714 112356 165 440 0 119270 0
[pid=15085] ppid=15083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15085/stat : 15085 (cp2_pre.sh) S 15083 15082 12793 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 276175919 9367552 277 33554432000 4194304 5064252 140734933559616 140734933558320 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15085/statm: 2287 277 234 213 0 72 0
[pid=15086] ppid=15085 vsize=1082560 CPUtime=7 cores=1,3,5,7
/proc/15086/stat : 15086 (coprocessor) R 15085 15082 12793 0 -1 4202496 20943 0 0 0 659 41 0 0 20 0 1 0 276175920 1108541440 197570 33554432000 4194304 6586260 140735678496544 140735678492296 5732496 0 0 4096 8404994 0 0 0 17 1 0 0 12 0 0
/proc/15086/statm: 270640 197570 158 584 0 270052 0
Current children cumulated CPU time (s) 12.53
Current children cumulated vsize (KiB) 1579712
[startup+25.5005 s]
/proc/loadavg: 2.60 2.44 2.22 3/184 15089
/proc/meminfo: memFree=26103796/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=478856 CPUtime=19.12 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4202496 59010 21847 0 0 497 56 1279 80 20 0 1 0 276175365 490348544 112356 33554432000 4194304 5992684 140735503427616 140735503422736 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 119714 112356 165 440 0 119270 0
[pid=15088] ppid=15083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15088/stat : 15088 (satsolver.sh) S 15083 15082 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276177294 9367552 266 33554432000 4194304 5064252 140736067313056 140736067311968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15088/statm: 2287 266 226 213 0 72 0
[pid=15089] ppid=15088 vsize=1619624 CPUtime=6.18 cores=1,3,5,7
/proc/15089/stat : 15089 (glucose) R 15088 15082 12793 0 -1 4202496 190630 0 0 0 563 55 0 0 20 0 1 0 276177295 1658494976 333600 33554432000 4194304 5208918 140735947509824 140735947507768 4229251 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/15089/statm: 404906 333600 94 248 0 404655 0
Current children cumulated CPU time (s) 25.3
Current children cumulated vsize (KiB) 2116776
[startup+51.1005 s]
/proc/loadavg: 2.39 2.40 2.21 3/183 15089
/proc/meminfo: memFree=26098592/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=478856 CPUtime=19.12 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4202496 59010 21847 0 0 497 56 1279 80 20 0 1 0 276175365 490348544 112356 33554432000 4194304 5992684 140735503427616 140735503422736 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 119714 112356 165 440 0 119270 0
[pid=15088] ppid=15083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15088/stat : 15088 (satsolver.sh) S 15083 15082 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276177294 9367552 266 33554432000 4194304 5064252 140736067313056 140736067311968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15088/statm: 2287 266 226 213 0 72 0
[pid=15089] ppid=15088 vsize=1620548 CPUtime=31.78 cores=1,3,5,7
/proc/15089/stat : 15089 (glucose) R 15088 15082 12793 0 -1 4202496 190855 0 0 0 3123 55 0 0 20 0 1 0 276177295 1659441152 334336 33554432000 4194304 5208918 140735947509824 140735947507768 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15089/statm: 405137 334336 94 248 0 404886 0
Current children cumulated CPU time (s) 50.9
Current children cumulated vsize (KiB) 2117700
[startup+102.3 s]
/proc/loadavg: 2.17 2.34 2.20 4/183 15090
/proc/meminfo: memFree=26090028/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=478856 CPUtime=19.12 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4202496 59010 21847 0 0 497 56 1279 80 20 0 1 0 276175365 490348544 112356 33554432000 4194304 5992684 140735503427616 140735503422736 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 119714 112356 165 440 0 119270 0
[pid=15088] ppid=15083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15088/stat : 15088 (satsolver.sh) S 15083 15082 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276177294 9367552 266 33554432000 4194304 5064252 140736067313056 140736067311968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15088/statm: 2287 266 226 213 0 72 0
[pid=15089] ppid=15088 vsize=1621208 CPUtime=82.97 cores=1,3,5,7
/proc/15089/stat : 15089 (glucose) R 15088 15082 12793 0 -1 4202496 191030 0 0 0 8241 56 0 0 20 0 1 0 276177295 1660116992 335022 33554432000 4194304 5208918 140735947509824 140735947507768 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15089/statm: 405302 335022 94 248 0 405051 0
Current children cumulated CPU time (s) 102.09
Current children cumulated vsize (KiB) 2118360
[startup+162.307 s]
/proc/loadavg: 2.10 2.29 2.18 4/183 15090
/proc/meminfo: memFree=26093212/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=478856 CPUtime=19.12 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4202496 59010 21847 0 0 497 56 1279 80 20 0 1 0 276175365 490348544 112356 33554432000 4194304 5992684 140735503427616 140735503422736 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 119714 112356 165 440 0 119270 0
[pid=15088] ppid=15083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15088/stat : 15088 (satsolver.sh) S 15083 15082 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276177294 9367552 266 33554432000 4194304 5064252 140736067313056 140736067311968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15088/statm: 2287 266 226 213 0 72 0
[pid=15089] ppid=15088 vsize=1624512 CPUtime=142.97 cores=1,3,5,7
/proc/15089/stat : 15089 (glucose) R 15088 15082 12793 0 -1 4202496 191867 0 0 0 14241 56 0 0 20 0 1 0 276177295 1663500288 336370 33554432000 4194304 5208918 140735947509824 140735947507768 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15089/statm: 406128 336370 102 248 0 405877 0
Current children cumulated CPU time (s) 162.09
Current children cumulated vsize (KiB) 2121664
[startup+222.3 s]
/proc/loadavg: 2.07 2.25 2.18 3/183 15090
/proc/meminfo: memFree=26077140/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=478856 CPUtime=19.12 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4202496 59010 21847 0 0 497 56 1279 80 20 0 1 0 276175365 490348544 112356 33554432000 4194304 5992684 140735503427616 140735503422736 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 119714 112356 165 440 0 119270 0
[pid=15088] ppid=15083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15088/stat : 15088 (satsolver.sh) S 15083 15082 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276177294 9367552 266 33554432000 4194304 5064252 140736067313056 140736067311968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15088/statm: 2287 266 226 213 0 72 0
[pid=15089] ppid=15088 vsize=1626288 CPUtime=202.95 cores=1,3,5,7
/proc/15089/stat : 15089 (glucose) R 15088 15082 12793 0 -1 4202496 192301 0 0 0 20239 56 0 0 20 0 1 0 276177295 1665318912 337315 33554432000 4194304 5208918 140735947509824 140735947507672 4229251 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15089/statm: 406572 337315 102 248 0 406321 0
Current children cumulated CPU time (s) 222.07
Current children cumulated vsize (KiB) 2123440
[startup+282.3 s]
/proc/loadavg: 2.06 2.21 2.17 4/183 15090
/proc/meminfo: memFree=26080260/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=478856 CPUtime=19.12 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4202496 59010 21847 0 0 497 56 1279 80 20 0 1 0 276175365 490348544 112356 33554432000 4194304 5992684 140735503427616 140735503422736 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 119714 112356 165 440 0 119270 0
[pid=15088] ppid=15083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15088/stat : 15088 (satsolver.sh) S 15083 15082 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276177294 9367552 266 33554432000 4194304 5064252 140736067313056 140736067311968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15088/statm: 2287 266 226 213 0 72 0
[pid=15089] ppid=15088 vsize=1626684 CPUtime=262.94 cores=1,3,5,7
/proc/15089/stat : 15089 (glucose) R 15088 15082 12793 0 -1 4202496 192416 0 0 0 26238 56 0 0 20 0 1 0 276177295 1665724416 337941 33554432000 4194304 5208918 140735947509824 140735947507768 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15089/statm: 406671 337941 102 248 0 406420 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 2123836
[startup+342.3 s]
/proc/loadavg: 2.05 2.18 2.16 4/184 15093
/proc/meminfo: memFree=26071912/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=478856 CPUtime=19.12 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4202496 59010 21847 0 0 497 56 1279 80 20 0 1 0 276175365 490348544 112356 33554432000 4194304 5992684 140735503427616 140735503422736 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 119714 112356 165 440 0 119270 0
[pid=15088] ppid=15083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15088/stat : 15088 (satsolver.sh) S 15083 15082 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276177294 9367552 266 33554432000 4194304 5064252 140736067313056 140736067311968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15088/statm: 2287 266 226 213 0 72 0
[pid=15089] ppid=15088 vsize=1627080 CPUtime=322.92 cores=1,3,5,7
/proc/15089/stat : 15089 (glucose) R 15088 15082 12793 0 -1 4202496 192509 0 0 0 32236 56 0 0 20 0 1 0 276177295 1666129920 338022 33554432000 4194304 5208918 140735947509824 140735947507672 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15089/statm: 406770 338022 102 248 0 406519 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 2124232
Solver just ended. Dumping a history of the last processes samples
[startup+358.9 s]
/proc/loadavg: 2.12 2.19 2.16 3/183 15093
/proc/meminfo: memFree=26082020/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=478856 CPUtime=19.12 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4202496 59010 21847 0 0 497 56 1279 80 20 0 1 0 276175365 490348544 112356 33554432000 4194304 5992684 140735503427616 140735503422736 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 119714 112356 165 440 0 119270 0
[pid=15088] ppid=15083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15088/stat : 15088 (satsolver.sh) S 15083 15082 12793 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 276177294 9367552 266 33554432000 4194304 5064252 140736067313056 140736067311968 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15088/statm: 2287 266 226 213 0 72 0
[pid=15089] ppid=15088 vsize=1627212 CPUtime=339.52 cores=1,3,5,7
/proc/15089/stat : 15089 (glucose) R 15088 15082 12793 0 -1 4202496 192533 0 0 0 33896 56 0 0 20 0 1 0 276177295 1666265088 338557 33554432000 4194304 5208918 140735947509824 140735947507672 4228997 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/15089/statm: 406803 338557 102 248 0 406552 0
Current children cumulated CPU time (s) 358.64
Current children cumulated vsize (KiB) 2124364
[startup+371.7 s]
/proc/loadavg: 2.09 2.18 2.16 4/184 15096
/proc/meminfo: memFree=27331292/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=478856 CPUtime=370.18 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4202496 59018 218787 0 0 497 57 36312 152 20 0 1 0 276175365 490348544 112356 33554432000 4194304 5992684 140735503427616 140735503422224 5175646 0 65536 4102 0 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 119714 112356 165 440 0 119270 0
[pid=15094] ppid=15083 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15094/stat : 15094 (cp2_post.sh) S 15083 15082 12793 0 -1 4202496 609 0 0 0 0 0 0 0 20 0 1 0 276212406 9367552 264 33554432000 4194304 5064252 140736530576160 140736530574448 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/15094/statm: 2287 264 225 213 0 72 0
[pid=15095] ppid=15094 vsize=4004 CPUtime=0 cores=1,3,5,7
/proc/15095/stat : 15095 (cat) S 15094 15082 12793 0 -1 4202496 216 0 0 0 0 0 0 0 20 0 1 0 276212408 4100096 122 33554432000 4194304 4236627 140735622851728 140735622850824 240565175776 0 0 4096 0 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/15095/statm: 1001 122 97 11 0 67 0
[pid=15096] ppid=15094 vsize=103780 CPUtime=1.26 cores=1,3,5,7
/proc/15096/stat : 15096 (coprocessor) R 15094 15082 12793 0 -1 4202496 5262 0 0 0 123 3 0 0 20 0 1 0 276212408 106270720 17437 33554432000 4194304 6586260 140734539881632 140734539878648 5732400 0 0 4096 8404994 0 0 0 17 3 0 0 0 0 0
/proc/15096/statm: 25945 17437 145 584 0 25357 0
Current children cumulated CPU time (s) 371.44
Current children cumulated vsize (KiB) 604936
[startup+384.507 s]
/proc/loadavg: 2.23 2.20 2.17 3/181 15098
/proc/meminfo: memFree=26159964/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=598556 CPUtime=374.27 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4204032 65223 229038 0 0 573 107 36577 170 20 0 1 0 276175365 612921344 142321 33554432000 4194304 5992684 140735503427616 140735503421736 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 149639 142321 183 440 0 149195 0
Current children cumulated CPU time (s) 374.27
Current children cumulated vsize (KiB) 607704
[startup+387.7 s]
/proc/loadavg: 2.23 2.20 2.17 3/182 15099
/proc/meminfo: memFree=26157908/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=598556 CPUtime=374.27 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4204032 65223 229038 0 0 573 107 36577 170 20 0 1 0 276175365 612921344 142321 33554432000 4194304 5992684 140735503427616 140735503421736 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 149639 142321 183 440 0 149195 0
Current children cumulated CPU time (s) 374.27
Current children cumulated vsize (KiB) 607704
[startup+390.9 s]
/proc/loadavg: 2.37 2.23 2.18 3/182 15099
/proc/meminfo: memFree=26157908/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=598556 CPUtime=374.27 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4204032 65223 229038 0 0 573 107 36577 170 20 0 1 0 276175365 612921344 142321 33554432000 4194304 5992684 140735503427616 140735503421736 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 149639 142321 183 440 0 149195 0
Current children cumulated CPU time (s) 374.27
Current children cumulated vsize (KiB) 607704
[startup+391.7 s]
/proc/loadavg: 2.37 2.23 2.18 3/182 15099
/proc/meminfo: memFree=26157908/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=598556 CPUtime=374.27 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4204032 65223 229038 0 0 573 107 36577 170 20 0 1 0 276175365 612921344 142321 33554432000 4194304 5992684 140735503427616 140735503421736 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 149639 142321 183 440 0 149195 0
Current children cumulated CPU time (s) 374.27
Current children cumulated vsize (KiB) 607704
[startup+392.5 s]
/proc/loadavg: 2.37 2.23 2.18 3/182 15099
/proc/meminfo: memFree=26157660/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=598556 CPUtime=374.27 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4204032 65223 229038 0 0 573 107 36577 170 20 0 1 0 276175365 612921344 142321 33554432000 4194304 5992684 140735503427616 140735503421736 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 149639 142321 183 440 0 149195 0
Current children cumulated CPU time (s) 374.27
Current children cumulated vsize (KiB) 607704
[startup+392.9 s]
/proc/loadavg: 2.37 2.23 2.18 3/182 15099
/proc/meminfo: memFree=26157660/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=598556 CPUtime=374.27 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4204032 65223 229038 0 0 573 107 36577 170 20 0 1 0 276175365 612921344 142321 33554432000 4194304 5992684 140735503427616 140735503421736 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 149639 142321 183 440 0 149195 0
Current children cumulated CPU time (s) 374.27
Current children cumulated vsize (KiB) 607704
[startup+393 s]
/proc/loadavg: 2.37 2.23 2.18 3/182 15099
/proc/meminfo: memFree=26157660/32873844 swapFree=7116/7116
[pid=15082] ppid=15080 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/15082/stat : 15082 (npSolver-pbo.sh) S 15080 15082 12793 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 276175365 9367552 275 33554432000 4194304 5064252 140735824516864 140735824515776 240564987470 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/15082/statm: 2287 275 233 213 0 72 0
[pid=15083] ppid=15082 vsize=598556 CPUtime=374.27 cores=1,3,5,7
/proc/15083/stat : 15083 (npSolver-pbo) S 15082 15082 12793 0 -1 4204032 65223 229038 0 0 573 107 36577 170 20 0 1 0 276175365 612921344 142321 33554432000 4194304 5992684 140735503427616 140735503421736 5240597 0 0 4096 0 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/15083/statm: 149639 142321 183 440 0 149195 0
Current children cumulated CPU time (s) 374.27
Current children cumulated vsize (KiB) 607704
Child status: 0
Real time (s): 393.049
CPU time (s): 374.312
CPU user time (s): 371.516
CPU system time (s): 2.79657
CPU usage (%): 95.2329
Max. virtual memory (cumulated for all children) (KiB): 2136404
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 371.516
system time used= 2.79657
maximum resident set size= 1377612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 294636
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1097488
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 145163
involuntary context switches= 496
runsolver used 1.05084 second user time and 2.6566 second system time
The end