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-3718749-1338273024/watcher-3718749-1338273024 -o /tmp/evaluation-result-3718749-1338273024/solver-3718749-1338273024 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718749-1338273024.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.07 2.04 1.97 3/177 30306
/proc/meminfo: memFree=29563304/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/30306/stat : 30306 (python) R 30304 30306 29711 0 -1 4202496 633 0 0 0 0 0 0 0 20 0 1 0 293431441 15642624 527 33554432000 4194304 5683644 140734718416688 140734718402600 226329707408 0 0 16781312 2 0 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 3819 527 312 364 0 261 0
[startup+0.0338311 s]
/proc/loadavg: 2.07 2.04 1.97 3/177 30306
/proc/meminfo: memFree=29563304/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=15976 CPUtime=0 cores=0,2,4,6
/proc/30306/stat : 30306 (python) D 30304 30306 29711 0 -1 4202496 940 0 0 0 0 0 0 0 20 0 1 0 293431441 16359424 792 33554432000 4194304 5683644 140734718416688 140734718375144 226329707408 0 0 16781312 2 18446744072100609316 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 3994 792 356 364 0 436 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15976
[startup+0.100264 s]
/proc/loadavg: 2.07 2.04 1.97 3/177 30306
/proc/meminfo: memFree=29563304/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.30028 s]
/proc/loadavg: 2.07 2.04 1.97 3/177 30306
/proc/meminfo: memFree=29563304/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/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.07 2.04 1.97 3/177 30306
/proc/meminfo: memFree=29563304/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+1.50044 s]
/proc/loadavg: 2.07 2.04 1.97 3/182 30311
/proc/meminfo: memFree=29536260/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=61388 CPUtime=1.38 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 151558 0 0 0 75 63 0 0 20 0 1 0 293431452 62861312 11926 33554432000 4194304 4943705 140734805144256 140734805141392 4270812 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/30311/statm: 15347 11934 329 183 0 11717 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 113424
[startup+3.10044 s]
/proc/loadavg: 2.07 2.04 1.97 3/182 30311
/proc/meminfo: memFree=29521916/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=82892 CPUtime=2.98 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 229558 0 0 0 165 133 0 0 20 0 1 0 293431452 84881408 17329 33554432000 4194304 4943705 140734805144256 140734805141392 4270812 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/30311/statm: 20723 17337 329 183 0 17093 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 134928
[startup+6.30045 s]
/proc/loadavg: 2.06 2.03 1.97 3/182 30311
/proc/meminfo: memFree=29519132/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=112716 CPUtime=6.18 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 338586 0 0 0 348 270 0 0 20 0 1 0 293431452 115421184 16976 33554432000 4194304 4943705 140734805144256 140734805141392 4270708 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/30311/statm: 28179 16976 329 183 0 24549 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 164752
[startup+12.7005 s]
/proc/loadavg: 2.06 2.03 1.97 3/182 30311
/proc/meminfo: memFree=29479556/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=154060 CPUtime=12.57 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 493584 0 0 0 710 547 0 0 20 0 1 0 293431452 157757440 29200 33554432000 4194304 4943705 140734805144256 140734805141392 4270812 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/30311/statm: 38515 29200 329 183 0 34885 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 206096
[startup+25.5004 s]
/proc/loadavg: 2.04 2.03 1.97 3/182 30311
/proc/meminfo: memFree=29403648/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=212428 CPUtime=25.37 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 717001 0 0 0 1431 1106 0 0 20 0 1 0 293431452 217526272 48528 33554432000 4194304 4943705 140734805144256 140734805141392 4270812 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/30311/statm: 53107 48528 329 183 0 49477 0
Current children cumulated CPU time (s) 25.39
Current children cumulated vsize (KiB) 264464
[startup+51.1005 s]
/proc/loadavg: 2.03 2.03 1.97 3/181 30311
/proc/meminfo: memFree=29400968/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=295372 CPUtime=50.98 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 1046272 0 0 0 2867 2231 0 0 20 0 1 0 293431452 302460928 69392 33554432000 4194304 4943705 140734805144256 140734805141392 4270708 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/30311/statm: 73843 69392 329 183 0 70213 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 347408
[startup+102.307 s]
/proc/loadavg: 2.01 2.02 1.97 3/181 30311
/proc/meminfo: memFree=29185536/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
################
# More data... #
################
Current children cumulated vsize (KiB) 3206896
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 30313
/proc/meminfo: memFree=26395940/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=6502028 CPUtime=281.74 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 2800724 0 0 0 14973 13201 0 0 20 0 1 0 293431452 6658076672 747896 33554432000 4194304 4943705 140734805144256 140734805141408 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 39 0 0
/proc/30311/statm: 1625507 747896 366 183 0 1621877 0
Current children cumulated CPU time (s) 281.76
Current children cumulated vsize (KiB) 6554064
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 30313
/proc/meminfo: memFree=25128428/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=9220364 CPUtime=341.53 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 3098254 0 0 0 18695 15458 0 0 20 0 1 0 293431452 9441652736 1045410 33554432000 4194304 4943705 140734805144256 140734805141280 4361049 0 0 16781312 17608 0 0 0 17 4 0 0 59 0 0
/proc/30311/statm: 2305091 1045410 366 183 0 2301461 0
Current children cumulated CPU time (s) 341.55
Current children cumulated vsize (KiB) 9272400
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 30313
/proc/meminfo: memFree=24055836/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=11541516 CPUtime=401.17 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 3352242 0 0 0 22706 17411 0 0 20 0 1 0 293431452 11818512384 1299398 33554432000 4194304 4943705 140734805144256 140734805140896 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 89 0 0
/proc/30311/statm: 2885379 1299398 366 183 0 2881749 0
Current children cumulated CPU time (s) 401.19
Current children cumulated vsize (KiB) 11593552
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 30313
/proc/meminfo: memFree=23062200/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=13635404 CPUtime=460.97 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 3581361 0 0 0 26964 19133 0 0 20 0 1 0 293431452 13962653696 1528509 33554432000 4194304 4943705 140734805144256 140734805143168 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 109 0 0
/proc/30311/statm: 3408851 1528509 366 183 0 3405221 0
Current children cumulated CPU time (s) 460.99
Current children cumulated vsize (KiB) 13687440
[startup+522.3 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 30314
/proc/meminfo: memFree=22188716/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=15522444 CPUtime=520.74 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 3787883 0 0 0 31361 20713 0 0 20 0 1 0 293431452 15894982656 1735031 33554432000 4194304 4943705 140734805144256 140734805143168 4361008 0 0 16781312 17608 0 0 0 17 4 0 0 131 0 0
/proc/30311/statm: 3880611 1735031 366 183 0 3876981 0
Current children cumulated CPU time (s) 520.76
Current children cumulated vsize (KiB) 15574480
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+532.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 30314
/proc/meminfo: memFree=22037684/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=15820428 CPUtime=530.51 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 3820544 0 0 0 32098 20953 0 0 20 0 1 0 293431452 16200118272 1767660 33554432000 4194304 4943705 140734805144256 140734805143168 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 134 0 0
/proc/30311/statm: 3955107 1767660 366 183 0 3951477 0
Current children cumulated CPU time (s) 530.53
Current children cumulated vsize (KiB) 15872464
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
[startup+532.1 s]
/proc/loadavg: 2.00 2.00 1.97 3/181 30314
/proc/meminfo: memFree=22037684/32873844 swapFree=6088/6088
[pid=30306] ppid=30304 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/30306/stat : 30306 (python) S 30304 30306 29711 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293431441 17408000 1082 33554432000 4194304 5683644 140734718416688 140734718414536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30306/statm: 4250 1082 429 364 0 692 0
[pid=30308] ppid=30306 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30308/stat : 30308 (sh) S 30306 30306 29711 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293431449 9367552 267 33554432000 4194304 5064252 140736904037680 140736904036384 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30308/statm: 2287 267 226 213 0 72 0
[pid=30309] ppid=30308 vsize=16740 CPUtime=0.01 cores=0,2,4,6
/proc/30309/stat : 30309 (python) S 30308 30306 29711 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293431449 17141760 1059 33554432000 4194304 5683644 140733789048688 140733789046536 226329707904 0 0 16781312 2 18446744071580380219 0 0 17 4 0 0 0 0 0
/proc/30309/statm: 4185 1059 429 364 0 627 0
[pid=30310] ppid=30309 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/30310/stat : 30310 (sh) S 30309 30306 29711 0 -1 4202496 324 0 0 0 0 0 0 0 20 0 1 0 293431452 9367552 267 33554432000 4194304 5064252 140734191054096 140734191052800 226329519694 0 65536 16781316 65538 18446744071579302229 0 0 17 0 0 0 0 0 0
/proc/30310/statm: 2287 267 226 213 0 72 0
[pid=30311] ppid=30310 vsize=15820428 CPUtime=530.51 cores=0,2,4,6
/proc/30311/stat : 30311 (PBPASSolver-817) R 30310 30306 29711 0 -1 4202496 3820544 0 0 0 32098 20953 0 0 20 0 1 0 293431452 16200118272 1767660 33554432000 4194304 4943705 140734805144256 140734805143168 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 134 0 0
/proc/30311/statm: 3955107 1767660 366 183 0 3951477 0
Current children cumulated CPU time (s) 530.53
Current children cumulated vsize (KiB) 15872464
Child status: 0
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 30306 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=26995
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=14997
# CPU time returned by wait4() is 0.041992
# while last known CPU time is 530.53
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 532.118
CPU time (s): 530.53
CPU user time (s): 321
CPU system time (s): 209.53
CPU usage (%): 99.7015
Max. virtual memory (cumulated for all children) (KiB): 15872464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.026995
system time used= 0.014997
maximum resident set size= 4332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3492
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 191
involuntary context switches= 3
runsolver used 1.00785 second user time and 2.37264 second system time
The end