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-3750533-1339126867/watcher-3750533-1339126867 -o /tmp/evaluation-result-3750533-1339126867/solver-3750533-1339126867 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750533-1339126867.opb 1027479405 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.01 2.00 2.00 3/179 31036
/proc/meminfo: memFree=28723784/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[startup+0.0202701 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 31036
/proc/meminfo: memFree=28723784/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100286 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 31036
/proc/meminfo: memFree=28723784/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300209 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 31036
/proc/meminfo: memFree=28723784/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700247 s]
/proc/loadavg: 2.01 2.00 2.00 3/179 31036
/proc/meminfo: memFree=28723784/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50031 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 31040
/proc/meminfo: memFree=28589936/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=16144 CPUtime=0.3 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 4159 0 0 0 28 2 0 0 20 0 1 0 378812595 16531456 3142 33554432000 4194304 6004724 140734935812976 140734935807024 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4036 3142 148 442 0 3590 0
[pid=31039] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31039/stat : 31039 (cp2_pre.sh) S 31037 31036 25783 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 378812626 9367552 277 33554432000 4194304 5064252 140736511655184 140736511653888 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31039/statm: 2287 277 234 213 0 72 0
[pid=31040] ppid=31039 vsize=122396 CPUtime=1.18 cores=1,3,5,7
/proc/31040/stat : 31040 (coprocessor) R 31039 31036 25783 0 -1 4202496 23872 0 0 0 113 5 0 0 20 0 1 0 378812626 125333504 29509 33554432000 4194304 6586260 140737261272336 140737261268600 5732496 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/31040/statm: 30599 29509 197 584 0 30011 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 156836
[startup+3.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/181 31047
/proc/meminfo: memFree=28699196/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
Current children cumulated CPU time (s) 2.39
Current children cumulated vsize (KiB) 26484
heavy processes:
[startup+6.30037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31050
/proc/meminfo: memFree=28631376/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=73696 CPUtime=3.86 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 14719 0 0 0 385 1 0 0 20 0 1 0 378812837 75464704 15127 33554432000 4194304 5208918 140734844249616 140734844247560 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 18424 15127 95 248 0 18173 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 109328
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31050
/proc/meminfo: memFree=28624160/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=73828 CPUtime=10.27 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 14865 0 0 0 1025 2 0 0 20 0 1 0 378812837 75599872 15267 33554432000 4194304 5208918 140734844249616 140734844247560 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 18457 15267 95 248 0 18206 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 109460
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31050
/proc/meminfo: memFree=28677000/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=74140 CPUtime=23.06 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 15070 0 0 0 2304 2 0 0 20 0 1 0 378812837 75919360 15983 33554432000 4194304 5208918 140734844249616 140734844247576 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 18535 15983 95 248 0 18284 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 109772
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31050
/proc/meminfo: memFree=28621084/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=74432 CPUtime=48.66 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 15151 0 0 0 4864 2 0 0 20 0 1 0 378812837 76218368 16064 33554432000 4194304 5208918 140734844249616 140734844247464 4229365 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 18608 16064 95 248 0 18357 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 110064
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 31051
/proc/meminfo: memFree=28630804/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=75084 CPUtime=99.84 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 15949 0 0 0 9982 2 0 0 20 0 1 0 378812837 76886016 16293 33554432000 4194304 5208918 140734844249616 140734844247704 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 18771 16293 96 248 0 18520 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 110716
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 31052
/proc/meminfo: memFree=28610020/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=105680 CPUtime=159.83 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 16801 0 0 0 15980 3 0 0 20 0 1 0 378812837 108216320 22709 33554432000 4194304 5208918 140734844249616 140734844247480 4205139 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 26420 22709 96 248 0 26169 0
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.12 2.05 2.01 3/183 31130
/proc/meminfo: memFree=28554316/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=124500 CPUtime=1359.65 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 17861 0 0 0 135961 4 0 0 20 0 1 0 378812837 127488000 29265 33554432000 4194304 5208918 140734844249616 140734844247560 4211656 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 31125 29265 96 248 0 30874 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 160132
[startup+1422.31 s]
/proc/loadavg: 2.04 2.04 2.00 3/183 31130
/proc/meminfo: memFree=28554076/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=124500 CPUtime=1419.64 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 17861 0 0 0 141960 4 0 0 20 0 1 0 378812837 127488000 29265 33554432000 4194304 5208918 140734844249616 140734844247560 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 31125 29265 96 248 0 30874 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 160132
[startup+1482.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 31130
/proc/meminfo: memFree=28514176/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=124500 CPUtime=1479.63 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 17861 0 0 0 147959 4 0 0 20 0 1 0 378812837 127488000 29265 33554432000 4194304 5208918 140734844249616 140734844247560 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 31125 29265 96 248 0 30874 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 160132
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 31130
/proc/meminfo: memFree=28520568/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=124500 CPUtime=1539.62 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 17861 0 0 0 153958 4 0 0 20 0 1 0 378812837 127488000 29265 33554432000 4194304 5208918 140734844249616 140734844247560 4205128 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 31125 29265 96 248 0 30874 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 160132
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/183 31130
/proc/meminfo: memFree=28553712/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=124500 CPUtime=1599.61 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 17861 0 0 0 159957 4 0 0 20 0 1 0 378812837 127488000 29265 33554432000 4194304 5208918 140734844249616 140734844247560 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 31125 29265 96 248 0 30874 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 160132
[startup+1662.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/183 31131
/proc/meminfo: memFree=28554208/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=124500 CPUtime=1659.6 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 17861 0 0 0 165956 4 0 0 20 0 1 0 378812837 127488000 29265 33554432000 4194304 5208918 140734844249616 140734844247560 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 31125 29265 96 248 0 30874 0
Current children cumulated CPU time (s) 1661.99
Current children cumulated vsize (KiB) 160132
[startup+1722.3 s]
/proc/loadavg: 2.02 2.02 2.00 3/183 31131
/proc/meminfo: memFree=28554084/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=124500 CPUtime=1719.59 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 17861 0 0 0 171955 4 0 0 20 0 1 0 378812837 127488000 29265 33554432000 4194304 5208918 140734844249616 140734844247560 4229319 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 31125 29265 96 248 0 30874 0
Current children cumulated CPU time (s) 1721.98
Current children cumulated vsize (KiB) 160132
[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/184 31197
/proc/meminfo: memFree=28678484/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=124500 CPUtime=1779.58 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 17861 0 0 0 177954 4 0 0 20 0 1 0 378812837 127488000 29265 33554432000 4194304 5208918 140734844249616 140734844247560 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 31125 29265 96 248 0 30874 0
Current children cumulated CPU time (s) 1781.97
Current children cumulated vsize (KiB) 160132
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.01 2.00 3/183 31197
/proc/meminfo: memFree=28659680/32873648 swapFree=7112/7112
[pid=31036] ppid=31034 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31036/stat : 31036 (npSolver-pbo.sh) S 31034 31036 25783 0 -1 4202496 358 0 0 0 0 0 0 0 20 0 1 0 378812595 9367552 275 33554432000 4194304 5064252 140737069637184 140737069636096 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/31036/statm: 2287 275 233 213 0 72 0
[pid=31037] ppid=31036 vsize=17336 CPUtime=2.39 cores=1,3,5,7
/proc/31037/stat : 31037 (npSolver-pbo) S 31036 31036 25783 0 -1 4202496 5250 41809 0 0 41 44 143 11 20 0 1 0 378812595 17752064 3399 33554432000 4194304 6004724 140734935812976 140734935805328 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/31037/statm: 4334 3399 162 442 0 3888 0
[pid=31049] ppid=31037 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/31049/stat : 31049 (satsolver.sh) S 31037 31036 25783 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 378812837 9367552 267 33554432000 4194304 5064252 140734314852096 140734314851008 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/31049/statm: 2287 267 226 213 0 72 0
[pid=31050] ppid=31049 vsize=124500 CPUtime=1797.69 cores=1,3,5,7
/proc/31050/stat : 31050 (glucose) R 31049 31036 25783 0 -1 4202496 17861 0 0 0 179765 4 0 0 20 0 1 0 378812837 127488000 29265 33554432000 4194304 5208918 140734844249616 140734844247560 4229021 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/31050/statm: 31125 29265 96 248 0 30874 0
Current children cumulated CPU time (s) 1800.08
Current children cumulated vsize (KiB) 160132
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.12
CPU user time (s): 1799.51
CPU system time (s): 0.612906
CPU usage (%): 99.9841
Max. virtual memory (cumulated for all children) (KiB): 171664
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.51
system time used= 0.612906
maximum resident set size= 122108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65910
page faults= 0
swaps= 0
block input operations= 0
block output operations= 54808
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 335
involuntary context switches= 1876
runsolver used 5.9011 second user time and 16.4805 second system time
The end