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-3719068-1338272670/watcher-3719068-1338272670 -o /tmp/evaluation-result-3719068-1338272670/solver-3719068-1338272670 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719068-1338272670.opb PrimePower CARD.SN ./CryptoMiniSat
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12068
/proc/meminfo: memFree=26258556/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=11812 CPUtime=0 cores=0,2,4,6
/proc/12068/stat : 12068 (runsolver) D 12066 12068 11346 0 -1 4202560 41 0 0 0 0 0 0 0 20 0 1 0 293391389 12095488 51 33554432000 4194304 5436572 140737159815632 140737159811928 4883175 0 0 4096 24578 18446744071579943789 0 0 17 0 0 0 0 0 0
/proc/12068/statm: 2953 51 31 304 0 2645 0
[startup+0.0265839 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12068
/proc/meminfo: memFree=26258556/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=15580 CPUtime=0 cores=0,2,4,6
/proc/12068/stat : 12068 (python) D 12066 12068 11346 0 -1 4202496 828 0 0 0 0 0 0 0 20 0 1 0 293391389 15953920 696 33554432000 4194304 5683644 140737254846784 140737254773544 209883841424 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 3895 696 334 364 0 337 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15580
[startup+0.100303 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12068
/proc/meminfo: memFree=26258556/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+0.30027 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12068
/proc/meminfo: memFree=26258556/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+0.700275 s]
/proc/loadavg: 2.00 2.00 1.92 3/178 12068
/proc/meminfo: memFree=26258556/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 16996
[startup+1.50043 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 12073
/proc/meminfo: memFree=25984428/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=798060 CPUtime=1.37 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 87755 0 0 0 81 56 0 0 20 0 1 0 293391400 817213440 86499 33554432000 4194304 4943705 140733464217072 140733464216016 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 0 0 0
/proc/12073/statm: 199515 86499 357 183 0 195885 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 850096
[startup+3.10044 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 12073
/proc/meminfo: memFree=25783780/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=1356652 CPUtime=2.97 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 148849 0 0 0 206 91 0 0 20 0 1 0 293391400 1389211648 147593 33554432000 4194304 4943705 140733464217072 140733464215984 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 0 0 0
/proc/12073/statm: 339163 147593 357 183 0 335533 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 1408688
[startup+6.30042 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 12073
/proc/meminfo: memFree=25379220/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=2132844 CPUtime=5.96 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 233745 0 0 0 450 146 0 0 20 0 1 0 293391400 2184032256 232489 33554432000 4194304 4943705 140733464217072 140733464215984 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 21 0 0
/proc/12073/statm: 533211 232491 357 183 0 529581 0
Current children cumulated CPU time (s) 5.99
Current children cumulated vsize (KiB) 2184880
[startup+12.7004 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 12073
/proc/meminfo: memFree=25057228/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=2666508 CPUtime=12.35 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 292723 0 0 0 756 479 0 0 20 0 1 0 293391400 2730504192 291051 33554432000 4194304 4943705 140733464217072 140733464213712 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 22 0 0
/proc/12073/statm: 666627 291051 365 183 0 662997 0
Current children cumulated CPU time (s) 12.38
Current children cumulated vsize (KiB) 2718544
[startup+25.5004 s]
/proc/loadavg: 2.00 2.00 1.92 3/183 12073
/proc/meminfo: memFree=24996896/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=2726284 CPUtime=25.11 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 304897 0 0 0 1067 1444 0 0 20 0 1 0 293391400 2791714816 299337 33554432000 4194304 4943705 140733464217072 140733464214448 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 26 0 0
/proc/12073/statm: 681571 299337 365 183 0 677941 0
Current children cumulated CPU time (s) 25.14
Current children cumulated vsize (KiB) 2778320
[startup+51.1004 s]
/proc/loadavg: 2.06 2.01 1.93 3/183 12073
/proc/meminfo: memFree=24858664/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=2841868 CPUtime=50.65 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 341484 0 0 0 1686 3379 0 0 20 0 1 0 293391400 2910072832 322068 33554432000 4194304 4943705 140733464217072 140733464212496 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 32 0 0
/proc/12073/statm: 710467 322068 365 183 0 706837 0
Current children cumulated CPU time (s) 50.68
Current children cumulated vsize (KiB) 2893904
[startup+102.307 s]
/proc/loadavg: 2.02 2.01 1.93 3/183 12073
/proc/meminfo: memFree=24571736/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=3034124 CPUtime=101.74 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 402146 0 0 0 2929 7245 0 0 20 0 1 0 293391400 3106942976 359818 33554432000 4194304 4943705 140733464217072 140733464212304 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 43 0 0
/proc/12073/statm: 758531 359818 365 183 0 754901 0
Current children cumulated CPU time (s) 101.77
Current children cumulated vsize (KiB) 3086160
Solver just ended. Dumping a history of the last processes samples
[startup+105.5 s]
/proc/loadavg: 2.02 2.01 1.93 3/183 12073
/proc/meminfo: memFree=24415128/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=3044620 CPUtime=104.92 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 404714 0 0 0 3010 7482 0 0 20 0 1 0 293391400 3117690880 361938 33554432000 4194304 4943705 140733464217072 140733464213984 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 44 0 0
/proc/12073/statm: 761155 361938 365 183 0 757525 0
Current children cumulated CPU time (s) 104.95
Current children cumulated vsize (KiB) 3096656
[startup+108.7 s]
/proc/loadavg: 2.02 2.01 1.93 3/183 12073
/proc/meminfo: memFree=24402976/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=3054092 CPUtime=108.11 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 407034 0 0 0 3090 7721 0 0 20 0 1 0 293391400 3127390208 363874 33554432000 4194304 4943705 140733464217072 140733464213232 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 44 0 0
/proc/12073/statm: 763523 363874 365 183 0 759893 0
Current children cumulated CPU time (s) 108.14
Current children cumulated vsize (KiB) 3106128
[startup+109.5 s]
/proc/loadavg: 2.02 2.01 1.93 3/183 12073
/proc/meminfo: memFree=24397396/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=3056908 CPUtime=108.92 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 407722 0 0 0 3109 7783 0 0 20 0 1 0 293391400 3130273792 364434 33554432000 4194304 4943705 140733464217072 140733464212304 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 44 0 0
/proc/12073/statm: 764227 364434 365 183 0 760597 0
Current children cumulated CPU time (s) 108.95
Current children cumulated vsize (KiB) 3108944
[startup+110.3 s]
/proc/loadavg: 2.02 2.01 1.93 3/183 12073
/proc/meminfo: memFree=24391692/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=3058700 CPUtime=109.7 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 408162 0 0 0 3127 7843 0 0 20 0 1 0 293391400 3132108800 364810 33554432000 4194304 4943705 140733464217072 140733464212784 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 46 0 0
/proc/12073/statm: 764675 364810 365 183 0 761045 0
Current children cumulated CPU time (s) 109.73
Current children cumulated vsize (KiB) 3110736
[startup+110.5 s]
/proc/loadavg: 2.02 2.01 1.93 3/183 12073
/proc/meminfo: memFree=24391692/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1059 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1059 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=3058700 CPUtime=109.91 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202496 408162 0 0 0 3133 7858 0 0 20 0 1 0 293391400 3132108800 364810 33554432000 4194304 4943705 140733464217072 140733464212784 4694616 0 0 16781312 17608 0 0 0 17 2 0 0 46 0 0
/proc/12073/statm: 764675 364810 365 183 0 761045 0
Current children cumulated CPU time (s) 109.94
Current children cumulated vsize (KiB) 3110736
[startup+110.6 s]
/proc/loadavg: 2.02 2.01 1.93 3/183 12073
/proc/meminfo: memFree=24391692/32873844 swapFree=7632/7632
[pid=12068] ppid=12066 vsize=16996 CPUtime=0.02 cores=0,2,4,6
/proc/12068/stat : 12068 (python) S 12066 12068 11346 0 -1 4202496 1332 0 0 0 1 1 0 0 20 0 1 0 293391389 17403904 1082 33554432000 4194304 5683644 140737254846784 140737254844632 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12068/statm: 4249 1082 429 364 0 691 0
[pid=12070] ppid=12068 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12070/stat : 12070 (sh) S 12068 12068 11346 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293391397 9367552 267 33554432000 4194304 5064252 140733586232384 140733586231088 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12070/statm: 2287 267 226 213 0 72 0
[pid=12071] ppid=12070 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/12071/stat : 12071 (python) S 12070 12068 11346 0 -1 4202496 1301 0 0 0 1 0 0 0 20 0 1 0 293391397 17145856 1060 33554432000 4194304 5683644 140736610748624 140736610746472 209883841920 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/12071/statm: 4186 1060 429 364 0 628 0
[pid=12072] ppid=12071 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/12072/stat : 12072 (sh) S 12071 12068 11346 0 -1 4202496 327 0 0 0 0 0 0 0 20 0 1 0 293391400 9367552 268 33554432000 4194304 5064252 140734153110912 140734153109616 209883653710 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/12072/statm: 2287 268 226 213 0 72 0
[pid=12073] ppid=12072 vsize=0 CPUtime=110.01 cores=0,2,4,6
/proc/12073/stat : 12073 (PBPASSolver-817) R 12072 12068 11346 0 -1 4202500 408209 0 0 0 3134 7867 0 0 20 0 1 0 293391400 0 0 33554432000 0 0 0 0 0 0 0 16781312 17608 18446744073709551615 0 0 17 2 0 0 46 0 0
/proc/12073/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 110.04
Current children cumulated vsize (KiB) 52036
Child status: 0
Real time (s): 110.66
CPU time (s): 110.126
CPU user time (s): 31.4102
CPU system time (s): 78.716
CPU usage (%): 99.5174
Max. virtual memory (cumulated for all children) (KiB): 3110736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 31.4102
system time used= 78.716
maximum resident set size= 1459240
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 417500
page faults= 0
swaps= 0
block input operations= 0
block output operations= 421200
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 255
involuntary context switches= 171
runsolver used 0.212967 second user time and 0.673897 second system time
The end