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-3700752-1338081381/watcher-3700752-1338081381 -o /tmp/evaluation-result-3700752-1338081381/solver-3700752-1338081381 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3700752-1338081381.opb 1076717336 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 12010
/proc/meminfo: memFree=25073396/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[startup+0.0961711 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 12010
/proc/meminfo: memFree=25073396/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100198 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 12010
/proc/meminfo: memFree=25073396/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300215 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 12010
/proc/meminfo: memFree=25073396/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700167 s]
/proc/loadavg: 1.92 1.98 1.99 3/180 12010
/proc/meminfo: memFree=25073396/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 12014
/proc/meminfo: memFree=24915840/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=30268 CPUtime=0.4 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 6122 0 0 0 31 9 0 0 20 0 1 0 274263843 30994432 6692 33554432000 4194304 5992684 140736120154720 140736120148752 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/12011/statm: 7567 6692 167 440 0 7123 0
[pid=12013] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12013/stat : 12013 (cp2_pre.sh) S 12011 12010 6137 0 -1 4202496 608 0 0 0 0 0 0 0 20 0 1 0 274263884 9367552 277 33554432000 4194304 5064252 140734903086560 140734903085264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12013/statm: 2287 277 234 213 0 72 0
[pid=12014] ppid=12013 vsize=145660 CPUtime=1.07 cores=0,2,4,6
/proc/12014/stat : 12014 (coprocessor) R 12013 12010 6137 0 -1 4202496 26295 0 0 0 103 4 0 0 20 0 1 0 274263884 149155840 35264 33554432000 4194304 6586260 140733574495088 140733574491112 4768658 0 0 4096 8404994 0 0 0 17 0 0 0 0 0 0
/proc/12014/statm: 36415 35264 182 584 0 35827 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 194224
[startup+3.10015 s]
/proc/loadavg: 1.92 1.98 1.99 3/184 12014
/proc/meminfo: memFree=24864348/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=36224 CPUtime=3.07 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) R 12010 12010 6137 0 -1 4202496 7052 52569 0 0 40 21 232 14 20 0 1 0 274263843 37093376 8041 33554432000 4194304 5992684 140736120154720 140736120149328 5179696 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12011/statm: 9056 8041 174 440 0 8612 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 45372
[startup+6.3002 s]
/proc/loadavg: 1.93 1.98 1.99 3/182 12022
/proc/meminfo: memFree=24878700/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=343832 CPUtime=6.28 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) R 12010 12010 6137 0 -1 4202496 20026 53085 0 0 268 112 232 16 20 0 1 0 274263843 352083968 56389 33554432000 4194304 5992684 140736120154720 140736120147960 4571406 0 0 4096 0 0 0 0 17 4 0 0 0 0 0
/proc/12011/statm: 85958 56389 184 440 0 85514 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 352980
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 1.99 3/184 12024
/proc/meminfo: memFree=23682508/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=748628 CPUtime=4.25 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 107801 0 0 0 390 35 0 0 20 0 1 0 274264687 766595072 170319 33554432000 4194304 5208918 140737296394656 140737296393000 4211682 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 187157 170319 103 248 0 186906 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 1337324
[startup+25.5004 s]
/proc/loadavg: 2.02 2.00 2.00 3/184 12024
/proc/meminfo: memFree=23770640/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=754548 CPUtime=17.04 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 109249 0 0 0 1669 35 0 0 20 0 1 0 274264687 772657152 171767 33554432000 4194304 5208918 140737296394656 140737296392504 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 188637 171767 103 248 0 188386 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 1343244
[startup+51.1067 s]
/proc/loadavg: 2.01 2.00 2.00 3/184 12024
/proc/meminfo: memFree=23770888/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=754548 CPUtime=42.64 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 109249 0 0 0 4229 35 0 0 20 0 1 0 274264687 772657152 171767 33554432000 4194304 5208918 140737296394656 140737296392504 4228982 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 188637 171767 103 248 0 188386 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 1343244
[startup+102.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 12025
/proc/meminfo: memFree=23768288/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=757232 CPUtime=93.83 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 109915 0 0 0 9348 35 0 0 20 0 1 0 274264687 775405568 172433 33554432000 4194304 5208918 140737296394656 140737296392328 4205203 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 189308 172433 104 248 0 189057 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 1345928
[startup+162.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/184 12025
/proc/meminfo: memFree=23768164/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=757232 CPUtime=153.82 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 109924 0 0 0 15347 35 0 0 20 0 1 0 274264687 775405568 172442 33554432000 4194304 5208918 140737296394656 140737296392328 4229365 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 189308 172442 104 248 0 189057 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 1345928
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/185 12028
/proc/meminfo: memFree=23752352/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 113223 0 0 0 141327 36 0 0 20 0 1 0 274264687 793116672 181362 33554432000 4194304 5208918 140737296394656 140737296392488 4211625 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 193632 181362 104 248 0 193381 0
Current children cumulated CPU time (s) 1422.02
Current children cumulated vsize (KiB) 1363224
[startup+1482.3 s]
/proc/loadavg: 2.10 2.04 2.01 3/184 12247
/proc/meminfo: memFree=23805024/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=774528 CPUtime=1473.62 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 113223 0 0 0 147326 36 0 0 20 0 1 0 274264687 793116672 181362 33554432000 4194304 5208918 140737296394656 140737296392488 4211553 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 193632 181362 104 248 0 193381 0
Current children cumulated CPU time (s) 1482.01
Current children cumulated vsize (KiB) 1363224
[startup+1542.3 s]
/proc/loadavg: 2.03 2.03 2.00 3/183 12247
/proc/meminfo: memFree=23800688/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=774528 CPUtime=1533.61 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 113223 0 0 0 153325 36 0 0 20 0 1 0 274264687 793116672 181362 33554432000 4194304 5208918 140737296394656 140737296392488 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 193632 181362 104 248 0 193381 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 1363224
[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/183 12300
/proc/meminfo: memFree=26292324/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=774528 CPUtime=1593.6 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 113224 0 0 0 159324 36 0 0 20 0 1 0 274264687 793116672 181874 33554432000 4194304 5208918 140737296394656 140737296392488 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 193632 181874 104 248 0 193381 0
Current children cumulated CPU time (s) 1601.99
Current children cumulated vsize (KiB) 1363224
[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.00 3/183 12300
/proc/meminfo: memFree=26268684/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=774528 CPUtime=1653.59 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 113224 0 0 0 165323 36 0 0 20 0 1 0 274264687 793116672 181874 33554432000 4194304 5208918 140737296394656 140737296392488 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 193632 181874 104 248 0 193381 0
Current children cumulated CPU time (s) 1661.98
Current children cumulated vsize (KiB) 1363224
[startup+1722.3 s]
/proc/loadavg: 2.06 2.04 2.00 3/183 12300
/proc/meminfo: memFree=26261016/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=774528 CPUtime=1713.58 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 113224 0 0 0 171322 36 0 0 20 0 1 0 274264687 793116672 181874 33554432000 4194304 5208918 140737296394656 140737296392488 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 193632 181874 104 248 0 193381 0
Current children cumulated CPU time (s) 1721.97
Current children cumulated vsize (KiB) 1363224
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/183 12300
/proc/meminfo: memFree=26260576/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=774528 CPUtime=1773.57 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 113224 0 0 0 177321 36 0 0 20 0 1 0 274264687 793116672 181874 33554432000 4194304 5208918 140737296394656 140737296392488 4211635 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 193632 181874 104 248 0 193381 0
Current children cumulated CPU time (s) 1781.96
Current children cumulated vsize (KiB) 1363224
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 12300
/proc/meminfo: memFree=26222696/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=774528 CPUtime=1791.67 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 113224 0 0 0 179131 36 0 0 20 0 1 0 274264687 793116672 181874 33554432000 4194304 5208918 140737296394656 140737296392488 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 193632 181874 104 248 0 193381 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1363224
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+1800.4 s]
/proc/loadavg: 2.01 2.03 2.00 3/183 12300
/proc/meminfo: memFree=26222696/32873660 swapFree=7120/7120
[pid=12010] ppid=12008 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12010/stat : 12010 (npSolver-pbo.sh) S 12008 12010 6137 0 -1 4202496 359 0 0 0 0 0 0 0 20 0 1 0 274263843 9367552 275 33554432000 4194304 5064252 140734133183728 140734133182640 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12010/statm: 2287 275 233 213 0 72 0
[pid=12011] ppid=12010 vsize=570400 CPUtime=8.39 cores=0,2,4,6
/proc/12011/stat : 12011 (npSolver-pbo) S 12010 12010 6137 0 -1 4202496 21353 53085 0 0 435 156 232 16 20 0 1 0 274263843 584089600 78760 33554432000 4194304 5992684 140736120154720 140736120147040 5175646 0 65536 4102 0 18446744071579302229 0 0 17 4 0 0 2 0 0
/proc/12011/statm: 142600 78760 185 440 0 142156 0
[pid=12023] ppid=12011 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12023/stat : 12023 (satsolver.sh) S 12011 12010 6137 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 274264687 9367552 267 33554432000 4194304 5064252 140735203874288 140735203873200 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 2 0 0 0 0 0
/proc/12023/statm: 2287 267 226 213 0 72 0
[pid=12024] ppid=12023 vsize=774528 CPUtime=1791.67 cores=0,2,4,6
/proc/12024/stat : 12024 (glucose) R 12023 12010 6137 0 -1 4202496 113224 0 0 0 179131 36 0 0 20 0 1 0 274264687 793116672 181874 33554432000 4194304 5208918 140737296394656 140737296392488 4211656 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12024/statm: 193632 181874 104 248 0 193381 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 1363224
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12010 and gives
# childrusage.ru_utime.tv_sec=6
# childrusage.ru_utime.tv_usec=678984
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=737735
# CPU time returned by wait4() is 8.41672
# while last known CPU time is 1800.06
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1800.41
CPU time (s): 1800.06
CPU user time (s): 1797.98
CPU system time (s): 2.08
CPU usage (%): 99.9803
Max. virtual memory (cumulated for all children) (KiB): 1660952
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 6.67898
system time used= 1.73773
maximum resident set size= 604436
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75417
page faults= 0
swaps= 0
block input operations= 8
block output operations= 657264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 399
involuntary context switches= 41
runsolver used 3.36149 second user time and 10.5314 second system time
The end