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-3719109-1338273019/watcher-3719109-1338273019 -o /tmp/evaluation-result-3719109-1338273019/solver-3719109-1338273019 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719109-1338273019.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: 2.13 2.05 1.94 3/181 9690
/proc/meminfo: memFree=30334204/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=15380 CPUtime=0 cores=1,3,5,7
/proc/9690/stat : 9690 (python) D 9688 9690 9227 0 -1 4202496 757 0 0 0 0 0 0 0 20 0 1 0 293427442 15749120 630 33554432000 4194304 5683644 140735700357744 140735700298232 214537421712 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 3845 630 334 364 0 287 0
[startup+0.0234809 s]
/proc/loadavg: 2.13 2.05 1.94 3/181 9690
/proc/meminfo: memFree=30334204/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16588 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) R 9688 9690 9227 0 -1 4202496 1197 0 0 0 1 0 0 0 20 0 1 0 293427442 16986112 996 33554432000 4194304 5683644 140735700357744 140735700311960 214537421712 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4147 996 418 364 0 589 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16588
[startup+0.100174 s]
/proc/loadavg: 2.13 2.05 1.94 3/181 9690
/proc/meminfo: memFree=30334204/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300176 s]
/proc/loadavg: 2.13 2.05 1.94 3/181 9690
/proc/meminfo: memFree=30334204/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700182 s]
/proc/loadavg: 2.13 2.05 1.94 3/181 9690
/proc/meminfo: memFree=30334204/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50033 s]
/proc/loadavg: 2.13 2.05 1.94 3/186 9695
/proc/meminfo: memFree=30270504/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=60748 CPUtime=1.44 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 165835 0 0 0 81 63 0 0 20 0 1 0 293427447 62205952 8914 33554432000 4194304 4943705 140736640831264 140736640828400 4270812 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/9695/statm: 15187 8914 329 183 0 11557 0
Current children cumulated CPU time (s) 1.46
Current children cumulated vsize (KiB) 112772
[startup+3.10042 s]
/proc/loadavg: 2.13 2.05 1.94 3/186 9695
/proc/meminfo: memFree=30304320/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=81996 CPUtime=3.03 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 251828 0 0 0 171 132 0 0 20 0 1 0 293427447 83963904 13250 33554432000 4194304 4943705 140736640831264 140736640828400 4270708 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/9695/statm: 20499 13250 329 183 0 16869 0
Current children cumulated CPU time (s) 3.05
Current children cumulated vsize (KiB) 134020
[startup+6.30034 s]
/proc/loadavg: 2.12 2.05 1.94 3/186 9695
/proc/meminfo: memFree=30162964/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=258412 CPUtime=6.13 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 312017 0 0 0 275 338 0 0 20 0 1 0 293427447 264613888 32549 33554432000 4194304 4943705 140736640831264 140736640828224 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 10 0 0
/proc/9695/statm: 64603 32549 365 183 0 60973 0
Current children cumulated CPU time (s) 6.15
Current children cumulated vsize (KiB) 310436
[startup+12.7003 s]
/proc/loadavg: 2.11 2.04 1.94 3/186 9695
/proc/meminfo: memFree=29943944/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=859340 CPUtime=12.52 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 377758 0 0 0 459 793 0 0 20 0 1 0 293427447 879964160 98290 33554432000 4194304 4943705 140736640831264 140736640828512 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 11 0 0
/proc/9695/statm: 214835 98290 365 183 0 211205 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 911364
[startup+25.5002 s]
/proc/loadavg: 2.08 2.04 1.94 3/186 9695
/proc/meminfo: memFree=29137840/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=1653452 CPUtime=25.3 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 464664 0 0 0 808 1722 0 0 20 0 1 0 293427447 1693134848 185196 33554432000 4194304 4943705 140736640831264 140736640828288 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 14 0 0
/proc/9695/statm: 413363 185196 365 183 0 409733 0
Current children cumulated CPU time (s) 25.32
Current children cumulated vsize (KiB) 1705476
[startup+51.1002 s]
/proc/loadavg: 2.05 2.04 1.94 3/185 9695
/proc/meminfo: memFree=27704996/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=3150156 CPUtime=50.84 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 628451 0 0 0 1709 3375 0 0 20 0 1 0 293427447 3225759744 348983 33554432000 4194304 4943705 140736640831264 140736640828384 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 19 0 0
/proc/9695/statm: 787539 348983 365 183 0 783909 0
Current children cumulated CPU time (s) 50.86
Current children cumulated vsize (KiB) 3202180
[startup+102.307 s]
/proc/loadavg: 2.02 2.03 1.94 3/185 9695
/proc/meminfo: memFree=25145896/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=5826956 CPUtime=101.79 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 921356 0 0 0 4044 6135 0 0 20 0 1 0 293427447 5966802944 641888 33554432000 4194304 4943705 140736640831264 140736640830176 4358535 0 0 16781312 17608 0 0 0 17 3 0 0 43 0 0
/proc/9695/statm: 1456739 641888 365 183 0 1453109 0
Current children cumulated CPU time (s) 101.81
Current children cumulated vsize (KiB) 5878980
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/185 9696
/proc/meminfo: memFree=22657412/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=8504780 CPUtime=160.87 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 1214360 0 0 0 7354 8733 0 0 20 0 1 0 293427447 8708894720 934892 33554432000 4194304 4943705 140736640831264 140736640828624 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 120 0 0
/proc/9695/statm: 2126195 934892 365 183 0 2122565 0
Current children cumulated CPU time (s) 160.89
Current children cumulated vsize (KiB) 8556804
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/185 9696
/proc/meminfo: memFree=20402164/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=10848876 CPUtime=219.56 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 1470875 0 0 0 11056 10900 0 0 20 0 1 0 293427447 11109249024 1201718 33554432000 4194304 4943705 140736640831264 140736640830176 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 221 0 0
/proc/9695/statm: 2712219 1201718 365 183 0 2708589 0
Current children cumulated CPU time (s) 219.58
Current children cumulated vsize (KiB) 10900900
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/185 9696
/proc/meminfo: memFree=18382308/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=13000460 CPUtime=278.93 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 1706302 0 0 0 15133 12760 0 0 20 0 1 0 293427447 13312471040 1450968 33554432000 4194304 4943705 140736640831264 140736640830176 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 276 0 0
/proc/9695/statm: 3250115 1450968 365 183 0 3246485 0
Current children cumulated CPU time (s) 278.95
Current children cumulated vsize (KiB) 13052484
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/185 9696
/proc/meminfo: memFree=16521208/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=14950316 CPUtime=338.57 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 1919674 0 0 0 19360 14497 0 0 20 0 1 0 293427447 15309123584 1678162 33554432000 4194304 4943705 140736640831264 140736640830176 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 304 0 0
/proc/9695/statm: 3737579 1678162 365 183 0 3733949 0
Current children cumulated CPU time (s) 338.59
Current children cumulated vsize (KiB) 15002340
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+371.2 s]
/proc/loadavg: 2.00 2.00 1.94 3/185 9696
/proc/meminfo: memFree=15678952/32873648 swapFree=7112/7112
[pid=9690] ppid=9688 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/9690/stat : 9690 (python) S 9688 9690 9227 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293427442 17399808 1081 33554432000 4194304 5683644 140735700357744 140735700355592 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9690/statm: 4248 1081 429 364 0 690 0
[pid=9692] ppid=9690 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9692/stat : 9692 (sh) S 9690 9690 9227 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293427444 9367552 267 33554432000 4194304 5064252 140736868511184 140736868509888 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9692/statm: 2287 267 226 213 0 72 0
[pid=9693] ppid=9692 vsize=16736 CPUtime=0.01 cores=1,3,5,7
/proc/9693/stat : 9693 (python) S 9692 9690 9227 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293427445 17137664 1058 33554432000 4194304 5683644 140734138350384 140734138348232 214537422208 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/9693/statm: 4184 1058 429 364 0 626 0
[pid=9694] ppid=9693 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/9694/stat : 9694 (sh) S 9693 9690 9227 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293427447 9367552 267 33554432000 4194304 5064252 140735089664240 140735089662944 214537233998 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/9694/statm: 2287 267 226 213 0 72 0
[pid=9695] ppid=9694 vsize=15822060 CPUtime=367.13 cores=1,3,5,7
/proc/9695/stat : 9695 (PBPASSolver-817) R 9694 9690 9227 0 -1 4202496 2015072 0 0 0 21438 15275 0 0 20 0 1 0 293427447 16201789440 1780471 33554432000 4194304 4943705 140736640831264 140736640827904 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 336 0 0
/proc/9695/statm: 3955515 1780471 365 183 0 3951885 0
Current children cumulated CPU time (s) 367.15
Current children cumulated vsize (KiB) 15874084
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 9690 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=26995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.041992
# while last known CPU time is 367.15
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 371.219
CPU time (s): 367.15
CPU user time (s): 214.4
CPU system time (s): 152.75
CPU usage (%): 98.904
Max. virtual memory (cumulated for all children) (KiB): 15874084
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.026995
system time used= 0.014997
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= 116
involuntary context switches= 4
runsolver used 0.700893 second user time and 1.85972 second system time
The end