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-3718895-1338269189/watcher-3718895-1338269189 -o /tmp/evaluation-result-3718895-1338269189/solver-3718895-1338269189 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718895-1338269189.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.99 1.36 0.61 3/180 26612
/proc/meminfo: memFree=27013816/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/26612/stat : 26612 (python) D 26610 26612 26431 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293043642 15642624 527 33554432000 4194304 5683644 140737391565520 140737391551432 225444709264 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 3819 527 312 364 0 261 0
[startup+0.0896329 s]
/proc/loadavg: 1.99 1.36 0.61 3/180 26612
/proc/meminfo: memFree=27013816/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16992
[startup+0.100332 s]
/proc/loadavg: 1.99 1.36 0.61 3/180 26612
/proc/meminfo: memFree=27013816/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16992
[startup+0.300302 s]
/proc/loadavg: 1.99 1.36 0.61 3/180 26612
/proc/meminfo: memFree=27013816/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16992
[startup+0.700321 s]
/proc/loadavg: 1.99 1.36 0.61 3/180 26612
/proc/meminfo: memFree=27013816/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16992
[startup+1.50042 s]
/proc/loadavg: 1.99 1.36 0.61 3/185 26617
/proc/meminfo: memFree=26961016/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=52812 CPUtime=1.38 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 122195 0 0 0 92 46 0 0 20 0 1 0 293043653 54079488 6999 33554432000 4194304 4943705 140734034408032 140734034405168 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 13203 6999 329 183 0 9573 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 104840
[startup+3.10045 s]
/proc/loadavg: 1.99 1.36 0.61 3/185 26617
/proc/meminfo: memFree=26887236/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=69836 CPUtime=2.98 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 184515 0 0 0 201 97 0 0 20 0 1 0 293043653 71512064 14026 33554432000 4194304 4943705 140734034408032 140734034405168 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 17459 14032 329 183 0 13829 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 121864
[startup+6.30045 s]
/proc/loadavg: 1.99 1.37 0.61 3/185 26617
/proc/meminfo: memFree=26820824/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=93388 CPUtime=6.18 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 271021 0 0 0 420 198 0 0 20 0 1 0 293043653 95629312 14135 33554432000 4194304 4943705 140734034408032 140734034405168 4270713 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 23347 14135 329 183 0 19717 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 145416
[startup+12.7004 s]
/proc/loadavg: 1.99 1.38 0.62 3/185 26617
/proc/meminfo: memFree=26647876/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=126284 CPUtime=12.58 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 393919 0 0 0 851 407 0 0 20 0 1 0 293043653 129314816 18407 33554432000 4194304 4943705 140734034408032 140734034405168 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 31571 18407 329 183 0 27941 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 178312
[startup+25.5005 s]
/proc/loadavg: 1.99 1.41 0.64 3/185 26617
/proc/meminfo: memFree=26317048/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=172492 CPUtime=25.38 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 570151 0 0 0 1716 822 0 0 20 0 1 0 293043653 176631808 27927 33554432000 4194304 4943705 140734034408032 140734034405168 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/26617/statm: 43123 27927 329 183 0 39493 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 224520
[startup+51.1004 s]
/proc/loadavg: 1.99 1.46 0.68 3/185 26617
/proc/meminfo: memFree=24277692/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=3717036 CPUtime=50.74 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 1048342 0 0 0 3759 1315 0 0 20 0 1 0 293043653 3806244864 418038 33554432000 4194304 4943705 140734034408032 140734034406304 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 20 0 0
/proc/26617/statm: 929259 418038 357 183 0 925629 0
Current children cumulated CPU time (s) 50.77
Current children cumulated vsize (KiB) 3769064
[startup+102.3 s]
/proc/loadavg: 1.99 1.54 0.75 3/185 26617
/proc/meminfo: memFree=21948380/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
################
# More data... #
################
Current children cumulated vsize (KiB) 8911080
[startup+222.3 s]
/proc/loadavg: 1.99 1.69 0.89 3/185 26664
/proc/meminfo: memFree=25409648/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=10587564 CPUtime=220.88 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 1799819 0 0 0 20287 1801 0 0 20 0 1 0 293043653 10841665536 1169515 33554432000 4194304 4943705 140734034408032 140734034406944 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 112 0 0
/proc/26617/statm: 2646891 1169515 357 183 0 2643261 0
Current children cumulated CPU time (s) 220.91
Current children cumulated vsize (KiB) 10639592
[startup+282.3 s]
/proc/loadavg: 2.04 1.76 0.96 3/183 26667
/proc/meminfo: memFree=24624668/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=12072108 CPUtime=280.39 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 1962192 0 0 0 26131 1908 0 0 20 0 1 0 293043653 12361838592 1345711 33554432000 4194304 4943705 140734034408032 140734034406944 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 154 0 0
/proc/26617/statm: 3018027 1345711 357 183 0 3014397 0
Current children cumulated CPU time (s) 280.42
Current children cumulated vsize (KiB) 12124136
[startup+342.3 s]
/proc/loadavg: 2.01 1.80 1.02 3/183 26667
/proc/meminfo: memFree=24040664/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=13261484 CPUtime=339.94 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 2092282 0 0 0 32006 1988 0 0 20 0 1 0 293043653 13579759616 1489623 33554432000 4194304 4943705 140734034408032 140734034406944 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 196 0 0
/proc/26617/statm: 3315371 1489623 357 183 0 3311741 0
Current children cumulated CPU time (s) 339.97
Current children cumulated vsize (KiB) 13313512
[startup+402.3 s]
/proc/loadavg: 2.04 1.85 1.09 3/183 26667
/proc/meminfo: memFree=23435876/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=14490796 CPUtime=399.47 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 2226740 0 0 0 37871 2076 0 0 20 0 1 0 293043653 14838575104 1637903 33554432000 4194304 4943705 140734034408032 140734034406944 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 241 0 0
/proc/26617/statm: 3622699 1637903 357 183 0 3619069 0
Current children cumulated CPU time (s) 399.5
Current children cumulated vsize (KiB) 14542824
[startup+462.3 s]
/proc/loadavg: 2.01 1.87 1.14 3/183 26668
/proc/meminfo: memFree=22777204/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=15570860 CPUtime=459.05 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 2344874 0 0 0 43755 2150 0 0 20 0 1 0 293043653 15944560640 1769859 33554432000 4194304 4943705 140734034408032 140734034406944 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 279 0 0
/proc/26617/statm: 3892715 1769859 357 183 0 3889085 0
Current children cumulated CPU time (s) 459.08
Current children cumulated vsize (KiB) 15622888
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+475.9 s]
/proc/loadavg: 2.01 1.88 1.16 3/183 26668
/proc/meminfo: memFree=22654428/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=15820460 CPUtime=472.58 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 2372174 0 0 0 45090 2168 0 0 20 0 1 0 293043653 16200151040 1799463 33554432000 4194304 4943705 140734034408032 140734034406944 4361049 0 0 16781312 17608 0 0 0 17 5 0 0 287 0 0
/proc/26617/statm: 3955115 1799463 357 183 0 3951485 0
Current children cumulated CPU time (s) 472.61
Current children cumulated vsize (KiB) 15872488
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+475.9 s]
/proc/loadavg: 2.01 1.88 1.16 3/183 26668
/proc/meminfo: memFree=22654428/32873844 swapFree=7900/7900
[pid=26612] ppid=26610 vsize=16992 CPUtime=0.02 cores=1,3,5,7
/proc/26612/stat : 26612 (python) S 26610 26612 26431 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293043642 17399808 1081 33554432000 4194304 5683644 140737391565520 140737391563368 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26612/statm: 4248 1081 429 364 0 690 0
[pid=26614] ppid=26612 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26614/stat : 26614 (sh) S 26612 26612 26431 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293043650 9367552 267 33554432000 4194304 5064252 140736370086896 140736370085600 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26614/statm: 2287 267 226 213 0 72 0
[pid=26615] ppid=26614 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/26615/stat : 26615 (python) S 26614 26612 26431 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293043650 17141760 1059 33554432000 4194304 5683644 140735367193216 140735367191064 225444709760 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/26615/statm: 4185 1059 429 364 0 627 0
[pid=26616] ppid=26615 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/26616/stat : 26616 (sh) S 26615 26612 26431 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293043653 9367552 268 33554432000 4194304 5064252 140735749799888 140735749798592 225444521550 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/26616/statm: 2287 268 226 213 0 72 0
[pid=26617] ppid=26616 vsize=15820460 CPUtime=472.58 cores=1,3,5,7
/proc/26617/stat : 26617 (PBPASSolver-817) R 26616 26612 26431 0 -1 4202496 2372174 0 0 0 45090 2168 0 0 20 0 1 0 293043653 16200151040 1799463 33554432000 4194304 4943705 140734034408032 140734034406944 4361049 0 0 16781312 17608 0 0 0 17 5 0 0 287 0 0
/proc/26617/statm: 3955115 1799463 357 183 0 3951485 0
Current children cumulated CPU time (s) 472.61
Current children cumulated vsize (KiB) 15872488
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 26612 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=32994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=17997
# CPU time returned by wait4() is 0.050991
# while last known CPU time is 472.61
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 475.919
CPU time (s): 472.61
CPU user time (s): 450.92
CPU system time (s): 21.69
CPU usage (%): 99.3046
Max. virtual memory (cumulated for all children) (KiB): 15872488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.032994
system time used= 0.017997
maximum resident set size= 4328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3491
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= 4
runsolver used 0.874867 second user time and 2.45463 second system time
The end