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-3750874-1339131500/watcher-3750874-1339131500 -o /tmp/evaluation-result-3750874-1339131500/solver-3750874-1339131500 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750874-1339131500.opb 164640216 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.02 2.01 2.00 3/179 32350
/proc/meminfo: memFree=28800848/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[startup+0.085028 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 32350
/proc/meminfo: memFree=28800848/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100244 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 32350
/proc/meminfo: memFree=28800848/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300167 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 32350
/proc/meminfo: memFree=28800848/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700182 s]
/proc/loadavg: 2.02 2.01 2.00 3/179 32350
/proc/meminfo: memFree=28800848/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50023 s]
/proc/loadavg: 2.02 2.01 2.00 3/181 32352
/proc/meminfo: memFree=28730596/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74296 CPUtime=1.07 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 14664 0 0 0 100 7 0 0 20 0 1 0 379275881 76079104 17460 33554432000 4194304 6004724 140736173190256 140736173184304 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32351/statm: 18574 17460 161 442 0 18128 0
Current children cumulated CPU time (s) 1.07
Current children cumulated vsize (KiB) 83444
[startup+3.10031 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 32354
/proc/meminfo: memFree=28521952/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74296 CPUtime=1.07 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 14664 0 0 0 100 7 0 0 20 0 1 0 379275881 76079104 17460 33554432000 4194304 6004724 140736173190256 140736173184304 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32351/statm: 18574 17460 161 442 0 18128 0
[pid=32353] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32353/stat : 32353 (cp2_pre.sh) S 32351 32350 25783 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 379275989 9367552 277 33554432000 4194304 5064252 140736943510688 140736943509392 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32353/statm: 2287 277 234 213 0 72 0
[pid=32354] ppid=32353 vsize=222312 CPUtime=2.01 cores=1,3,5,7
/proc/32354/stat : 32354 (coprocessor) R 32353 32350 25783 0 -1 4202496 35812 0 0 0 194 7 0 0 20 0 1 0 379275989 227647488 53742 33554432000 4194304 6586260 140734214948000 140734214943928 4770132 0 0 4096 8404994 0 0 0 17 5 0 0 0 0 0
/proc/32354/statm: 55578 53742 182 584 0 54990 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 314904
[startup+6.30023 s]
/proc/loadavg: 2.02 2.01 2.00 2/183 32355
/proc/meminfo: memFree=28685860/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74296 CPUtime=4.81 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 14671 40852 0 0 100 7 350 24 20 0 1 0 379275881 76079104 17460 33554432000 4194304 6004724 140736173190256 140736173185392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32351/statm: 18574 17460 161 442 0 18128 0
Current children cumulated CPU time (s) 4.81
Current children cumulated vsize (KiB) 83444
heavy processes:
[startup+12.7003 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 32357
/proc/meminfo: memFree=28612700/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74296 CPUtime=4.81 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 14671 40852 0 0 100 7 350 24 20 0 1 0 379275881 76079104 17460 33554432000 4194304 6004724 140736173190256 140736173185392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32351/statm: 18574 17460 161 442 0 18128 0
[pid=32356] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32356/stat : 32356 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379276466 9367552 267 33554432000 4194304 5064252 140734911095376 140734911094288 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32356/statm: 2287 267 226 213 0 72 0
[pid=32357] ppid=32356 vsize=113180 CPUtime=6.84 cores=1,3,5,7
/proc/32357/stat : 32357 (glucose) R 32356 32350 25783 0 -1 4202496 21963 0 0 0 680 4 0 0 20 0 1 0 379276466 115896320 23920 33554432000 4194304 5208918 140735927068688 140735927066536 4229084 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32357/statm: 28295 23920 103 248 0 28044 0
Current children cumulated CPU time (s) 11.65
Current children cumulated vsize (KiB) 205772
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 32357
/proc/meminfo: memFree=28610252/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74296 CPUtime=4.81 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 14671 40852 0 0 100 7 350 24 20 0 1 0 379275881 76079104 17460 33554432000 4194304 6004724 140736173190256 140736173185392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32351/statm: 18574 17460 161 442 0 18128 0
[pid=32356] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32356/stat : 32356 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379276466 9367552 267 33554432000 4194304 5064252 140734911095376 140734911094288 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32356/statm: 2287 267 226 213 0 72 0
[pid=32357] ppid=32356 vsize=116148 CPUtime=19.65 cores=1,3,5,7
/proc/32357/stat : 32357 (glucose) R 32356 32350 25783 0 -1 4202496 22783 0 0 0 1960 5 0 0 20 0 1 0 379276466 118935552 24722 33554432000 4194304 5208918 140735927068688 140735927066520 4229251 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32357/statm: 29037 24722 104 248 0 28786 0
Current children cumulated CPU time (s) 24.46
Current children cumulated vsize (KiB) 208740
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 32358
/proc/meminfo: memFree=28607312/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74296 CPUtime=4.81 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 14671 40852 0 0 100 7 350 24 20 0 1 0 379275881 76079104 17460 33554432000 4194304 6004724 140736173190256 140736173185392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32351/statm: 18574 17460 161 442 0 18128 0
[pid=32356] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32356/stat : 32356 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379276466 9367552 267 33554432000 4194304 5064252 140734911095376 140734911094288 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32356/statm: 2287 267 226 213 0 72 0
[pid=32357] ppid=32356 vsize=117728 CPUtime=45.24 cores=1,3,5,7
/proc/32357/stat : 32357 (glucose) R 32356 32350 25783 0 -1 4202496 23250 0 0 0 4519 5 0 0 20 0 1 0 379276466 120553472 25691 33554432000 4194304 5208918 140735927068688 140735927065064 4211156 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32357/statm: 29432 25691 104 248 0 29181 0
Current children cumulated CPU time (s) 50.05
Current children cumulated vsize (KiB) 210320
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 32361
/proc/meminfo: memFree=28570476/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74296 CPUtime=4.81 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 14671 40852 0 0 100 7 350 24 20 0 1 0 379275881 76079104 17460 33554432000 4194304 6004724 140736173190256 140736173185392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32351/statm: 18574 17460 161 442 0 18128 0
[pid=32356] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32356/stat : 32356 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379276466 9367552 267 33554432000 4194304 5064252 140734911095376 140734911094288 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32356/statm: 2287 267 226 213 0 72 0
[pid=32357] ppid=32356 vsize=119924 CPUtime=96.44 cores=1,3,5,7
/proc/32357/stat : 32357 (glucose) R 32356 32350 25783 0 -1 4202496 23604 0 0 0 9639 5 0 0 20 0 1 0 379276466 122802176 26556 33554432000 4194304 5208918 140735927068688 140735927066520 4229704 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32357/statm: 29981 26556 104 248 0 29730 0
Current children cumulated CPU time (s) 101.25
Current children cumulated vsize (KiB) 212516
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 32384
/proc/meminfo: memFree=28563684/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74296 CPUtime=4.81 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 14671 40852 0 0 100 7 350 24 20 0 1 0 379275881 76079104 17460 33554432000 4194304 6004724 140736173190256 140736173185392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32351/statm: 18574 17460 161 442 0 18128 0
[pid=32356] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32356/stat : 32356 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379276466 9367552 267 33554432000 4194304 5064252 140734911095376 140734911094288 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32356/statm: 2287 267 226 213 0 72 0
[pid=32357] ppid=32356 vsize=120188 CPUtime=156.4 cores=1,3,5,7
/proc/32357/stat : 32357 (glucose) R 32356 32350 25783 0 -1 4202496 24485 0 0 0 15634 6 0 0 20 0 1 0 379276466 123072512 26685 33554432000 4194304 5208918 140735927068688 140735927066536 4205203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32357/statm: 30047 26685 105 248 0 29796 0
Current children cumulated CPU time (s) 161.21
Current children cumulated vsize (KiB) 212780
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32384
/proc/meminfo: memFree=28556688/32873648 swapFree=7112/7112
################
# More data... #
################
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32446
/proc/meminfo: memFree=28497368/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74296 CPUtime=4.81 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 14671 40852 0 0 100 7 350 24 20 0 1 0 379275881 76079104 17460 33554432000 4194304 6004724 140736173190256 140736173185392 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 0 0 0
/proc/32351/statm: 18574 17460 161 442 0 18128 0
[pid=32356] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32356/stat : 32356 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379276466 9367552 267 33554432000 4194304 5064252 140734911095376 140734911094288 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32356/statm: 2287 267 226 213 0 72 0
[pid=32357] ppid=32356 vsize=205732 CPUtime=1416.21 cores=1,3,5,7
/proc/32357/stat : 32357 (glucose) R 32356 32350 25783 0 -1 4202496 29779 0 0 0 141605 16 0 0 20 0 1 0 379276466 210669568 45775 33554432000 4194304 5208918 140735927068688 140735927066680 4229125 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32357/statm: 51433 45775 105 248 0 51182 0
Current children cumulated CPU time (s) 1421.02
Current children cumulated vsize (KiB) 298324
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 32453
/proc/meminfo: memFree=28515292/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74300 CPUtime=1464.38 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 17466 77090 0 0 142 154 146096 46 20 0 1 0 379275881 76083200 17478 33554432000 4194304 6004724 140736173190256 140736173182608 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/32351/statm: 18575 17478 178 442 0 18129 0
[pid=32452] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32452/stat : 32452 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379422478 9367552 267 33554432000 4194304 5064252 140736944177936 140736944176848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32452/statm: 2287 267 226 213 0 72 0
[pid=32453] ppid=32452 vsize=129616 CPUtime=16.32 cores=1,3,5,7
/proc/32453/stat : 32453 (glucose) R 32452 32350 25783 0 -1 4202496 25768 0 0 0 1626 6 0 0 20 0 1 0 379422479 132726784 28107 33554432000 4194304 5208918 140733344782416 140733344780376 4229203 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32453/statm: 32404 28107 102 248 0 32153 0
Current children cumulated CPU time (s) 1480.7
Current children cumulated vsize (KiB) 222212
[startup+1542.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/183 32454
/proc/meminfo: memFree=28488820/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74300 CPUtime=1464.38 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 17466 77090 0 0 142 154 146096 46 20 0 1 0 379275881 76083200 17478 33554432000 4194304 6004724 140736173190256 140736173182608 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/32351/statm: 18575 17478 178 442 0 18129 0
[pid=32452] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32452/stat : 32452 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379422478 9367552 267 33554432000 4194304 5064252 140736944177936 140736944176848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32452/statm: 2287 267 226 213 0 72 0
[pid=32453] ppid=32452 vsize=132400 CPUtime=76.3 cores=1,3,5,7
/proc/32453/stat : 32453 (glucose) R 32452 32350 25783 0 -1 4202496 26461 0 0 0 7624 6 0 0 20 0 1 0 379422479 135577600 30323 33554432000 4194304 5208918 140733344782416 140733344780264 4205227 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32453/statm: 33100 30323 103 248 0 32849 0
Current children cumulated CPU time (s) 1540.68
Current children cumulated vsize (KiB) 224996
[startup+1602.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/183 32455
/proc/meminfo: memFree=28495480/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74300 CPUtime=1464.38 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 17466 77090 0 0 142 154 146096 46 20 0 1 0 379275881 76083200 17478 33554432000 4194304 6004724 140736173190256 140736173182608 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/32351/statm: 18575 17478 178 442 0 18129 0
[pid=32452] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32452/stat : 32452 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379422478 9367552 267 33554432000 4194304 5064252 140736944177936 140736944176848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32452/statm: 2287 267 226 213 0 72 0
[pid=32453] ppid=32452 vsize=164988 CPUtime=136.27 cores=1,3,5,7
/proc/32453/stat : 32453 (glucose) R 32452 32350 25783 0 -1 4202496 27840 0 0 0 13620 7 0 0 20 0 1 0 379422479 168947712 37680 33554432000 4194304 5208918 140733344782416 140733344778792 4229039 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32453/statm: 41247 37680 103 248 0 40996 0
Current children cumulated CPU time (s) 1600.65
Current children cumulated vsize (KiB) 257584
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32455
/proc/meminfo: memFree=28489940/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74300 CPUtime=1464.38 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 17466 77090 0 0 142 154 146096 46 20 0 1 0 379275881 76083200 17478 33554432000 4194304 6004724 140736173190256 140736173182608 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/32351/statm: 18575 17478 178 442 0 18129 0
[pid=32452] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32452/stat : 32452 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379422478 9367552 267 33554432000 4194304 5064252 140736944177936 140736944176848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32452/statm: 2287 267 226 213 0 72 0
[pid=32453] ppid=32452 vsize=164988 CPUtime=196.26 cores=1,3,5,7
/proc/32453/stat : 32453 (glucose) R 32452 32350 25783 0 -1 4202496 28282 0 0 0 19618 8 0 0 20 0 1 0 379422479 168947712 39039 33554432000 4194304 5208918 140733344782416 140733344778792 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32453/statm: 41247 39039 103 248 0 40996 0
Current children cumulated CPU time (s) 1660.64
Current children cumulated vsize (KiB) 257584
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32455
/proc/meminfo: memFree=28421092/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74300 CPUtime=1464.38 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 17466 77090 0 0 142 154 146096 46 20 0 1 0 379275881 76083200 17478 33554432000 4194304 6004724 140736173190256 140736173182608 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/32351/statm: 18575 17478 178 442 0 18129 0
[pid=32452] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32452/stat : 32452 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379422478 9367552 267 33554432000 4194304 5064252 140736944177936 140736944176848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32452/statm: 2287 267 226 213 0 72 0
[pid=32453] ppid=32452 vsize=214308 CPUtime=256.25 cores=1,3,5,7
/proc/32453/stat : 32453 (glucose) R 32452 32350 25783 0 -1 4202496 28480 0 0 0 25616 9 0 0 20 0 1 0 379422479 219451392 47314 33554432000 4194304 5208918 140733344782416 140733344780408 4211156 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32453/statm: 53577 47314 103 248 0 53326 0
Current children cumulated CPU time (s) 1720.63
Current children cumulated vsize (KiB) 306904
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 32455
/proc/meminfo: memFree=28452268/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74300 CPUtime=1464.38 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 17466 77090 0 0 142 154 146096 46 20 0 1 0 379275881 76083200 17478 33554432000 4194304 6004724 140736173190256 140736173182608 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/32351/statm: 18575 17478 178 442 0 18129 0
[pid=32452] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32452/stat : 32452 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379422478 9367552 267 33554432000 4194304 5064252 140736944177936 140736944176848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32452/statm: 2287 267 226 213 0 72 0
[pid=32453] ppid=32452 vsize=214308 CPUtime=316.24 cores=1,3,5,7
/proc/32453/stat : 32453 (glucose) R 32452 32350 25783 0 -1 4202496 28583 0 0 0 31614 10 0 0 20 0 1 0 379422479 219451392 48338 33554432000 4194304 5208918 140733344782416 140733344778792 4228997 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32453/statm: 53577 48338 103 248 0 53326 0
Current children cumulated CPU time (s) 1780.62
Current children cumulated vsize (KiB) 306904
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1801.7 s]
/proc/loadavg: 2.15 2.03 2.01 3/183 32455
/proc/meminfo: memFree=28453660/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74300 CPUtime=1464.38 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 17466 77090 0 0 142 154 146096 46 20 0 1 0 379275881 76083200 17478 33554432000 4194304 6004724 140736173190256 140736173182608 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/32351/statm: 18575 17478 178 442 0 18129 0
[pid=32452] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32452/stat : 32452 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379422478 9367552 267 33554432000 4194304 5064252 140736944177936 140736944176848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32452/statm: 2287 267 226 213 0 72 0
[pid=32453] ppid=32452 vsize=164988 CPUtime=335.66 cores=1,3,5,7
/proc/32453/stat : 32453 (glucose) R 32452 32350 25783 0 -1 4202496 28584 0 0 0 33556 10 0 0 20 0 1 0 379422479 168947712 39039 33554432000 4194304 5208918 140733344782416 140733344778184 4229107 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32453/statm: 41247 39039 103 248 0 40996 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 257584
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1801.7 s]
/proc/loadavg: 2.15 2.03 2.01 3/183 32455
/proc/meminfo: memFree=28453660/32873648 swapFree=7112/7112
[pid=32350] ppid=32348 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32350/stat : 32350 (npSolver-pbo.sh) S 32348 32350 25783 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 379275881 9367552 275 33554432000 4194304 5064252 140733426971936 140733426970848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/32350/statm: 2287 275 233 213 0 72 0
[pid=32351] ppid=32350 vsize=74300 CPUtime=1464.38 cores=1,3,5,7
/proc/32351/stat : 32351 (npSolver-pbo) S 32350 32350 25783 0 -1 4202496 17466 77090 0 0 142 154 146096 46 20 0 1 0 379275881 76083200 17478 33554432000 4194304 6004724 140736173190256 140736173182608 5186782 0 65536 4102 0 18446744071579302229 0 0 17 3 0 0 29 0 0
/proc/32351/statm: 18575 17478 178 442 0 18129 0
[pid=32452] ppid=32351 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/32452/stat : 32452 (satsolver.sh) S 32351 32350 25783 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379422478 9367552 267 33554432000 4194304 5064252 140736944177936 140736944176848 242167211598 0 65536 4100 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/32452/statm: 2287 267 226 213 0 72 0
[pid=32453] ppid=32452 vsize=164988 CPUtime=335.66 cores=1,3,5,7
/proc/32453/stat : 32453 (glucose) R 32452 32350 25783 0 -1 4202496 28584 0 0 0 33556 10 0 0 20 0 1 0 379422479 168947712 39039 33554432000 4194304 5208918 140733344782416 140733344778184 4229107 0 0 4096 0 0 0 0 17 5 0 0 0 0 0
/proc/32453/statm: 41247 39039 103 248 0 40996 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 257584
Child status: 0
Real time (s): 1801.72
CPU time (s): 1800.07
CPU user time (s): 1797.95
CPU system time (s): 2.12468
CPU usage (%): 99.9086
Max. virtual memory (cumulated for all children) (KiB): 347556
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.95
system time used= 2.12468
maximum resident set size= 253992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 124130
page faults= 0
swaps= 0
block input operations= 0
block output operations= 187736
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 747
involuntary context switches= 1873
runsolver used 3.51446 second user time and 9.65853 second system time
The end