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-3718725-1338272451/watcher-3718725-1338272451 -o /tmp/evaluation-result-3718725-1338272451/solver-3718725-1338272451 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3718725-1338272451.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.02 2.01 1.91 3/181 25909
/proc/meminfo: memFree=23934916/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=8 CPUtime=0 cores=1,3,5,7
/proc/25909/stat : 25909 (runsolver) R 25907 25909 25628 0 -1 4202560 48 0 0 0 0 0 0 0 20 0 1 0 293369973 8192 1 33554432000 0 0 0 140736126822808 5057063 0 0 4096 24578 0 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 386 1 0 0 0 22 0
[startup+0.0634459 s]
/proc/loadavg: 2.02 2.01 1.91 3/181 25909
/proc/meminfo: memFree=23934916/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16620 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) R 25907 25909 25628 0 -1 4202496 1183 0 0 0 1 0 0 0 20 0 1 0 293369973 17018880 992 33554432000 4194304 5683644 140734731275328 140734731258696 233220947637 0 0 16781312 2 0 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4155 992 416 364 0 597 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16620
[startup+0.100314 s]
/proc/loadavg: 2.02 2.01 1.91 3/181 25909
/proc/meminfo: memFree=23934916/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300304 s]
/proc/loadavg: 2.02 2.01 1.91 3/181 25909
/proc/meminfo: memFree=23934916/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700309 s]
/proc/loadavg: 2.02 2.01 1.91 3/181 25909
/proc/meminfo: memFree=23934916/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50048 s]
/proc/loadavg: 2.02 2.01 1.91 3/186 25914
/proc/meminfo: memFree=23718488/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=674348 CPUtime=1.37 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 75306 0 0 0 71 66 0 0 20 0 1 0 293369985 690532352 72997 33554432000 4194304 4943705 140735120478848 140735120477120 4358535 0 0 16781312 17608 0 0 0 17 1 0 0 0 0 0
/proc/25914/statm: 168587 72997 357 183 0 164957 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 726376
[startup+3.10046 s]
/proc/loadavg: 2.02 2.01 1.91 3/186 25914
/proc/meminfo: memFree=23549352/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=1127212 CPUtime=2.97 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 124835 0 0 0 192 105 0 0 20 0 1 0 293369985 1154265088 122526 33554432000 4194304 4943705 140735120478848 140735120477760 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 0 0 0
/proc/25914/statm: 281803 122528 357 183 0 278173 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 1179240
[startup+6.30046 s]
/proc/loadavg: 2.02 2.01 1.91 3/186 25914
/proc/meminfo: memFree=23212072/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=1774636 CPUtime=6.05 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 195650 0 0 0 439 166 0 0 20 0 1 0 293369985 1817227264 193341 33554432000 4194304 4943705 140735120478848 140735120477760 4358535 0 0 16781312 17608 0 0 0 17 1 0 0 11 0 0
/proc/25914/statm: 443659 193341 357 183 0 440029 0
Current children cumulated CPU time (s) 6.07
Current children cumulated vsize (KiB) 1826664
[startup+12.7004 s]
/proc/loadavg: 2.02 2.01 1.91 3/185 25914
/proc/meminfo: memFree=22725256/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=2737452 CPUtime=12.32 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 300958 0 0 0 970 262 0 0 20 0 1 0 293369985 2803150848 298649 33554432000 4194304 4943705 140735120478848 140735120477760 4358535 0 0 16781312 17608 0 0 0 17 1 0 0 25 0 0
/proc/25914/statm: 684363 298649 357 183 0 680733 0
Current children cumulated CPU time (s) 12.34
Current children cumulated vsize (KiB) 2789480
[startup+25.5004 s]
/proc/loadavg: 2.01 2.01 1.91 3/185 25914
/proc/meminfo: memFree=22347288/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=3379820 CPUtime=24.98 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 371658 0 0 0 1571 927 0 0 20 0 1 0 293369985 3460935680 369141 33554432000 4194304 4943705 140735120478848 140735120476256 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 39 0 0
/proc/25914/statm: 844955 369141 366 183 0 841325 0
Current children cumulated CPU time (s) 25
Current children cumulated vsize (KiB) 3431848
[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 1.91 3/185 25957
/proc/meminfo: memFree=28585968/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=3443372 CPUtime=50.52 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 381407 0 0 0 2161 2891 0 0 20 0 1 0 293369985 3526012928 379878 33554432000 4194304 4943705 140735120478848 140735120475584 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 44 0 0
/proc/25914/statm: 860843 379878 366 183 0 857213 0
Current children cumulated CPU time (s) 50.54
Current children cumulated vsize (KiB) 3495400
Solver just ended. Dumping a history of the last processes samples
[startup+76.7004 s]
/proc/loadavg: 2.00 2.00 1.91 3/185 25957
/proc/meminfo: memFree=28023784/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=3495340 CPUtime=76.05 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 388853 0 0 0 2663 4942 0 0 20 0 1 0 293369985 3579228160 390018 33554432000 4194304 4943705 140735120478848 140735120476256 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 50 0 0
/proc/25914/statm: 873835 390018 366 183 0 870205 0
Current children cumulated CPU time (s) 76.07
Current children cumulated vsize (KiB) 3547368
[startup+89.5004 s]
/proc/loadavg: 2.00 2.00 1.91 3/185 25957
/proc/meminfo: memFree=27926908/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=3522988 CPUtime=88.71 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 399610 0 0 0 2883 5988 0 0 20 0 1 0 293369985 3607539712 400244 33554432000 4194304 4943705 140735120478848 140735120476224 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 64 0 0
/proc/25914/statm: 880747 400244 366 183 0 877117 0
Current children cumulated CPU time (s) 88.73
Current children cumulated vsize (KiB) 3575016
[startup+95.9004 s]
/proc/loadavg: 2.00 2.00 1.91 3/185 25957
/proc/meminfo: memFree=27884252/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=3537068 CPUtime=95.08 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 404519 0 0 0 3000 6508 0 0 20 0 1 0 293369985 3621957632 403233 33554432000 4194304 4943705 140735120478848 140735120476256 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 67 0 0
/proc/25914/statm: 884267 403233 366 183 0 880637 0
Current children cumulated CPU time (s) 95.1
Current children cumulated vsize (KiB) 3589096
[startup+99.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/185 25957
/proc/meminfo: memFree=27853608/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=3543724 CPUtime=98.28 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 406994 0 0 0 3058 6770 0 0 20 0 1 0 293369985 3628773376 406988 33554432000 4194304 4943705 140735120478848 140735120476224 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 67 0 0
/proc/25914/statm: 885931 406988 366 183 0 882301 0
Current children cumulated CPU time (s) 98.3
Current children cumulated vsize (KiB) 3595752
[startup+99.9004 s]
/proc/loadavg: 2.00 2.00 1.91 3/185 25957
/proc/meminfo: memFree=27853608/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=3545516 CPUtime=99.06 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 407557 0 0 0 3073 6833 0 0 20 0 1 0 293369985 3630608384 407359 33554432000 4194304 4943705 140735120478848 140735120474048 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 69 0 0
/proc/25914/statm: 886379 407359 366 183 0 882749 0
Current children cumulated CPU time (s) 99.08
Current children cumulated vsize (KiB) 3597544
[startup+100.7 s]
/proc/loadavg: 2.00 2.00 1.91 3/185 25957
/proc/meminfo: memFree=27845672/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=3547052 CPUtime=99.87 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 408194 0 0 0 3086 6901 0 0 20 0 1 0 293369985 3632181248 407676 33554432000 4194304 4943705 140735120478848 140735120476224 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 69 0 0
/proc/25914/statm: 886763 407676 366 183 0 883133 0
Current children cumulated CPU time (s) 99.89
Current children cumulated vsize (KiB) 3599080
[startup+101.1 s]
/proc/loadavg: 2.00 2.00 1.91 3/185 25957
/proc/meminfo: memFree=27839720/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1058 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1058 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=3547820 CPUtime=100.27 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202496 408450 0 0 0 3093 6934 0 0 20 0 1 0 293369985 3632967680 407868 33554432000 4194304 4943705 140735120478848 140735120475712 4267542 0 0 16781312 17608 0 0 0 17 1 0 0 69 0 0
/proc/25914/statm: 886955 407868 366 183 0 883325 0
Current children cumulated CPU time (s) 100.29
Current children cumulated vsize (KiB) 3599848
[startup+101.207 s]
/proc/loadavg: 2.00 2.00 1.91 3/185 25957
/proc/meminfo: memFree=27839720/32873844 swapFree=7120/7120
[pid=25909] ppid=25907 vsize=16992 CPUtime=0.01 cores=1,3,5,7
/proc/25909/stat : 25909 (python) S 25907 25909 25628 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293369973 17399808 1081 33554432000 4194304 5683644 140734731275328 140734731273176 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25909/statm: 4248 1081 429 364 0 690 0
[pid=25911] ppid=25909 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25911/stat : 25911 (sh) S 25909 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369982 9367552 267 33554432000 4194304 5064252 140735988778176 140735988776880 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25911/statm: 2287 267 226 213 0 72 0
[pid=25912] ppid=25911 vsize=16740 CPUtime=0.01 cores=1,3,5,7
/proc/25912/stat : 25912 (python) S 25911 25909 25628 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293369982 17141760 1059 33554432000 4194304 5683644 140736351300384 140736351298232 233220949376 0 0 16781312 2 18446744071580380219 0 0 17 1 0 0 0 0 0
/proc/25912/statm: 4185 1059 429 364 0 627 0
[pid=25913] ppid=25912 vsize=9148 CPUtime=0 cores=1,3,5,7
/proc/25913/stat : 25913 (sh) S 25912 25909 25628 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293369985 9367552 268 33554432000 4194304 5064252 140734837658576 140734837657280 233220761166 0 65536 16781316 65538 18446744071579302229 0 0 17 5 0 0 0 0 0
/proc/25913/statm: 2287 268 226 213 0 72 0
[pid=25914] ppid=25913 vsize=0 CPUtime=100.37 cores=1,3,5,7
/proc/25914/stat : 25914 (PBPASSolver-817) R 25913 25909 25628 0 -1 4202500 408497 0 0 0 3094 6943 0 0 20 0 1 0 293369985 0 0 33554432000 0 0 0 0 0 0 0 16781312 17608 18446744073709551615 0 0 17 1 0 0 69 0 0
/proc/25914/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 100.39
Current children cumulated vsize (KiB) 52028
Child status: 0
Real time (s): 101.295
CPU time (s): 100.512
CPU user time (s): 31.0243
CPU system time (s): 69.4874
CPU usage (%): 99.2269
Max. virtual memory (cumulated for all children) (KiB): 3599848
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.0243
system time used= 69.4874
maximum resident set size= 1631472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 418361
page faults= 0
swaps= 0
block input operations= 0
block output operations= 256784
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 257
involuntary context switches= 253
runsolver used 0.174973 second user time and 0.428934 second system time
The end