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-3718890-1338269171/watcher-3718890-1338269171 -o /tmp/evaluation-result-3718890-1338269171/solver-3718890-1338269171 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718890-1338269171.opb PrimePower CARD.SN ./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.07 1.32 0.57 3/178 1930
/proc/meminfo: memFree=31406244/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/1930/stat : 1930 (python) D 1928 1930 1635 0 -1 4202496 671 0 0 0 0 0 0 0 20 0 1 0 293045759 15642624 559 33554432000 4194304 5683644 140734044064256 140734044032200 245294252944 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 3819 559 324 364 0 261 0
[startup+0.060485 s]
/proc/loadavg: 2.07 1.32 0.57 3/178 1930
/proc/meminfo: memFree=31406244/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16592 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) R 1928 1930 1635 0 -1 4202496 1186 0 0 0 1 0 0 0 20 0 1 0 293045759 16990208 994 33554432000 4194304 5683644 140734044064256 140734044018472 245294252944 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4148 994 417 364 0 590 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16592
[startup+0.100326 s]
/proc/loadavg: 2.07 1.32 0.57 3/178 1930
/proc/meminfo: memFree=31406244/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.300314 s]
/proc/loadavg: 2.07 1.32 0.57 3/178 1930
/proc/meminfo: memFree=31406244/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+0.700333 s]
/proc/loadavg: 2.07 1.32 0.57 3/178 1930
/proc/meminfo: memFree=31406244/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16996
[startup+1.50046 s]
/proc/loadavg: 2.07 1.32 0.57 3/183 1935
/proc/meminfo: memFree=31371468/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
[pid=1932] ppid=1930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1932/stat : 1932 (sh) S 1930 1930 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293045767 9367552 267 33554432000 4194304 5064252 140735562403616 140735562402320 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1932/statm: 2287 267 226 213 0 72 0
[pid=1933] ppid=1932 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/1933/stat : 1933 (python) S 1932 1930 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293045767 17145856 1059 33554432000 4194304 5683644 140734261707888 140734261705736 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1933/statm: 4186 1059 429 364 0 628 0
[pid=1934] ppid=1933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1934/stat : 1934 (sh) S 1933 1930 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293045770 9367552 267 33554432000 4194304 5064252 140737007561840 140737007560544 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1934/statm: 2287 267 226 213 0 72 0
[pid=1935] ppid=1934 vsize=61644 CPUtime=1.38 cores=0,2,4,6
/proc/1935/stat : 1935 (PBPASSolver-817) R 1934 1930 1635 0 -1 4202496 149498 0 0 0 75 63 0 0 20 0 1 0 293045770 63123456 7368 33554432000 4194304 4943705 140736690698336 140736690695472 4270812 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/1935/statm: 15411 7368 329 183 0 11781 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 113680
[startup+3.1004 s]
/proc/loadavg: 2.07 1.32 0.57 3/183 1935
/proc/meminfo: memFree=31342788/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
[pid=1932] ppid=1930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1932/stat : 1932 (sh) S 1930 1930 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293045767 9367552 267 33554432000 4194304 5064252 140735562403616 140735562402320 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1932/statm: 2287 267 226 213 0 72 0
[pid=1933] ppid=1932 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/1933/stat : 1933 (python) S 1932 1930 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293045767 17145856 1059 33554432000 4194304 5683644 140734261707888 140734261705736 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1933/statm: 4186 1059 429 364 0 628 0
[pid=1934] ppid=1933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1934/stat : 1934 (sh) S 1933 1930 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293045770 9367552 267 33554432000 4194304 5064252 140737007561840 140737007560544 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1934/statm: 2287 267 226 213 0 72 0
[pid=1935] ppid=1934 vsize=83404 CPUtime=2.98 cores=0,2,4,6
/proc/1935/stat : 1935 (PBPASSolver-817) R 1934 1930 1635 0 -1 4202496 225711 0 0 0 164 134 0 0 20 0 1 0 293045770 85405696 13512 33554432000 4194304 4943705 140736690698336 140736690695472 4270812 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/1935/statm: 20851 13512 329 183 0 17221 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 135440
[startup+6.30044 s]
/proc/loadavg: 2.06 1.33 0.58 3/183 1935
/proc/meminfo: memFree=30888596/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
[pid=1932] ppid=1930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1932/stat : 1932 (sh) S 1930 1930 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293045767 9367552 267 33554432000 4194304 5064252 140735562403616 140735562402320 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1932/statm: 2287 267 226 213 0 72 0
[pid=1933] ppid=1932 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/1933/stat : 1933 (python) S 1932 1930 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293045767 17145856 1059 33554432000 4194304 5683644 140734261707888 140734261705736 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1933/statm: 4186 1059 429 364 0 628 0
[pid=1934] ppid=1933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1934/stat : 1934 (sh) S 1933 1930 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293045770 9367552 267 33554432000 4194304 5064252 140737007561840 140737007560544 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1934/statm: 2287 267 226 213 0 72 0
[pid=1935] ppid=1934 vsize=1422508 CPUtime=6.06 cores=0,2,4,6
/proc/1935/stat : 1935 (PBPASSolver-817) R 1934 1930 1635 0 -1 4202496 381591 0 0 0 373 233 0 0 20 0 1 0 293045770 1456648192 159413 33554432000 4194304 4943705 140736690698336 140736690697248 4358535 0 0 16781312 17608 0 0 0 17 4 0 0 11 0 0
/proc/1935/statm: 355627 159413 357 183 0 351997 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 1474544
[startup+12.7004 s]
/proc/loadavg: 2.06 1.34 0.59 3/183 1935
/proc/meminfo: memFree=30159004/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
[pid=1932] ppid=1930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1932/stat : 1932 (sh) S 1930 1930 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293045767 9367552 267 33554432000 4194304 5064252 140735562403616 140735562402320 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1932/statm: 2287 267 226 213 0 72 0
[pid=1933] ppid=1932 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/1933/stat : 1933 (python) S 1932 1930 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293045767 17145856 1059 33554432000 4194304 5683644 140734261707888 140734261705736 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1933/statm: 4186 1059 429 364 0 628 0
[pid=1934] ppid=1933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1934/stat : 1934 (sh) S 1933 1930 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293045770 9367552 267 33554432000 4194304 5064252 140737007561840 140737007560544 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1934/statm: 2287 267 226 213 0 72 0
[pid=1935] ppid=1934 vsize=2909868 CPUtime=12.32 cores=0,2,4,6
/proc/1935/stat : 1935 (PBPASSolver-817) R 1934 1930 1635 0 -1 4202496 544271 0 0 0 906 326 0 0 20 0 1 0 293045770 2979704832 322093 33554432000 4194304 4943705 140736690698336 140736690697248 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 19 0 0
/proc/1935/statm: 727467 322093 357 183 0 723837 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 2961904
[startup+25.5004 s]
/proc/loadavg: 2.04 1.37 0.61 3/183 1935
/proc/meminfo: memFree=29352676/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
[pid=1932] ppid=1930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1932/stat : 1932 (sh) S 1930 1930 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293045767 9367552 267 33554432000 4194304 5064252 140735562403616 140735562402320 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1932/statm: 2287 267 226 213 0 72 0
[pid=1933] ppid=1932 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/1933/stat : 1933 (python) S 1932 1930 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293045767 17145856 1059 33554432000 4194304 5683644 140734261707888 140734261705736 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1933/statm: 4186 1059 429 364 0 628 0
[pid=1934] ppid=1933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1934/stat : 1934 (sh) S 1933 1930 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293045770 9367552 267 33554432000 4194304 5064252 140737007561840 140737007560544 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1934/statm: 2287 267 226 213 0 72 0
[pid=1935] ppid=1934 vsize=4615340 CPUtime=24.99 cores=0,2,4,6
/proc/1935/stat : 1935 (PBPASSolver-817) R 1934 1930 1635 0 -1 4202496 730807 0 0 0 2055 444 0 0 20 0 1 0 293045770 4726108160 510933 33554432000 4194304 4943705 140736690698336 140736690697248 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 33 0 0
/proc/1935/statm: 1153835 510933 357 183 0 1150205 0
Current children cumulated CPU time (s) 25.01
Current children cumulated vsize (KiB) 4667376
[startup+51.1004 s]
/proc/loadavg: 2.03 1.42 0.64 3/183 1935
/proc/meminfo: memFree=28438700/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
[pid=1932] ppid=1930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1932/stat : 1932 (sh) S 1930 1930 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293045767 9367552 267 33554432000 4194304 5064252 140735562403616 140735562402320 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1932/statm: 2287 267 226 213 0 72 0
[pid=1933] ppid=1932 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/1933/stat : 1933 (python) S 1932 1930 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293045767 17145856 1059 33554432000 4194304 5683644 140734261707888 140734261705736 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1933/statm: 4186 1059 429 364 0 628 0
[pid=1934] ppid=1933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1934/stat : 1934 (sh) S 1933 1930 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293045770 9367552 267 33554432000 4194304 5064252 140737007561840 140737007560544 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1934/statm: 2287 267 226 213 0 72 0
[pid=1935] ppid=1934 vsize=6656684 CPUtime=50.35 cores=0,2,4,6
/proc/1935/stat : 1935 (PBPASSolver-817) R 1934 1930 1635 0 -1 4202496 954078 0 0 0 4460 575 0 0 20 0 1 0 293045770 6816444416 738812 33554432000 4194304 4943705 140736690698336 140736690697248 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 55 0 0
/proc/1935/statm: 1664171 738812 357 183 0 1660541 0
Current children cumulated CPU time (s) 50.37
Current children cumulated vsize (KiB) 6708720
[startup+102.307 s]
/proc/loadavg: 2.01 1.51 0.71 3/185 1977
/proc/meminfo: memFree=25740112/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
[pid=1932] ppid=1930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1932/stat : 1932 (sh) S 1930 1930 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293045767 9367552 267 33554432000 4194304 5064252 140735562403616 140735562402320 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1932/statm: 2287 267 226 213 0 72 0
[pid=1933] ppid=1932 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/1933/stat : 1933 (python) S 1932 1930 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293045767 17145856 1059 33554432000 4194304 5683644 140734261707888 140734261705736 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1933/statm: 4186 1059 429 364 0 628 0
[pid=1934] ppid=1933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1934/stat : 1934 (sh) S 1933 1930 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293045770 9367552 267 33554432000 4194304 5064252 140737007561840 140737007560544 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1934/statm: 2287 267 226 213 0 72 0
[pid=1935] ppid=1934 vsize=9448620 CPUtime=100.72 cores=0,2,4,6
/proc/1935/stat : 1935 (PBPASSolver-817) R 1934 1930 1635 0 -1 4202496 1259450 0 0 0 9300 772 0 0 20 0 1 0 293045770 9675386880 1055701 33554432000 4194304 4943705 140736690698336 140736690697248 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 125 0 0
/proc/1935/statm: 2362155 1055701 357 183 0 2358525 0
Current children cumulated CPU time (s) 100.74
Current children cumulated vsize (KiB) 9500656
[startup+162.3 s]
/proc/loadavg: 2.00 1.60 0.79 3/185 1977
/proc/meminfo: memFree=23101172/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
[pid=1932] ppid=1930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1932/stat : 1932 (sh) S 1930 1930 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293045767 9367552 267 33554432000 4194304 5064252 140735562403616 140735562402320 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1932/statm: 2287 267 226 213 0 72 0
[pid=1933] ppid=1932 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/1933/stat : 1933 (python) S 1932 1930 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293045767 17145856 1059 33554432000 4194304 5683644 140734261707888 140734261705736 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1933/statm: 4186 1059 429 364 0 628 0
[pid=1934] ppid=1933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1934/stat : 1934 (sh) S 1933 1930 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293045770 9367552 267 33554432000 4194304 5064252 140737007561840 140737007560544 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1934/statm: 2287 267 226 213 0 72 0
[pid=1935] ppid=1934 vsize=11953324 CPUtime=160.21 cores=0,2,4,6
/proc/1935/stat : 1935 (PBPASSolver-817) R 1934 1930 1635 0 -1 4202496 1533405 0 0 0 15070 951 0 0 20 0 1 0 293045770 12240203776 1343477 33554432000 4194304 4943705 140736690698336 140736690697248 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 154 0 0
/proc/1935/statm: 2988331 1343477 357 183 0 2984701 0
Current children cumulated CPU time (s) 160.23
Current children cumulated vsize (KiB) 12005360
[startup+222.3 s]
/proc/loadavg: 2.00 1.67 0.86 3/185 1977
/proc/meminfo: memFree=21186888/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
[pid=1932] ppid=1930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1932/stat : 1932 (sh) S 1930 1930 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293045767 9367552 267 33554432000 4194304 5064252 140735562403616 140735562402320 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1932/statm: 2287 267 226 213 0 72 0
[pid=1933] ppid=1932 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/1933/stat : 1933 (python) S 1932 1930 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293045767 17145856 1059 33554432000 4194304 5683644 140734261707888 140734261705736 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1933/statm: 4186 1059 429 364 0 628 0
[pid=1934] ppid=1933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1934/stat : 1934 (sh) S 1933 1930 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293045770 9367552 267 33554432000 4194304 5064252 140737007561840 140737007560544 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1934/statm: 2287 267 226 213 0 72 0
[pid=1935] ppid=1934 vsize=14044332 CPUtime=219.88 cores=0,2,4,6
/proc/1935/stat : 1935 (PBPASSolver-817) R 1934 1930 1635 0 -1 4202496 1762091 0 0 0 20895 1093 0 0 20 0 1 0 293045770 14381395968 1585983 33554432000 4194304 4943705 140736690698336 140736690697248 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 181 0 0
/proc/1935/statm: 3511083 1585983 357 183 0 3507453 0
Current children cumulated CPU time (s) 219.9
Current children cumulated vsize (KiB) 14096368
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+280.4 s]
/proc/loadavg: 2.00 1.72 0.93 3/186 1980
/proc/meminfo: memFree=19621904/32873844 swapFree=7372/7372
[pid=1930] ppid=1928 vsize=16996 CPUtime=0.01 cores=0,2,4,6
/proc/1930/stat : 1930 (python) S 1928 1930 1635 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293045759 17403904 1081 33554432000 4194304 5683644 140734044064256 140734044062104 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1930/statm: 4249 1081 429 364 0 691 0
[pid=1932] ppid=1930 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1932/stat : 1932 (sh) S 1930 1930 1635 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293045767 9367552 267 33554432000 4194304 5064252 140735562403616 140735562402320 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1932/statm: 2287 267 226 213 0 72 0
[pid=1933] ppid=1932 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/1933/stat : 1933 (python) S 1932 1930 1635 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293045767 17145856 1059 33554432000 4194304 5683644 140734261707888 140734261705736 245294253440 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/1933/statm: 4186 1059 429 364 0 628 0
[pid=1934] ppid=1933 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/1934/stat : 1934 (sh) S 1933 1930 1635 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293045770 9367552 267 33554432000 4194304 5064252 140737007561840 140737007560544 245294065230 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/1934/statm: 2287 267 226 213 0 72 0
[pid=1935] ppid=1934 vsize=15820716 CPUtime=277.72 cores=0,2,4,6
/proc/1935/stat : 1935 (PBPASSolver-817) R 1934 1930 1635 0 -1 4202496 1956408 0 0 0 26557 1215 0 0 20 0 1 0 293045770 16200413184 1794121 33554432000 4194304 4943705 140736690698336 140736690697248 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 203 0 0
/proc/1935/statm: 3955179 1794121 357 183 0 3951549 0
Current children cumulated CPU time (s) 277.74
Current children cumulated vsize (KiB) 15872752
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 1930 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 277.74
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 280.426
CPU time (s): 277.74
CPU user time (s): 265.59
CPU system time (s): 12.15
CPU usage (%): 99.0423
Max. virtual memory (cumulated for all children) (KiB): 15872752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.029995
system time used= 0.009998
maximum resident set size= 4328
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3489
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.59191 second user time and 1.75173 second system time
The end