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-3750895-1339131409/watcher-3750895-1339131409 -o /tmp/evaluation-result-3750895-1339131409/solver-3750895-1339131409 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750895-1339131409.opb 2050952039 HOME HOME
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29799
/proc/meminfo: memFree=28834800/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[startup+0.0910649 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29799
/proc/meminfo: memFree=28834800/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100355 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29799
/proc/meminfo: memFree=28834800/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300245 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29799
/proc/meminfo: memFree=28834800/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700221 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 29799
/proc/meminfo: memFree=28834800/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50038 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29813
/proc/meminfo: memFree=28828940/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=0.15 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1559 6954 0 0 1 2 10 2 20 0 1 0 379268248 2899968 367 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 367 173 442 0 262 0
[pid=29812] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29812/stat : 29812 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379268266 9367552 267 33554432000 4194304 5064252 140735883241232 140735883240144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29812/statm: 2287 267 226 213 0 72 0
[pid=29813] ppid=29812 vsize=8024 CPUtime=1.32 cores=1,3,5,7
/proc/29813/stat : 29813 (glucose) R 29812 29799 24192 0 -1 4202496 2115 0 0 0 132 0 0 0 20 0 1 0 379268266 8216576 1498 33554432000 4194304 5208918 140733524919424 140733524917368 4212899 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29813/statm: 2006 1498 103 248 0 1755 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 29152
[startup+3.10037 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29813
/proc/meminfo: memFree=28825964/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=0.15 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1559 6954 0 0 1 2 10 2 20 0 1 0 379268248 2899968 367 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 367 173 442 0 262 0
[pid=29812] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29812/stat : 29812 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379268266 9367552 267 33554432000 4194304 5064252 140735883241232 140735883240144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29812/statm: 2287 267 226 213 0 72 0
[pid=29813] ppid=29812 vsize=9784 CPUtime=2.92 cores=1,3,5,7
/proc/29813/stat : 29813 (glucose) R 29812 29799 24192 0 -1 4202496 2503 0 0 0 292 0 0 0 20 0 1 0 379268266 10018816 1877 33554432000 4194304 5208918 140733524919424 140733524915800 4229374 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29813/statm: 2446 1877 103 248 0 2195 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 30912
[startup+6.30038 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29813
/proc/meminfo: memFree=28824452/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=0.15 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1559 6954 0 0 1 2 10 2 20 0 1 0 379268248 2899968 367 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 367 173 442 0 262 0
[pid=29812] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29812/stat : 29812 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379268266 9367552 267 33554432000 4194304 5064252 140735883241232 140735883240144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29812/statm: 2287 267 226 213 0 72 0
[pid=29813] ppid=29812 vsize=14216 CPUtime=6.12 cores=1,3,5,7
/proc/29813/stat : 29813 (glucose) R 29812 29799 24192 0 -1 4202496 2699 0 0 0 612 0 0 0 20 0 1 0 379268266 14557184 3085 33554432000 4194304 5208918 140733524919424 140733524915736 4211641 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29813/statm: 3554 3085 103 248 0 3303 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 35344
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29813
/proc/meminfo: memFree=28821064/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=0.15 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1559 6954 0 0 1 2 10 2 20 0 1 0 379268248 2899968 367 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 367 173 442 0 262 0
[pid=29812] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29812/stat : 29812 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379268266 9367552 267 33554432000 4194304 5064252 140735883241232 140735883240144 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29812/statm: 2287 267 226 213 0 72 0
[pid=29813] ppid=29812 vsize=18624 CPUtime=12.51 cores=1,3,5,7
/proc/29813/stat : 29813 (glucose) R 29812 29799 24192 0 -1 4202496 3995 0 0 0 1251 0 0 0 20 0 1 0 379268266 19070976 3523 33554432000 4194304 5208918 140733524919424 140733524917272 4229288 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29813/statm: 4656 3523 103 248 0 4405 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 39752
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29820
/proc/meminfo: memFree=28821516/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=12932 CPUtime=6.6 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 3112 0 0 0 660 0 0 0 20 0 1 0 379270137 13242368 2853 33554432000 4194304 5208918 140735662743600 140735662741544 4229344 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 3233 2853 103 248 0 2982 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 34060
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29820
/proc/meminfo: memFree=28813788/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=20460 CPUtime=32.2 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 5329 0 0 0 3220 0 0 0 20 0 1 0 379270137 20951040 4697 33554432000 4194304 5208918 140735662743600 140735662741688 4205139 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 5115 4697 103 248 0 4864 0
Current children cumulated CPU time (s) 51.05
Current children cumulated vsize (KiB) 41588
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29820
/proc/meminfo: memFree=28797872/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=36668 CPUtime=83.4 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 6256 0 0 0 8339 1 0 0 20 0 1 0 379270137 37548032 8670 33554432000 4194304 5208918 140735662743600 140735662739976 4211550 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 9167 8670 103 248 0 8916 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 57796
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29821
/proc/meminfo: memFree=28787456/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 29853
/proc/meminfo: memFree=28639288/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=106024 CPUtime=1343.19 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 12325 0 0 0 134309 10 0 0 20 0 1 0 379270137 108568576 26110 33554432000 4194304 5208918 140735662743600 140735662739912 4229538 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 26506 26110 103 248 0 26255 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 127152
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 29856
/proc/meminfo: memFree=28635464/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=106024 CPUtime=1403.19 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 12713 0 0 0 140308 11 0 0 20 0 1 0 379270137 108568576 26110 33554432000 4194304 5208918 140735662743600 140735662741688 4229365 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 26506 26110 103 248 0 26255 0
Current children cumulated CPU time (s) 1422.04
Current children cumulated vsize (KiB) 127152
[startup+1482.3 s]
/proc/loadavg: 2.06 2.02 2.00 3/183 29856
/proc/meminfo: memFree=28630840/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=106024 CPUtime=1463.17 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 12907 0 0 0 146305 12 0 0 20 0 1 0 379270137 108568576 26110 33554432000 4194304 5208918 140735662743600 140735662741688 4229717 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 26506 26110 103 248 0 26255 0
Current children cumulated CPU time (s) 1482.02
Current children cumulated vsize (KiB) 127152
[startup+1542.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 29856
/proc/meminfo: memFree=28591704/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=155344 CPUtime=1523.16 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 13295 0 0 0 152303 13 0 0 20 0 1 0 379270137 159072256 34990 33554432000 4194304 5208918 140735662743600 140735662741592 4229311 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 38836 34990 103 248 0 38585 0
Current children cumulated CPU time (s) 1542.01
Current children cumulated vsize (KiB) 176472
[startup+1602.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 29856
/proc/meminfo: memFree=28616476/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=106024 CPUtime=1583.15 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 13493 0 0 0 158301 14 0 0 20 0 1 0 379270137 108568576 26110 33554432000 4194304 5208918 140735662743600 140735662741688 4229493 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 26506 26110 103 248 0 26255 0
Current children cumulated CPU time (s) 1602
Current children cumulated vsize (KiB) 127152
[startup+1662.3 s]
/proc/loadavg: 2.07 2.02 2.00 3/183 30046
/proc/meminfo: memFree=28767696/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=106024 CPUtime=1643.15 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 13688 0 0 0 164300 15 0 0 20 0 1 0 379270137 108568576 26110 33554432000 4194304 5208918 140735662743600 140735662741688 4229483 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 26506 26110 103 248 0 26255 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 127152
[startup+1722.3 s]
/proc/loadavg: 2.02 2.01 2.00 3/183 30046
/proc/meminfo: memFree=28724688/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=106024 CPUtime=1703.14 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 13884 0 0 0 170299 15 0 0 20 0 1 0 379270137 108568576 26110 33554432000 4194304 5208918 140735662743600 140735662739976 4229021 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 26506 26110 103 248 0 26255 0
Current children cumulated CPU time (s) 1721.99
Current children cumulated vsize (KiB) 127152
[startup+1782.3 s]
/proc/loadavg: 2.01 2.00 2.00 3/183 30046
/proc/meminfo: memFree=28684848/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=155344 CPUtime=1763.13 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 14274 0 0 0 176296 17 0 0 20 0 1 0 379270137 159072256 35502 33554432000 4194304 5208918 140735662743600 140735662741592 4229748 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 38836 35502 103 248 0 38585 0
Current children cumulated CPU time (s) 1781.98
Current children cumulated vsize (KiB) 176472
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 30046
/proc/meminfo: memFree=28721960/32873648 swapFree=7120/7120
[pid=29799] ppid=29797 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29799/stat : 29799 (npSolver-pbo.sh) S 29797 29799 24192 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379268248 9367552 274 33554432000 4194304 5064252 140733378769216 140733378768128 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/29799/statm: 2287 274 233 213 0 72 0
[pid=29800] ppid=29799 vsize=2832 CPUtime=18.85 cores=1,3,5,7
/proc/29800/stat : 29800 (npSolver-pbo) S 29799 29799 24192 0 -1 4202496 1627 14111 0 0 1 2 1879 3 20 0 1 0 379268248 2899968 368 33554432000 4194304 6004724 140734655485152 140734655477504 5186782 0 65536 4102 0 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29800/statm: 708 368 174 442 0 262 0
[pid=29819] ppid=29800 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29819/stat : 29819 (satsolver.sh) S 29800 29799 24192 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379270136 9367552 267 33554432000 4194304 5064252 140737429722512 140737429721424 219513775694 0 65536 4100 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/29819/statm: 2287 267 226 213 0 72 0
[pid=29820] ppid=29819 vsize=106024 CPUtime=1781.24 cores=1,3,5,7
/proc/29820/stat : 29820 (glucose) R 29819 29799 24192 0 -1 4202496 14276 0 0 0 178107 17 0 0 20 0 1 0 379270137 108568576 26110 33554432000 4194304 5208918 140735662743600 140735662739976 4229469 0 0 4096 0 0 0 0 17 3 0 0 0 0 0
/proc/29820/statm: 26506 26110 103 248 0 26255 0
Current children cumulated CPU time (s) 1800.09
Current children cumulated vsize (KiB) 127152
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.13
CPU user time (s): 1799.89
CPU system time (s): 0.234964
CPU usage (%): 99.9843
Max. virtual memory (cumulated for all children) (KiB): 176472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.89
system time used= 0.234964
maximum resident set size= 146104
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 31002
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2816
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 50
involuntary context switches= 1887
runsolver used 6.11807 second user time and 8.18775 second system time
The end