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-3701042-1338134649/watcher-3701042-1338134649 -o /tmp/evaluation-result-3701042-1338134649/solver-3701042-1338134649 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3701042-1338134649.opb 146487743 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: 2.07 2.02 2.07 2/179 25528
/proc/meminfo: memFree=27807792/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[startup+0.0961541 s]
/proc/loadavg: 2.07 2.02 2.07 2/179 25528
/proc/meminfo: memFree=27807792/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100161 s]
/proc/loadavg: 2.07 2.02 2.07 2/179 25528
/proc/meminfo: memFree=27807792/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300109 s]
/proc/loadavg: 2.07 2.02 2.07 2/179 25528
/proc/meminfo: memFree=27807792/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700168 s]
/proc/loadavg: 2.07 2.02 2.07 2/179 25528
/proc/meminfo: memFree=27807792/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50027 s]
/proc/loadavg: 2.07 2.02 2.07 3/183 25532
/proc/meminfo: memFree=27622624/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=52632 CPUtime=0.62 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 8093 0 0 0 56 6 0 0 20 0 1 0 279590409 53895168 9808 33554432000 4194304 5992684 140737337690464 140737337684496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25529/statm: 13158 9808 171 440 0 12714 0
[pid=25531] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25531/stat : 25531 (cp2_pre.sh) S 25529 25528 23788 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279590473 9367552 277 33554432000 4194304 5064252 140733875513984 140733875512688 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25531/statm: 2287 277 234 213 0 72 0
[pid=25532] ppid=25531 vsize=171704 CPUtime=0.84 cores=0,2,4,6
/proc/25532/stat : 25532 (coprocessor) R 25531 25528 23788 0 -1 4202496 28184 0 0 0 79 5 0 0 20 0 1 0 279590473 175824896 38429 33554432000 4194304 6586260 140734432256112 140734432252376 4496454 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/25532/statm: 42926 38429 166 584 0 42338 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 242632
[startup+3.10022 s]
/proc/loadavg: 2.07 2.02 2.07 3/183 25532
/proc/meminfo: memFree=27572864/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=52632 CPUtime=0.62 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 8093 0 0 0 56 6 0 0 20 0 1 0 279590409 53895168 9808 33554432000 4194304 5992684 140737337690464 140737337684496 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25529/statm: 13158 9808 171 440 0 12714 0
[pid=25531] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25531/stat : 25531 (cp2_pre.sh) S 25529 25528 23788 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 279590473 9367552 277 33554432000 4194304 5064252 140733875513984 140733875512688 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25531/statm: 2287 277 234 213 0 72 0
[pid=25532] ppid=25531 vsize=210616 CPUtime=2.45 cores=0,2,4,6
/proc/25532/stat : 25532 (coprocessor) R 25531 25528 23788 0 -1 4202496 35318 0 0 0 234 11 0 0 20 0 1 0 279590473 215670784 51431 33554432000 4194304 6586260 140734432256112 140734432251864 5732496 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/25532/statm: 52654 51431 200 584 0 52066 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 281544
[startup+6.30028 s]
/proc/loadavg: 2.14 2.03 2.08 3/183 25535
/proc/meminfo: memFree=27661936/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=52632 CPUtime=3.18 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 8103 36221 0 0 56 6 244 12 20 0 1 0 279590409 53895168 9808 33554432000 4194304 5992684 140737337690464 140737337685584 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/25529/statm: 13158 9808 171 440 0 12714 0
[pid=25534] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25534/stat : 25534 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 279590731 9367552 267 33554432000 4194304 5064252 140735216325328 140735216324240 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/25534/statm: 2287 267 226 213 0 72 0
[pid=25535] ppid=25534 vsize=98128 CPUtime=3.07 cores=0,2,4,6
/proc/25535/stat : 25535 (glucose) R 25534 25528 23788 0 -1 4202496 20963 0 0 0 304 3 0 0 20 0 1 0 279590731 100483072 22417 33554432000 4194304 5208918 140735988579920 140735988577768 4229319 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25535/statm: 24532 22417 103 248 0 24281 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 169056
[startup+12.7003 s]
/proc/loadavg: 2.13 2.03 2.08 3/181 25540
/proc/meminfo: memFree=27510608/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
Current children cumulated CPU time (s) 12.26
Current children cumulated vsize (KiB) 335800
[startup+25.5004 s]
/proc/loadavg: 2.17 2.04 2.08 3/183 25542
/proc/meminfo: memFree=26855128/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=562736 CPUtime=13.17 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 84793 0 0 0 1292 25 0 0 20 0 1 0 279591640 576241664 124407 33554432000 4194304 5208918 140734136789760 140734136787608 4229365 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25542/statm: 140684 124407 104 248 0 140433 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 907684
[startup+51.1003 s]
/proc/loadavg: 2.11 2.04 2.08 3/183 25542
/proc/meminfo: memFree=26842456/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=566924 CPUtime=38.77 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 86522 0 0 0 3851 26 0 0 20 0 1 0 279591640 580530176 126647 33554432000 4194304 5208918 140734136789760 140734136787720 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/25542/statm: 141731 126647 105 248 0 141480 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 911872
[startup+102.307 s]
/proc/loadavg: 2.13 2.05 2.08 3/182 25542
/proc/meminfo: memFree=26825200/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=569048 CPUtime=89.97 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 87093 0 0 0 8970 27 0 0 20 0 1 0 279591640 582705152 127729 33554432000 4194304 5208918 140734136789760 140734136787720 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25542/statm: 142262 127729 105 248 0 142011 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 913996
[startup+162.3 s]
/proc/loadavg: 2.04 2.03 2.07 3/183 25543
/proc/meminfo: memFree=26826876/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=579512 CPUtime=149.95 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 88614 0 0 0 14968 27 0 0 20 0 1 0 279591640 593420288 130783 33554432000 4194304 5208918 140734136789760 140734136787592 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25542/statm: 144878 130783 105 248 0 144627 0
Current children cumulated CPU time (s) 162.21
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.11 2.27 2.14 3/183 25860
/proc/meminfo: memFree=26816020/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=677884 CPUtime=1409.68 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 93828 0 0 0 140928 40 0 0 20 0 1 0 279591640 694153216 140734 33554432000 4194304 5208918 140734136789760 140734136786136 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25542/statm: 169471 140734 105 248 0 169220 0
Current children cumulated CPU time (s) 1421.94
Current children cumulated vsize (KiB) 1022832
[startup+1482.3 s]
/proc/loadavg: 2.04 2.21 2.12 3/183 25860
/proc/meminfo: memFree=26810124/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=677884 CPUtime=1469.67 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 93829 0 0 0 146927 40 0 0 20 0 1 0 279591640 694153216 141246 33554432000 4194304 5208918 140734136789760 140734136786136 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25542/statm: 169471 141246 105 248 0 169220 0
Current children cumulated CPU time (s) 1481.93
Current children cumulated vsize (KiB) 1022832
[startup+1542.3 s]
/proc/loadavg: 2.01 2.17 2.11 3/183 25860
/proc/meminfo: memFree=26807800/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=677884 CPUtime=1529.66 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 93830 0 0 0 152926 40 0 0 20 0 1 0 279591640 694153216 141758 33554432000 4194304 5208918 140734136789760 140734136786136 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25542/statm: 169471 141758 105 248 0 169220 0
Current children cumulated CPU time (s) 1541.92
Current children cumulated vsize (KiB) 1022832
[startup+1602.3 s]
/proc/loadavg: 2.00 2.14 2.10 3/184 25870
/proc/meminfo: memFree=26822120/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=677884 CPUtime=1589.66 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 93831 0 0 0 158925 41 0 0 20 0 1 0 279591640 694153216 142270 33554432000 4194304 5208918 140734136789760 140734136786136 4229251 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25542/statm: 169471 142270 105 248 0 169220 0
Current children cumulated CPU time (s) 1601.92
Current children cumulated vsize (KiB) 1022832
[startup+1662.3 s]
/proc/loadavg: 2.03 2.13 2.10 3/183 25870
/proc/meminfo: memFree=26819960/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=677884 CPUtime=1649.65 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 93831 0 0 0 164924 41 0 0 20 0 1 0 279591640 694153216 142270 33554432000 4194304 5208918 140734136789760 140734136786136 4229319 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25542/statm: 169471 142270 105 248 0 169220 0
Current children cumulated CPU time (s) 1661.91
Current children cumulated vsize (KiB) 1022832
[startup+1722.3 s]
/proc/loadavg: 2.08 2.12 2.09 3/183 25871
/proc/meminfo: memFree=26781552/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=682292 CPUtime=1709.64 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 94004 0 0 0 170923 41 0 0 20 0 1 0 279591640 698667008 143465 33554432000 4194304 5208918 140734136789760 140734136787592 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25542/statm: 170573 143465 105 248 0 170322 0
Current children cumulated CPU time (s) 1721.9
Current children cumulated vsize (KiB) 1027240
[startup+1782.3 s]
/proc/loadavg: 2.03 2.09 2.08 3/183 25871
/proc/meminfo: memFree=26740304/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=682292 CPUtime=1769.62 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 94019 0 0 0 176921 41 0 0 20 0 1 0 279591640 698667008 144489 33554432000 4194304 5208918 140734136789760 140734136786136 4229365 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25542/statm: 170573 144489 105 248 0 170322 0
Current children cumulated CPU time (s) 1781.88
Current children cumulated vsize (KiB) 1027240
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.5 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 25871
/proc/meminfo: memFree=26805632/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=600904 CPUtime=1787.82 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 94673 0 0 0 178739 43 0 0 20 0 1 0 279591640 615325696 135617 33554432000 4194304 5208918 140734136789760 140734136787848 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25542/statm: 150226 135617 105 248 0 149975 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 945852
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.5 s]
/proc/loadavg: 2.02 2.08 2.08 3/183 25871
/proc/meminfo: memFree=26805632/32873648 swapFree=7104/7104
[pid=25528] ppid=25526 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25528/stat : 25528 (npSolver-pbo.sh) S 25526 25528 23788 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 279590409 9367552 275 33554432000 4194304 5064252 140733861635136 140733861634048 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/25528/statm: 2287 275 233 213 0 72 0
[pid=25529] ppid=25528 vsize=326652 CPUtime=12.26 cores=0,2,4,6
/proc/25529/stat : 25529 (npSolver-pbo) S 25528 25528 23788 0 -1 4202496 19450 63402 0 0 345 146 713 22 20 0 1 0 279590409 334491648 58886 33554432000 4194304 5992684 140737337690464 140737337682784 5175646 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 2 0 0
/proc/25529/statm: 81663 58886 188 440 0 81219 0
[pid=25541] ppid=25529 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/25541/stat : 25541 (satsolver.sh) S 25529 25528 23788 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 279591639 9367552 266 33554432000 4194304 5064252 140733369080976 140733369079888 214537233998 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/25541/statm: 2287 266 226 213 0 72 0
[pid=25542] ppid=25541 vsize=600904 CPUtime=1787.82 cores=0,2,4,6
/proc/25542/stat : 25542 (glucose) R 25541 25528 23788 0 -1 4202496 94673 0 0 0 178739 43 0 0 20 0 1 0 279591640 615325696 135617 33554432000 4194304 5208918 140734136789760 140734136787848 4228997 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/25542/statm: 150226 135617 105 248 0 149975 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 945852
Child status: 0
Real time (s): 1800.52
CPU time (s): 1800.12
CPU user time (s): 1797.98
CPU system time (s): 2.13468
CPU usage (%): 99.9779
Max. virtual memory (cumulated for all children) (KiB): 1157468
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.98
system time used= 2.13468
maximum resident set size= 694636
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 178515
page faults= 0
swaps= 0
block input operations= 0
block output operations= 516200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 706
involuntary context switches= 2377
runsolver used 5.15822 second user time and 12.2271 second system time
The end