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-3718742-1338273037/watcher-3718742-1338273037 -o /tmp/evaluation-result-3718742-1338273037/solver-3718742-1338273037 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718742-1338273037.opb PrimePower CARD.DP ./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.06 2.02 1.93 3/179 5479
/proc/meminfo: memFree=28793240/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=15016 CPUtime=0 cores=1,3,5,7
/proc/5479/stat : 5479 (python) D 5477 5479 4970 0 -1 4202496 526 0 0 0 0 0 0 0 20 0 1 0 293429767 15376384 430 33554432000 4194304 5683644 140735410639072 140735410625624 242167398069 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 3754 430 267 364 0 196 0
[startup+0.0445919 s]
/proc/loadavg: 2.06 2.02 1.93 3/179 5479
/proc/meminfo: memFree=28793240/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16104 CPUtime=0 cores=1,3,5,7
/proc/5479/stat : 5479 (python) D 5477 5479 4970 0 -1 4202496 998 0 0 0 0 0 0 0 20 0 1 0 293429767 16490496 834 33554432000 4194304 5683644 140735410639072 140735410581800 242167399312 0 0 16781312 2 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4026 834 368 364 0 468 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16104
[startup+0.100224 s]
/proc/loadavg: 2.06 2.02 1.93 3/179 5479
/proc/meminfo: memFree=28793240/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300238 s]
/proc/loadavg: 2.06 2.02 1.93 3/179 5479
/proc/meminfo: memFree=28793240/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700255 s]
/proc/loadavg: 2.06 2.02 1.93 3/179 5479
/proc/meminfo: memFree=28793240/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50039 s]
/proc/loadavg: 2.06 2.02 1.93 3/184 5484
/proc/meminfo: memFree=28748520/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=61260 CPUtime=1.37 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 159535 0 0 0 73 64 0 0 20 0 1 0 293429779 62730240 9118 33554432000 4194304 4943705 140735065753536 140735065750672 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/5484/statm: 15315 9118 329 183 0 11685 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 113296
[startup+3.10041 s]
/proc/loadavg: 2.06 2.02 1.93 3/184 5484
/proc/meminfo: memFree=28737388/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=82892 CPUtime=2.97 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 242744 0 0 0 163 134 0 0 20 0 1 0 293429779 84881408 16206 33554432000 4194304 4943705 140735065753536 140735065750672 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/5484/statm: 20723 16206 329 183 0 17093 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 134928
[startup+6.30034 s]
/proc/loadavg: 2.13 2.04 1.94 3/184 5484
/proc/meminfo: memFree=28705860/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=112460 CPUtime=6.16 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 357013 0 0 0 343 273 0 0 20 0 1 0 293429779 115159040 16942 33554432000 4194304 4943705 140735065753536 140735065750672 4270812 0 0 16781312 17608 0 0 0 17 5 0 0 0 0 0
/proc/5484/statm: 28115 16942 329 183 0 24485 0
Current children cumulated CPU time (s) 6.18
Current children cumulated vsize (KiB) 164496
[startup+12.7002 s]
/proc/loadavg: 2.12 2.04 1.94 3/184 5484
/proc/meminfo: memFree=28552032/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=524780 CPUtime=12.49 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 421351 0 0 0 523 726 0 0 20 0 1 0 293429779 537374720 63431 33554432000 4194304 4943705 140735065753536 140735065750816 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 6 0 0
/proc/5484/statm: 131195 63431 366 183 0 127565 0
Current children cumulated CPU time (s) 12.51
Current children cumulated vsize (KiB) 576816
[startup+25.5002 s]
/proc/loadavg: 2.09 2.03 1.94 3/183 5484
/proc/meminfo: memFree=28105268/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=1457164 CPUtime=25.25 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 523397 0 0 0 924 1601 0 0 20 0 1 0 293429779 1492135936 165477 33554432000 4194304 4943705 140735065753536 140735065751808 4358535 0 0 16781312 17608 0 0 0 17 5 0 0 10 0 0
/proc/5484/statm: 364291 165477 366 183 0 360661 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 1509200
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 1.94 3/183 5484
/proc/meminfo: memFree=27312396/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=3139564 CPUtime=50.79 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 707501 0 0 0 1954 3125 0 0 20 0 1 0 293429779 3214913536 349580 33554432000 4194304 4943705 140735065753536 140735065752448 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 16 0 0
/proc/5484/statm: 784891 349580 366 183 0 781261 0
Current children cumulated CPU time (s) 50.81
Current children cumulated vsize (KiB) 3191600
[startup+102.307 s]
/proc/loadavg: 2.02 2.02 1.94 3/183 5484
/proc/meminfo: memFree=25952080/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=5909644 CPUtime=101.88 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 1010632 0 0 0 4495 5693 0 0 20 0 1 0 293429779 6051475456 652711 33554432000 4194304 4943705 140735065753536 140735065750304 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 28 0 0
/proc/5484/statm: 1477411 652711 366 183 0 1473781 0
Current children cumulated CPU time (s) 101.9
Current children cumulated vsize (KiB) 5961680
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 1.94 3/184 5485
/proc/meminfo: memFree=24625032/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=8614796 CPUtime=161.71 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 1306654 0 0 0 7978 8193 0 0 20 0 1 0 293429779 8821551104 948733 33554432000 4194304 4943705 140735065753536 140735065752448 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 42 0 0
/proc/5484/statm: 2153699 948733 366 183 0 2150069 0
Current children cumulated CPU time (s) 161.73
Current children cumulated vsize (KiB) 8666832
[startup+222.3 s]
/proc/loadavg: 2.07 2.04 1.95 3/183 5485
/proc/meminfo: memFree=23525160/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=10957804 CPUtime=221.56 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 1563039 0 0 0 11796 10360 0 0 20 0 1 0 293429779 11220791296 1205118 33554432000 4194304 4943705 140735065753536 140735065752448 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 57 0 0
/proc/5484/statm: 2739451 1205118 366 183 0 2735821 0
Current children cumulated CPU time (s) 221.58
Current children cumulated vsize (KiB) 11009840
[startup+282.3 s]
/proc/loadavg: 2.02 2.03 1.95 3/183 5486
/proc/meminfo: memFree=22496384/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=13062572 CPUtime=281.35 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 1793350 0 0 0 15862 12273 0 0 20 0 1 0 293429779 13376073728 1435429 33554432000 4194304 4943705 140735065753536 140735065752448 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 77 0 0
/proc/5484/statm: 3265643 1435429 366 183 0 3262013 0
Current children cumulated CPU time (s) 281.37
Current children cumulated vsize (KiB) 13114608
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/183 5486
/proc/meminfo: memFree=21577952/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=14967788 CPUtime=341.2 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 2001850 0 0 0 20089 14031 0 0 20 0 1 0 293429779 15327014912 1643929 33554432000 4194304 4943705 140735065753536 140735065752448 4267542 0 0 16781312 17608 0 0 0 17 5 0 0 92 0 0
/proc/5484/statm: 3741947 1643929 366 183 0 3738317 0
Current children cumulated CPU time (s) 341.22
Current children cumulated vsize (KiB) 15019824
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+372.1 s]
/proc/loadavg: 2.08 2.04 1.95 3/183 5531
/proc/meminfo: memFree=23256104/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=15821516 CPUtime=370.75 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 2095272 0 0 0 22163 14912 0 0 20 0 1 0 293429779 16201232384 1739079 33554432000 4194304 4943705 140735065753536 140735065752448 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 116 0 0
/proc/5484/statm: 3955379 1739079 366 183 0 3951749 0
Current children cumulated CPU time (s) 370.77
Current children cumulated vsize (KiB) 15873552
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+372.1 s]
/proc/loadavg: 2.08 2.04 1.95 3/183 5531
/proc/meminfo: memFree=23256104/32873648 swapFree=7112/7112
[pid=5479] ppid=5477 vsize=16996 CPUtime=0.01 cores=1,3,5,7
/proc/5479/stat : 5479 (python) S 5477 5479 4970 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293429767 17403904 1082 33554432000 4194304 5683644 140735410639072 140735410636920 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5479/statm: 4249 1082 429 364 0 691 0
[pid=5481] ppid=5479 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5481/stat : 5481 (sh) S 5479 5479 4970 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293429776 9367552 267 33554432000 4194304 5064252 140733563788848 140733563787552 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5481/statm: 2287 267 226 213 0 72 0
[pid=5482] ppid=5481 vsize=16744 CPUtime=0.01 cores=1,3,5,7
/proc/5482/stat : 5482 (python) S 5481 5479 4970 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293429776 17145856 1059 33554432000 4194304 5683644 140735749583904 140735749581752 242167399808 0 0 16781312 2 18446744071580380219 0 0 17 5 0 0 0 0 0
/proc/5482/statm: 4186 1059 429 364 0 628 0
[pid=5483] ppid=5482 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/5483/stat : 5483 (sh) S 5482 5479 4970 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293429779 9367552 267 33554432000 4194304 5064252 140736447310608 140736447309312 242167211598 0 65536 16781316 65538 18446744071579302229 0 0 17 1 0 0 0 0 0
/proc/5483/statm: 2287 267 226 213 0 72 0
[pid=5484] ppid=5483 vsize=15821516 CPUtime=370.75 cores=1,3,5,7
/proc/5484/stat : 5484 (PBPASSolver-817) R 5483 5479 4970 0 -1 4202496 2095272 0 0 0 22163 14912 0 0 20 0 1 0 293429779 16201232384 1739079 33554432000 4194304 4943705 140735065753536 140735065752448 4361008 0 0 16781312 17608 0 0 0 17 5 0 0 116 0 0
/proc/5484/statm: 3955379 1739079 366 183 0 3951749 0
Current children cumulated CPU time (s) 370.77
Current children cumulated vsize (KiB) 15873552
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5479 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=10998
# CPU time returned by wait4() is 0.043992
# while last known CPU time is 370.77
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 372.118
CPU time (s): 370.77
CPU user time (s): 221.65
CPU system time (s): 149.12
CPU usage (%): 99.6377
Max. virtual memory (cumulated for all children) (KiB): 15873552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.032994
system time used= 0.010998
maximum resident set size= 4332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3492
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.602908 second user time and 1.54377 second system time
The end