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-3718745-1338273291/watcher-3718745-1338273291 -o /tmp/evaluation-result-3718745-1338273291/solver-3718745-1338273291 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718745-1338273291.opb PrimePower CARD.DP ./CryptoMiniSat
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 16625
/proc/meminfo: memFree=22309472/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/16625/stat : 16625 (python) D 16623 16625 16030 0 -1 4202496 634 0 0 0 0 0 0 0 20 0 1 0 293454670 15642624 527 33554432000 4194304 5683644 140736059865408 140736059851320 227512501136 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 3819 527 312 364 0 261 0
[startup+0.087369 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 16625
/proc/meminfo: memFree=22309472/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.100179 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 16625
/proc/meminfo: memFree=22309472/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.300186 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 16625
/proc/meminfo: memFree=22309472/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.700233 s]
/proc/loadavg: 2.01 2.00 1.94 3/178 16625
/proc/meminfo: memFree=22309472/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+1.50031 s]
/proc/loadavg: 2.01 2.00 1.94 3/183 16630
/proc/meminfo: memFree=22265076/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=61260 CPUtime=1.38 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 146318 0 0 0 80 58 0 0 20 0 1 0 293454680 62730240 10720 33554432000 4194304 4943705 140736280628112 140736280625248 4270812 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/16630/statm: 15315 10720 329 183 0 11685 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 113296
[startup+3.10031 s]
/proc/loadavg: 2.01 2.00 1.94 3/183 16630
/proc/meminfo: memFree=22238780/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=105964 CPUtime=2.98 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 180468 0 0 0 137 161 0 0 20 0 1 0 293454680 108507136 14313 33554432000 4194304 4943705 140736280628112 140736280625520 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 0 0 0
/proc/16630/statm: 26491 14313 366 183 0 22861 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 158000
[startup+6.30034 s]
/proc/loadavg: 2.01 2.00 1.94 3/183 16630
/proc/meminfo: memFree=22080432/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=354348 CPUtime=5.98 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 207646 0 0 0 213 385 0 0 20 0 1 0 293454680 362852352 41491 33554432000 4194304 4943705 140736280628112 140736280625072 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 19 0 0
/proc/16630/statm: 88587 41491 366 183 0 84957 0
Current children cumulated CPU time (s) 6
Current children cumulated vsize (KiB) 406384
[startup+12.7003 s]
/proc/loadavg: 2.01 2.00 1.94 3/183 16630
/proc/meminfo: memFree=21760336/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=822284 CPUtime=12.36 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 258877 0 0 0 393 843 0 0 20 0 1 0 293454680 842018816 92722 33554432000 4194304 4943705 140736280628112 140736280624752 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 21 0 0
/proc/16630/statm: 205571 92722 366 183 0 201941 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 874320
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.94 3/183 16630
/proc/meminfo: memFree=21146660/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=1702828 CPUtime=25.03 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 355214 0 0 0 813 1690 0 0 20 0 1 0 293454680 1743695872 189059 33554432000 4194304 4943705 140736280628112 140736280625360 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 34 0 0
/proc/16630/statm: 425707 189059 366 183 0 422077 0
Current children cumulated CPU time (s) 25.05
Current children cumulated vsize (KiB) 1754864
[startup+51.1003 s]
/proc/loadavg: 2.06 2.02 1.94 3/183 16631
/proc/meminfo: memFree=20057768/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=3287276 CPUtime=50.56 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 528589 0 0 0 1842 3214 0 0 20 0 1 0 293454680 3366170624 362434 33554432000 4194304 4943705 140736280628112 140736280627024 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 41 0 0
/proc/16630/statm: 821819 362434 366 183 0 818189 0
Current children cumulated CPU time (s) 50.58
Current children cumulated vsize (KiB) 3339312
[startup+102.306 s]
/proc/loadavg: 2.03 2.01 1.94 4/176 16661
/proc/meminfo: memFree=20591408/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=5973548 CPUtime=101.65 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 822564 0 0 0 4341 5824 0 0 20 0 1 0 293454680 6116913152 656409 33554432000 4194304 4943705 140736280628112 140736280625376 4571434 0 0 16781312 17608 0 0 0 17 0 0 0 52 0 0
/proc/16630/statm: 1493387 656409 366 183 0 1489757 0
Current children cumulated CPU time (s) 101.67
Current children cumulated vsize (KiB) 6025584
[startup+162.3 s]
/proc/loadavg: 2.01 2.01 1.94 3/181 16676
/proc/meminfo: memFree=24143984/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=8778060 CPUtime=161.23 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 1129426 0 0 0 8005 8118 0 0 20 0 1 0 293454680 8988733440 974790 33554432000 4194304 4943705 140736280628112 140736280627024 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 91 0 0
/proc/16630/statm: 2194515 974790 366 183 0 2190885 0
Current children cumulated CPU time (s) 161.25
Current children cumulated vsize (KiB) 8830096
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 16676
/proc/meminfo: memFree=22911288/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=11228108 CPUtime=221.03 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 1397550 0 0 0 12054 10049 0 0 20 0 1 0 293454680 11497582592 1256730 33554432000 4194304 4943705 140736280628112 140736280627024 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 108 0 0
/proc/16630/statm: 2807027 1256730 366 183 0 2803397 0
Current children cumulated CPU time (s) 221.05
Current children cumulated vsize (KiB) 11280144
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 16676
/proc/meminfo: memFree=21842920/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=13380332 CPUtime=280.71 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 1633035 0 0 0 16321 11750 0 0 20 0 1 0 293454680 13701459968 1506038 33554432000 4194304 4943705 140736280628112 140736280627024 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 132 0 0
/proc/16630/statm: 3345083 1506038 366 183 0 3341453 0
Current children cumulated CPU time (s) 280.73
Current children cumulated vsize (KiB) 13432368
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.94 3/181 16679
/proc/meminfo: memFree=20860092/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=15328140 CPUtime=340.55 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 1846171 0 0 0 20754 13301 0 0 20 0 1 0 293454680 15696015360 1732996 33554432000 4194304 4943705 140736280628112 140736280627024 4267542 0 0 16781312 17608 0 0 0 17 0 0 0 147 0 0
/proc/16630/statm: 3832035 1732996 366 183 0 3828405 0
Current children cumulated CPU time (s) 340.57
Current children cumulated vsize (KiB) 15380176
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+358.4 s]
/proc/loadavg: 2.00 2.00 1.94 3/182 16680
/proc/meminfo: memFree=20602508/32873624 swapFree=7104/7104
[pid=16625] ppid=16623 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/16625/stat : 16625 (python) S 16623 16625 16030 0 -1 4202496 1334 0 0 0 1 0 0 0 20 0 1 0 293454670 17408000 1082 33554432000 4194304 5683644 140736059865408 140736059863256 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16625/statm: 4250 1082 429 364 0 692 0
[pid=16627] ppid=16625 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16627/stat : 16627 (sh) S 16625 16625 16030 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293454678 9367552 266 33554432000 4194304 5064252 140733860977856 140733860976560 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16627/statm: 2287 266 226 213 0 72 0
[pid=16628] ppid=16627 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/16628/stat : 16628 (python) S 16627 16625 16030 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293454678 17141760 1059 33554432000 4194304 5683644 140737460274496 140737460272344 227512501632 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/16628/statm: 4185 1059 429 364 0 627 0
[pid=16629] ppid=16628 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/16629/stat : 16629 (sh) S 16628 16625 16030 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293454680 9367552 268 33554432000 4194304 5064252 140734113694640 140734113693344 227512313422 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/16629/statm: 2287 268 226 213 0 72 0
[pid=16630] ppid=16629 vsize=15820748 CPUtime=356.62 cores=0,2,4,6
/proc/16630/stat : 16630 (PBPASSolver-817) R 16629 16625 16030 0 -1 4202496 1900078 0 0 0 21963 13699 0 0 20 0 1 0 293454680 16200445952 1791511 33554432000 4194304 4943705 140736280628112 140736280627024 4361008 0 0 16781312 17608 0 0 0 17 0 0 0 150 0 0
/proc/16630/statm: 3955187 1791511 366 183 0 3951557 0
Current children cumulated CPU time (s) 356.64
Current children cumulated vsize (KiB) 15872784
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 16625 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=29995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=9998
# CPU time returned by wait4() is 0.039993
# while last known CPU time is 356.64
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 358.418
CPU time (s): 356.64
CPU user time (s): 219.65
CPU system time (s): 136.99
CPU usage (%): 99.5039
Max. virtual memory (cumulated for all children) (KiB): 15872784
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.029995
system time used= 0.009998
maximum resident set size= 4332
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= 3
runsolver used 0.825874 second user time and 1.77573 second system time
The end