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-3719081-1338272588/watcher-3719081-1338272588 -o /tmp/evaluation-result-3719081-1338272588/solver-3719081-1338272588 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719081-1338272588.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.01 2.00 1.91 2/178 23857
/proc/meminfo: memFree=25631284/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/23857/stat : 23857 (python) R 23855 23857 23529 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 293384604 15642624 559 33554432000 4194304 5683644 140736960996880 140736960964824 270330053520 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 3819 559 324 364 0 261 0
[startup+0.00747596 s]
/proc/loadavg: 2.01 2.00 1.91 2/178 23857
/proc/meminfo: memFree=25631284/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=15276 CPUtime=0 cores=0,2,4,6
/proc/23857/stat : 23857 (python) D 23855 23857 23529 0 -1 4202496 672 0 0 0 0 0 0 0 20 0 1 0 293384604 15642624 559 33554432000 4194304 5683644 140736960996880 140736960969064 270330053520 0 0 16781312 2 18446744072100609316 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 3819 559 324 364 0 261 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 15276
[startup+0.100541 s]
/proc/loadavg: 2.01 2.00 1.91 2/178 23857
/proc/meminfo: memFree=25631284/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.300178 s]
/proc/loadavg: 2.01 2.00 1.91 2/178 23857
/proc/meminfo: memFree=25631284/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+0.700164 s]
/proc/loadavg: 2.01 2.00 1.91 2/178 23857
/proc/meminfo: memFree=25631284/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 17000
[startup+1.50032 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 23862
/proc/meminfo: memFree=25370968/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=820652 CPUtime=1.38 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 89286 0 0 0 88 50 0 0 20 0 1 0 293384614 840347648 88944 33554432000 4194304 4943705 140736946767104 140736946765376 4358535 0 0 16781312 17608 0 0 0 17 2 0 0 0 0 0
/proc/23862/statm: 205163 88944 357 183 0 201533 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 872692
[startup+3.10044 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 23862
/proc/meminfo: memFree=25163064/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=1392300 CPUtime=2.99 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 151810 0 0 0 210 89 0 0 20 0 1 0 293384614 1425715200 151468 33554432000 4194304 4943705 140736946767104 140736946766016 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 0 0 0
/proc/23862/statm: 348075 151468 357 183 0 344445 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 1444340
[startup+6.30044 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 23862
/proc/meminfo: memFree=24792284/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=2208172 CPUtime=6.06 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 241046 0 0 0 466 140 0 0 20 0 1 0 293384614 2261168128 240704 33554432000 4194304 4943705 140736946767104 140736946766016 4361008 0 0 16781312 17608 0 0 0 17 2 0 0 13 0 0
/proc/23862/statm: 552043 240704 357 183 0 548413 0
Current children cumulated CPU time (s) 6.08
Current children cumulated vsize (KiB) 2260212
[startup+12.7004 s]
/proc/loadavg: 2.01 2.00 1.91 3/183 23862
/proc/meminfo: memFree=24593884/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=2407692 CPUtime=12.44 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 264013 0 0 0 666 578 0 0 20 0 1 0 293384614 2465476608 262895 33554432000 4194304 4943705 140736946767104 140736946762080 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 14 0 0
/proc/23862/statm: 601923 262895 365 183 0 598293 0
Current children cumulated CPU time (s) 12.46
Current children cumulated vsize (KiB) 2459732
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23862
/proc/meminfo: memFree=24522216/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=2457484 CPUtime=25.21 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 277611 0 0 0 970 1551 0 0 20 0 1 0 293384614 2516463616 271101 33554432000 4194304 4943705 140736946767104 140736946762592 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 18 0 0
/proc/23862/statm: 614371 271101 365 183 0 610741 0
Current children cumulated CPU time (s) 25.23
Current children cumulated vsize (KiB) 2509524
[startup+51.1004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23862
/proc/meminfo: memFree=24367812/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=2555020 CPUtime=50.74 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 318439 0 0 0 1569 3505 0 0 20 0 1 0 293384614 2616340480 291641 33554432000 4194304 4943705 140736946767104 140736946764512 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 23 0 0
/proc/23862/statm: 638755 291641 365 183 0 635125 0
Current children cumulated CPU time (s) 50.76
Current children cumulated vsize (KiB) 2607060
Solver just ended. Dumping a history of the last processes samples
[startup+63.9003 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23862
/proc/meminfo: memFree=24291668/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=2604684 CPUtime=63.52 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 338948 0 0 0 1868 4484 0 0 20 0 1 0 293384614 2667196416 302038 33554432000 4194304 4943705 140736946767104 140736946762624 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 26 0 0
/proc/23862/statm: 651171 302038 365 183 0 647541 0
Current children cumulated CPU time (s) 63.54
Current children cumulated vsize (KiB) 2656724
[startup+67.1067 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23862
/proc/meminfo: memFree=24270088/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=2616460 CPUtime=66.71 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 342459 0 0 0 1947 4724 0 0 20 0 1 0 293384614 2679255040 304589 33554432000 4194304 4943705 140736946767104 140736946765904 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 27 0 0
/proc/23862/statm: 654115 304589 365 183 0 650485 0
Current children cumulated CPU time (s) 66.73
Current children cumulated vsize (KiB) 2668500
[startup+70.3004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23862
/proc/meminfo: memFree=24247764/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=2629004 CPUtime=69.91 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 346215 0 0 0 2023 4968 0 0 20 0 1 0 293384614 2692100096 307257 33554432000 4194304 4943705 140736946767104 140736946764512 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 28 0 0
/proc/23862/statm: 657251 307257 365 183 0 653621 0
Current children cumulated CPU time (s) 69.93
Current children cumulated vsize (KiB) 2681044
[startup+71.9003 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23862
/proc/meminfo: memFree=24240384/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=2634892 CPUtime=71.49 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 347890 0 0 0 2061 5088 0 0 20 0 1 0 293384614 2698129408 308548 33554432000 4194304 4943705 140736946767104 140736946764480 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 28 0 0
/proc/23862/statm: 658723 308548 365 183 0 655093 0
Current children cumulated CPU time (s) 71.51
Current children cumulated vsize (KiB) 2686932
[startup+72.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23862
/proc/meminfo: memFree=24234060/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=2638220 CPUtime=72.3 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 348899 0 0 0 2081 5149 0 0 20 0 1 0 293384614 2701537280 309237 33554432000 4194304 4943705 140736946767104 140736946764480 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 28 0 0
/proc/23862/statm: 659555 309237 365 183 0 655925 0
Current children cumulated CPU time (s) 72.32
Current children cumulated vsize (KiB) 2690260
[startup+72.9003 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23862
/proc/meminfo: memFree=24234060/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1059 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1059 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=2638476 CPUtime=72.5 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202496 348963 0 0 0 2085 5165 0 0 20 0 1 0 293384614 2701799424 309301 33554432000 4194304 4943705 140736946767104 140736946764480 4267542 0 0 16781312 17608 0 0 0 17 2 0 0 28 0 0
/proc/23862/statm: 659619 309301 365 183 0 655989 0
Current children cumulated CPU time (s) 72.52
Current children cumulated vsize (KiB) 2690516
[startup+73.0004 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 23862
/proc/meminfo: memFree=24234060/32873660 swapFree=7120/7120
[pid=23857] ppid=23855 vsize=17000 CPUtime=0.01 cores=0,2,4,6
/proc/23857/stat : 23857 (python) S 23855 23857 23529 0 -1 4202496 1333 0 0 0 1 0 0 0 20 0 1 0 293384604 17408000 1082 33554432000 4194304 5683644 140736960996880 140736960994728 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23857/statm: 4250 1082 429 364 0 692 0
[pid=23859] ppid=23857 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23859/stat : 23859 (sh) S 23857 23857 23529 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293384612 9367552 267 33554432000 4194304 5064252 140734969243248 140734969241952 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23859/statm: 2287 267 226 213 0 72 0
[pid=23860] ppid=23859 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/23860/stat : 23860 (python) S 23859 23857 23529 0 -1 4202496 1300 0 0 0 1 0 0 0 20 0 1 0 293384612 17145856 1060 33554432000 4194304 5683644 140733750785264 140733750783112 270330054016 0 0 16781312 2 18446744071580380219 0 0 17 2 0 0 0 0 0
/proc/23860/statm: 4186 1060 429 364 0 628 0
[pid=23861] ppid=23860 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/23861/stat : 23861 (sh) S 23860 23857 23529 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293384614 9367552 268 33554432000 4194304 5064252 140734803102272 140734803100976 270329865806 0 65536 16781316 65538 18446744071579302229 0 0 17 6 0 0 0 0 0
/proc/23861/statm: 2287 268 226 213 0 72 0
[pid=23862] ppid=23861 vsize=0 CPUtime=72.6 cores=0,2,4,6
/proc/23862/stat : 23862 (PBPASSolver-817) R 23861 23857 23529 0 -1 4202500 349010 0 0 0 2087 5173 0 0 20 0 1 0 293384614 0 0 33554432000 0 0 0 0 0 0 0 16781312 17608 18446744073709551615 0 0 17 2 0 0 28 0 0
/proc/23862/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 72.62
Current children cumulated vsize (KiB) 52040
Child status: 0
Real time (s): 73.068
CPU time (s): 72.7099
CPU user time (s): 20.9338
CPU system time (s): 51.7761
CPU usage (%): 99.51
Max. virtual memory (cumulated for all children) (KiB): 2690516
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 20.9338
system time used= 51.7761
maximum resident set size= 1237204
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 357626
page faults= 0
swaps= 0
block input operations= 0
block output operations= 259280
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 242
involuntary context switches= 84
runsolver used 0.152976 second user time and 0.444932 second system time
The end