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-3718516-1338269161/watcher-3718516-1338269161 -o /tmp/evaluation-result-3718516-1338269161/solver-3718516-1338269161 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718516-1338269161.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: 1.99 1.28 0.56 3/178 30384
/proc/meminfo: memFree=30675936/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/30384/stat : 30384 (python) D 30382 30384 30201 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 293042234 15642624 559 33554432000 4194304 5683644 140734974737264 140734974705208 251032060816 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 3819 559 324 364 0 261 0
[startup+0.0259061 s]
/proc/loadavg: 1.99 1.28 0.56 3/178 30384
/proc/meminfo: memFree=30675936/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=15612 CPUtime=0 cores=0,2,4,6
/proc/30384/stat : 30384 (python) R 30382 30384 30201 0 -1 4202496 857 0 0 0 0 0 0 0 20 0 1 0 293042234 15986688 721 33554432000 4194304 5683644 140734974737264 140734974681992 251032061312 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 3937 729 347 364 0 379 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15612
[startup+0.100265 s]
/proc/loadavg: 1.99 1.28 0.56 3/178 30384
/proc/meminfo: memFree=30675936/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+0.300259 s]
/proc/loadavg: 1.99 1.28 0.56 3/178 30384
/proc/meminfo: memFree=30675936/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+0.700249 s]
/proc/loadavg: 1.99 1.28 0.56 3/178 30384
/proc/meminfo: memFree=30675936/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+1.50041 s]
/proc/loadavg: 1.99 1.28 0.56 3/183 30389
/proc/meminfo: memFree=30491948/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
[pid=30386] ppid=30384 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30386/stat : 30386 (sh) S 30384 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042241 9367552 267 33554432000 4194304 5064252 140734793990080 140734793988784 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30386/statm: 2287 267 226 213 0 72 0
[pid=30387] ppid=30386 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/30387/stat : 30387 (python) S 30386 30384 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293042241 17145856 1059 33554432000 4194304 5683644 140734994843072 140734994840920 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30387/statm: 4186 1059 429 364 0 628 0
[pid=30388] ppid=30387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30388/stat : 30388 (sh) S 30387 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042244 9367552 268 33554432000 4194304 5064252 140734397458656 140734397457360 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30388/statm: 2287 268 226 213 0 72 0
[pid=30389] ppid=30388 vsize=677100 CPUtime=1.39 cores=0,2,4,6
/proc/30389/stat : 30389 (PBPASSolver-817) D 30388 30384 30201 0 -1 4202496 159260 0 0 0 77 62 0 0 20 0 1 0 293042244 693350400 74648 33554432000 4194304 4943705 140736941541424 140736941539696 4267542 0 0 16781312 17608 18446744071580543392 0 0 17 4 0 0 0 0 0
/proc/30389/statm: 169275 74648 357 183 0 165645 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 729136
[startup+3.10042 s]
/proc/loadavg: 1.99 1.28 0.56 3/184 30390
/proc/meminfo: memFree=30232268/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
[pid=30386] ppid=30384 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30386/stat : 30386 (sh) S 30384 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042241 9367552 267 33554432000 4194304 5064252 140734793990080 140734793988784 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30386/statm: 2287 267 226 213 0 72 0
[pid=30387] ppid=30386 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/30387/stat : 30387 (python) S 30386 30384 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293042241 17145856 1059 33554432000 4194304 5683644 140734994843072 140734994840920 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30387/statm: 4186 1059 429 364 0 628 0
[pid=30388] ppid=30387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30388/stat : 30388 (sh) S 30387 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042244 9367552 268 33554432000 4194304 5064252 140734397458656 140734397457360 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30388/statm: 2287 268 226 213 0 72 0
[pid=30389] ppid=30388 vsize=1239788 CPUtime=2.81 cores=0,2,4,6
/proc/30389/stat : 30389 (PBPASSolver-817) R 30388 30384 30201 0 -1 4202496 220791 0 0 0 182 99 0 0 20 0 1 0 293042244 1269542912 136179 33554432000 4194304 4943705 140736941541424 140736941540336 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 18 0 0
/proc/30389/statm: 309947 136179 357 183 0 306317 0
Current children cumulated CPU time (s) 2.84
Current children cumulated vsize (KiB) 1291824
[startup+6.30041 s]
/proc/loadavg: 1.99 1.29 0.56 3/184 30390
/proc/meminfo: memFree=29793064/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
[pid=30386] ppid=30384 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30386/stat : 30386 (sh) S 30384 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042241 9367552 267 33554432000 4194304 5064252 140734793990080 140734793988784 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30386/statm: 2287 267 226 213 0 72 0
[pid=30387] ppid=30386 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/30387/stat : 30387 (python) S 30386 30384 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293042241 17145856 1059 33554432000 4194304 5683644 140734994843072 140734994840920 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30387/statm: 4186 1059 429 364 0 628 0
[pid=30388] ppid=30387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30388/stat : 30388 (sh) S 30387 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042244 9367552 268 33554432000 4194304 5064252 140734397458656 140734397457360 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30388/statm: 2287 268 226 213 0 72 0
[pid=30389] ppid=30388 vsize=2143212 CPUtime=6.01 cores=0,2,4,6
/proc/30389/stat : 30389 (PBPASSolver-817) R 30388 30384 30201 0 -1 4202496 319618 0 0 0 445 156 0 0 20 0 1 0 293042244 2194649088 235006 33554432000 4194304 4943705 140736941541424 140736941540336 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 18 0 0
/proc/30389/statm: 535803 235006 357 183 0 532173 0
Current children cumulated CPU time (s) 6.04
Current children cumulated vsize (KiB) 2195248
[startup+12.7004 s]
/proc/loadavg: 1.99 1.31 0.57 3/184 30390
/proc/meminfo: memFree=29224516/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
[pid=30386] ppid=30384 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30386/stat : 30386 (sh) S 30384 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042241 9367552 267 33554432000 4194304 5064252 140734793990080 140734793988784 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30386/statm: 2287 267 226 213 0 72 0
[pid=30387] ppid=30386 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/30387/stat : 30387 (python) S 30386 30384 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293042241 17145856 1059 33554432000 4194304 5683644 140734994843072 140734994840920 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30387/statm: 4186 1059 429 364 0 628 0
[pid=30388] ppid=30387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30388/stat : 30388 (sh) S 30387 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042244 9367552 268 33554432000 4194304 5064252 140734397458656 140734397457360 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30388/statm: 2287 268 226 213 0 72 0
[pid=30389] ppid=30388 vsize=3346412 CPUtime=12.26 cores=0,2,4,6
/proc/30389/stat : 30389 (PBPASSolver-817) R 30388 30384 30201 0 -1 4202496 451223 0 0 0 992 234 0 0 20 0 1 0 293042244 3426725888 366611 33554432000 4194304 4943705 140736941541424 140736941539696 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 28 0 0
/proc/30389/statm: 836603 366611 357 183 0 832973 0
Current children cumulated CPU time (s) 12.29
Current children cumulated vsize (KiB) 3398448
[startup+25.5004 s]
/proc/loadavg: 1.99 1.34 0.59 3/184 30390
/proc/meminfo: memFree=28529240/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
[pid=30386] ppid=30384 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30386/stat : 30386 (sh) S 30384 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042241 9367552 267 33554432000 4194304 5064252 140734793990080 140734793988784 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30386/statm: 2287 267 226 213 0 72 0
[pid=30387] ppid=30386 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/30387/stat : 30387 (python) S 30386 30384 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293042241 17145856 1059 33554432000 4194304 5683644 140734994843072 140734994840920 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30387/statm: 4186 1059 429 364 0 628 0
[pid=30388] ppid=30387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30388/stat : 30388 (sh) S 30387 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042244 9367552 268 33554432000 4194304 5064252 140734397458656 140734397457360 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30388/statm: 2287 268 226 213 0 72 0
[pid=30389] ppid=30388 vsize=4861932 CPUtime=24.97 cores=0,2,4,6
/proc/30389/stat : 30389 (PBPASSolver-817) R 30388 30384 30201 0 -1 4202496 616961 0 0 0 2165 332 0 0 20 0 1 0 293042244 4978618368 532349 33554432000 4194304 4943705 140736941541424 140736941540336 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 37 0 0
/proc/30389/statm: 1215483 532349 357 183 0 1211853 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 4913968
[startup+51.1004 s]
/proc/loadavg: 1.99 1.39 0.63 3/184 30390
/proc/meminfo: memFree=27660140/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
[pid=30386] ppid=30384 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30386/stat : 30386 (sh) S 30384 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042241 9367552 267 33554432000 4194304 5064252 140734793990080 140734793988784 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30386/statm: 2287 267 226 213 0 72 0
[pid=30387] ppid=30386 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/30387/stat : 30387 (python) S 30386 30384 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293042241 17145856 1059 33554432000 4194304 5683644 140734994843072 140734994840920 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30387/statm: 4186 1059 429 364 0 628 0
[pid=30388] ppid=30387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30388/stat : 30388 (sh) S 30387 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042244 9367552 268 33554432000 4194304 5064252 140734397458656 140734397457360 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30388/statm: 2287 268 226 213 0 72 0
[pid=30389] ppid=30388 vsize=6821612 CPUtime=50.31 cores=0,2,4,6
/proc/30389/stat : 30389 (PBPASSolver-817) R 30388 30384 30201 0 -1 4202496 831323 0 0 0 4564 467 0 0 20 0 1 0 293042244 6985330688 746711 33554432000 4194304 4943705 140736941541424 140736941540336 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 57 0 0
/proc/30389/statm: 1705403 746711 357 183 0 1701773 0
Current children cumulated CPU time (s) 50.34
Current children cumulated vsize (KiB) 6873648
[startup+102.3 s]
/proc/loadavg: 1.99 1.48 0.70 3/183 30390
/proc/meminfo: memFree=26415008/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
[pid=30386] ppid=30384 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30386/stat : 30386 (sh) S 30384 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042241 9367552 267 33554432000 4194304 5064252 140734793990080 140734793988784 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30386/statm: 2287 267 226 213 0 72 0
[pid=30387] ppid=30386 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/30387/stat : 30387 (python) S 30386 30384 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293042241 17145856 1059 33554432000 4194304 5683644 140734994843072 140734994840920 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30387/statm: 4186 1059 429 364 0 628 0
[pid=30388] ppid=30387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30388/stat : 30388 (sh) S 30387 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042244 9367552 268 33554432000 4194304 5064252 140734397458656 140734397457360 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30388/statm: 2287 268 226 213 0 72 0
[pid=30389] ppid=30388 vsize=9597676 CPUtime=101 cores=0,2,4,6
/proc/30389/stat : 30389 (PBPASSolver-817) R 30388 30384 30201 0 -1 4202496 1134955 0 0 0 9456 644 0 0 20 0 1 0 293042244 9828020224 1057831 33554432000 4194304 4943705 140736941541424 140736941539696 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 105 0 0
/proc/30389/statm: 2399419 1057831 357 183 0 2395789 0
Current children cumulated CPU time (s) 101.03
Current children cumulated vsize (KiB) 9649712
[startup+162.3 s]
/proc/loadavg: 1.99 1.57 0.78 3/183 30391
/proc/meminfo: memFree=25232196/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
[pid=30386] ppid=30384 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30386/stat : 30386 (sh) S 30384 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042241 9367552 267 33554432000 4194304 5064252 140734793990080 140734793988784 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30386/statm: 2287 267 226 213 0 72 0
[pid=30387] ppid=30386 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/30387/stat : 30387 (python) S 30386 30384 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293042241 17145856 1059 33554432000 4194304 5683644 140734994843072 140734994840920 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30387/statm: 4186 1059 429 364 0 628 0
[pid=30388] ppid=30387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30388/stat : 30388 (sh) S 30387 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042244 9367552 268 33554432000 4194304 5064252 140734397458656 140734397457360 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30388/statm: 2287 268 226 213 0 72 0
[pid=30389] ppid=30388 vsize=12088556 CPUtime=160.43 cores=0,2,4,6
/proc/30389/stat : 30389 (PBPASSolver-817) R 30388 30384 30201 0 -1 4202496 1407396 0 0 0 15235 808 0 0 20 0 1 0 293042244 12378681344 1344095 33554432000 4194304 4943705 140736941541424 140736941539696 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 158 0 0
/proc/30389/statm: 3022139 1344095 357 183 0 3018509 0
Current children cumulated CPU time (s) 160.46
Current children cumulated vsize (KiB) 12140592
[startup+222.3 s]
/proc/loadavg: 1.99 1.65 0.85 3/183 30391
/proc/meminfo: memFree=24251756/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
[pid=30386] ppid=30384 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30386/stat : 30386 (sh) S 30384 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042241 9367552 267 33554432000 4194304 5064252 140734793990080 140734793988784 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30386/statm: 2287 267 226 213 0 72 0
[pid=30387] ppid=30386 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/30387/stat : 30387 (python) S 30386 30384 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293042241 17145856 1059 33554432000 4194304 5683644 140734994843072 140734994840920 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30387/statm: 4186 1059 429 364 0 628 0
[pid=30388] ppid=30387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30388/stat : 30388 (sh) S 30387 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042244 9367552 268 33554432000 4194304 5064252 140734397458656 140734397457360 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30388/statm: 2287 268 226 213 0 72 0
[pid=30389] ppid=30388 vsize=14168300 CPUtime=219.9 cores=0,2,4,6
/proc/30389/stat : 30389 (PBPASSolver-817) R 30388 30384 30201 0 -1 4202496 1634870 0 0 0 21042 948 0 0 20 0 1 0 293042244 14508339200 1585391 33554432000 4194304 4943705 140736941541424 140736941539696 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 207 0 0
/proc/30389/statm: 3542075 1585391 357 183 0 3538445 0
Current children cumulated CPU time (s) 219.93
Current children cumulated vsize (KiB) 14220336
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+276.1 s]
/proc/loadavg: 1.99 1.71 0.91 3/184 30394
/proc/meminfo: memFree=23470288/32873844 swapFree=7372/7372
[pid=30384] ppid=30382 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/30384/stat : 30384 (python) S 30382 30384 30201 0 -1 4202496 1333 0 0 0 1 1 0 0 20 0 1 0 293042234 17403904 1081 33554432000 4194304 5683644 140734974737264 140734974735112 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30384/statm: 4249 1081 429 364 0 691 0
[pid=30386] ppid=30384 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30386/stat : 30386 (sh) S 30384 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042241 9367552 267 33554432000 4194304 5064252 140734793990080 140734793988784 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30386/statm: 2287 267 226 213 0 72 0
[pid=30387] ppid=30386 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/30387/stat : 30387 (python) S 30386 30384 30201 0 -1 4202496 1298 0 0 0 1 0 0 0 20 0 1 0 293042241 17145856 1059 33554432000 4194304 5683644 140734994843072 140734994840920 251032061312 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30387/statm: 4186 1059 429 364 0 628 0
[pid=30388] ppid=30387 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30388/stat : 30388 (sh) S 30387 30384 30201 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293042244 9367552 268 33554432000 4194304 5064252 140734397458656 140734397457360 251031873102 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30388/statm: 2287 268 226 213 0 72 0
[pid=30389] ppid=30388 vsize=15821548 CPUtime=273.25 cores=0,2,4,6
/proc/30389/stat : 30389 (PBPASSolver-817) R 30388 30384 30201 0 -1 4202496 1815699 0 0 0 26266 1059 0 0 20 0 1 0 293042244 16201265152 1777735 33554432000 4194304 4943705 140736941541424 140736941540336 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 251 0 0
/proc/30389/statm: 3955387 1777735 357 183 0 3951757 0
Current children cumulated CPU time (s) 273.28
Current children cumulated vsize (KiB) 15873584
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 30384 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=28995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=22996
# CPU time returned by wait4() is 0.051991
# while last known CPU time is 273.28
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 276.119
CPU time (s): 273.28
CPU user time (s): 262.68
CPU system time (s): 10.6
CPU usage (%): 98.9719
Max. virtual memory (cumulated for all children) (KiB): 15873584
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.028995
system time used= 0.022996
maximum resident set size= 4328
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= 4
runsolver used 0.433934 second user time and 1.07984 second system time
The end