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-3718707-1338272817/watcher-3718707-1338272817 -o /tmp/evaluation-result-3718707-1338272817/solver-3718707-1338272817 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718707-1338272817.opb PrimePower CARD.DP ./CryptoMiniSat
running on 4 cores: 1,3,5,7
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.10 2.03 1.93 3/179 18983
/proc/meminfo: memFree=26784864/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=15276 CPUtime=0 cores=1,3,5,7
/proc/18983/stat : 18983 (python) R 18981 18983 18564 0 -1 4202496 626 0 0 0 0 0 0 0 20 0 1 0 293405855 15642624 520 33554432000 4194304 5683644 140736867446672 140736867433448 4540219 0 0 16781312 2 0 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 3819 524 310 364 0 261 0
[startup+0.043716 s]
/proc/loadavg: 2.10 2.03 1.93 3/179 18983
/proc/meminfo: memFree=26784864/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16100 CPUtime=0 cores=1,3,5,7
/proc/18983/stat : 18983 (python) D 18981 18983 18564 0 -1 4202496 996 0 0 0 0 0 0 0 20 0 1 0 293405855 16486400 833 33554432000 4194304 5683644 140736867446672 140736867389400 251053032336 0 0 16781312 2 18446744072100609316 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4025 833 368 364 0 467 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16100
[startup+0.100271 s]
/proc/loadavg: 2.10 2.03 1.93 3/179 18983
/proc/meminfo: memFree=26784864/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300294 s]
/proc/loadavg: 2.10 2.03 1.93 3/179 18983
/proc/meminfo: memFree=26784864/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700285 s]
/proc/loadavg: 2.10 2.03 1.93 3/179 18983
/proc/meminfo: memFree=26784864/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50044 s]
/proc/loadavg: 2.10 2.03 1.93 3/184 18988
/proc/meminfo: memFree=26562592/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=791276 CPUtime=1.38 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 89322 0 0 0 88 50 0 0 20 0 1 0 293405865 810266624 85814 33554432000 4194304 4943705 140734245598448 140734245597360 4267832 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/18988/statm: 197883 85818 357 183 0 194253 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 843304
[startup+3.10045 s]
/proc/loadavg: 2.10 2.03 1.93 3/184 18988
/proc/meminfo: memFree=26364812/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=1346028 CPUtime=2.98 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 149998 0 0 0 211 87 0 0 20 0 1 0 293405865 1378332672 146490 33554432000 4194304 4943705 140734245598448 140734245596720 4358535 0 0 16781312 17608 0 0 0 17 3 0 0 0 0 0
/proc/18988/statm: 336507 146490 357 183 0 332877 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 1398056
[startup+6.30045 s]
/proc/loadavg: 2.09 2.03 1.93 3/184 18988
/proc/meminfo: memFree=25961412/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=2142188 CPUtime=6.06 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 237078 0 0 0 468 138 0 0 20 0 1 0 293405865 2193600512 233570 33554432000 4194304 4943705 140734245598448 140734245597360 4358535 0 0 16781312 17608 0 0 0 17 3 0 0 11 0 0
/proc/18988/statm: 535547 233570 357 183 0 531917 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 2194216
[startup+12.7004 s]
/proc/loadavg: 2.16 2.04 1.93 3/184 18988
/proc/meminfo: memFree=25393584/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=3308524 CPUtime=12.42 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 364646 0 0 0 1023 219 0 0 20 0 1 0 293405865 3387928576 361138 33554432000 4194304 4943705 140734245598448 140734245597360 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 15 0 0
/proc/18988/statm: 827131 361138 357 183 0 823501 0
Current children cumulated CPU time (s) 12.44
Current children cumulated vsize (KiB) 3360552
[startup+25.5004 s]
/proc/loadavg: 2.12 2.04 1.93 3/184 18988
/proc/meminfo: memFree=25145428/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=3708364 CPUtime=25.15 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 411044 0 0 0 1516 999 0 0 20 0 1 0 293405865 3797364736 405632 33554432000 4194304 4943705 140734245598448 140734245595856 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 23 0 0
/proc/18988/statm: 927091 405632 366 183 0 923461 0
Current children cumulated CPU time (s) 25.17
Current children cumulated vsize (KiB) 3760392
[startup+51.1004 s]
/proc/loadavg: 2.08 2.04 1.93 3/184 18989
/proc/meminfo: memFree=25028408/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=3794636 CPUtime=50.69 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 444364 0 0 0 2141 2928 0 0 20 0 1 0 293405865 3885707264 422376 33554432000 4194304 4943705 140734245598448 140734245595856 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 29 0 0
/proc/18988/statm: 948659 422376 366 183 0 945029 0
Current children cumulated CPU time (s) 50.71
Current children cumulated vsize (KiB) 3846664
[startup+102.307 s]
/proc/loadavg: 2.08 2.04 1.94 3/183 18989
/proc/meminfo: memFree=24628272/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=3963340 CPUtime=101.77 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 519553 0 0 0 3432 6745 0 0 20 0 1 0 293405865 4058460160 457821 33554432000 4194304 4943705 140734245598448 140734245593360 4361008 0 0 16781312 17608 0 0 0 17 3 0 0 41 0 0
/proc/18988/statm: 990835 457821 366 183 0 987205 0
Current children cumulated CPU time (s) 101.79
Current children cumulated vsize (KiB) 4015368
Solver just ended. Dumping a history of the last processes samples
[startup+115.1 s]
/proc/loadavg: 2.06 2.04 1.94 3/183 18989
/proc/meminfo: memFree=24564716/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=4006092 CPUtime=114.52 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 532882 0 0 0 3758 7694 0 0 20 0 1 0 293405865 4102238208 467246 33554432000 4194304 4943705 140734245598448 140734245595536 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 44 0 0
/proc/18988/statm: 1001523 467246 366 183 0 997893 0
Current children cumulated CPU time (s) 114.54
Current children cumulated vsize (KiB) 4058120
[startup+118.3 s]
/proc/loadavg: 2.06 2.04 1.94 3/183 18989
/proc/meminfo: memFree=24547660/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=4016844 CPUtime=117.72 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 536253 0 0 0 3839 7933 0 0 20 0 1 0 293405865 4113248256 469721 33554432000 4194304 4943705 140734245598448 140734245595712 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 44 0 0
/proc/18988/statm: 1004211 469721 366 183 0 1000581 0
Current children cumulated CPU time (s) 117.74
Current children cumulated vsize (KiB) 4068872
[startup+119.907 s]
/proc/loadavg: 2.06 2.04 1.94 3/183 18989
/proc/meminfo: memFree=24536624/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=4021964 CPUtime=119.32 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 537901 0 0 0 3881 8051 0 0 20 0 1 0 293405865 4118491136 470857 33554432000 4194304 4943705 140734245598448 140734245595824 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 45 0 0
/proc/18988/statm: 1005491 470857 366 183 0 1001861 0
Current children cumulated CPU time (s) 119.34
Current children cumulated vsize (KiB) 4073992
[startup+121.5 s]
/proc/loadavg: 2.06 2.04 1.94 3/183 18989
/proc/meminfo: memFree=24529492/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=4027084 CPUtime=120.91 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 539449 0 0 0 3922 8169 0 0 20 0 1 0 293405865 4123734016 471957 33554432000 4194304 4943705 140734245598448 140734245595856 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 45 0 0
/proc/18988/statm: 1006771 471957 366 183 0 1003141 0
Current children cumulated CPU time (s) 120.93
Current children cumulated vsize (KiB) 4079112
[startup+121.9 s]
/proc/loadavg: 2.06 2.04 1.94 3/183 18989
/proc/meminfo: memFree=24529492/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1059 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1059 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=4028876 CPUtime=121.31 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202496 540017 0 0 0 3931 8200 0 0 20 0 1 0 293405865 4125569024 472333 33554432000 4194304 4943705 140734245598448 140734245595856 4267542 0 0 16781312 17608 0 0 0 17 3 0 0 45 0 0
/proc/18988/statm: 1007219 472333 366 183 0 1003589 0
Current children cumulated CPU time (s) 121.33
Current children cumulated vsize (KiB) 4080904
[startup+122.107 s]
/proc/loadavg: 2.06 2.04 1.94 3/183 18989
/proc/meminfo: memFree=24524036/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1331 0 0 0 1 0 0 0 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444520 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
[pid=18985] ppid=18983 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18985/stat : 18985 (sh) S 18983 18983 18564 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293405862 9367552 267 33554432000 4194304 5064252 140734384166336 140734384165040 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18985/statm: 2287 267 226 213 0 72 0
[pid=18986] ppid=18985 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/18986/stat : 18986 (python) S 18985 18983 18564 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293405863 17141760 1060 33554432000 4194304 5683644 140736869511968 140736869509816 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 3 0 0 0 0 0
/proc/18986/statm: 4185 1060 429 364 0 627 0
[pid=18987] ppid=18986 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/18987/stat : 18987 (sh) S 18986 18983 18564 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293405865 9367552 268 33554432000 4194304 5064252 140734673627088 140734673625792 251052844622 0 65536 16781316 65538 18446744071579302229 0 0 17 7 0 0 0 0 0
/proc/18987/statm: 2287 268 226 213 0 72 0
[pid=18988] ppid=18987 vsize=0 CPUtime=121.51 cores=1,3,5,7
/proc/18988/stat : 18988 (PBPASSolver-817) R 18987 18983 18564 0 -1 4202500 540064 0 0 0 3938 8213 0 0 20 0 1 0 293405865 0 0 33554432000 0 0 0 0 0 0 0 16781312 17608 18446744073709551615 0 0 17 3 0 0 45 0 0
/proc/18988/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 121.53
Current children cumulated vsize (KiB) 52028
[startup+122.2 s]
/proc/loadavg: 2.06 2.04 1.94 3/183 18989
/proc/meminfo: memFree=24524036/32873648 swapFree=7368/7368
[pid=18983] ppid=18981 vsize=16992 CPUtime=121.63 cores=1,3,5,7
/proc/18983/stat : 18983 (python) S 18981 18983 18564 0 -1 4202496 1402 542549 0 0 1 0 3940 8222 20 0 1 0 293405855 17399808 1081 33554432000 4194304 5683644 140736867446672 140736867444216 251053032832 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/18983/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 121.63
Current children cumulated vsize (KiB) 16992
Child status: 0
Real time (s): 122.258
CPU time (s): 121.716
CPU user time (s): 39.463
CPU system time (s): 82.2535
CPU usage (%): 99.5569
Max. virtual memory (cumulated for all children) (KiB): 4080904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 39.463
system time used= 82.2535
maximum resident set size= 1889332
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 550281
page faults= 0
swaps= 0
block input operations= 0
block output operations= 430904
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 258
involuntary context switches= 134
runsolver used 0.283956 second user time and 0.723889 second system time
The end