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-3718894-1338269137/watcher-3718894-1338269137 -o /tmp/evaluation-result-3718894-1338269137/solver-3718894-1338269137 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718894-1338269137.opb PrimePower CARD.SN ./CryptoMiniSat
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: 1.98 1.24 0.52 3/178 29781
/proc/meminfo: memFree=28367268/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=15308 CPUtime=0 cores=1,3,5,7
/proc/29781/stat : 29781 (python) R 29779 29781 29642 0 -1 4202496 650 0 0 0 0 0 0 0 20 0 1 0 293038840 15675392 544 33554432000 4194304 5683644 140736723971776 140736723957688 4540219 0 0 16781312 2 0 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 3827 548 316 364 0 269 0
[startup+0.106097 s]
/proc/loadavg: 1.98 1.24 0.52 3/178 29781
/proc/meminfo: memFree=28367268/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16992
[startup+0.200336 s]
/proc/loadavg: 1.98 1.24 0.52 3/178 29781
/proc/meminfo: memFree=28367268/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16992
[startup+0.300348 s]
/proc/loadavg: 1.98 1.24 0.52 3/178 29781
/proc/meminfo: memFree=28367268/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16992
[startup+0.700312 s]
/proc/loadavg: 1.98 1.24 0.52 3/178 29781
/proc/meminfo: memFree=28367268/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16992
[startup+1.50049 s]
/proc/loadavg: 1.98 1.24 0.52 3/183 29786
/proc/meminfo: memFree=28346124/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=52428 CPUtime=1.39 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 152637 0 0 0 89 50 0 0 20 0 1 0 293038850 53686272 6935 33554432000 4194304 4943705 140734147422112 140734147419248 4270708 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/29786/statm: 13107 6935 329 183 0 9477 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 104456
[startup+3.1005 s]
/proc/loadavg: 1.98 1.24 0.52 3/183 29786
/proc/meminfo: memFree=28335080/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=69324 CPUtime=2.99 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 231044 0 0 0 196 103 0 0 20 0 1 0 293038850 70987776 13883 33554432000 4194304 4943705 140734147422112 140734147419248 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/29786/statm: 17331 13890 329 183 0 13701 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 121352
[startup+6.30051 s]
/proc/loadavg: 1.98 1.25 0.53 3/183 29786
/proc/meminfo: memFree=28323980/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=92876 CPUtime=6.19 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 341319 0 0 0 408 211 0 0 20 0 1 0 293038850 95105024 13255 33554432000 4194304 4943705 140734147422112 140734147419248 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/29786/statm: 23219 13255 329 183 0 19589 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 144904
[startup+12.7005 s]
/proc/loadavg: 1.98 1.26 0.54 3/183 29786
/proc/meminfo: memFree=28271788/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=125644 CPUtime=12.59 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 496117 0 0 0 837 422 0 0 20 0 1 0 293038850 128659456 20215 33554432000 4194304 4943705 140734147422112 140734147419248 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/29786/statm: 31411 20215 329 183 0 27781 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 177672
[startup+25.5006 s]
/proc/loadavg: 2.05 1.32 0.57 3/183 29786
/proc/meminfo: memFree=28229032/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=171724 CPUtime=25.38 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 717689 0 0 0 1694 844 0 0 20 0 1 0 293038850 175845376 31351 33554432000 4194304 4943705 140734147422112 140734147419248 4270708 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/29786/statm: 42931 31351 329 183 0 39301 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 223752
[startup+51.1005 s]
/proc/loadavg: 2.04 1.37 0.60 3/183 29786
/proc/meminfo: memFree=26719880/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=3703724 CPUtime=50.84 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 1220129 0 0 0 3744 1340 0 0 20 0 1 0 293038850 3792613376 416593 33554432000 4194304 4943705 140734147422112 140734147421024 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 14 0 0
/proc/29786/statm: 925931 416593 357 183 0 922301 0
Current children cumulated CPU time (s) 50.87
Current children cumulated vsize (KiB) 3755752
[startup+102.3 s]
/proc/loadavg: 2.01 1.46 0.68 3/183 29786
/proc/meminfo: memFree=25353244/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 6722792
[startup+162.3 s]
/proc/loadavg: 2.04 1.57 0.76 3/183 29786
/proc/meminfo: memFree=24370112/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=8853932 CPUtime=160.98 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 1783433 0 0 0 14400 1698 0 0 20 0 1 0 293038850 9066426368 989113 33554432000 4194304 4943705 140734147422112 140734147421024 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 115 0 0
/proc/29786/statm: 2213483 989113 357 183 0 2209853 0
Current children cumulated CPU time (s) 161.01
Current children cumulated vsize (KiB) 8905960
[startup+222.307 s]
/proc/loadavg: 2.06 1.66 0.84 3/183 29787
/proc/meminfo: memFree=23536052/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=10601900 CPUtime=220.49 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 1974618 0 0 0 20229 1820 0 0 20 0 1 0 293038850 10856345600 1194121 33554432000 4194304 4943705 140734147422112 140734147421024 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 162 0 0
/proc/29786/statm: 2650475 1194121 357 183 0 2646845 0
Current children cumulated CPU time (s) 220.52
Current children cumulated vsize (KiB) 10653928
[startup+282.3 s]
/proc/loadavg: 2.02 1.72 0.91 3/184 29790
/proc/meminfo: memFree=22814324/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=12089772 CPUtime=279.96 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 2137358 0 0 0 26068 1928 0 0 20 0 1 0 293038850 12379926528 1370681 33554432000 4194304 4943705 140734147422112 140734147421024 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 211 0 0
/proc/29786/statm: 3022443 1370681 357 183 0 3018813 0
Current children cumulated CPU time (s) 279.99
Current children cumulated vsize (KiB) 12141800
[startup+342.3 s]
/proc/loadavg: 2.00 1.77 0.98 3/183 29790
/proc/meminfo: memFree=22167708/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=13435820 CPUtime=339.45 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 2284583 0 0 0 31924 2021 0 0 20 0 1 0 293038850 13758279680 1531729 33554432000 4194304 4943705 140734147422112 140734147421024 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 259 0 0
/proc/29786/statm: 3358955 1531729 357 183 0 3355325 0
Current children cumulated CPU time (s) 339.48
Current children cumulated vsize (KiB) 13487848
[startup+402.3 s]
/proc/loadavg: 2.00 1.81 1.04 3/184 29791
/proc/meminfo: memFree=21562224/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=14665388 CPUtime=398.97 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 2419069 0 0 0 37787 2110 0 0 20 0 1 0 293038850 15017357312 1680037 33554432000 4194304 4943705 140734147422112 140734147421024 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 301 0 0
/proc/29786/statm: 3666347 1680037 357 183 0 3662717 0
Current children cumulated CPU time (s) 399
Current children cumulated vsize (KiB) 14717416
[startup+462.3 s]
/proc/loadavg: 2.00 1.84 1.10 3/183 29791
/proc/meminfo: memFree=21011648/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=15802028 CPUtime=458.47 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 2543392 0 0 0 43654 2193 0 0 20 0 1 0 293038850 16181276672 1818181 33554432000 4194304 4943705 140734147422112 140734147421024 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 348 0 0
/proc/29786/statm: 3950507 1818181 357 183 0 3946877 0
Current children cumulated CPU time (s) 458.5
Current children cumulated vsize (KiB) 15854056
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+463.3 s]
/proc/loadavg: 2.00 1.84 1.10 3/183 29791
/proc/meminfo: memFree=21001108/32873844 swapFree=6856/6856
[pid=29781] ppid=29779 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/29781/stat : 29781 (python) S 29779 29781 29642 0 -1 4202496 1331 0 0 0 1 1 0 0 20 0 1 0 293038840 17399808 1081 33554432000 4194304 5683644 140736723971776 140736723969624 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29781/statm: 4248 1081 429 364 0 690 0
[pid=29783] ppid=29781 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29783/stat : 29783 (sh) S 29781 29781 29642 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293038847 9367552 267 33554432000 4194304 5064252 140736888315360 140736888314064 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29783/statm: 2287 267 226 213 0 72 0
[pid=29784] ppid=29783 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/29784/stat : 29784 (python) S 29783 29781 29642 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293038847 17141760 1058 33554432000 4194304 5683644 140733654105104 140733654102952 223651644800 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/29784/statm: 4185 1058 429 364 0 627 0
[pid=29785] ppid=29784 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/29785/stat : 29785 (sh) S 29784 29781 29642 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293038850 9367552 267 33554432000 4194304 5064252 140736933100512 140736933099216 223651456590 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/29785/statm: 2287 267 226 213 0 72 0
[pid=29786] ppid=29785 vsize=15820716 CPUtime=459.47 cores=1,3,5,7
/proc/29786/stat : 29786 (PBPASSolver-817) R 29785 29781 29642 0 -1 4202496 2545436 0 0 0 43753 2194 0 0 20 0 1 0 293038850 16200413184 1820225 33554432000 4194304 4943705 140734147422112 140734147421024 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 348 0 0
/proc/29786/statm: 3955179 1820225 357 183 0 3951549 0
Current children cumulated CPU time (s) 459.5
Current children cumulated vsize (KiB) 15872744
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 29781 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=28995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=23996
# CPU time returned by wait4() is 0.052991
# while last known CPU time is 459.5
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 463.319
CPU time (s): 459.5
CPU user time (s): 437.55
CPU system time (s): 21.95
CPU usage (%): 99.1758
Max. virtual memory (cumulated for all children) (KiB): 15872744
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.028995
system time used= 0.023996
maximum resident set size= 4328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3488
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191
involuntary context switches= 3
runsolver used 0.945856 second user time and 2.6016 second system time
The end