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-3719052-1338272751/watcher-3719052-1338272751 -o /tmp/evaluation-result-3719052-1338272751/solver-3719052-1338272751 -C 1800 -W 1900 -M 15500 python HOME/RunSolver.py HOME/instance-3719052-1338272751.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.91 3/178 9282
/proc/meminfo: memFree=30752152/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=15308 CPUtime=0 cores=0,2,4,6
/proc/9282/stat : 9282 (python) R 9280 9282 8865 0 -1 4202496 659 0 0 0 0 0 0 0 20 0 1 0 293400527 15675392 553 33554432000 4194304 5683644 140733449095616 140733449081528 5259874 0 0 16781312 2 0 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 3827 553 316 364 0 269 0
[startup+0.0407399 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9282
/proc/meminfo: memFree=30752152/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16100 CPUtime=0 cores=0,2,4,6
/proc/9282/stat : 9282 (python) D 9280 9282 8865 0 -1 4202496 996 0 0 0 0 0 0 0 20 0 1 0 293400527 16486400 833 33554432000 4194304 5683644 140733449095616 140733449034104 260190323600 0 0 16781312 2 18446744072100609316 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4025 833 368 364 0 467 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16100
[startup+0.100222 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9282
/proc/meminfo: memFree=30752152/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.300233 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9282
/proc/meminfo: memFree=30752152/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+0.700169 s]
/proc/loadavg: 2.00 2.00 1.91 3/178 9282
/proc/meminfo: memFree=30752152/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16992
[startup+1.50032 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9287
/proc/meminfo: memFree=30492424/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=818764 CPUtime=1.39 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 88612 0 0 0 86 53 0 0 20 0 1 0 293400538 838414336 88554 33554432000 4194304 4943705 140735616315920 140735616314832 4358535 0 0 16781312 17608 0 0 0 17 4 0 0 0 0 0
/proc/9287/statm: 204691 88554 357 183 0 201061 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 870796
[startup+3.10031 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9287
/proc/meminfo: memFree=30287080/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1361484 CPUtime=2.89 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 147972 0 0 0 198 91 0 0 20 0 1 0 293400538 1394159616 147914 33554432000 4194304 4943705 140735616315920 140735616314192 4358535 0 0 16781312 17608 0 0 0 17 4 0 0 10 0 0
/proc/9287/statm: 340371 147914 357 183 0 336741 0
Current children cumulated CPU time (s) 2.91
Current children cumulated vsize (KiB) 1413516
[startup+6.30029 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9287
/proc/meminfo: memFree=30032636/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1629228 CPUtime=6.09 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 177583 0 0 0 322 287 0 0 20 0 1 0 293400538 1668329472 177221 33554432000 4194304 4943705 140735616315920 140735616312592 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 10 0 0
/proc/9287/statm: 407307 177221 365 183 0 403677 0
Current children cumulated CPU time (s) 6.11
Current children cumulated vsize (KiB) 1681260
[startup+12.7002 s]
/proc/loadavg: 2.00 2.00 1.91 3/183 9287
/proc/meminfo: memFree=29984528/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1654956 CPUtime=12.46 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 181288 0 0 0 473 773 0 0 20 0 1 0 293400538 1694674944 180062 33554432000 4194304 4943705 140735616315920 140735616311536 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 12 0 0
/proc/9287/statm: 413739 180062 365 183 0 410109 0
Current children cumulated CPU time (s) 12.48
Current children cumulated vsize (KiB) 1706988
[startup+25.5003 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 9329
/proc/meminfo: memFree=29747988/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1704748 CPUtime=25.25 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 189744 0 0 0 758 1767 0 0 20 0 1 0 293400538 1745661952 185662 33554432000 4194304 4943705 140735616315920 140735616311568 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 13 0 0
/proc/9287/statm: 426187 185662 365 183 0 422557 0
Current children cumulated CPU time (s) 25.27
Current children cumulated vsize (KiB) 1756780
[startup+51.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 9329
/proc/meminfo: memFree=29470248/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1777708 CPUtime=50.8 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 203441 0 0 0 1198 3882 0 0 20 0 1 0 293400538 1820372992 202419 33554432000 4194304 4943705 140735616315920 140735616311120 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 18 0 0
/proc/9287/statm: 444427 202419 365 183 0 440797 0
Current children cumulated CPU time (s) 50.82
Current children cumulated vsize (KiB) 1829740
Solver just ended. Dumping a history of the last processes samples
[startup+63.9004 s]
/proc/loadavg: 2.00 2.00 1.91 3/184 9329
/proc/meminfo: memFree=29378844/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1811500 CPUtime=63.57 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 209992 0 0 0 1416 4941 0 0 20 0 1 0 293400538 1854976000 211266 33554432000 4194304 4943705 140735616315920 140735616311120 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 21 0 0
/proc/9287/statm: 452875 211266 365 183 0 449245 0
Current children cumulated CPU time (s) 63.59
Current children cumulated vsize (KiB) 1863532
[startup+76.7003 s]
/proc/loadavg: 2.00 2.00 1.91 3/186 9331
/proc/meminfo: memFree=29296724/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1845804 CPUtime=76.35 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 216758 0 0 0 1629 6006 0 0 20 0 1 0 293400538 1890103296 220175 33554432000 4194304 4943705 140735616315920 140735616313328 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 22 0 0
/proc/9287/statm: 461451 220175 365 183 0 457821 0
Current children cumulated CPU time (s) 76.37
Current children cumulated vsize (KiB) 1897836
[startup+83.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/186 9331
/proc/meminfo: memFree=29243764/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1862956 CPUtime=82.74 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 219990 0 0 0 1743 6531 0 0 20 0 1 0 293400538 1907666944 225711 33554432000 4194304 4943705 140735616315920 140735616313328 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 24 0 0
/proc/9287/statm: 465739 225711 365 183 0 462109 0
Current children cumulated CPU time (s) 82.76
Current children cumulated vsize (KiB) 1914988
[startup+86.3002 s]
/proc/loadavg: 2.00 2.00 1.91 3/186 9331
/proc/meminfo: memFree=29219956/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1871916 CPUtime=85.93 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 221690 0 0 0 1795 6798 0 0 20 0 1 0 293400538 1916841984 227411 33554432000 4194304 4943705 140735616315920 140735616313328 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 24 0 0
/proc/9287/statm: 467979 227411 365 183 0 464349 0
Current children cumulated CPU time (s) 85.95
Current children cumulated vsize (KiB) 1923948
[startup+87.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/186 9331
/proc/meminfo: memFree=29212144/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1873708 CPUtime=86.73 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 222030 0 0 0 1810 6863 0 0 20 0 1 0 293400538 1918676992 227751 33554432000 4194304 4943705 140735616315920 140735616313328 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 24 0 0
/proc/9287/statm: 468427 227751 365 183 0 464797 0
Current children cumulated CPU time (s) 86.75
Current children cumulated vsize (KiB) 1925740
[startup+87.9002 s]
/proc/loadavg: 2.00 2.00 1.91 3/186 9331
/proc/meminfo: memFree=29204828/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1876268 CPUtime=87.53 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 222540 0 0 0 1825 6928 0 0 20 0 1 0 293400538 1921298432 228261 33554432000 4194304 4943705 140735616315920 140735616313328 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 25 0 0
/proc/9287/statm: 469067 228261 365 183 0 465437 0
Current children cumulated CPU time (s) 87.55
Current children cumulated vsize (KiB) 1928300
[startup+88.1002 s]
/proc/loadavg: 2.00 2.00 1.91 3/186 9331
/proc/meminfo: memFree=29204828/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16992 CPUtime=0.01 cores=0,2,4,6
/proc/9282/stat : 9282 (python) S 9280 9282 8865 0 -1 4202496 1332 0 0 0 1 0 0 0 20 0 1 0 293400527 17399808 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9282/statm: 4248 1081 429 364 0 690 0
[pid=9284] ppid=9282 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9284/stat : 9284 (sh) S 9282 9282 8865 0 -1 4202496 325 0 0 0 0 0 0 0 20 0 1 0 293400535 9367552 267 33554432000 4194304 5064252 140736497285776 140736497284480 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9284/statm: 2287 267 226 213 0 72 0
[pid=9285] ppid=9284 vsize=16744 CPUtime=0.01 cores=0,2,4,6
/proc/9285/stat : 9285 (python) S 9284 9282 8865 0 -1 4202496 1299 0 0 0 1 0 0 0 20 0 1 0 293400535 17145856 1059 33554432000 4194304 5683644 140733217593200 140733217591048 260190324096 0 0 16781312 2 18446744071580380219 0 0 17 0 0 0 0 0 0
/proc/9285/statm: 4186 1059 429 364 0 628 0
[pid=9286] ppid=9285 vsize=9148 CPUtime=0 cores=0,2,4,6
/proc/9286/stat : 9286 (sh) S 9285 9282 8865 0 -1 4202496 326 0 0 0 0 0 0 0 20 0 1 0 293400537 9367552 268 33554432000 4194304 5064252 140733290194544 140733290193248 260190135886 0 65536 16781316 65538 18446744071579302229 0 0 17 4 0 0 0 0 0
/proc/9286/statm: 2287 268 226 213 0 72 0
[pid=9287] ppid=9286 vsize=1876268 CPUtime=87.72 cores=0,2,4,6
/proc/9287/stat : 9287 (PBPASSolver-817) R 9286 9282 8865 0 -1 4202496 222540 0 0 0 1828 6944 0 0 20 0 1 0 293400538 1921298432 228261 33554432000 4194304 4943705 140735616315920 140735616313328 4267542 0 0 16781312 17608 0 0 0 17 4 0 0 25 0 0
/proc/9287/statm: 469067 228261 365 183 0 465437 0
Current children cumulated CPU time (s) 87.74
Current children cumulated vsize (KiB) 1928300
[startup+88.2002 s]
/proc/loadavg: 2.00 2.00 1.91 3/186 9331
/proc/meminfo: memFree=29204828/32873648 swapFree=7116/7116
[pid=9282] ppid=9280 vsize=16988 CPUtime=87.86 cores=0,2,4,6
/proc/9282/stat : 9282 (python) R 9280 9282 8865 0 -1 4202496 1376 225070 0 0 1 0 1832 6953 20 0 1 0 293400527 17395712 1081 33554432000 4194304 5683644 140733449095616 140733449093464 260190137165 0 0 16781312 2 0 0 0 17 2 0 0 0 0 0
/proc/9282/statm: 4247 1081 429 364 0 689 0
Current children cumulated CPU time (s) 87.86
Current children cumulated vsize (KiB) 16988
Child status: 0
Real time (s): 88.2331
CPU time (s): 87.9046
CPU user time (s): 18.3582
CPU system time (s): 69.5464
CPU usage (%): 99.6277
Max. virtual memory (cumulated for all children) (KiB): 1928300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 18.3582
system time used= 69.5464
maximum resident set size= 913044
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 230405
page faults= 0
swaps= 0
block input operations= 0
block output operations= 260264
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 245
involuntary context switches= 159
runsolver used 0.177972 second user time and 0.550916 second system time
The end