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-3750946-1339131219/watcher-3750946-1339131219 -o /tmp/evaluation-result-3750946-1339131219/solver-3750946-1339131219 -C 1800 -W 1900 -M 15500 HOME/npSolver-pbo.sh HOME/instance-3750946-1339131219.opb 1686164640 HOME HOME
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12756
/proc/meminfo: memFree=27761628/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (runsolver) D 12754 12756 9300 0 -1 4202560 42 0 0 0 0 0 0 0 20 0 1 0 379247612 12095488 50 33554432000 4194304 5436572 140733663558592 140733663554888 4883175 0 0 4096 24578 18446744071579943789 0 0 17 4 0 0 0 0 0
/proc/12756/statm: 2953 50 31 304 0 2645 0
[startup+0.0843321 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12756
/proc/meminfo: memFree=27761628/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.100243 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12756
/proc/meminfo: memFree=27761628/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.300223 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12756
/proc/meminfo: memFree=27761628/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+0.700219 s]
/proc/loadavg: 2.00 2.00 2.00 3/179 12756
/proc/meminfo: memFree=27761628/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9148
[startup+1.50029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12770
/proc/meminfo: memFree=27755892/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=0.04 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2056 6119 0 0 1 1 1 1 20 0 1 0 379247613 3080192 386 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 386 171 442 0 306 0
[pid=12769] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12769/stat : 12769 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379247619 9367552 267 33554432000 4194304 5064252 140735059457264 140735059456176 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12769/statm: 2287 267 226 213 0 72 0
[pid=12770] ppid=12769 vsize=7544 CPUtime=1.42 cores=0,2,4,6
/proc/12770/stat : 12770 (glucose) R 12769 12756 9300 0 -1 4202496 2134 0 0 0 142 0 0 0 20 0 1 0 379247619 7725056 1433 33554432000 4194304 5208918 140736651872560 140736651870392 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12770/statm: 1886 1433 103 248 0 1635 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 28848
[startup+3.10029 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12770
/proc/meminfo: memFree=27753040/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=0.04 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2056 6119 0 0 1 1 1 1 20 0 1 0 379247613 3080192 386 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 386 171 442 0 306 0
[pid=12769] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12769/stat : 12769 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379247619 9367552 267 33554432000 4194304 5064252 140735059457264 140735059456176 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12769/statm: 2287 267 226 213 0 72 0
[pid=12770] ppid=12769 vsize=10220 CPUtime=3.01 cores=0,2,4,6
/proc/12770/stat : 12770 (glucose) R 12769 12756 9300 0 -1 4202496 2649 0 0 0 301 0 0 0 20 0 1 0 379247619 10465280 2114 33554432000 4194304 5208918 140736651872560 140736651870504 4229251 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12770/statm: 2555 2114 103 248 0 2304 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 31524
[startup+6.30022 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12770
/proc/meminfo: memFree=27748448/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=0.04 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2056 6119 0 0 1 1 1 1 20 0 1 0 379247613 3080192 386 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 386 171 442 0 306 0
[pid=12769] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12769/stat : 12769 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 598 0 0 0 0 0 0 0 20 0 1 0 379247619 9367552 267 33554432000 4194304 5064252 140735059457264 140735059456176 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12769/statm: 2287 267 226 213 0 72 0
[pid=12770] ppid=12769 vsize=14788 CPUtime=6.21 cores=0,2,4,6
/proc/12770/stat : 12770 (glucose) R 12769 12756 9300 0 -1 4202496 3416 0 0 0 621 0 0 0 20 0 1 0 379247619 15142912 2838 33554432000 4194304 5208918 140736651872560 140736651870424 4229344 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12770/statm: 3697 2838 103 248 0 3446 0
Current children cumulated CPU time (s) 6.25
Current children cumulated vsize (KiB) 36092
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12777
/proc/meminfo: memFree=27744368/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=15352 CPUtime=4.1 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 3822 0 0 0 410 0 0 0 20 0 1 0 379248471 15720448 3246 33554432000 4194304 5208918 140736579445024 140736579441400 4229328 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 3838 3246 105 248 0 3587 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 36656
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12778
/proc/meminfo: memFree=27736340/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=25284 CPUtime=16.9 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 5343 0 0 0 1689 1 0 0 20 0 1 0 379248471 25890816 5905 33554432000 4194304 5208918 140736579445024 140736579442968 4229316 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 6321 5905 105 248 0 6070 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 46588
[startup+51.1003 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12778
/proc/meminfo: memFree=27719464/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=43960 CPUtime=42.49 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 5442 0 0 0 4248 1 0 0 20 0 1 0 379248471 45015040 10057 33554432000 4194304 5208918 140736579445024 140736579442968 4211623 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 10990 10057 105 248 0 10739 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 65264
[startup+102.307 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12778
/proc/meminfo: memFree=27702404/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=81972 CPUtime=93.69 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 6826 0 0 0 9367 2 0 0 20 0 1 0 379248471 83939328 14098 33554432000 4194304 5208918 140736579445024 140736579441336 4228997 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 20493 14098 105 248 0 20242 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 103276
[startup+162.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12778
/proc/meminfo: memFree=27695964/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+1362.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12862
/proc/meminfo: memFree=27657804/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=162168 CPUtime=1353.49 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 9577 0 0 0 135315 34 0 0 20 0 1 0 379248471 166060032 38038 33554432000 4194304 5208918 140736579445024 140736579441400 4229780 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 40542 38038 105 248 0 40291 0
Current children cumulated CPU time (s) 1362.04
Current children cumulated vsize (KiB) 183472
[startup+1422.31 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12862
/proc/meminfo: memFree=27644236/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=162168 CPUtime=1413.48 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 9685 0 0 0 141313 35 0 0 20 0 1 0 379248471 166060032 39574 33554432000 4194304 5208918 140736579445024 140736579443016 4211488 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 40542 39574 105 248 0 40291 0
Current children cumulated CPU time (s) 1422.03
Current children cumulated vsize (KiB) 183472
[startup+1482.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12862
/proc/meminfo: memFree=27627752/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=192988 CPUtime=1473.45 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 9879 0 0 0 147308 37 0 0 20 0 1 0 379248471 197619712 41177 33554432000 4194304 5208918 140736579445024 140736579441400 4212881 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 48247 41177 105 248 0 47996 0
Current children cumulated CPU time (s) 1482
Current children cumulated vsize (KiB) 214292
[startup+1542.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/182 12862
/proc/meminfo: memFree=27624096/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=162168 CPUtime=1533.45 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 9918 0 0 0 153306 39 0 0 20 0 1 0 379248471 166060032 40086 33554432000 4194304 5208918 140736579445024 140736579443016 4229504 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 40542 40086 105 248 0 40291 0
Current children cumulated CPU time (s) 1542
Current children cumulated vsize (KiB) 183472
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/184 12866
/proc/meminfo: memFree=27596608/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=192988 CPUtime=1593.43 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 10105 0 0 0 159302 41 0 0 20 0 1 0 379248471 197619712 42201 33554432000 4194304 5208918 140736579445024 140736579443176 4205165 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 48247 42201 105 248 0 47996 0
Current children cumulated CPU time (s) 1601.98
Current children cumulated vsize (KiB) 214292
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12866
/proc/meminfo: memFree=27592844/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=192988 CPUtime=1653.41 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 10216 0 0 0 165299 42 0 0 20 0 1 0 379248471 197619712 42713 33554432000 4194304 5208918 140736579445024 140736579443176 4229528 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 48247 42713 105 248 0 47996 0
Current children cumulated CPU time (s) 1661.96
Current children cumulated vsize (KiB) 214292
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/183 12866
/proc/meminfo: memFree=27580552/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=192988 CPUtime=1713.41 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 10329 0 0 0 171296 45 0 0 20 0 1 0 379248471 197619712 45273 33554432000 4194304 5208918 140736579445024 140736579443176 4211550 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 48247 45273 105 248 0 47996 0
Current children cumulated CPU time (s) 1721.96
Current children cumulated vsize (KiB) 214292
[startup+1782.3 s]
/proc/loadavg: 2.11 2.03 2.01 3/183 12866
/proc/meminfo: memFree=27584256/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=192988 CPUtime=1773.4 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 10438 0 0 0 177294 46 0 0 20 0 1 0 379248471 197619712 44249 33554432000 4194304 5208918 140736579445024 140736579441400 4229311 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 48247 44249 105 248 0 47996 0
Current children cumulated CPU time (s) 1781.95
Current children cumulated vsize (KiB) 214292
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1800.4 s]
/proc/loadavg: 2.15 2.04 2.01 3/183 12866
/proc/meminfo: memFree=27613508/32873660 swapFree=7120/7120
[pid=12756] ppid=12754 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12756/stat : 12756 (npSolver-pbo.sh) S 12754 12756 9300 0 -1 4202496 357 0 0 0 0 0 0 0 20 0 1 0 379247612 9367552 274 33554432000 4194304 5064252 140735629609840 140735629608752 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12756/statm: 2287 274 233 213 0 72 0
[pid=12758] ppid=12756 vsize=3008 CPUtime=8.55 cores=0,2,4,6
/proc/12758/stat : 12758 (npSolver-pbo) S 12756 12756 9300 0 -1 4202496 2220 12571 0 0 1 1 851 2 20 0 1 0 379247613 3080192 391 33554432000 4194304 6004724 140737110002768 140737109995120 5186782 0 65536 4102 0 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/12758/statm: 752 391 172 442 0 306 0
[pid=12776] ppid=12758 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12776/stat : 12776 (satsolver.sh) S 12758 12756 9300 0 -1 4202496 597 0 0 0 0 0 0 0 20 0 1 0 379248471 9367552 267 33554432000 4194304 5064252 140736598220352 140736598219264 270329865806 0 65536 4100 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12776/statm: 2287 267 226 213 0 72 0
[pid=12777] ppid=12776 vsize=162168 CPUtime=1791.51 cores=0,2,4,6
/proc/12777/stat : 12777 (glucose) R 12776 12756 9300 0 -1 4202496 10465 0 0 0 179103 48 0 0 20 0 1 0 379248471 166060032 37014 33554432000 4194304 5208918 140736579445024 140736579443016 4229476 0 0 4096 0 0 0 0 17 2 0 0 0 0 0
/proc/12777/statm: 40542 37014 105 248 0 40291 0
Current children cumulated CPU time (s) 1800.06
Current children cumulated vsize (KiB) 183472
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.1
CPU user time (s): 1799.57
CPU system time (s): 0.527919
CPU usage (%): 99.9828
Max. virtual memory (cumulated for all children) (KiB): 214292
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 0.527919
maximum resident set size= 183140
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 26245
page faults= 0
swaps= 0
block input operations= 0
block output operations= 1544
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 73
involuntary context switches= 1986
runsolver used 2.82057 second user time and 7.45087 second system time
The end