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-3718899-1338269117/watcher-3718899-1338269117 -o /tmp/evaluation-result-3718899-1338269117/solver-3718899-1338269117 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718899-1338269117.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.04 1.18 0.49 3/176 2909
/proc/meminfo: memFree=29329492/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/2909/stat : 2909 (python) D 2907 2909 2770 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 293037289 15642624 559 33554432000 4194304 5683644 140734360638400 140734360606344 252263089040 0 0 16781312 2 18446744072100588836 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 3819 559 324 364 0 261 0
[startup+0.0873601 s]
/proc/loadavg: 2.04 1.18 0.49 3/176 2909
/proc/meminfo: memFree=29329492/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.1003 s]
/proc/loadavg: 2.04 1.18 0.49 3/176 2909
/proc/meminfo: memFree=29329492/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.300264 s]
/proc/loadavg: 2.04 1.18 0.49 3/176 2909
/proc/meminfo: memFree=29329492/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.7003 s]
/proc/loadavg: 2.04 1.18 0.49 3/176 2909
/proc/meminfo: memFree=29329492/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+1.50048 s]
/proc/loadavg: 2.04 1.18 0.49 3/181 2914
/proc/meminfo: memFree=29292528/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
[pid=2911] ppid=2909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2911/stat : 2911 (sh) S 2909 2909 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293037296 9367552 266 33554432000 4194304 5064252 140736553282304 140736553281008 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2911/statm: 2287 266 226 213 0 72 0
[pid=2912] ppid=2911 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/2912/stat : 2912 (python) S 2911 2909 2770 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293037296 17137664 1058 33554432000 4194304 5683644 140736628154336 140736628152184 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2912/statm: 4184 1058 429 364 0 626 0
[pid=2913] ppid=2912 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2913/stat : 2913 (sh) S 2912 2909 2770 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293037299 9367552 268 33554432000 4194304 5064252 140736254611392 140736254610096 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2913/statm: 2287 268 226 213 0 72 0
[pid=2914] ppid=2913 vsize=62028 CPUtime=1.38 cores=0,2,4,6
/proc/2914/stat : 2914 (PBPASSolver-817) R 2913 2909 2770 0 -1 4202496 159866 0 0 0 76 62 0 0 20 0 1 0 293037299 63516672 7994 33554432000 4194304 4943705 140735992461744 140735992458880 4270812 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/2914/statm: 15507 7994 329 183 0 11877 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 114060
[startup+3.10048 s]
/proc/loadavg: 2.04 1.18 0.49 3/181 2914
/proc/meminfo: memFree=29293212/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
[pid=2911] ppid=2909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2911/stat : 2911 (sh) S 2909 2909 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293037296 9367552 266 33554432000 4194304 5064252 140736553282304 140736553281008 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2911/statm: 2287 266 226 213 0 72 0
[pid=2912] ppid=2911 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/2912/stat : 2912 (python) S 2911 2909 2770 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293037296 17137664 1058 33554432000 4194304 5683644 140736628154336 140736628152184 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2912/statm: 4184 1058 429 364 0 626 0
[pid=2913] ppid=2912 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2913/stat : 2913 (sh) S 2912 2909 2770 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293037299 9367552 268 33554432000 4194304 5064252 140736254611392 140736254610096 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2913/statm: 2287 268 226 213 0 72 0
[pid=2914] ppid=2913 vsize=83788 CPUtime=2.99 cores=0,2,4,6
/proc/2914/stat : 2914 (PBPASSolver-817) R 2913 2909 2770 0 -1 4202496 240613 0 0 0 164 135 0 0 20 0 1 0 293037299 85798912 13578 33554432000 4194304 4943705 140735992461744 140735992458880 4270812 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/2914/statm: 20947 13578 329 183 0 17317 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 135820
[startup+6.30042 s]
/proc/loadavg: 2.04 1.20 0.50 3/181 2914
/proc/meminfo: memFree=29256300/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
[pid=2911] ppid=2909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2911/stat : 2911 (sh) S 2909 2909 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293037296 9367552 266 33554432000 4194304 5064252 140736553282304 140736553281008 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2911/statm: 2287 266 226 213 0 72 0
[pid=2912] ppid=2911 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/2912/stat : 2912 (python) S 2911 2909 2770 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293037296 17137664 1058 33554432000 4194304 5683644 140736628154336 140736628152184 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2912/statm: 4184 1058 429 364 0 626 0
[pid=2913] ppid=2912 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2913/stat : 2913 (sh) S 2912 2909 2770 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293037299 9367552 268 33554432000 4194304 5064252 140736254611392 140736254610096 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2913/statm: 2287 268 226 213 0 72 0
[pid=2914] ppid=2913 vsize=170732 CPUtime=5.94 cores=0,2,4,6
/proc/2914/stat : 2914 (PBPASSolver-817) R 2913 2909 2770 0 -1 4202496 303262 0 0 0 279 315 0 0 20 0 1 0 293037299 174829568 23380 33554432000 4194304 4943705 140735992461744 140735992459328 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 23 0 0
/proc/2914/statm: 42683 23380 365 183 0 39053 0
Current children cumulated CPU time (s) 5.96
Current children cumulated vsize (KiB) 222764
[startup+12.7005 s]
/proc/loadavg: 2.03 1.21 0.51 3/181 2914
/proc/meminfo: memFree=28372024/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
[pid=2911] ppid=2909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2911/stat : 2911 (sh) S 2909 2909 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293037296 9367552 266 33554432000 4194304 5064252 140736553282304 140736553281008 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2911/statm: 2287 266 226 213 0 72 0
[pid=2912] ppid=2911 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/2912/stat : 2912 (python) S 2911 2909 2770 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293037296 17137664 1058 33554432000 4194304 5683644 140736628154336 140736628152184 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2912/statm: 4184 1058 429 364 0 626 0
[pid=2913] ppid=2912 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2913/stat : 2913 (sh) S 2912 2909 2770 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293037299 9367552 268 33554432000 4194304 5064252 140736254611392 140736254610096 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2913/statm: 2287 268 226 213 0 72 0
[pid=2914] ppid=2913 vsize=2258220 CPUtime=12.35 cores=0,2,4,6
/proc/2914/stat : 2914 (PBPASSolver-817) R 2913 2909 2770 0 -1 4202496 531606 0 0 0 750 485 0 0 20 0 1 0 293037299 2312417280 251724 33554432000 4194304 4943705 140735992461744 140735992460656 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 23 0 0
/proc/2914/statm: 564555 251724 365 183 0 560925 0
Current children cumulated CPU time (s) 12.37
Current children cumulated vsize (KiB) 2310252
[startup+25.5004 s]
/proc/loadavg: 2.03 1.25 0.53 3/181 2914
/proc/meminfo: memFree=27409932/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
[pid=2911] ppid=2909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2911/stat : 2911 (sh) S 2909 2909 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293037296 9367552 266 33554432000 4194304 5064252 140736553282304 140736553281008 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2911/statm: 2287 266 226 213 0 72 0
[pid=2912] ppid=2911 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/2912/stat : 2912 (python) S 2911 2909 2770 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293037296 17137664 1058 33554432000 4194304 5683644 140736628154336 140736628152184 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2912/statm: 4184 1058 429 364 0 626 0
[pid=2913] ppid=2912 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2913/stat : 2913 (sh) S 2912 2909 2770 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293037299 9367552 268 33554432000 4194304 5064252 140736254611392 140736254610096 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2913/statm: 2287 268 226 213 0 72 0
[pid=2914] ppid=2913 vsize=4294700 CPUtime=25.13 cores=0,2,4,6
/proc/2914/stat : 2914 (PBPASSolver-817) R 2913 2909 2770 0 -1 4202496 754346 0 0 0 1897 616 0 0 20 0 1 0 293037299 4397772800 474464 33554432000 4194304 4943705 140735992461744 140735992460656 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 24 0 0
/proc/2914/statm: 1073675 474464 365 183 0 1070045 0
Current children cumulated CPU time (s) 25.15
Current children cumulated vsize (KiB) 4346732
[startup+51.1004 s]
/proc/loadavg: 2.02 1.31 0.57 3/181 2914
/proc/meminfo: memFree=26427556/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
[pid=2911] ppid=2909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2911/stat : 2911 (sh) S 2909 2909 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293037296 9367552 266 33554432000 4194304 5064252 140736553282304 140736553281008 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2911/statm: 2287 266 226 213 0 72 0
[pid=2912] ppid=2911 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/2912/stat : 2912 (python) S 2911 2909 2770 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293037296 17137664 1058 33554432000 4194304 5683644 140736628154336 140736628152184 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2912/statm: 4184 1058 429 364 0 626 0
[pid=2913] ppid=2912 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2913/stat : 2913 (sh) S 2912 2909 2770 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293037299 9367552 268 33554432000 4194304 5064252 140736254611392 140736254610096 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2913/statm: 2287 268 226 213 0 72 0
[pid=2914] ppid=2913 vsize=6485036 CPUtime=50.71 cores=0,2,4,6
/proc/2914/stat : 2914 (PBPASSolver-817) R 2913 2909 2770 0 -1 4202496 993914 0 0 0 4306 765 0 0 20 0 1 0 293037299 6640676864 714032 33554432000 4194304 4943705 140735992461744 140735992460656 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 26 0 0
/proc/2914/statm: 1621259 714032 365 183 0 1617629 0
Current children cumulated CPU time (s) 50.73
Current children cumulated vsize (KiB) 6537068
[startup+102.307 s]
/proc/loadavg: 2.01 1.41 0.64 3/181 2914
/proc/meminfo: memFree=25099960/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
[pid=2911] ppid=2909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2911/stat : 2911 (sh) S 2909 2909 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293037296 9367552 266 33554432000 4194304 5064252 140736553282304 140736553281008 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2911/statm: 2287 266 226 213 0 72 0
[pid=2912] ppid=2911 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/2912/stat : 2912 (python) S 2911 2909 2770 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293037296 17137664 1058 33554432000 4194304 5683644 140736628154336 140736628152184 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2912/statm: 4184 1058 429 364 0 626 0
[pid=2913] ppid=2912 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2913/stat : 2913 (sh) S 2912 2909 2770 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293037299 9367552 268 33554432000 4194304 5064252 140736254611392 140736254610096 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2913/statm: 2287 268 226 213 0 72 0
[pid=2914] ppid=2913 vsize=9404972 CPUtime=101.89 cores=0,2,4,6
/proc/2914/stat : 2914 (PBPASSolver-817) R 2913 2909 2770 0 -1 4202496 1313283 0 0 0 9236 953 0 0 20 0 1 0 293037299 9630691328 1038872 33554432000 4194304 4943705 140735992461744 140735992460656 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 28 0 0
/proc/2914/statm: 2351243 1038872 365 183 0 2347613 0
Current children cumulated CPU time (s) 101.91
Current children cumulated vsize (KiB) 9457004
[startup+162.3 s]
/proc/loadavg: 2.00 1.52 0.72 3/181 2914
/proc/meminfo: memFree=23919696/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
[pid=2911] ppid=2909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2911/stat : 2911 (sh) S 2909 2909 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293037296 9367552 266 33554432000 4194304 5064252 140736553282304 140736553281008 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2911/statm: 2287 266 226 213 0 72 0
[pid=2912] ppid=2911 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/2912/stat : 2912 (python) S 2911 2909 2770 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293037296 17137664 1058 33554432000 4194304 5683644 140736628154336 140736628152184 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2912/statm: 4184 1058 429 364 0 626 0
[pid=2913] ppid=2912 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2913/stat : 2913 (sh) S 2912 2909 2770 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293037299 9367552 268 33554432000 4194304 5064252 140736254611392 140736254610096 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2913/statm: 2287 268 226 213 0 72 0
[pid=2914] ppid=2913 vsize=11982124 CPUtime=161.84 cores=0,2,4,6
/proc/2914/stat : 2914 (PBPASSolver-817) R 2913 2909 2770 0 -1 4202496 1595160 0 0 0 15058 1126 0 0 20 0 1 0 293037299 12269694976 1334572 33554432000 4194304 4943705 140735992461744 140735992460656 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 30 0 0
/proc/2914/statm: 2995531 1334572 365 183 0 2991901 0
Current children cumulated CPU time (s) 161.86
Current children cumulated vsize (KiB) 12034156
[startup+222.3 s]
/proc/loadavg: 2.00 1.60 0.80 3/180 2914
/proc/meminfo: memFree=22901128/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
[pid=2911] ppid=2909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2911/stat : 2911 (sh) S 2909 2909 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293037296 9367552 266 33554432000 4194304 5064252 140736553282304 140736553281008 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2911/statm: 2287 266 226 213 0 72 0
[pid=2912] ppid=2911 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/2912/stat : 2912 (python) S 2911 2909 2770 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293037296 17137664 1058 33554432000 4194304 5683644 140736628154336 140736628152184 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2912/statm: 4184 1058 429 364 0 626 0
[pid=2913] ppid=2912 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2913/stat : 2913 (sh) S 2912 2909 2770 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293037299 9367552 268 33554432000 4194304 5064252 140736254611392 140736254610096 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2913/statm: 2287 268 226 213 0 72 0
[pid=2914] ppid=2913 vsize=14114604 CPUtime=221.79 cores=0,2,4,6
/proc/2914/stat : 2914 (PBPASSolver-817) R 2913 2909 2770 0 -1 4202496 1828402 0 0 0 20912 1267 0 0 20 0 1 0 293037299 14453354496 1581636 33554432000 4194304 4943705 140735992461744 140735992460656 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 31 0 0
/proc/2914/statm: 3528651 1581636 365 183 0 3525021 0
Current children cumulated CPU time (s) 221.81
Current children cumulated vsize (KiB) 14166636
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+277 s]
/proc/loadavg: 2.00 1.67 0.87 3/181 2915
/proc/meminfo: memFree=22097200/32873852 swapFree=7624/7624
[pid=2909] ppid=2907 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/2909/stat : 2909 (python) S 2907 2909 2770 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293037289 17408000 1082 33554432000 4194304 5683644 140734360638400 140734360636248 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2909/statm: 4250 1082 429 364 0 692 0
[pid=2911] ppid=2909 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2911/stat : 2911 (sh) S 2909 2909 2770 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293037296 9367552 266 33554432000 4194304 5064252 140736553282304 140736553281008 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2911/statm: 2287 266 226 213 0 72 0
[pid=2912] ppid=2911 vsize=16736 CPUtime=0.01 cores=0,2,4,6
/proc/2912/stat : 2912 (python) S 2911 2909 2770 0 -1 4202496 1297 0 0 0 1 0 0 0 20 0 1 0 293037296 17137664 1058 33554432000 4194304 5683644 140736628154336 140736628152184 252263089536 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/2912/statm: 4184 1058 429 364 0 626 0
[pid=2913] ppid=2912 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/2913/stat : 2913 (sh) S 2912 2909 2770 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293037299 9367552 268 33554432000 4194304 5064252 140736254611392 140736254610096 252262901326 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/2913/statm: 2287 268 226 213 0 72 0
[pid=2914] ppid=2913 vsize=15822380 CPUtime=276.46 cores=0,2,4,6
/proc/2914/stat : 2914 (PBPASSolver-817) R 2913 2909 2770 0 -1 4202496 2015192 0 0 0 26266 1380 0 0 20 0 1 0 293037299 16202117120 1782248 33554432000 4194304 4943705 140735992461744 140735992460656 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 33 0 0
/proc/2914/statm: 3955595 1782248 365 183 0 3951965 0
Current children cumulated CPU time (s) 276.48
Current children cumulated vsize (KiB) 15874412
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 2909 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=31995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=15997
# CPU time returned by wait4() is 0.047992
# while last known CPU time is 276.48
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 277.019
CPU time (s): 276.48
CPU user time (s): 262.68
CPU system time (s): 13.8
CPU usage (%): 99.8055
Max. virtual memory (cumulated for all children) (KiB): 15874412
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.031995
system time used= 0.015997
maximum resident set size= 4332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3490
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= 171
involuntary context switches= 3
runsolver used 0.946856 second user time and 3.06953 second system time
The end