Name | mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell5.opb |
MD5SUM | fa1c29f360870381638d135cd26eadfd |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 181644428760406 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 948 |
Biggest coefficient in the objective function | 6291456000000000 |
Number of bits for the biggest coefficient in the objective function | 53 |
Sum of the numbers in the objective function | 104362034158211275 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 6291456000000000 |
Number of bits of the biggest number in a constraint | 53 |
Biggest sum of numbers in a constraint | 104362034158211275 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1228.67 |
Number of variables | 1244 |
Total number of constraints | 149 |
Number of constraints which are clauses | 15 |
Number of constraints which are cardinality constraints (but not clauses) | 30 |
Number of constraints which are nor clauses,nor cardinality constraints | 104 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 95 |
LAUNCH ON wulflinc15 THE 2005-09-19 22:38:59 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=887 boxname=wulflinc15 idbench=887 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: fa1c29f360870381638d135cd26eadfd /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-bell5.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-bell5.opb IDLAUNCH: 887 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 890472 kB Buffers: 6180 kB Cached: 108116 kB SwapCached: 692 kB Active: 52332 kB Inactive: 64528 kB HighTotal: 131008 kB HighFree: 20916 kB LowTotal: 903652 kB LowFree: 869556 kB SwapTotal: 2097136 kB SwapFree: 2095912 kB Dirty: 36 kB Writeback: 0 kB Mapped: 5728 kB Slab: 21500 kB Committed_AS: 64132 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-19 22:59:55 (client local time) WITH STATUS 10 IN 1195.29 SECONDS stats: 887 0 1195.29 10
c INFO: OSL Context initialized. c BIG Int formula... c Initial problem consists of 1244 variables and 114 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.291 c After prepocess the problem consists of 1125 variables and 100 constraints. c Initial Lower Bound: 2518364979200 c Restart #1 #Var: 1125 #Dec: 3254 LB: 2518364979200 @ 0.648 c Restart #2 #Var: 1125 #Dec: 13184 LB: 2518364979200 @ 1.458 c Restart #3 #Var: 1125 #Dec: 31262 LB: 2518364979200 @ 2.698 c Restart #4 #Var: 1125 #Dec: 38910 LB: 2518364979200 @ 3.858 c Restart #5 #Var: 1125 #Dec: 47365 LB: 2518364979200 @ 4.802 c NEW SOLUTION FOUND: 630662069547076 @ 4.843 @ #Dec. 48373 c NEW SOLUTION FOUND: 597894069547076 @ 4.852 @ #Dec. 48376 c NEW SOLUTION FOUND: 565126069547076 @ 4.895 @ #Dec. 48408 c NEW SOLUTION FOUND: 532358069547076 @ 4.926 @ #Dec. 48439 c NEW SOLUTION FOUND: 515974069547076 @ 4.953 @ #Dec. 48474 c NEW SOLUTION FOUND: 499590069547076 @ 4.984 @ #Dec. 48510 c NEW SOLUTION FOUND: 483206069547076 @ 5.037 @ #Dec. 48562 c NEW SOLUTION FOUND: 466822069547076 @ 5.078 @ #Dec. 48621 c NEW SOLUTION FOUND: 450438069547076 @ 5.137 @ #Dec. 48697 c NEW SOLUTION FOUND: 434054069547076 @ 5.23 @ #Dec. 48783 c NEW SOLUTION FOUND: 417670069547076 @ 5.312 @ #Dec. 48884 c NEW SOLUTION FOUND: 401286069547076 @ 5.364 @ #Dec. 48970 c NEW SOLUTION FOUND: 393094069547076 @ 5.437 @ #Dec. 49106 c NEW SOLUTION FOUND: 384902069547076 @ 5.55 @ #Dec. 49294 c NEW SOLUTION FOUND: 376710069547076 @ 5.627 @ #Dec. 49437 c NEW SOLUTION FOUND: 368518069547076 @ 5.66 @ #Dec. 49526 c NEW SOLUTION FOUND: 360326069547076 @ 5.712 @ #Dec. 49672 c NEW SOLUTION FOUND: 352134069547076 @ 5.78 @ #Dec. 49845 c NEW SOLUTION FOUND: 343942069547076 @ 5.968 @ #Dec. 50373 c NEW SOLUTION FOUND: 343764425306180 @ 6.127 @ #Dec. 50811 c NEW SOLUTION FOUND: 339668425306180 @ 6.42 @ #Dec. 51503 c NEW SOLUTION FOUND: 335572425306180 @ 6.671 @ #Dec. 51909 c NEW SOLUTION FOUND: 331476425306180 @ 7.077 @ #Dec. 52448 c NEW SOLUTION FOUND: 327380425306180 @ 7.307 @ #Dec. 52911 c NEW SOLUTION FOUND: 323284425306180 @ 7.434 @ #Dec. 53163 c NEW SOLUTION FOUND: 319188425306180 @ 7.97 @ #Dec. 54189 c NEW SOLUTION FOUND: 315092425306180 @ 8.197 @ #Dec. 54646 c NEW SOLUTION FOUND: 310996425306180 @ 8.401 @ #Dec. 55045 c NEW SOLUTION FOUND: 306900425306180 @ 9.018 @ #Dec. 56232 c NEW SOLUTION FOUND: 302804425306180 @ 9.268 @ #Dec. 56755 c NEW SOLUTION FOUND: 302779882729540 @ 9.806 @ #Dec. 57835 c NEW SOLUTION FOUND: 298683882729540 @ 10.024 @ #Dec. 58278 c NEW SOLUTION FOUND: 298619603185732 @ 10.304 @ #Dec. 58779 c NEW SOLUTION FOUND: 294979406196804 @ 10.733 @ #Dec. 59426 c NEW SOLUTION FOUND: 292931406196804 @ 11.327 @ #Dec. 60303 c NEW SOLUTION FOUND: 290883406196804 @ 11.757 @ #Dec. 60974 c NEW SOLUTION FOUND: 288835406196804 @ 12.122 @ #Dec. 61519 c NEW SOLUTION FOUND: 286787406196804 @ 12.352 @ #Dec. 62020 c NEW SOLUTION FOUND: 284739406196804 @ 12.663 @ #Dec. 62661 c NEW SOLUTION FOUND: 282691406196804 @ 12.881 @ #Dec. 63033 c NEW SOLUTION FOUND: 280643406196804 @ 13.16 @ #Dec. 63454 c NEW SOLUTION FOUND: 278595406196804 @ 13.282 @ #Dec. 63754 c NEW SOLUTION FOUND: 276547406196804 @ 13.402 @ #Dec. 64033 c NEW SOLUTION FOUND: 274499406196804 @ 13.524 @ #Dec. 64322 c NEW SOLUTION FOUND: 272451406196804 @ 13.644 @ #Dec. 64624 c NEW SOLUTION FOUND: 270660524372036 @ 13.866 @ #Dec. 65057 c NEW SOLUTION FOUND: 270501576503364 @ 13.869 @ #Dec. 65086 c NEW SOLUTION FOUND: 270403406196804 @ 13.921 @ #Dec. 65200 c NEW SOLUTION FOUND: 268355406196804 @ 14.058 @ #Dec. 65582 c NEW SOLUTION FOUND: 265793169846340 @ 14.234 @ #Dec. 66101 c NEW SOLUTION FOUND: 265728890302532 @ 14.236 @ #Dec. 66135 c NEW SOLUTION FOUND: 265625725366340 @ 14.476 @ #Dec. 66780 c NEW SOLUTION FOUND: 265561445822532 @ 14.48 @ #Dec. 66815 c NEW SOLUTION FOUND: 264404299214916 @ 15.156 @ #Dec. 68482 c NEW SOLUTION FOUND: 264324825280580 @ 15.159 @ #Dec. 68522 c NEW SOLUTION FOUND: 264285088313412 @ 15.162 @ #Dec. 68561 c NEW SOLUTION FOUND: 264211460583492 @ 15.186 @ #Dec. 68642 c Restart #6 #Var: 1125 #Dec: 71770 LB: 2518364979200 @ 17.381 c Restart #7 #Var: 1125 #Dec: 80901 LB: 2518364979200 @ 18.945 c Restart #8 #Var: 1125 #Dec: 85563 LB: 2518364979200 @ 20.476 c Restart #9 #Var: 1125 #Dec: 98714 LB: 2518364979200 @ 22.706 c CHANGE to MIS mode... UB: 264211460583492 MIS: 2518367058970 LPR: -2147483648 (0) Diff: -1172.7 c Restart #0 #Var: 1125 #Dec: 103090 LB: 2518364979200 @ 24.452 c Restart #1 #Var: 1125 #Dec: 104099 LB: 2518367058970 @ 24.646 c Restart #2 #Var: 1125 #Dec: 108372 LB: 2518367058970 @ 25.494 c Restart #3 #Var: 1125 #Dec: 114759 LB: 2518367058970 @ 26.485 c Restart #4 #Var: 1125 #Dec: 120257 LB: 2518367058970 @ 27.53 c Restart #5 #Var: 1125 #Dec: 122599 LB: 2518367058970 @ 29.278 c Restart #6 #Var: 1125 #Dec: 129247 LB: 2518367058970 @ 31.255 c Restart #7 #Var: 1125 #Dec: 151325 LB: 2518367058970 @ 35.78 c Restart #8 #Var: 1125 #Dec: 206892 LB: 2518367058970 @ 50.185 c Restart #9 #Var: 1125 #Dec: 218357 LB: 2518367058970 @ 52.434 c Restart #10 #Var: 1125 #Dec: 224657 LB: 2518367058970 @ 54.948 c Restart #11 #Var: 1125 #Dec: 231156 LB: 2518367058970 @ 57.729 c Restart #12 #Var: 1125 #Dec: 234611 LB: 2518367058970 @ 60.26 c Restart #13 #Var: 1125 #Dec: 242839 LB: 2518367058970 @ 63.68 c NEW SOLUTION FOUND: 263714356512600 @ 65.08 @ #Dec. 246630 c NEW SOLUTION FOUND: 263713982752600 @ 65.087 @ #Dec. 246660 c NEW SOLUTION FOUND: 263712487712600 @ 65.088 @ #Dec. 246668 c NEW SOLUTION FOUND: 263712113952600 @ 65.09 @ #Dec. 246677 c NEW SOLUTION FOUND: 263712079573250 @ 65.136 @ #Dec. 246996 c NEW SOLUTION FOUND: 263712020998050 @ 65.14 @ #Dec. 247051 c NEW SOLUTION FOUND: 263711259520450 @ 65.144 @ #Dec. 247113 c NEW SOLUTION FOUND: 263711142370050 @ 65.148 @ #Dec. 247168 c NEW SOLUTION FOUND: 263711083794850 @ 65.15 @ #Dec. 247234 c NEW SOLUTION FOUND: 263710849494050 @ 65.154 @ #Dec. 247297 c NEW SOLUTION FOUND: 263710842172150 @ 65.157 @ #Dec. 247361 c NEW SOLUTION FOUND: 263710838511200 @ 65.162 @ #Dec. 247426 c NEW SOLUTION FOUND: 263710823867400 @ 65.167 @ #Dec. 247505 c NEW SOLUTION FOUND: 263710794579800 @ 65.173 @ #Dec. 247601 c NEW SOLUTION FOUND: 263708178259800 @ 65.177 @ #Dec. 247691 c Restart #14 #Var: 1125 #Dec: 250836 LB: 2518367058970 @ 67.298 c Restart #15 #Var: 1125 #Dec: 258317 LB: 2518367058970 @ 71.894 c Restart #16 #Var: 1125 #Dec: 264564 LB: 2518367058970 @ 75.724 c Restart #17 #Var: 1125 #Dec: 440125 LB: 2518367058970 @ 100.86 c Restart #18 #Var: 1125 #Dec: 449153 LB: 2518367058970 @ 106.79 c Restart #19 #Var: 1125 #Dec: 462907 LB: 2518367058970 @ 113.98 c NEW SOLUTION FOUND: 263683099979819 @ 118.52 @ #Dec. 473431 c NEW SOLUTION FOUND: 263682939562173 @ 118.52 @ #Dec. 473435 c NEW SOLUTION FOUND: 263682939146219 @ 118.52 @ #Dec. 473439 c NEW SOLUTION FOUND: 263679531651051 @ 118.52 @ #Dec. 473448 c NEW SOLUTION FOUND: 263679531447089 @ 118.53 @ #Dec. 473472 c NEW SOLUTION FOUND: 263677867907905 @ 118.53 @ #Dec. 473487 c NEW SOLUTION FOUND: 263677827699505 @ 118.53 @ #Dec. 473502 c NEW SOLUTION FOUND: 263677784038497 @ 118.53 @ #Dec. 473537 c NEW SOLUTION FOUND: 263677765901793 @ 118.53 @ #Dec. 473549 c NEW SOLUTION FOUND: 263677763634705 @ 118.54 @ #Dec. 473557 c NEW SOLUTION FOUND: 263677747282705 @ 118.54 @ #Dec. 473596 c NEW SOLUTION FOUND: 263677743123165 @ 118.54 @ #Dec. 473615 c NEW SOLUTION FOUND: 263677739290665 @ 118.54 @ #Dec. 473643 c NEW SOLUTION FOUND: 263677739035165 @ 118.55 @ #Dec. 473810 c NEW SOLUTION FOUND: 263677718930965 @ 118.56 @ #Dec. 473948 c NEW SOLUTION FOUND: 263677716738775 @ 118.56 @ #Dec. 473996 c NEW SOLUTION FOUND: 263677714112892 @ 118.57 @ #Dec. 474076 c NEW SOLUTION FOUND: 263677713904915 @ 118.57 @ #Dec. 474123 c NEW SOLUTION FOUND: 263677705728915 @ 118.57 @ #Dec. 474177 c NEW SOLUTION FOUND: 263677695676815 @ 118.58 @ #Dec. 474268 c NEW SOLUTION FOUND: 263677575840015 @ 118.58 @ #Dec. 474309 c NEW SOLUTION FOUND: 263677542563695 @ 118.58 @ #Dec. 474412 c NEW SOLUTION FOUND: 263677329595247 @ 118.59 @ #Dec. 474467 c NEW SOLUTION FOUND: 263677327722797 @ 118.59 @ #Dec. 474526 c NEW SOLUTION FOUND: 263677320232997 @ 118.6 @ #Dec. 474673 c NEW SOLUTION FOUND: 263677254109597 @ 118.61 @ #Dec. 474783 c NEW SOLUTION FOUND: 263677253680357 @ 118.61 @ #Dec. 474854 c NEW SOLUTION FOUND: 263677251636357 @ 118.61 @ #Dec. 474957 c NEW SOLUTION FOUND: 263677221843597 @ 118.67 @ #Dec. 475181 c NEW SOLUTION FOUND: 263677193618877 @ 118.77 @ #Dec. 475589 c NEW SOLUTION FOUND: 263677186963613 @ 118.9 @ #Dec. 476171 c NEW SOLUTION FOUND: 263677186856303 @ 119.15 @ #Dec. 477285 c NEW SOLUTION FOUND: 263677104821823 @ 119.39 @ #Dec. 478122 c NEW SOLUTION FOUND: 263677089842223 @ 119.39 @ #Dec. 478203 c NEW SOLUTION FOUND: 263676229511235 @ 119.63 @ #Dec. 479037 c NEW SOLUTION FOUND: 263676226183603 @ 119.63 @ #Dec. 479077 c NEW SOLUTION FOUND: 263676224311153 @ 119.64 @ #Dec. 479246 c NEW SOLUTION FOUND: 263507528094751 @ 120.04 @ #Dec. 480836 c NEW SOLUTION FOUND: 263507410130401 @ 120.04 @ #Dec. 480915 c NEW SOLUTION FOUND: 263507385295801 @ 120.15 @ #Dec. 481503 c NEW SOLUTION FOUND: 263507362826401 @ 120.15 @ #Dec. 481600 c NEW SOLUTION FOUND: 263507359081501 @ 120.16 @ #Dec. 481684 c NEW SOLUTION FOUND: 263507357209051 @ 120.16 @ #Dec. 481788 c NEW SOLUTION FOUND: 263507355553411 @ 120.22 @ #Dec. 482175 c NEW SOLUTION FOUND: 263507353680961 @ 120.22 @ #Dec. 482272 c NEW SOLUTION FOUND: 263507338563391 @ 120.33 @ #Dec. 482959 c NEW SOLUTION FOUND: 263507327328691 @ 120.34 @ #Dec. 483065 c NEW SOLUTION FOUND: 263507325456241 @ 120.34 @ #Dec. 483175 c NEW SOLUTION FOUND: 263502948485887 @ 120.62 @ #Dec. 484809 c NEW SOLUTION FOUND: 263502723791887 @ 120.62 @ #Dec. 484917 c NEW SOLUTION FOUND: 263502712557187 @ 120.63 @ #Dec. 485023 c NEW SOLUTION FOUND: 263502710684737 @ 120.63 @ #Dec. 485137 c NEW SOLUTION FOUND: 263502695567167 @ 120.73 @ #Dec. 485646 c NEW SOLUTION FOUND: 263502684332467 @ 120.74 @ #Dec. 485757 c NEW SOLUTION FOUND: 263502682460017 @ 120.74 @ #Dec. 485860 c NEW SOLUTION FOUND: 263502682245397 @ 121 @ #Dec. 487225 c NEW SOLUTION FOUND: 263502673533577 @ 121.77 @ #Dec. 491384 c NEW SOLUTION FOUND: 263502671661127 @ 121.77 @ #Dec. 491511 c NEW SOLUTION FOUND: 263502490408405 @ 121.96 @ #Dec. 492758 c NEW SOLUTION FOUND: 263502487951955 @ 121.96 @ #Dec. 492758 c NEW SOLUTION FOUND: 263502484021635 @ 121.97 @ #Dec. 492765 c NEW SOLUTION FOUND: 263502481982015 @ 121.97 @ #Dec. 492779 c NEW SOLUTION FOUND: 263502481166167 @ 121.97 @ #Dec. 492792 c NEW SOLUTION FOUND: 263502479201007 @ 121.97 @ #Dec. 492795 c NEW SOLUTION FOUND: 263502478709717 @ 121.97 @ #Dec. 492799 c NEW SOLUTION FOUND: 263502474630477 @ 121.97 @ #Dec. 492833 c NEW SOLUTION FOUND: 263502460894797 @ 121.98 @ #Dec. 492957 c NEW SOLUTION FOUND: 263502449660097 @ 121.99 @ #Dec. 493192 c NEW SOLUTION FOUND: 263502447787647 @ 122 @ #Dec. 493318 c NEW SOLUTION FOUND: 263502444259557 @ 122.04 @ #Dec. 493637 c NEW SOLUTION FOUND: 263502440731467 @ 122.06 @ #Dec. 493867 c NEW SOLUTION FOUND: 263502437449022 @ 122.08 @ #Dec. 494101 c NEW SOLUTION FOUND: 263502437203377 @ 122.09 @ #Dec. 494211 c NEW SOLUTION FOUND: 263502435547737 @ 122.12 @ #Dec. 494580 c NEW SOLUTION FOUND: 263502433675287 @ 122.13 @ #Dec. 494695 c NEW SOLUTION FOUND: 263502432236457 @ 122.44 @ #Dec. 496800 c NEW SOLUTION FOUND: 263502426619107 @ 122.45 @ #Dec. 496974 c NEW SOLUTION FOUND: 263502419562927 @ 122.48 @ #Dec. 497199 c NEW SOLUTION FOUND: 263502408978657 @ 122.51 @ #Dec. 497562 c NEW SOLUTION FOUND: 263502407323017 @ 122.55 @ #Dec. 497839 c NEW SOLUTION FOUND: 263502405450567 @ 122.56 @ #Dec. 497980 c Restart #20 #Var: 1125 #Dec: 518752 LB: 2518367058970 @ 126.87 c Restart #21 #Var: 1125 #Dec: 530584 LB: 2518367058970 @ 134.7 c Restart #22 #Var: 1125 #Dec: 544898 LB: 2518367058970 @ 143.16 c Restart #23 #Var: 1125 #Dec: 553415 LB: 2518367058970 @ 150.73 c NEW SOLUTION FOUND: 263500560004786 @ 153.02 @ #Dec. 561606 c NEW SOLUTION FOUND: 263500494596786 @ 153.02 @ #Dec. 561606 c NEW SOLUTION FOUND: 263500467446626 @ 153.03 @ #Dec. 561607 c NEW SOLUTION FOUND: 263500463154226 @ 153.03 @ #Dec. 561607 c NEW SOLUTION FOUND: 263500438421826 @ 153.03 @ #Dec. 561613 c NEW SOLUTION FOUND: 263500354606146 @ 153.03 @ #Dec. 561625 c NEW SOLUTION FOUND: 263500347738306 @ 153.03 @ #Dec. 561643 c NEW SOLUTION FOUND: 263500347311621 @ 153.03 @ #Dec. 561669 c NEW SOLUTION FOUND: 263500347257966 @ 153.03 @ #Dec. 561685 c NEW SOLUTION FOUND: 263500333324164 @ 153.04 @ #Dec. 561719 c NEW SOLUTION FOUND: 263500332787614 @ 153.04 @ #Dec. 561721 c NEW SOLUTION FOUND: 263500326260830 @ 153.04 @ #Dec. 561721 c NEW SOLUTION FOUND: 263500321150830 @ 153.04 @ #Dec. 561728 c NEW SOLUTION FOUND: 263500059518830 @ 153.05 @ #Dec. 561800 c NEW SOLUTION FOUND: 263500021950110 @ 153.05 @ #Dec. 561866 c NEW SOLUTION FOUND: 263500021091630 @ 153.05 @ #Dec. 561899 c NEW SOLUTION FOUND: 263500007087310 @ 153.05 @ #Dec. 561944 c NEW SOLUTION FOUND: 263500005370350 @ 153.05 @ #Dec. 561985 c NEW SOLUTION FOUND: 263499642636270 @ 153.06 @ #Dec. 562016 c NEW SOLUTION FOUND: 263499640081270 @ 153.06 @ #Dec. 562042 c NEW SOLUTION FOUND: 263499587866998 @ 153.06 @ #Dec. 562072 c NEW SOLUTION FOUND: 263499576531558 @ 153.06 @ #Dec. 562097 c NEW SOLUTION FOUND: 263499053267558 @ 153.06 @ #Dec. 562124 c NEW SOLUTION FOUND: 263498871900518 @ 153.07 @ #Dec. 562154 c NEW SOLUTION FOUND: 263498809015398 @ 153.07 @ #Dec. 562187 c NEW SOLUTION FOUND: 263498807942298 @ 153.08 @ #Dec. 562354 c NEW SOLUTION FOUND: 263498806869198 @ 153.09 @ #Dec. 562415 c NEW SOLUTION FOUND: 263498799919598 @ 153.17 @ #Dec. 563416 c NEW SOLUTION FOUND: 263498789699598 @ 153.19 @ #Dec. 563657 c NEW SOLUTION FOUND: 263498780355598 @ 153.21 @ #Dec. 563903 c NEW SOLUTION FOUND: 263498780337348 @ 153.23 @ #Dec. 564150 c NEW SOLUTION FOUND: 263498775665348 @ 153.25 @ #Dec. 564398 c NEW SOLUTION FOUND: 263498775519348 @ 153.28 @ #Dec. 564647 c NEW SOLUTION FOUND: 263498761320848 @ 153.31 @ #Dec. 564960 c NEW SOLUTION FOUND: 263498761284348 @ 153.33 @ #Dec. 565240 c NEW SOLUTION FOUND: 263498723944848 @ 153.36 @ #Dec. 565521 c NEW SOLUTION FOUND: 263498723908348 @ 153.38 @ #Dec. 565801 c NEW SOLUTION FOUND: 263498723652848 @ 153.41 @ #Dec. 566083 c NEW SOLUTION FOUND: 263498723616348 @ 153.44 @ #Dec. 566364 c NEW SOLUTION FOUND: 263498611816848 @ 153.46 @ #Dec. 566647 c NEW SOLUTION FOUND: 263498611524848 @ 153.49 @ #Dec. 566927 c NEW SOLUTION FOUND: 263498611488348 @ 153.51 @ #Dec. 567208 c NEW SOLUTION FOUND: 263498574440848 @ 153.54 @ #Dec. 567490 c NEW SOLUTION FOUND: 263498574404348 @ 153.56 @ #Dec. 567770 c NEW SOLUTION FOUND: 263498574148848 @ 153.59 @ #Dec. 568051 c NEW SOLUTION FOUND: 263498574112348 @ 153.61 @ #Dec. 568331 c NEW SOLUTION FOUND: 263498555752848 @ 153.64 @ #Dec. 568617 c NEW SOLUTION FOUND: 263498555460848 @ 153.66 @ #Dec. 568901 c NEW SOLUTION FOUND: 263498555424348 @ 153.7 @ #Dec. 569186 c NEW SOLUTION FOUND: 263498553380348 @ 153.72 @ #Dec. 569473 c NEW SOLUTION FOUND: 263498553088348 @ 153.75 @ #Dec. 569767 c NEW SOLUTION FOUND: 263498551920348 @ 153.79 @ #Dec. 570081 c NEW SOLUTION FOUND: 263498551336348 @ 153.81 @ #Dec. 570402 c NEW SOLUTION FOUND: 263498551263348 @ 153.85 @ #Dec. 570730 c NEW SOLUTION FOUND: 263498513887348 @ 153.88 @ #Dec. 571032 c NEW SOLUTION FOUND: 263498476511348 @ 153.91 @ #Dec. 571367 c NEW SOLUTION FOUND: 263498327007348 @ 153.94 @ #Dec. 571679 c NEW SOLUTION FOUND: 263498214915848 @ 153.98 @ #Dec. 572004 c NEW SOLUTION FOUND: 263498214879348 @ 154.01 @ #Dec. 572339 c NEW SOLUTION FOUND: 263498214751598 @ 155.68 @ #Dec. 577371 c NEW SOLUTION FOUND: 263498214459598 @ 155.72 @ #Dec. 577721 c NEW SOLUTION FOUND: 263498214441348 @ 155.78 @ #Dec. 578400 c NEW SOLUTION FOUND: 263498214295348 @ 155.85 @ #Dec. 579066 c NEW SOLUTION FOUND: 263498214258848 @ 155.88 @ #Dec. 579398 c NEW SOLUTION FOUND: 263498214222348 @ 155.93 @ #Dec. 580030 c NEW SOLUTION FOUND: 263498214076348 @ 158.89 @ #Dec. 585413 c NEW SOLUTION FOUND: 263498213966848 @ 158.99 @ #Dec. 586383 c NEW SOLUTION FOUND: 263498213930348 @ 159.04 @ #Dec. 587022 c NEW SOLUTION FOUND: 263498213893848 @ 159.07 @ #Dec. 587348 c NEW SOLUTION FOUND: 263498211166568 @ 162.1 @ #Dec. 594258 c NEW SOLUTION FOUND: 263498207323848 @ 162.17 @ #Dec. 595195 c NEW SOLUTION FOUND: 263498207287348 @ 162.2 @ #Dec. 595516 c NEW SOLUTION FOUND: 263498206703348 @ 162.23 @ #Dec. 595870 c NEW SOLUTION FOUND: 263498205535348 @ 162.26 @ #Dec. 596189 c NEW SOLUTION FOUND: 263498196191348 @ 162.29 @ #Dec. 596537 c NEW SOLUTION FOUND: 263498140127348 @ 162.32 @ #Dec. 596896 c NEW SOLUTION FOUND: 263498133411348 @ 162.38 @ #Dec. 597544 c NEW SOLUTION FOUND: 263498133119348 @ 162.44 @ #Dec. 598196 c NEW SOLUTION FOUND: 263498130783348 @ 162.47 @ #Dec. 598522 c NEW SOLUTION FOUND: 263498130564348 @ 165.23 @ #Dec. 617641 c NEW SOLUTION FOUND: 263498130272348 @ 165.33 @ #Dec. 618926 c NEW SOLUTION FOUND: 263498130016848 @ 165.37 @ #Dec. 619299 c NEW SOLUTION FOUND: 263498129980348 @ 165.4 @ #Dec. 619639 c NEW SOLUTION FOUND: 263498129834348 @ 165.44 @ #Dec. 620003 c NEW SOLUTION FOUND: 263498129816098 @ 165.51 @ #Dec. 620686 c NEW SOLUTION FOUND: 263498129797848 @ 165.54 @ #Dec. 621031 c Restart #24 #Var: 1125 #Dec: 627023 LB: 2518367058970 @ 169.22 c Restart #25 #Var: 1125 #Dec: 634096 LB: 2518367058970 @ 178.86 c Restart #26 #Var: 1125 #Dec: 654243 LB: 2518367058970 @ 187.91 c Restart #27 #Var: 1125 #Dec: 661420 LB: 2518367058970 @ 200.23 c Restart #28 #Var: 1125 #Dec: 676658 LB: 2518367058970 @ 212.87 c Restart #29 #Var: 1125 #Dec: 689602 LB: 2518367058970 @ 223.96 c Restart #30 #Var: 1125 #Dec: 709069 LB: 2518367058970 @ 232.29 c Restart #31 #Var: 1125 #Dec: 717535 LB: 2518367058970 @ 240.78 c Restart #32 #Var: 1125 #Dec: 726102 LB: 2518367058970 @ 252.28 c Restart #33 #Var: 1125 #Dec: 740527 LB: 2518367058970 @ 260.71 c Restart #34 #Var: 1125 #Dec: 765200 LB: 2518367058970 @ 273.75 c Restart #35 #Var: 1125 #Dec: 782233 LB: 2518367058970 @ 288.25 c Restart #36 #Var: 1125 #Dec: 798838 LB: 2518367058970 @ 297.58 c Restart #37 #Var: 1125 #Dec: 807513 LB: 2518367058970 @ 307.88 c Restart #38 #Var: 1125 #Dec: 829458 LB: 2518367058970 @ 320.39 c Restart #39 #Var: 1125 #Dec: 850464 LB: 2518367058970 @ 336.04 c Restart #40 #Var: 1125 #Dec: 869679 LB: 2518367058970 @ 397.26 c Restart #41 #Var: 1125 #Dec: 890256 LB: 2518367058970 @ 408.46 c NEW SOLUTION FOUND: 263498117417842 @ 419.53 @ #Dec. 919499 c NEW SOLUTION FOUND: 263498116816760 @ 419.53 @ #Dec. 919536 c NEW SOLUTION FOUND: 263498116000912 @ 419.53 @ #Dec. 919554 c NEW SOLUTION FOUND: 263498115295002 @ 419.54 @ #Dec. 919635 c NEW SOLUTION FOUND: 263498115039502 @ 419.54 @ #Dec. 919647 c NEW SOLUTION FOUND: 263498112959732 @ 419.54 @ #Dec. 919662 c NEW SOLUTION FOUND: 263498111977152 @ 419.54 @ #Dec. 919686 c NEW SOLUTION FOUND: 263498110260192 @ 419.54 @ #Dec. 919705 c NEW SOLUTION FOUND: 263498106932560 @ 419.55 @ #Dec. 919785 c NEW SOLUTION FOUND: 263498090580560 @ 419.55 @ #Dec. 919849 c NEW SOLUTION FOUND: 263498089625720 @ 419.56 @ #Dec. 919928 c NEW SOLUTION FOUND: 263498085466180 @ 419.56 @ #Dec. 919950 c NEW SOLUTION FOUND: 263498085101180 @ 419.56 @ #Dec. 919983 c NEW SOLUTION FOUND: 263498083090760 @ 419.57 @ #Dec. 920100 c NEW SOLUTION FOUND: 263498082983450 @ 419.57 @ #Dec. 920169 c NEW SOLUTION FOUND: 263498075122810 @ 419.58 @ #Dec. 920314 c NEW SOLUTION FOUND: 263498073250360 @ 419.58 @ #Dec. 920390 c NEW SOLUTION FOUND: 263498071790360 @ 419.59 @ #Dec. 920502 c NEW SOLUTION FOUND: 263498071350462 @ 419.59 @ #Dec. 920598 c NEW SOLUTION FOUND: 263498070958452 @ 419.6 @ #Dec. 920826 c NEW SOLUTION FOUND: 263498038254452 @ 419.61 @ #Dec. 920906 c NEW SOLUTION FOUND: 263498034509552 @ 419.61 @ #Dec. 921004 c NEW SOLUTION FOUND: 263498031804172 @ 419.62 @ #Dec. 921098 c NEW SOLUTION FOUND: 263498031589552 @ 419.62 @ #Dec. 921185 c NEW SOLUTION FOUND: 263498030567552 @ 419.62 @ #Dec. 921279 c NEW SOLUTION FOUND: 263498021223552 @ 419.63 @ #Dec. 921436 c NEW SOLUTION FOUND: 263498018767102 @ 419.66 @ #Dec. 922020 c NEW SOLUTION FOUND: 263498017983082 @ 419.66 @ #Dec. 922141 c NEW SOLUTION FOUND: 263497979373674 @ 419.74 @ #Dec. 922604 c NEW SOLUTION FOUND: 263497872889450 @ 419.77 @ #Dec. 922813 c NEW SOLUTION FOUND: 263496949264250 @ 419.81 @ #Dec. 923058 c NEW SOLUTION FOUND: 263496947748770 @ 419.98 @ #Dec. 924135 c NEW SOLUTION FOUND: 263496945193770 @ 420.02 @ #Dec. 924359 c NEW SOLUTION FOUND: 263496941105770 @ 420.06 @ #Dec. 924565 c NEW SOLUTION FOUND: 263496923910620 @ 420.09 @ #Dec. 924776 c NEW SOLUTION FOUND: 263496594630250 @ 420.15 @ #Dec. 925193 c NEW SOLUTION FOUND: 263496588962530 @ 420.19 @ #Dec. 925402 c NEW SOLUTION FOUND: 263495059475290 @ 420.23 @ #Dec. 925661 c NEW SOLUTION FOUND: 263494742082970 @ 420.27 @ #Dec. 925886 c NEW SOLUTION FOUND: 263494708076650 @ 420.3 @ #Dec. 926090 c NEW SOLUTION FOUND: 263494702408930 @ 420.34 @ #Dec. 926330 c NEW SOLUTION FOUND: 263494584870170 @ 420.38 @ #Dec. 926591 c NEW SOLUTION FOUND: 263494550863850 @ 420.41 @ #Dec. 926785 c NEW SOLUTION FOUND: 263494545196130 @ 420.45 @ #Dec. 926996 c NEW SOLUTION FOUND: 263494506263770 @ 420.49 @ #Dec. 927239 c NEW SOLUTION FOUND: 263494466589730 @ 420.52 @ #Dec. 927439 c NEW SOLUTION FOUND: 263494447308970 @ 420.56 @ #Dec. 927725 c NEW SOLUTION FOUND: 263494407634930 @ 420.6 @ #Dec. 927930 c NEW SOLUTION FOUND: 263494390439780 @ 420.67 @ #Dec. 928375 c NEW SOLUTION FOUND: 263474967037050 @ 421.23 @ #Dec. 930759 c NEW SOLUTION FOUND: 263473080483450 @ 421.29 @ #Dec. 931049 c NEW SOLUTION FOUND: 263472923270650 @ 421.33 @ #Dec. 931321 c NEW SOLUTION FOUND: 263472883091450 @ 421.38 @ #Dec. 931578 c NEW SOLUTION FOUND: 263472844664250 @ 421.42 @ #Dec. 931806 c NEW SOLUTION FOUND: 263472785709450 @ 421.47 @ #Dec. 932044 c NEW SOLUTION FOUND: 263472768514300 @ 421.51 @ #Dec. 932280 c NEW SOLUTION FOUND: 263466986887290 @ 421.64 @ #Dec. 932880 c NEW SOLUTION FOUND: 263466635488650 @ 421.68 @ #Dec. 933118 c NEW SOLUTION FOUND: 263466629820930 @ 421.73 @ #Dec. 933394 c NEW SOLUTION FOUND: 263465825801850 @ 421.78 @ #Dec. 933655 c NEW SOLUTION FOUND: 263465100333690 @ 421.82 @ #Dec. 933901 c NEW SOLUTION FOUND: 263464760270490 @ 421.87 @ #Dec. 934134 c NEW SOLUTION FOUND: 263464748935050 @ 421.91 @ #Dec. 934374 c NEW SOLUTION FOUND: 263464743267330 @ 421.96 @ #Dec. 934685 c NEW SOLUTION FOUND: 263464603057690 @ 422.02 @ #Dec. 934978 c NEW SOLUTION FOUND: 263464586054530 @ 422.06 @ #Dec. 935206 c NEW SOLUTION FOUND: 263464547122170 @ 422.11 @ #Dec. 935480 c NEW SOLUTION FOUND: 263464524451290 @ 422.15 @ #Dec. 935700 c NEW SOLUTION FOUND: 263464507448130 @ 422.19 @ #Dec. 935914 c NEW SOLUTION FOUND: 263464488167370 @ 422.25 @ #Dec. 936182 c NEW SOLUTION FOUND: 263464465496490 @ 422.29 @ #Dec. 936408 c NEW SOLUTION FOUND: 263464448493330 @ 422.33 @ #Dec. 936639 c NEW SOLUTION FOUND: 263464436965900 @ 422.38 @ #Dec. 936890 c NEW SOLUTION FOUND: 263464431298180 @ 422.44 @ #Dec. 937212 c NEW SOLUTION FOUND: 263464417132530 @ 422.67 @ #Dec. 938192 c NEW SOLUTION FOUND: 263464399937380 @ 422.73 @ #Dec. 938489 c NEW SOLUTION FOUND: 263422532246650 @ 423.91 @ #Dec. 943267 c NEW SOLUTION FOUND: 263413099478650 @ 423.95 @ #Dec. 943556 c NEW SOLUTION FOUND: 263412942265850 @ 424 @ #Dec. 943827 c NEW SOLUTION FOUND: 263412863659450 @ 424.04 @ #Dec. 944085 c NEW SOLUTION FOUND: 263412804704650 @ 424.08 @ #Dec. 944336 c NEW SOLUTION FOUND: 263412787509500 @ 424.13 @ #Dec. 944577 c NEW SOLUTION FOUND: 263392541744250 @ 424.82 @ #Dec. 947152 c NEW SOLUTION FOUND: 263384995529850 @ 424.87 @ #Dec. 947419 c NEW SOLUTION FOUND: 263383737827450 @ 424.92 @ #Dec. 947686 c NEW SOLUTION FOUND: 263383108976250 @ 424.96 @ #Dec. 947949 c NEW SOLUTION FOUND: 263382951763450 @ 425.01 @ #Dec. 948189 c NEW SOLUTION FOUND: 263382873157050 @ 425.05 @ #Dec. 948450 c NEW SOLUTION FOUND: 263382814202250 @ 425.09 @ #Dec. 948705 c NEW SOLUTION FOUND: 263382797007100 @ 425.14 @ #Dec. 948942 c NEW SOLUTION FOUND: 263382765646300 @ 425.72 @ #Dec. 950764 c NEW SOLUTION FOUND: 263379160423770 @ 426.84 @ #Dec. 952384 c NEW SOLUTION FOUND: 263377709487450 @ 426.88 @ #Dec. 952627 c NEW SOLUTION FOUND: 263376984019290 @ 426.93 @ #Dec. 952884 c NEW SOLUTION FOUND: 263376666626970 @ 426.97 @ #Dec. 953131 c NEW SOLUTION FOUND: 263376643956090 @ 427.01 @ #Dec. 953382 c NEW SOLUTION FOUND: 263376626952930 @ 427.05 @ #Dec. 953623 c NEW SOLUTION FOUND: 263376451785050 @ 427.11 @ #Dec. 953931 c NEW SOLUTION FOUND: 263375726316890 @ 427.15 @ #Dec. 954161 c NEW SOLUTION FOUND: 263375544949850 @ 427.19 @ #Dec. 954421 c NEW SOLUTION FOUND: 263375408924570 @ 427.23 @ #Dec. 954661 c NEW SOLUTION FOUND: 263375369250530 @ 427.27 @ #Dec. 954903 c NEW SOLUTION FOUND: 263375097465690 @ 427.33 @ #Dec. 955185 c NEW SOLUTION FOUND: 263374746067050 @ 427.37 @ #Dec. 955430 c NEW SOLUTION FOUND: 263374740399330 @ 427.41 @ #Dec. 955711 c NEW SOLUTION FOUND: 263374445625330 @ 427.47 @ #Dec. 955980 c NEW SOLUTION FOUND: 263374428430180 @ 427.5 @ #Dec. 956182 c NEW SOLUTION FOUND: 263374412710360 @ 429.71 @ #Dec. 960772 c NEW SOLUTION FOUND: 263370134532950 @ 431.94 @ #Dec. 965516 c NEW SOLUTION FOUND: 263362588318550 @ 431.99 @ #Dec. 965783 c NEW SOLUTION FOUND: 263361330616150 @ 432.04 @ #Dec. 966047 c NEW SOLUTION FOUND: 263360544552150 @ 432.09 @ #Dec. 966313 c NEW SOLUTION FOUND: 263360465945750 @ 432.13 @ #Dec. 966548 c NEW SOLUTION FOUND: 263360406990950 @ 432.16 @ #Dec. 966781 c NEW SOLUTION FOUND: 263360389795800 @ 432.2 @ #Dec. 967006 c NEW SOLUTION FOUND: 263330711262550 @ 432.39 @ #Dec. 967599 c NEW SOLUTION FOUND: 263330399293400 @ 432.46 @ #Dec. 967921 c NEW SOLUTION FOUND: 263300720760150 @ 432.74 @ #Dec. 968763 c NEW SOLUTION FOUND: 263300425986150 @ 432.81 @ #Dec. 969079 c NEW SOLUTION FOUND: 263300408791000 @ 432.85 @ #Dec. 969320 c NEW SOLUTION FOUND: 263300144982870 @ 433.08 @ #Dec. 969913 c NEW SOLUTION FOUND: 263299782248790 @ 433.12 @ #Dec. 970137 c NEW SOLUTION FOUND: 263299516131670 @ 433.17 @ #Dec. 970368 c NEW SOLUTION FOUND: 263299153397590 @ 433.21 @ #Dec. 970591 c NEW SOLUTION FOUND: 263298917578390 @ 433.25 @ #Dec. 970851 c NEW SOLUTION FOUND: 263298858623590 @ 433.29 @ #Dec. 971094 c NEW SOLUTION FOUND: 263298841428440 @ 433.32 @ #Dec. 971320 c NEW SOLUTION FOUND: 263281134801750 @ 433.44 @ #Dec. 971819 c NEW SOLUTION FOUND: 263273588587350 @ 433.49 @ #Dec. 972091 c NEW SOLUTION FOUND: 263272330884950 @ 433.53 @ #Dec. 972354 c NEW SOLUTION FOUND: 263271702033750 @ 433.57 @ #Dec. 972599 c NEW SOLUTION FOUND: 263271544820950 @ 433.61 @ #Dec. 972857 c NEW SOLUTION FOUND: 263271466214550 @ 433.66 @ #Dec. 973112 c NEW SOLUTION FOUND: 263271407259750 @ 433.7 @ #Dec. 973355 c NEW SOLUTION FOUND: 263271390064600 @ 433.74 @ #Dec. 973599 c NEW SOLUTION FOUND: 263271049448790 @ 433.8 @ #Dec. 973945 c NEW SOLUTION FOUND: 263270154480470 @ 433.85 @ #Dec. 974212 c NEW SOLUTION FOUND: 263269791746390 @ 433.88 @ #Dec. 974470 c NEW SOLUTION FOUND: 263269525629270 @ 433.93 @ #Dec. 974728 c NEW SOLUTION FOUND: 263269162895190 @ 433.96 @ #Dec. 974984 c NEW SOLUTION FOUND: 263268850926040 @ 434 @ #Dec. 975239 c NEW SOLUTION FOUND: 263252205217110 @ 436.91 @ #Dec. 980819 c NEW SOLUTION FOUND: 263242772449110 @ 436.94 @ #Dec. 981061 c NEW SOLUTION FOUND: 263242477675110 @ 436.98 @ #Dec. 981286 c NEW SOLUTION FOUND: 263242460479960 @ 437.02 @ #Dec. 981506 c NEW SOLUTION FOUND: 263236323372150 @ 438.67 @ #Dec. 984586 c NEW SOLUTION FOUND: 263236087552950 @ 438.72 @ #Dec. 984839 c NEW SOLUTION FOUND: 263236028598150 @ 438.77 @ #Dec. 985083 c NEW SOLUTION FOUND: 263236011403000 @ 438.81 @ #Dec. 985315 c NEW SOLUTION FOUND: 263178858332790 @ 439.02 @ #Dec. 985922 c NEW SOLUTION FOUND: 263177600630390 @ 439.07 @ #Dec. 986190 c NEW SOLUTION FOUND: 263176971779190 @ 439.11 @ #Dec. 986459 c NEW SOLUTION FOUND: 263176814566390 @ 439.16 @ #Dec. 986706 c NEW SOLUTION FOUND: 263176735959990 @ 439.2 @ #Dec. 986963 c NEW SOLUTION FOUND: 263176677005190 @ 439.25 @ #Dec. 987219 c NEW SOLUTION FOUND: 263176659810040 @ 439.29 @ #Dec. 987460 c NEW SOLUTION FOUND: 263168564982390 @ 439.33 @ #Dec. 987716 c NEW SOLUTION FOUND: 263167307279990 @ 439.38 @ #Dec. 987986 c NEW SOLUTION FOUND: 263166678428790 @ 439.42 @ #Dec. 988248 c NEW SOLUTION FOUND: 263166366459640 @ 439.47 @ #Dec. 988486 c NEW SOLUTION FOUND: 263157664581510 @ 441.04 @ #Dec. 991625 c NEW SOLUTION FOUND: 263157647386360 @ 441.08 @ #Dec. 991862 c NEW SOLUTION FOUND: 263148238418550 @ 442.3 @ #Dec. 994389 c NEW SOLUTION FOUND: 263146980716150 @ 442.42 @ #Dec. 994959 c NEW SOLUTION FOUND: 263146351864950 @ 442.52 @ #Dec. 995388 c NEW SOLUTION FOUND: 263146116045750 @ 442.57 @ #Dec. 995647 c NEW SOLUTION FOUND: 263146057090950 @ 442.61 @ #Dec. 995887 c NEW SOLUTION FOUND: 263146039895800 @ 442.65 @ #Dec. 996122 c NEW SOLUTION FOUND: 263140216781430 @ 443.13 @ #Dec. 997581 c NEW SOLUTION FOUND: 263139491313270 @ 443.17 @ #Dec. 997845 c NEW SOLUTION FOUND: 263139128579190 @ 443.21 @ #Dec. 998077 c NEW SOLUTION FOUND: 263137870876790 @ 443.84 @ #Dec. 999630 c NEW SOLUTION FOUND: 263125960266870 @ 444.01 @ #Dec. 1000096 c NEW SOLUTION FOUND: 263125803054070 @ 444.07 @ #Dec. 1000347 c NEW SOLUTION FOUND: 263125724447670 @ 444.11 @ #Dec. 1000594 c NEW SOLUTION FOUND: 263125665492870 @ 444.15 @ #Dec. 1000838 c NEW SOLUTION FOUND: 263125648297720 @ 444.2 @ #Dec. 1001073 c NEW SOLUTION FOUND: 263113652096760 @ 444.45 @ #Dec. 1001736 c NEW SOLUTION FOUND: 263110215253110 @ 444.56 @ #Dec. 1002170 c NEW SOLUTION FOUND: 263109920479110 @ 444.7 @ #Dec. 1002670 c NEW SOLUTION FOUND: 263109903283960 @ 444.75 @ #Dec. 1002910 c NEW SOLUTION FOUND: 263092568198070 @ 445.26 @ #Dec. 1004464 c NEW SOLUTION FOUND: 263092509243270 @ 445.3 @ #Dec. 1004688 c NEW SOLUTION FOUND: 263092492048120 @ 445.34 @ #Dec. 1004915 c NEW SOLUTION FOUND: 263086843059190 @ 445.38 @ #Dec. 1005163 c NEW SOLUTION FOUND: 263086764452790 @ 445.42 @ #Dec. 1005404 c NEW SOLUTION FOUND: 263086705497990 @ 445.45 @ #Dec. 1005642 c NEW SOLUTION FOUND: 263086688302840 @ 445.49 @ #Dec. 1005867 c NEW SOLUTION FOUND: 263084511898360 @ 445.53 @ #Dec. 1006151 c NEW SOLUTION FOUND: 263084149164280 @ 445.57 @ #Dec. 1006360 c NEW SOLUTION FOUND: 263082342287990 @ 449.03 @ #Dec. 1010507 c NEW SOLUTION FOUND: 263076901276790 @ 449.09 @ #Dec. 1010790 c NEW SOLUTION FOUND: 263073152463990 @ 449.16 @ #Dec. 1011110 c NEW SOLUTION FOUND: 263071894761590 @ 449.27 @ #Dec. 1011454 c NEW SOLUTION FOUND: 263071265910390 @ 449.37 @ #Dec. 1011787 c NEW SOLUTION FOUND: 263071108697590 @ 449.59 @ #Dec. 1012168 c NEW SOLUTION FOUND: 263071030091190 @ 449.63 @ #Dec. 1012397 c NEW SOLUTION FOUND: 263070953941240 @ 449.67 @ #Dec. 1012617 c NEW SOLUTION FOUND: 263070952651330 @ 460.54 @ #Dec. 1028459 c NEW SOLUTION FOUND: 263070951902350 @ 460.55 @ #Dec. 1028511 c NEW SOLUTION FOUND: 263070939775590 @ 460.59 @ #Dec. 1028912 c NEW SOLUTION FOUND: 263070923793116 @ 460.64 @ #Dec. 1029325 c NEW SOLUTION FOUND: 263070922580440 @ 460.67 @ #Dec. 1029541 c NEW SOLUTION FOUND: 263070918883720 @ 468.29 @ #Dec. 1035037 c NEW SOLUTION FOUND: 263070906900040 @ 468.31 @ #Dec. 1035243 c NEW SOLUTION FOUND: 263070904856040 @ 482.23 @ #Dec. 1060666 c Restart #42 #Var: 1125 #Dec: 1077407 LB: 2518367058970 @ 499.41 c Restart #43 #Var: 1125 #Dec: 1102582 LB: 2518367058970 @ 530.5 c Restart #44 #Var: 1125 #Dec: 1118332 LB: 2518367058970 @ 549.55 c Restart #45 #Var: 1125 #Dec: 1178060 LB: 2518367058970 @ 582.47 c Restart #46 #Var: 1125 #Dec: 1198089 LB: 2518367058970 @ 619.74 c Restart #47 #Var: 1125 #Dec: 1215026 LB: 2518367058970 @ 633.97 c Restart #48 #Var: 1125 #Dec: 1238838 LB: 2518367058970 @ 650.78 c Restart #49 #Var: 1125 #Dec: 1259535 LB: 2518367058970 @ 749.07 c Restart #50 #Var: 1125 #Dec: 1281323 LB: 2518367058970 @ 770.86 c Restart #51 #Var: 1125 #Dec: 1302687 LB: 2518367058970 @ 785.63 c Restart #52 #Var: 1125 #Dec: 1331563 LB: 2518367058970 @ 811.08 c Restart #53 #Var: 1125 #Dec: 1352797 LB: 2518367058970 @ 828.52 c Restart #54 #Var: 1125 #Dec: 1366403 LB: 2518367058970 @ 843.63 c Restart #55 #Var: 1125 #Dec: 1384278 LB: 2518367058970 @ 868.52 s SATISFIABLE v -d1_bit0 -d2_bit0 -d3_bit0 -d4_bit0 d5_bit0 -d6_bit0 d7_bit0 d9_bit0 -d10_bit0 -d11_bit0 -d12_bit0 d13_bit0 d14_bit0 -d16_bit0 -h1_bit0 -h1_bit1 -h1_bit2 h1_bit3 -h1_bit4 -h1_bit5 -h1_bit6 -h1_bit7 -h1_bit8 -h1_bit9 -h1_bit10 -h1_bit11 -h1_bit12 -h1_bit13 -h2_bit0 -h2_bit1 -h2_bit2 -h2_bit3 h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h2_bit10 -h2_bit11 -h2_bit12 -h2_bit13 -h3_bit0 -h3_bit1 -h3_bit2 -h3_bit3 -h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h3_bit10 -h3_bit11 -h3_bit12 -h3_bit13 -h4_bit0 -h4_bit1 -h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h4_bit10 -h4_bit11 -h4_bit12 -h4_bit13 -h5_bit0 h5_bit1 h5_bit2 -h5_bit3 -h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h5_bit10 -h5_bit11 -h5_bit12 -h5_bit13 -h6_bit0 -h6_bit1 -h6_bit2 -h6_bit3 -h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h6_bit10 -h6_bit11 -h6_bit12 -h6_bit13 h7_bit0 h7_bit1 -h7_bit2 -h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h7_bit10 -h7_bit11 -h7_bit12 -h7_bit13 h9_bit0 h9_bit1 -h9_bit2 h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -h9_bit10 -h9_bit11 -h9_bit12 -h9_bit13 -h10_bit0 -h10_bit1 h10_bit2 -h10_bit3 -h10_bit4 -h10_bit5 -h10_bit6 -h10_bit7 -h10_bit8 -h10_bit9 -h11_bit0 -h11_bit1 -h11_bit2 -h11_bit3 -h11_bit4 -h11_bit5 -h11_bit6 -h11_bit7 -h11_bit8 -h11_bit9 -h12_bit0 -h12_bit1 -h12_bit2 -h12_bit3 -h12_bit4 -h12_bit5 -h12_bit6 -h12_bit7 -h12_bit8 -h12_bit9 h13_bit0 -h13_bit1 -h13_bit2 -h13_bit3 -h13_bit4 -h13_bit5 -h13_bit6 -h13_bit7 -h13_bit8 -h13_bit9 -h14_bit0 -h14_bit1 -h14_bit2 -h14_bit3 -h14_bit4 -h14_bit5 -h14_bit6 -h14_bit7 -h14_bit8 -h14_bit9 -h16_bit0 -h16_bit1 -h16_bit2 -h16_bit3 -h16_bit4 -h16_bit5 -h16_bit6 -h16_bit7 -h16_bit8 -h16_bit9 -g1_bit0 -g1_bit1 g1_bit2 g1_bit3 -g1_bit4 g1_bit5 -g1_bit6 -g1_bit7 -g1_bit8 -g1_bit9 -g2_bit0 -g2_bit1 g2_bit2 g2_bit3 -g2_bit4 -g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 g2_bit9 -g3_bit0 -g3_bit1 -g3_bit2 -g3_bit3 -g3_bit4 -g3_bit5 -g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 -g4_bit0 -g4_bit1 -g4_bit2 -g4_bit3 -g4_bit4 -g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 -g5_bit0 -g5_bit1 -g5_bit2 -g5_bit3 -g5_bit4 -g5_bit5 -g5_bit6 -g5_bit7 g5_bit8 -g5_bit9 -g6_bit0 -g6_bit1 -g6_bit2 -g6_bit3 -g6_bit4 -g6_bit5 -g6_bit6 -g6_bit7 -g6_bit8 -g6_bit9 -g7_bit0 -g7_bit1 -g7_bit2 -g7_bit3 -g7_bit4 -g7_bit5 -g7_bit6 g7_bit7 g7_bit8 -g7_bit9 -g9_bit0 -g9_bit1 -g9_bit2 -g9_bit3 -g9_bit4 -g9_bit5 -g9_bit6 -g9_bit7 g9_bit8 -g9_bit9 -g10_bit0 -g10_bit1 -g10_bit2 -g10_bit3 -g10_bit4 -g10_bit5 g10_bit6 -g11_bit0 -g11_bit1 -g11_bit2 -g11_bit3 -g11_bit4 g11_bit5 -g11_bit6 -g12_bit0 -g12_bit1 -g12_bit2 -g12_bit3 -g12_bit4 -g12_bit5 -g12_bit6 -g13_bit0 -g13_bit1 g13_bit2 -g13_bit3 -g13_bit4 g13_bit5 g13_bit6 g14_bit0 -g14_bit1 g14_bit2 -g14_bit3 -g14_bit4 g14_bit5 -g14_bit6 -g16_bit0 -g16_bit1 -g16_bit2 -g16_bit3 -g16_bit4 -g16_bit5 -g16_bit6 a1_bit_7 -a1_bit_6 -a1_bit_5 -a1_bit_4 -a1_bit_3 -a1_bit_2 -a1_bit_1 a1_bit0 -a1_bit1 -a1_bit2 -a1_bit3 -a1_bit4 -a1_bit5 -a1_bit6 -a1_bit7 -a1_bit8 -a1_bit9 -a1_bit10 -a1_bit11 -a1_bit12 -a2_bit_7 -a2_bit_6 -a2_bit_5 -a2_bit_4 -a2_bit_3 -a2_bit_2 -a2_bit_1 -a2_bit0 -a2_bit1 -a2_bit2 -a2_bit3 -a2_bit4 -a2_bit5 -a2_bit6 -a2_bit7 -a2_bit8 -a2_bit9 -a2_bit10 -a2_bit11 -a2_bit12 -a3_bit_7 -a3_bit_6 -a3_bit_5 -a3_bit_4 -a3_bit_3 -a3_bit_2 -a3_bit_1 -a3_bit0 a3_bit1 -a3_bit2 -a3_bit3 -a3_bit4 a3_bit5 a3_bit6 -a3_bit7 -a3_bit8 -a3_bit9 -a3_bit10 -a3_bit11 -a3_bit12 -a4_bit_7 -a4_bit_6 -a4_bit_5 -a4_bit_4 -a4_bit_3 -a4_bit_2 -a4_bit_1 -a4_bit0 -a4_bit1 -a4_bit2 -a4_bit3 a4_bit4 a4_bit5 -a4_bit6 -a4_bit7 -a4_bit8 -a4_bit9 -a4_bit10 -a4_bit11 -a4_bit12 -a5_bit_7 -a5_bit_6 -a5_bit_5 -a5_bit_4 -a5_bit_3 -a5_bit_2 -a5_bit_1 -a5_bit0 -a5_bit1 -a5_bit2 -a5_bit3 -a5_bit4 -a5_bit5 -a5_bit6 -a5_bit7 -a5_bit8 -a5_bit9 -a5_bit10 -a5_bit11 -a5_bit12 -a6_bit_7 -a6_bit_6 -a6_bit_5 -a6_bit_4 -a6_bit_3 -a6_bit_2 -a6_bit_1 -a6_bit0 -a6_bit1 -a6_bit2 -a6_bit3 -a6_bit4 -a6_bit5 a6_bit6 -a6_bit7 -a6_bit8 -a6_bit9 -a6_bit10 -a6_bit11 -a6_bit12 -a7_bit_7 -a7_bit_6 a7_bit_5 -a7_bit_4 -a7_bit_3 -a7_bit_2 a7_bit_1 -a7_bit0 a7_bit1 a7_bit2 a7_bit3 -a7_bit4 -a7_bit5 -a7_bit6 -a7_bit7 -a7_bit8 -a7_bit9 -a7_bit10 -a7_bit11 a7_bit12 -a8_bit_7 -a8_bit_6 -a8_bit_5 -a8_bit_4 -a8_bit_3 -a8_bit_2 -a8_bit_1 -a8_bit0 -a8_bit1 a8_bit2 -a8_bit3 -a8_bit4 -a8_bit5 a8_bit6 a8_bit7 -a8_bit8 a8_bit9 -a8_bit10 -a8_bit11 a8_bit12 -a9_bit_7 -a9_bit_6 -a9_bit_5 -a9_bit_4 -a9_bit_3 -a9_bit_2 -a9_bit_1 -a9_bit0 -a9_bit1 -a9_bit2 -a9_bit3 -a9_bit4 -a9_bit5 -a9_bit6 -a9_bit7 -a9_bit8 -a9_bit9 -a9_bit10 -a9_bit11 -a9_bit12 -a10_bit_7 -a10_bit_6 -a10_bit_5 -a10_bit_4 -a10_bit_3 -a10_bit_2 -a10_bit_1 -a10_bit0 -a10_bit1 -a10_bit2 -a10_bit3 -a10_bit4 -a10_bit5 -a10_bit6 -a10_bit7 -a10_bit8 -a10_bit9 -a10_bit10 -a10_bit11 -a10_bit12 -a11_bit_7 -a11_bit_6 -a11_bit_5 -a11_bit_4 -a11_bit_3 -a11_bit_2 -a11_bit_1 -a11_bit0 -a11_bit1 -a11_bit2 -a11_bit3 -a11_bit4 -a11_bit5 -a11_bit6 -a11_bit7 -a11_bit8 -a11_bit9 a11_bit10 -a11_bit11 -a11_bit12 -a12_bit_7 -a12_bit_6 -a12_bit_5 -a12_bit_4 -a12_bit_3 -a12_bit_2 -a12_bit_1 -a12_bit0 -a12_bit1 -a12_bit2 -a12_bit3 -a12_bit4 -a12_bit5 -a12_bit6 -a12_bit7 -a12_bit8 -a12_bit9 a12_bit10 -a12_bit11 -a12_bit12 -a13_bit_7 -a13_bit_6 -a13_bit_5 a13_bit_4 -a13_bit_3 -a13_bit_2 -a13_bit_1 -a13_bit0 -a13_bit1 -a13_bit2 -a13_bit3 -a13_bit4 a13_bit5 -a13_bit6 a13_bit7 a13_bit8 a13_bit9 a13_bit10 -a13_bit11 -a13_bit12 -a14_bit_7 -a14_bit_6 -a14_bit_5 -a14_bit_4 -a14_bit_3 -a14_bit_2 -a14_bit_1 -a14_bit0 -a14_bit1 -a14_bit2 -a14_bit3 -a14_bit4 -a14_bit5 -a14_bit6 -a14_bit7 -a14_bit8 -a14_bit9 -a14_bit10 -a14_bit11 -a14_bit12 -a15_bit_7 -a15_bit_6 -a15_bit_5 -a15_bit_4 -a15_bit_3 -a15_bit_2 -a15_bit_1 -a15_bit0 -a15_bit1 a15_bit2 a15_bit3 a15_bit4 a15_bit5 -a15_bit6 a15_bit7 -a15_bit8 a15_bit9 -a15_bit10 -a15_bit11 -a15_bit12 -a16_bit_7 -a16_bit_6 -a16_bit_5 -a16_bit_4 -a16_bit_3 -a16_bit_2 -a16_bit_1 -a16_bit0 -a16_bit1 -a16_bit2 -a16_bit3 -a16_bit4 -a16_bit5 -a16_bit6 -a16_bit7 a16_bit8 -a16_bit9 -a16_bit10 -a16_bit11 -a16_bit12 -b1_bit_7 -b1_bit_6 -b1_bit_5 -b1_bit_4 -b1_bit_3 -b1_bit_2 -b1_bit_1 -b1_bit0 -b1_bit1 -b1_bit2 -b1_bit3 -b1_bit4 -b1_bit5 -b1_bit6 -b1_bit7 -b1_bit8 -b1_bit9 -b1_bit10 -b1_bit11 -b1_bit12 -b2_bit_7 -b2_bit_6 -b2_bit_5 -b2_bit_4 -b2_bit_3 -b2_bit_2 -b2_bit_1 -b2_bit0 -b2_bit1 -b2_bit2 -b2_bit3 -b2_bit4 -b2_bit5 -b2_bit6 -b2_bit7 -b2_bit8 -b2_bit9 -b2_bit10 -b2_bit11 -b2_bit12 -b3_bit_7 -b3_bit_6 -b3_bit_5 -b3_bit_4 -b3_bit_3 -b3_bit_2 -b3_bit_1 -b3_bit0 -b3_bit1 -b3_bit2 -b3_bit3 -b3_bit4 -b3_bit5 -b3_bit6 -b3_bit7 -b3_bit8 -b3_bit9 -b3_bit10 -b3_bit11 -b3_bit12 -b4_bit_7 -b4_bit_6 -b4_bit_5 -b4_bit_4 -b4_bit_3 -b4_bit_2 -b4_bit_1 -b4_bit0 -b4_bit1 -b4_bit2 -b4_bit3 -b4_bit4 -b4_bit5 -b4_bit6 -b4_bit7 -b4_bit8 -b4_bit9 -b4_bit10 -b4_bit11 -b4_bit12 -b5_bit_7 -b5_bit_6 -b5_bit_5 -b5_bit_4 -b5_bit_3 -b5_bit_2 -b5_bit_1 -b5_bit0 -b5_bit1 -b5_bit2 -b5_bit3 -b5_bit4 -b5_bit5 -b5_bit6 -b5_bit7 -b5_bit8 -b5_bit9 -b5_bit10 -b5_bit11 -b5_bit12 -b6_bit_7 b6_bit_6 -b6_bit_5 b6_bit_4 b6_bit_3 b6_bit_2 b6_bit_1 b6_bit0 b6_bit1 b6_bit2 -b6_bit3 -b6_bit4 -b6_bit5 -b6_bit6 -b6_bit7 -b6_bit8 -b6_bit9 -b6_bit10 -b6_bit11 -b6_bit12 -b7_bit_7 -b7_bit_6 -b7_bit_5 -b7_bit_4 -b7_bit_3 -b7_bit_2 b7_bit_1 b7_bit0 b7_bit1 -b7_bit2 -b7_bit3 -b7_bit4 -b7_bit5 b7_bit6 -b7_bit7 -b7_bit8 -b7_bit9 b7_bit10 b7_bit11 -b7_bit12 -b8_bit_7 -b8_bit_6 -b8_bit_5 -b8_bit_4 -b8_bit_3 -b8_bit_2 -b8_bit_1 -b8_bit0 -b8_bit1 -b8_bit2 -b8_bit3 -b8_bit4 -b8_bit5 -b8_bit6 -b8_bit7 -b8_bit8 -b8_bit9 -b8_bit10 -b8_bit11 -b8_bit12 -b9_bit_7 -b9_bit_6 -b9_bit_5 -b9_bit_4 -b9_bit_3 -b9_bit_2 -b9_bit_1 -b9_bit0 -b9_bit1 -b9_bit2 -b9_bit3 -b9_bit4 -b9_bit5 -b9_bit6 -b9_bit7 -b9_bit8 -b9_bit9 -b9_bit10 -b9_bit11 -b9_bit12 -b10_bit_7 -b10_bit_6 -b10_bit_5 -b10_bit_4 -b10_bit_3 -b10_bit_2 -b10_bit_1 -b10_bit0 -b10_bit1 -b10_bit2 -b10_bit3 -b10_bit4 -b10_bit5 -b10_bit6 -b10_bit7 -b10_bit8 -b10_bit9 -b10_bit10 -b10_bit11 -b10_bit12 -b11_bit_7 -b11_bit_6 -b11_bit_5 -b11_bit_4 -b11_bit_3 -b11_bit_2 -b11_bit_1 -b11_bit0 -b11_bit1 -b11_bit2 -b11_bit3 -b11_bit4 -b11_bit5 -b11_bit6 -b11_bit7 -b11_bit8 -b11_bit9 -b11_bit10 b11_bit11 -b11_bit12 -b12_bit_7 -b12_bit_6 -b12_bit_5 -b12_bit_4 -b12_bit_3 -b12_bit_2 -b12_bit_1 -b12_bit0 -b12_bit1 -b12_bit2 -b12_bit3 -b12_bit4 -b12_bit5 -b12_bit6 -b12_bit7 -b12_bit8 -b12_bit9 -b12_bit10 -b12_bit11 -b12_bit12 -b13_bit_7 -b13_bit_6 -b13_bit_5 -b13_bit_4 -b13_bit_3 -b13_bit_2 -b13_bit_1 -b13_bit0 -b13_bit1 -b13_bit2 -b13_bit3 -b13_bit4 -b13_bit5 -b13_bit6 -b13_bit7 b13_bit8 -b13_bit9 -b13_bit10 -b13_bit11 -b13_bit12 -b14_bit_7 -b14_bit_6 -b14_bit_5 -b14_bit_4 -b14_bit_3 -b14_bit_2 -b14_bit_1 -b14_bit0 -b14_bit1 -b14_bit2 -b14_bit3 -b14_bit4 -b14_bit5 -b14_bit6 b14_bit7 -b14_bit8 -b14_bit9 -b14_bit10 -b14_bit11 -b14_bit12 -b15_bit_7 -b15_bit_6 -b15_bit_5 -b15_bit_4 -b15_bit_3 -b15_bit_2 -b15_bit_1 -b15_bit0 -b15_bit1 -b15_bit2 -b15_bit3 -b15_bit4 -b15_bit5 -b15_bit6 -b15_bit7 -b15_bit8 -b15_bit9 -b15_bit10 -b15_bit11 -b15_bit12 -b16_bit_7 -b16_bit_6 -b16_bit_5 -b16_bit_4 -b16_bit_3 -b16_bit_2 b16_bit_1 -b16_bit0 -b16_bit1 -b16_bit2 -b16_bit3 -b16_bit4 -b16_bit5 -b16_bit6 -b16_bit7 -b16_bit8 -b16_bit9 -b16_bit10 -b16_bit11 -b16_bit12 c1_bit0 c2_bit0 c10_bit0 c11_bit0 c12_bit0 c13_bit0 c14_bit0 -c15_bit0 c16_bit0 c3_bit0 c4_bit0 c5_bit0 -c6_bit0 c7_bit0 c8_bit0 c9_bit0 f1_bit_7 f1_bit_6 f1_bit_5 f1_bit_4 f1_bit_3 f1_bit_2 f1_bit_1 -f1_bit0 f1_bit1 f1_bit2 f1_bit3 f1_bit4 -f1_bit5 -f1_bit6 -f1_bit7 -f1_bit8 -f1_bit9 f1_bit10 -f1_bit11 -f1_bit12 -f10_bit_7 -f10_bit_6 -f10_bit_5 -f10_bit_4 -f10_bit_3 -f10_bit_2 -f10_bit_1 -f10_bit0 -f10_bit1 -f10_bit2 -f10_bit3 -f10_bit4 -f10_bit5 -f10_bit6 -f10_bit7 -f10_bit8 f10_bit9 f10_bit10 -f10_bit11 -f10_bit12 -f11_bit_7 -f11_bit_6 -f11_bit_5 f11_bit_4 -f11_bit_3 -f11_bit_2 -f11_bit_1 -f11_bit0 f11_bit1 -f11_bit2 -f11_bit3 -f11_bit4 f11_bit5 f11_bit6 f11_bit7 f11_bit8 -f11_bit9 -f11_bit10 -f11_bit11 -f11_bit12 -f12_bit_7 -f12_bit_6 -f12_bit_5 -f12_bit_4 -f12_bit_3 -f12_bit_2 -f12_bit_1 -f12_bit0 -f12_bit1 -f12_bit2 -f12_bit3 -f12_bit4 -f12_bit5 -f12_bit6 -f12_bit7 -f12_bit8 -f12_bit9 -f12_bit10 -f12_bit11 -f12_bit12 -f13_bit_7 -f13_bit_6 f13_bit_5 f13_bit_4 f13_bit_3 f13_bit_2 f13_bit_1 f13_bit0 f13_bit1 f13_bit2 f13_bit3 f13_bit4 f13_bit5 f13_bit6 f13_bit7 f13_bit8 f13_bit9 f13_bit10 -f13_bit11 -f13_bit12 -f14_bit_7 -f14_bit_6 -f14_bit_5 -f14_bit_4 -f14_bit_3 -f14_bit_2 -f14_bit_1 -f14_bit0 -f14_bit1 -f14_bit2 -f14_bit3 -f14_bit4 f14_bit5 -f14_bit6 -f14_bit7 f14_bit8 f14_bit9 -f14_bit10 -f14_bit11 -f14_bit12 -f16_bit_7 -f16_bit_6 -f16_bit_5 -f16_bit_4 -f16_bit_3 -f16_bit_2 -f16_bit_1 -f16_bit0 -f16_bit1 -f16_bit2 -f16_bit3 -f16_bit4 -f16_bit5 -f16_bit6 -f16_bit7 -f16_bit8 -f16_bit9 -f16_bit10 -f16_bit11 -f16_bit12 f2_bit_7 f2_bit_6 f2_bit_5 -f2_bit_4 -f2_bit_3 -f2_bit_2 f2_bit_1 f2_bit0 -f2_bit1 -f2_bit2 -f2_bit3 f2_bit4 f2_bit5 f2_bit6 f2_bit7 f2_bit8 f2_bit9 f2_bit10 f2_bit11 f2_bit12 -f3_bit_7 -f3_bit_6 -f3_bit_5 -f3_bit_4 -f3_bit_3 -f3_bit_2 -f3_bit_1 -f3_bit0 -f3_bit1 -f3_bit2 -f3_bit3 -f3_bit4 -f3_bit5 -f3_bit6 -f3_bit7 -f3_bit8 -f3_bit9 -f3_bit10 -f3_bit11 -f3_bit12 -f4_bit_7 -f4_bit_6 -f4_bit_5 -f4_bit_4 -f4_bit_3 -f4_bit_2 -f4_bit_1 -f4_bit0 -f4_bit1 -f4_bit2 -f4_bit3 -f4_bit4 -f4_bit5 -f4_bit6 -f4_bit7 -f4_bit8 -f4_bit9 -f4_bit10 -f4_bit11 -f4_bit12 f5_bit_7 -f5_bit_6 -f5_bit_5 -f5_bit_4 f5_bit_3 -f5_bit_2 f5_bit_1 -f5_bit0 -f5_bit1 f5_bit2 -f5_bit3 f5_bit4 f5_bit5 f5_bit6 f5_bit7 f5_bit8 f5_bit9 -f5_bit10 -f5_bit11 f5_bit12 -f6_bit_7 -f6_bit_6 -f6_bit_5 -f6_bit_4 -f6_bit_3 -f6_bit_2 -f6_bit_1 -f6_bit0 -f6_bit1 -f6_bit2 -f6_bit3 -f6_bit4 -f6_bit5 -f6_bit6 -f6_bit7 -f6_bit8 -f6_bit9 -f6_bit10 -f6_bit11 -f6_bit12 -f7_bit_7 f7_bit_6 f7_bit_5 f7_bit_4 f7_bit_3 f7_bit_2 -f7_bit_1 f7_bit0 f7_bit1 -f7_bit2 -f7_bit3 -f7_bit4 f7_bit5 -f7_bit6 f7_bit7 -f7_bit8 f7_bit9 f7_bit10 f7_bit11 f7_bit12 f9_bit_7 -f9_bit_6 -f9_bit_5 -f9_bit_4 -f9_bit_3 -f9_bit_2 -f9_bit_1 -f9_bit0 f9_bit1 f9_bit2 f9_bit3 f9_bit4 f9_bit5 f9_bit6 -f9_bit7 f9_bit8 -f9_bit9 f9_bit10 -f9_bit11 f9_bit12 c Cost: 263070904856040 c Exit Code: 10 c Total time: 1195 s
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795323849 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 107 3 90 68 0 39 0 [pid=28548] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-bell5.opb [startup+10.0033 s] Raw data (loadavg): 0.92 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 2470 0 0 0 770 75 0 0 25 0 1 0 1795323849 13234176 2381 4294967295 134512640 134736556 3221224560 3221223232 134605803 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 3231 2381 1116 68 0 3163 0 [pid=28548] vsize: 12924 Current children cumulated CPU time (s) 8.45 Current children cumulated vsize (Kb) 12924 [startup+20.0042 s] Raw data (loadavg): 0.93 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 2819 0 0 0 1683 106 0 0 22 0 1 0 1795323849 14630912 2730 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 3572 2730 1116 68 0 3504 0 [pid=28548] vsize: 14288 Current children cumulated CPU time (s) 17.89 Current children cumulated vsize (Kb) 14288 [startup+30.005 s] Raw data (loadavg): 0.94 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 4400 0 0 0 2505 167 0 0 21 0 1 0 1795323849 21110784 4311 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 5154 4311 1116 68 0 5086 0 [pid=28548] vsize: 20616 Current children cumulated CPU time (s) 26.72 Current children cumulated vsize (Kb) 20616 [startup+40.0058 s] Raw data (loadavg): 0.95 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 8816 0 0 0 3338 229 0 0 22 0 1 0 1795323849 39186432 8727 4294967295 134512640 134736556 3221224560 3221223296 134529427 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 9567 8727 1116 68 0 9499 0 [pid=28548] vsize: 38268 Current children cumulated CPU time (s) 35.67 Current children cumulated vsize (Kb) 38268 [startup+50.0066 s] Raw data (loadavg): 0.96 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 8842 0 0 0 4183 285 0 0 25 0 1 0 1795323849 39321600 8753 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28548/statm): 9600 8753 1116 68 0 9532 0 [pid=28548] vsize: 38400 Current children cumulated CPU time (s) 44.68 Current children cumulated vsize (Kb) 38400 [startup+60.0064 s] Raw data (loadavg): 0.96 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 9932 0 0 0 5020 342 0 0 25 0 1 0 1795323849 43786240 9843 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 10690 9843 1116 68 0 10622 0 [pid=28548] vsize: 42760 Current children cumulated CPU time (s) 53.62 Current children cumulated vsize (Kb) 42760 [startup+70.0073 s] Raw data (loadavg): 0.97 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 12278 0 0 0 5918 378 0 0 25 0 1 0 1795323849 53309440 12189 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 13015 12189 1116 68 0 12947 0 [pid=28548] vsize: 52060 Current children cumulated CPU time (s) 62.96 Current children cumulated vsize (Kb) 52060 [startup+80.0081 s] Raw data (loadavg): 0.97 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 12994 0 0 0 6829 412 0 0 25 0 1 0 1795323849 56274944 12905 4294967295 134512640 134736556 3221224560 3221222312 134634441 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 13739 12905 1116 68 0 13671 0 [pid=28548] vsize: 54956 Current children cumulated CPU time (s) 72.41 Current children cumulated vsize (Kb) 54956 [startup+90.0089 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 13440 0 0 0 7651 470 0 0 20 0 1 0 1795323849 58163200 13351 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28548/statm): 14200 13351 1116 68 0 14132 0 [pid=28548] vsize: 56800 Current children cumulated CPU time (s) 81.21 Current children cumulated vsize (Kb) 56800 [startup+100.01 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 13533 0 0 0 8401 554 0 0 20 0 1 0 1795323849 58568704 13444 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28548/statm): 14299 13444 1116 68 0 14231 0 [pid=28548] vsize: 57196 Current children cumulated CPU time (s) 89.55 Current children cumulated vsize (Kb) 57196 [startup+110.011 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 13580 0 0 0 9134 644 0 0 20 0 1 0 1795323849 58703872 13491 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28548/statm): 14332 13491 1116 68 0 14264 0 [pid=28548] vsize: 57328 Current children cumulated CPU time (s) 97.78 Current children cumulated vsize (Kb) 57328 [startup+120.011 s] Raw data (loadavg): 0.98 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 13600 0 0 0 9997 691 0 0 25 0 1 0 1795323849 58839040 13511 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28548/statm): 14365 13511 1116 68 0 14297 0 [pid=28548] vsize: 57460 Current children cumulated CPU time (s) 106.88 Current children cumulated vsize (Kb) 57460 [startup+130.012 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 14092 0 0 0 10907 720 0 0 25 0 1 0 1795323849 60833792 14003 4294967295 134512640 134736556 3221224560 3221223228 134553061 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 14852 14003 1116 68 0 14784 0 [pid=28548] vsize: 59408 Current children cumulated CPU time (s) 116.27 Current children cumulated vsize (Kb) 59408 [startup+140.013 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 14214 0 0 0 11724 783 0 0 23 0 1 0 1795323849 61284352 14125 4294967295 134512640 134736556 3221224560 3221223088 134550871 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 14962 14125 1116 68 0 14894 0 [pid=28548] vsize: 59848 Current children cumulated CPU time (s) 125.07 Current children cumulated vsize (Kb) 59848 [startup+150.014 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 14218 0 0 0 12636 812 0 0 25 0 1 0 1795323849 61284352 14129 4294967295 134512640 134736556 3221224560 3221223208 134560551 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 14962 14129 1116 68 0 14894 0 [pid=28548] vsize: 59848 Current children cumulated CPU time (s) 134.48 Current children cumulated vsize (Kb) 59848 [startup+160.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 14328 0 0 0 13561 838 0 0 25 0 1 0 1795323849 61796352 14239 4294967295 134512640 134736556 3221224560 3221222484 134717263 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 15087 14239 1116 68 0 15019 0 [pid=28548] vsize: 60348 Current children cumulated CPU time (s) 143.99 Current children cumulated vsize (Kb) 60348 [startup+170.015 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 15254 0 0 0 14464 875 0 0 19 0 1 0 1795323849 65581056 15165 4294967295 134512640 134736556 3221224560 3221223180 134554100 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 16011 15165 1116 68 0 15943 0 [pid=28548] vsize: 64044 Current children cumulated CPU time (s) 153.39 Current children cumulated vsize (Kb) 64044 [startup+180.016 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 15925 0 0 0 15318 928 0 0 20 0 1 0 1795323849 68284416 15836 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 16671 15836 1116 68 0 16603 0 [pid=28548] vsize: 66684 Current children cumulated CPU time (s) 162.46 Current children cumulated vsize (Kb) 66684 [startup+190.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 16186 0 0 0 16178 974 0 0 25 0 1 0 1795323849 69365760 16097 4294967295 134512640 134736556 3221224560 3221223120 134634130 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 16935 16097 1116 68 0 16867 0 [pid=28548] vsize: 67740 Current children cumulated CPU time (s) 171.52 Current children cumulated vsize (Kb) 67740 [startup+200.017 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 16296 0 0 0 17131 990 0 0 25 0 1 0 1795323849 69898240 16207 4294967295 134512640 134736556 3221224560 3221223176 134716001 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 17065 16207 1116 68 0 16997 0 [pid=28548] vsize: 68260 Current children cumulated CPU time (s) 181.21 Current children cumulated vsize (Kb) 68260 [startup+210.017 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 16316 0 0 0 18045 1021 0 0 25 0 1 0 1795323849 69885952 16227 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28548/statm): 17062 16227 1116 68 0 16994 0 [pid=28548] vsize: 68248 Current children cumulated CPU time (s) 190.66 Current children cumulated vsize (Kb) 68248 [startup+220.019 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 16316 0 0 0 19019 1031 0 0 25 0 1 0 1795323849 69885952 16227 4294967295 134512640 134736556 3221224560 3221223188 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 17062 16227 1116 68 0 16994 0 [pid=28548] vsize: 68248 Current children cumulated CPU time (s) 200.5 Current children cumulated vsize (Kb) 68248 [startup+230.018 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 19144 0 0 0 19957 1057 0 0 25 0 1 0 1795323849 81485824 19055 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 19894 19055 1116 68 0 19826 0 [pid=28548] vsize: 79576 Current children cumulated CPU time (s) 210.14 Current children cumulated vsize (Kb) 79576 [startup+240.019 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 20044 0 0 0 20894 1079 0 0 25 0 1 0 1795323849 85196800 19955 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 20800 19955 1116 68 0 20732 0 [pid=28548] vsize: 83200 Current children cumulated CPU time (s) 219.73 Current children cumulated vsize (Kb) 83200 [startup+250.02 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 20082 0 0 0 21817 1105 0 0 25 0 1 0 1795323849 85331968 19993 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 20833 19993 1116 68 0 20765 0 [pid=28548] vsize: 83332 Current children cumulated CPU time (s) 229.22 Current children cumulated vsize (Kb) 83332 [startup+260.021 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 20105 0 0 0 22746 1130 0 0 25 0 1 0 1795323849 85450752 20016 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28548/statm): 20862 20016 1116 68 0 20794 0 [pid=28548] vsize: 83448 Current children cumulated CPU time (s) 238.76 Current children cumulated vsize (Kb) 83448 [startup+270.022 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 22606 0 0 0 23702 1148 0 0 25 0 1 0 1795323849 95473664 22465 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 23309 22465 1116 68 0 23241 0 [pid=28548] vsize: 93236 Current children cumulated CPU time (s) 248.5 Current children cumulated vsize (Kb) 93236 [startup+280.022 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 24588 0 0 0 24637 1174 0 0 25 0 1 0 1795323849 103583744 24447 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28548/statm): 25289 24447 1116 68 0 25221 0 [pid=28548] vsize: 101156 Current children cumulated CPU time (s) 258.11 Current children cumulated vsize (Kb) 101156 [startup+290.023 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 29208 0 0 0 25521 1223 0 0 24 0 1 0 1795323849 122503168 29067 4294967295 134512640 134736556 3221224560 3221223184 134528604 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 29908 29067 1116 68 0 29840 0 [pid=28548] vsize: 119632 Current children cumulated CPU time (s) 267.44 Current children cumulated vsize (Kb) 119632 [startup+300.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 34200 0 0 0 26441 1258 0 0 25 0 1 0 1795323849 142913536 34059 4294967295 134512640 134736556 3221224560 3221223376 134609230 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 34891 34059 1116 68 0 34823 0 [pid=28548] vsize: 139564 Current children cumulated CPU time (s) 276.99 Current children cumulated vsize (Kb) 139564 [startup+310.024 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 37857 0 0 0 27383 1282 0 0 25 0 1 0 1795323849 157908992 37716 4294967295 134512640 134736556 3221224560 3221223188 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 38552 37716 1116 68 0 38484 0 [pid=28548] vsize: 154208 Current children cumulated CPU time (s) 286.65 Current children cumulated vsize (Kb) 154208 [startup+320.025 s] Raw data (loadavg): 0.99 0.98 0.99 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 39522 0 0 0 28302 1314 0 0 25 0 1 0 1795323849 164786176 39381 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 40231 39381 1116 68 0 40163 0 [pid=28548] vsize: 160924 Current children cumulated CPU time (s) 296.16 Current children cumulated vsize (Kb) 160924 [startup+330.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 42550 0 0 0 29242 1341 0 0 25 0 1 0 1795323849 176508928 42254 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 43093 42254 1116 68 0 43025 0 [pid=28548] vsize: 172372 Current children cumulated CPU time (s) 305.83 Current children cumulated vsize (Kb) 172372 [startup+340.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 49679 0 0 0 30142 1385 0 0 25 0 1 0 1795323849 205717504 49383 4294967295 134512640 134736556 3221224560 3221223272 134553044 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 50224 49383 1116 68 0 50156 0 [pid=28548] vsize: 200896 Current children cumulated CPU time (s) 315.27 Current children cumulated vsize (Kb) 200896 [startup+350.026 s] Raw data (loadavg): 0.99 0.98 0.99 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 53522 0 0 0 31069 1414 0 0 25 0 1 0 1795323849 221532160 53226 4294967295 134512640 134736556 3221224560 3221223224 134536405 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 54085 53226 1116 68 0 54017 0 [pid=28548] vsize: 216340 Current children cumulated CPU time (s) 324.83 Current children cumulated vsize (Kb) 216340 [startup+360.027 s] Raw data (loadavg): 1.07 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 53826 0 0 0 32006 1435 0 0 25 0 1 0 1795323849 222715904 53530 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 54374 53530 1116 68 0 54306 0 [pid=28548] vsize: 217496 Current children cumulated CPU time (s) 334.41 Current children cumulated vsize (Kb) 217496 [startup+370.028 s] Raw data (loadavg): 1.06 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 55557 0 0 0 32968 1450 0 0 25 0 1 0 1795323849 229871616 55261 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 56121 55261 1116 68 0 56053 0 [pid=28548] vsize: 224484 Current children cumulated CPU time (s) 344.18 Current children cumulated vsize (Kb) 224484 [startup+380.028 s] Raw data (loadavg): 1.05 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 56675 0 0 0 33949 1458 0 0 25 0 1 0 1795323849 234463232 56379 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 57242 56379 1116 68 0 57174 0 [pid=28548] vsize: 228968 Current children cumulated CPU time (s) 354.07 Current children cumulated vsize (Kb) 228968 [startup+390.029 s] Raw data (loadavg): 1.04 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 57294 0 0 0 34934 1465 0 0 25 0 1 0 1795323849 237031424 56998 4294967295 134512640 134736556 3221224560 3221223208 134554078 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 57869 56998 1116 68 0 57801 0 [pid=28548] vsize: 231476 Current children cumulated CPU time (s) 363.99 Current children cumulated vsize (Kb) 231476 [startup+400.029 s] Raw data (loadavg): 1.04 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 57881 0 0 0 35916 1472 0 0 25 0 1 0 1795323849 239329280 57585 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 58430 57585 1116 68 0 58362 0 [pid=28548] vsize: 233720 Current children cumulated CPU time (s) 373.88 Current children cumulated vsize (Kb) 233720 [startup+410.029 s] Raw data (loadavg): 1.03 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 58680 0 0 0 36896 1481 0 0 25 0 1 0 1795323849 242708480 58384 4294967295 134512640 134736556 3221224560 3221223224 134554070 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 59255 58384 1116 68 0 59187 0 [pid=28548] vsize: 237020 Current children cumulated CPU time (s) 383.77 Current children cumulated vsize (Kb) 237020 [startup+420.03 s] Raw data (loadavg): 1.03 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 59642 0 0 0 37878 1489 0 0 25 0 1 0 1795323849 246636544 59346 4294967295 134512640 134736556 3221224560 3221223188 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 60214 59346 1116 68 0 60146 0 [pid=28548] vsize: 240856 Current children cumulated CPU time (s) 393.67 Current children cumulated vsize (Kb) 240856 [startup+430.031 s] Raw data (loadavg): 1.02 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 60355 0 0 0 38824 1509 0 0 25 0 1 0 1795323849 249475072 60059 4294967295 134512640 134736556 3221224560 3221223220 134630068 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 60907 60059 1116 68 0 60839 0 [pid=28548] vsize: 243628 Current children cumulated CPU time (s) 403.33 Current children cumulated vsize (Kb) 243628 [startup+440.032 s] Raw data (loadavg): 1.02 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 62061 0 0 0 39707 1552 0 0 25 0 1 0 1795323849 256471040 61765 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 62615 61765 1116 68 0 62547 0 [pid=28548] vsize: 250460 Current children cumulated CPU time (s) 412.59 Current children cumulated vsize (Kb) 250460 [startup+450.032 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 66822 0 0 0 40558 1611 0 0 22 0 1 0 1795323849 276070400 66526 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 67400 66526 1116 68 0 67332 0 [pid=28548] vsize: 269600 Current children cumulated CPU time (s) 421.69 Current children cumulated vsize (Kb) 269600 [startup+460.033 s] Raw data (loadavg): 1.01 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 70244 0 0 0 41413 1664 0 0 25 0 1 0 1795323849 289992704 69948 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 70799 69948 1116 68 0 70731 0 [pid=28548] vsize: 283196 Current children cumulated CPU time (s) 430.77 Current children cumulated vsize (Kb) 283196 [startup+470.034 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 73141 0 0 0 42280 1715 0 0 25 0 1 0 1795323849 301891584 72845 4294967295 134512640 134736556 3221224560 3221222936 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 73704 72845 1116 68 0 73636 0 [pid=28548] vsize: 294816 Current children cumulated CPU time (s) 439.95 Current children cumulated vsize (Kb) 294816 [startup+480.035 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 76319 0 0 0 43172 1757 0 0 25 0 1 0 1795323849 314994688 76023 4294967295 134512640 134736556 3221224560 3221223216 134524547 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 76903 76023 1116 68 0 76835 0 [pid=28548] vsize: 307612 Current children cumulated CPU time (s) 449.29 Current children cumulated vsize (Kb) 307612 [startup+490.036 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 79067 0 0 0 44094 1792 0 0 25 0 1 0 1795323849 326193152 78771 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 79637 78771 1116 68 0 79569 0 [pid=28548] vsize: 318548 Current children cumulated CPU time (s) 458.86 Current children cumulated vsize (Kb) 318548 [startup+500.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 80462 0 0 0 45046 1812 0 0 25 0 1 0 1795323849 331997184 80166 4294967295 134512640 134736556 3221224560 3221223096 134536707 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 81054 80166 1116 68 0 80986 0 [pid=28548] vsize: 324216 Current children cumulated CPU time (s) 468.58 Current children cumulated vsize (Kb) 324216 [startup+510.036 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 83136 0 0 0 45955 1847 0 0 25 0 1 0 1795323849 342958080 82840 4294967295 134512640 134736556 3221224560 3221223124 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 83730 82840 1116 68 0 83662 0 [pid=28548] vsize: 334920 Current children cumulated CPU time (s) 478.02 Current children cumulated vsize (Kb) 334920 [startup+520.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 85636 0 0 0 46885 1873 0 0 25 0 1 0 1795323849 351928320 85029 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 85920 85029 1116 68 0 85852 0 [pid=28548] vsize: 343680 Current children cumulated CPU time (s) 487.58 Current children cumulated vsize (Kb) 343680 [startup+530.037 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 85840 0 0 0 47842 1889 0 0 25 0 1 0 1795323849 352739328 85233 4294967295 134512640 134736556 3221224560 3221223164 134544624 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 86118 85233 1116 68 0 86050 0 [pid=28548] vsize: 344472 Current children cumulated CPU time (s) 497.31 Current children cumulated vsize (Kb) 344472 [startup+540.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 87878 0 0 0 48790 1911 0 0 25 0 1 0 1795323849 361123840 87271 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 88165 87271 1116 68 0 88097 0 [pid=28548] vsize: 352660 Current children cumulated CPU time (s) 507.01 Current children cumulated vsize (Kb) 352660 [startup+550.04 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 92035 0 0 0 49723 1940 0 0 25 0 1 0 1795323849 378159104 91428 4294967295 134512640 134736556 3221224560 3221223248 134529232 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 92324 91428 1116 68 0 92256 0 [pid=28548] vsize: 369296 Current children cumulated CPU time (s) 516.63 Current children cumulated vsize (Kb) 369296 [startup+560.039 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 94691 0 0 0 50688 1958 0 0 25 0 1 0 1795323849 389001216 94083 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 94971 94083 1116 68 0 94903 0 [pid=28548] vsize: 379884 Current children cumulated CPU time (s) 526.46 Current children cumulated vsize (Kb) 379884 [startup+570.04 s] Raw data (loadavg): 1.08 1.02 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 98209 0 0 0 51631 1985 0 0 25 0 1 0 1795323849 403460096 97601 4294967295 134512640 134736556 3221224560 3221223264 134529222 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 98501 97601 1116 68 0 98433 0 [pid=28548] vsize: 394004 Current children cumulated CPU time (s) 536.16 Current children cumulated vsize (Kb) 394004 [startup+580.041 s] Raw data (loadavg): 1.07 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 101134 0 0 0 52587 2005 0 0 25 0 1 0 1795323849 415363072 100526 4294967295 134512640 134736556 3221224560 3221223116 134536676 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 101407 100526 1116 68 0 101339 0 [pid=28548] vsize: 405628 Current children cumulated CPU time (s) 545.92 Current children cumulated vsize (Kb) 405628 [startup+590.042 s] Raw data (loadavg): 1.06 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 102471 0 0 0 53558 2017 0 0 25 0 1 0 1795323849 420904960 101863 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 102760 101863 1116 68 0 102692 0 [pid=28548] vsize: 411040 Current children cumulated CPU time (s) 555.75 Current children cumulated vsize (Kb) 411040 [startup+600.043 s] Raw data (loadavg): 1.05 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 102978 0 0 0 54494 2042 0 0 24 0 1 0 1795323849 422895616 102370 4294967295 134512640 134736556 3221224560 3221223108 134544508 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 103246 102370 1116 68 0 103178 0 [pid=28548] vsize: 412984 Current children cumulated CPU time (s) 565.36 Current children cumulated vsize (Kb) 412984 [startup+610.044 s] Raw data (loadavg): 1.04 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 103694 0 0 0 55314 2105 0 0 23 0 1 0 1795323849 425889792 103086 4294967295 134512640 134736556 3221224560 3221223120 134634142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 103977 103086 1116 68 0 103909 0 [pid=28548] vsize: 415908 Current children cumulated CPU time (s) 574.19 Current children cumulated vsize (Kb) 415908 [startup+620.044 s] Raw data (loadavg): 1.03 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 104298 0 0 0 56282 2117 0 0 25 0 1 0 1795323849 428441600 103690 4294967295 134512640 134736556 3221224560 3221223000 1077378037 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 104600 103690 1116 68 0 104532 0 [pid=28548] vsize: 418400 Current children cumulated CPU time (s) 583.99 Current children cumulated vsize (Kb) 418400 [startup+630.044 s] Raw data (loadavg): 1.03 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 107089 0 0 0 57242 2136 0 0 25 0 1 0 1795323849 439808000 106481 4294967295 134512640 134736556 3221224560 3221223152 134551226 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 107375 106481 1116 68 0 107307 0 [pid=28548] vsize: 429500 Current children cumulated CPU time (s) 593.78 Current children cumulated vsize (Kb) 429500 [startup+640.045 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 109119 0 0 0 58202 2153 0 0 25 0 1 0 1795323849 448184320 108511 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 109420 108511 1116 68 0 109352 0 [pid=28548] vsize: 437680 Current children cumulated CPU time (s) 603.55 Current children cumulated vsize (Kb) 437680 [startup+650.046 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 111395 0 0 0 59169 2167 0 0 25 0 1 0 1795323849 457515008 110787 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 111698 110787 1116 68 0 111630 0 [pid=28548] vsize: 446792 Current children cumulated CPU time (s) 613.36 Current children cumulated vsize (Kb) 446792 [startup+660.047 s] Raw data (loadavg): 1.02 1.01 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 113820 0 0 0 60134 2183 0 0 25 0 1 0 1795323849 467398656 113212 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 114111 113212 1116 68 0 114043 0 [pid=28548] vsize: 456444 Current children cumulated CPU time (s) 623.17 Current children cumulated vsize (Kb) 456444 [startup+670.048 s] Raw data (loadavg): 1.01 1.01 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 115320 0 0 0 61065 2209 0 0 25 0 1 0 1795323849 473616384 114712 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 115629 114712 1116 68 0 115561 0 [pid=28548] vsize: 462516 Current children cumulated CPU time (s) 632.74 Current children cumulated vsize (Kb) 462516 [startup+680.048 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 118491 0 0 0 62008 2232 0 0 25 0 1 0 1795323849 486584320 117883 4294967295 134512640 134736556 3221224560 3221223016 1077377842 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 118795 117883 1116 68 0 118727 0 [pid=28548] vsize: 475180 Current children cumulated CPU time (s) 642.4 Current children cumulated vsize (Kb) 475180 [startup+690.049 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122235 0 0 0 62916 2271 0 0 25 0 1 0 1795323849 501972992 121627 4294967295 134512640 134736556 3221224560 3221223036 134536620 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 122552 121627 1116 68 0 122484 0 [pid=28548] vsize: 490208 Current children cumulated CPU time (s) 651.87 Current children cumulated vsize (Kb) 490208 [startup+700.05 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122306 0 0 0 63894 2279 0 0 25 0 1 0 1795323849 502243328 121698 4294967295 134512640 134736556 3221224560 3221223208 134553994 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 122618 121698 1116 68 0 122550 0 [pid=28548] vsize: 490472 Current children cumulated CPU time (s) 661.73 Current children cumulated vsize (Kb) 490472 [startup+710.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122306 0 0 0 64886 2282 0 0 25 0 1 0 1795323849 502243328 121698 4294967295 134512640 134736556 3221224560 3221223240 134605609 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 122618 121698 1116 68 0 122550 0 [pid=28548] vsize: 490472 Current children cumulated CPU time (s) 671.68 Current children cumulated vsize (Kb) 490472 [startup+720.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122306 0 0 0 65876 2286 0 0 25 0 1 0 1795323849 502243328 121698 4294967295 134512640 134736556 3221224560 3221223072 134543074 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 122618 121698 1116 68 0 122550 0 [pid=28548] vsize: 490472 Current children cumulated CPU time (s) 681.62 Current children cumulated vsize (Kb) 490472 [startup+730.05 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122306 0 0 0 66871 2288 0 0 25 0 1 0 1795323849 502243328 121698 4294967295 134512640 134736556 3221224560 3221223184 134537427 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 122618 121698 1116 68 0 122550 0 [pid=28548] vsize: 490472 Current children cumulated CPU time (s) 691.59 Current children cumulated vsize (Kb) 490472 [startup+740.051 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122309 0 0 0 67861 2292 0 0 25 0 1 0 1795323849 502243328 121701 4294967295 134512640 134736556 3221224560 3221223236 134529474 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 122618 121701 1116 68 0 122550 0 [pid=28548] vsize: 490472 Current children cumulated CPU time (s) 701.53 Current children cumulated vsize (Kb) 490472 [startup+750.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122311 0 0 0 68846 2296 0 0 25 0 1 0 1795323849 502243328 121703 4294967295 134512640 134736556 3221224560 3221223160 134553994 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 122618 121703 1116 68 0 122550 0 [pid=28548] vsize: 490472 Current children cumulated CPU time (s) 711.42 Current children cumulated vsize (Kb) 490472 [startup+760.052 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122325 0 0 0 69831 2302 0 0 25 0 1 0 1795323849 502243328 121717 4294967295 134512640 134736556 3221224560 3221223208 134554070 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 122618 121717 1116 68 0 122550 0 [pid=28548] vsize: 490472 Current children cumulated CPU time (s) 721.33 Current children cumulated vsize (Kb) 490472 [startup+770.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122325 0 0 0 70822 2305 0 0 25 0 1 0 1795323849 502243328 121717 4294967295 134512640 134736556 3221224560 3221223200 134529288 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 122618 121717 1116 68 0 122550 0 [pid=28548] vsize: 490472 Current children cumulated CPU time (s) 731.27 Current children cumulated vsize (Kb) 490472 [startup+780.053 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122338 0 0 0 71811 2310 0 0 25 0 1 0 1795323849 502378496 121730 4294967295 134512640 134736556 3221224560 3221223140 134536476 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 122651 121730 1116 68 0 122583 0 [pid=28548] vsize: 490604 Current children cumulated CPU time (s) 741.21 Current children cumulated vsize (Kb) 490604 [startup+790.054 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 123762 0 0 0 72784 2321 0 0 24 0 1 0 1795323849 508190720 123154 4294967295 134512640 134736556 3221224560 3221223200 134529256 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 124070 123155 1116 68 0 124002 0 [pid=28548] vsize: 496280 Current children cumulated CPU time (s) 751.05 Current children cumulated vsize (Kb) 496280 [startup+800.055 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 129260 0 0 0 73705 2358 0 0 25 0 1 0 1795323849 530763776 128652 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 129581 128652 1116 68 0 129513 0 [pid=28548] vsize: 518324 Current children cumulated CPU time (s) 760.63 Current children cumulated vsize (Kb) 518324 [startup+810.056 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 133741 0 0 0 74656 2383 0 0 25 0 1 0 1795323849 549056512 133131 4294967295 134512640 134736556 3221224560 3221222732 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 134047 133131 1116 68 0 133979 0 [pid=28548] vsize: 536188 Current children cumulated CPU time (s) 770.39 Current children cumulated vsize (Kb) 536188 [startup+820.057 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 133902 0 0 0 75586 2408 0 0 25 0 1 0 1795323849 549736448 133292 4294967295 134512640 134736556 3221224560 3221223056 134550888 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 134213 133292 1116 68 0 134145 0 [pid=28548] vsize: 536852 Current children cumulated CPU time (s) 779.94 Current children cumulated vsize (Kb) 536852 [startup+830.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 135031 0 0 0 76507 2436 0 0 25 0 1 0 1795323849 554467328 134421 4294967295 134512640 134736556 3221224560 3221223244 134524324 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 135368 134421 1116 68 0 135300 0 [pid=28548] vsize: 541472 Current children cumulated CPU time (s) 789.43 Current children cumulated vsize (Kb) 541472 [startup+840.058 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 136556 0 0 0 77457 2457 0 0 25 0 1 0 1795323849 560680960 135946 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 136885 135946 1116 68 0 136817 0 [pid=28548] vsize: 547540 Current children cumulated CPU time (s) 799.14 Current children cumulated vsize (Kb) 547540 [startup+850.059 s] Raw data (loadavg): 1.07 1.02 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 136792 0 0 0 78417 2470 0 0 25 0 1 0 1795323849 561627136 136182 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 137116 136182 1116 68 0 137048 0 [pid=28548] vsize: 548464 Current children cumulated CPU time (s) 808.87 Current children cumulated vsize (Kb) 548464 [startup+860.059 s] Raw data (loadavg): 1.06 1.02 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 136994 0 0 0 79365 2489 0 0 25 0 1 0 1795323849 562438144 136384 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 137314 136384 1116 68 0 137246 0 [pid=28548] vsize: 549256 Current children cumulated CPU time (s) 818.54 Current children cumulated vsize (Kb) 549256 [startup+870.06 s] Raw data (loadavg): 1.05 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 136998 0 0 0 80310 2506 0 0 25 0 1 0 1795323849 562438144 136388 4294967295 134512640 134736556 3221224560 3221223016 134553411 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 137314 136388 1116 68 0 137246 0 [pid=28548] vsize: 549256 Current children cumulated CPU time (s) 828.16 Current children cumulated vsize (Kb) 549256 [startup+880.061 s] Raw data (loadavg): 1.04 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 137060 0 0 0 81265 2522 0 0 25 0 1 0 1795323849 562700288 136450 4294967295 134512640 134736556 3221224560 3221223284 134560258 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 137378 136450 1116 68 0 137310 0 [pid=28548] vsize: 549512 Current children cumulated CPU time (s) 837.87 Current children cumulated vsize (Kb) 549512 [startup+890.063 s] Raw data (loadavg): 1.04 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 137198 0 0 0 82221 2538 0 0 25 0 1 0 1795323849 563326976 136588 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 137531 136588 1116 68 0 137463 0 [pid=28548] vsize: 550124 Current children cumulated CPU time (s) 847.59 Current children cumulated vsize (Kb) 550124 [startup+900.063 s] Raw data (loadavg): 1.03 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 137198 0 0 0 83188 2549 0 0 25 0 1 0 1795323849 563326976 136588 4294967295 134512640 134736556 3221224560 3221223068 134537511 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 137531 136588 1116 68 0 137463 0 [pid=28548] vsize: 550124 Current children cumulated CPU time (s) 857.37 Current children cumulated vsize (Kb) 550124 [startup+910.063 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 137198 0 0 0 84155 2561 0 0 25 0 1 0 1795323849 563326976 136588 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 137531 136588 1116 68 0 137463 0 [pid=28548] vsize: 550124 Current children cumulated CPU time (s) 867.16 Current children cumulated vsize (Kb) 550124 [startup+920.064 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138307 0 0 0 85087 2586 0 0 25 0 1 0 1795323849 567918592 137697 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138652 137697 1116 68 0 138584 0 [pid=28548] vsize: 554608 Current children cumulated CPU time (s) 876.73 Current children cumulated vsize (Kb) 554608 [startup+930.065 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138309 0 0 0 86009 2616 0 0 25 0 1 0 1795323849 567918592 137699 4294967295 134512640 134736556 3221224560 3221223056 134550721 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138652 137699 1116 68 0 138584 0 [pid=28548] vsize: 554608 Current children cumulated CPU time (s) 886.25 Current children cumulated vsize (Kb) 554608 [startup+940.066 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138310 0 0 0 86938 2640 0 0 25 0 1 0 1795323849 567918592 137700 4294967295 134512640 134736556 3221224560 3221223088 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138652 137700 1116 68 0 138584 0 [pid=28548] vsize: 554608 Current children cumulated CPU time (s) 895.78 Current children cumulated vsize (Kb) 554608 [startup+950.067 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138310 0 0 0 87867 2663 0 0 25 0 1 0 1795323849 567918592 137700 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138652 137700 1116 68 0 138584 0 [pid=28548] vsize: 554608 Current children cumulated CPU time (s) 905.3 Current children cumulated vsize (Kb) 554608 [startup+960.067 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138311 0 0 0 88796 2690 0 0 25 0 1 0 1795323849 567918592 137701 4294967295 134512640 134736556 3221224560 3221223184 134537436 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138652 137701 1116 68 0 138584 0 [pid=28548] vsize: 554608 Current children cumulated CPU time (s) 914.86 Current children cumulated vsize (Kb) 554608 [startup+970.068 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138311 0 0 0 89720 2716 0 0 25 0 1 0 1795323849 567918592 137701 4294967295 134512640 134736556 3221224560 3221223152 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138652 137701 1116 68 0 138584 0 [pid=28548] vsize: 554608 Current children cumulated CPU time (s) 924.36 Current children cumulated vsize (Kb) 554608 [startup+980.069 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138311 0 0 0 90649 2741 0 0 25 0 1 0 1795323849 567918592 137701 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138652 137701 1116 68 0 138584 0 [pid=28548] vsize: 554608 Current children cumulated CPU time (s) 933.9 Current children cumulated vsize (Kb) 554608 [startup+990.071 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138344 0 0 0 91577 2767 0 0 22 0 1 0 1795323849 568053760 137734 4294967295 134512640 134736556 3221224560 3221223140 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138685 137734 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 943.44 Current children cumulated vsize (Kb) 554740 [startup+1000.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138347 0 0 0 92502 2792 0 0 25 0 1 0 1795323849 568053760 137737 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138685 137737 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 952.94 Current children cumulated vsize (Kb) 554740 [startup+1010.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138347 0 0 0 93431 2815 0 0 25 0 1 0 1795323849 568053760 137737 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138685 137737 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 962.46 Current children cumulated vsize (Kb) 554740 [startup+1020.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138348 0 0 0 94357 2840 0 0 25 0 1 0 1795323849 568053760 137738 4294967295 134512640 134736556 3221224560 3221223056 134716149 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138685 137738 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 971.97 Current children cumulated vsize (Kb) 554740 [startup+1030.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138348 0 0 0 95277 2868 0 0 25 0 1 0 1795323849 568053760 137738 4294967295 134512640 134736556 3221224560 3221223176 134554078 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138685 137738 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 981.45 Current children cumulated vsize (Kb) 554740 [startup+1040.07 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138348 0 0 0 96198 2895 0 0 25 0 1 0 1795323849 568053760 137738 4294967295 134512640 134736556 3221224560 3221223152 134524403 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138685 137738 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 990.93 Current children cumulated vsize (Kb) 554740 [startup+1050.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138349 0 0 0 97124 2922 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223088 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 1000.46 Current children cumulated vsize (Kb) 554740 [startup+1060.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138349 0 0 0 98051 2947 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223200 134529509 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 1009.98 Current children cumulated vsize (Kb) 554740 [startup+1070.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138349 0 0 0 98981 2971 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223200 134529503 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 1019.52 Current children cumulated vsize (Kb) 554740 [startup+1080.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138349 0 0 0 99908 2999 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 1029.07 Current children cumulated vsize (Kb) 554740 [startup+1090.08 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138349 0 0 0 100835 3023 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 1038.58 Current children cumulated vsize (Kb) 554740 [startup+1100.08 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138349 0 0 0 101764 3048 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0 [pid=28548] vsize: 554740 Current children cumulated CPU time (s) 1048.12 Current children cumulated vsize (Kb) 554740 [startup+1110.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138562 0 0 0 102683 3077 0 0 25 0 1 0 1795323849 568864768 137952 4294967295 134512640 134736556 3221224560 3221223216 134537363 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138883 137952 1116 68 0 138815 0 [pid=28548] vsize: 555532 Current children cumulated CPU time (s) 1057.6 Current children cumulated vsize (Kb) 555532 [startup+1120.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138564 0 0 0 103608 3101 0 0 25 0 1 0 1795323849 568864768 137954 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138883 137954 1116 68 0 138815 0 [pid=28548] vsize: 555532 Current children cumulated CPU time (s) 1067.09 Current children cumulated vsize (Kb) 555532 [startup+1130.08 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138564 0 0 0 104535 3125 0 0 25 0 1 0 1795323849 568864768 137954 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138883 137954 1116 68 0 138815 0 [pid=28548] vsize: 555532 Current children cumulated CPU time (s) 1076.6 Current children cumulated vsize (Kb) 555532 [startup+1140.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138565 0 0 0 105461 3150 0 0 25 0 1 0 1795323849 568864768 137955 4294967295 134512640 134736556 3221224560 3221223208 134537641 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138883 137955 1116 68 0 138815 0 [pid=28548] vsize: 555532 Current children cumulated CPU time (s) 1086.11 Current children cumulated vsize (Kb) 555532 [startup+1150.08 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138565 0 0 0 106384 3178 0 0 25 0 1 0 1795323849 568864768 137955 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138883 137955 1116 68 0 138815 0 [pid=28548] vsize: 555532 Current children cumulated CPU time (s) 1095.62 Current children cumulated vsize (Kb) 555532 [startup+1160.08 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138565 0 0 0 107306 3205 0 0 25 0 1 0 1795323849 568864768 137955 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138883 137955 1116 68 0 138815 0 [pid=28548] vsize: 555532 Current children cumulated CPU time (s) 1105.11 Current children cumulated vsize (Kb) 555532 [startup+1170.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138639 0 0 0 108230 3230 0 0 25 0 1 0 1795323849 569270272 138029 4294967295 134512640 134736556 3221224560 3221223092 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138982 138029 1116 68 0 138914 0 [pid=28548] vsize: 555928 Current children cumulated CPU time (s) 1114.6 Current children cumulated vsize (Kb) 555928 [startup+1180.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138642 0 0 0 109148 3258 0 0 25 0 1 0 1795323849 569270272 138032 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138982 138032 1116 68 0 138914 0 [pid=28548] vsize: 555928 Current children cumulated CPU time (s) 1124.06 Current children cumulated vsize (Kb) 555928 [startup+1190.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138643 0 0 0 110064 3287 0 0 18 0 1 0 1795323849 569270272 138033 4294967295 134512640 134736556 3221224560 3221223088 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138982 138033 1116 68 0 138914 0 [pid=28548] vsize: 555928 Current children cumulated CPU time (s) 1133.51 Current children cumulated vsize (Kb) 555928 [startup+1200.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138644 0 0 0 110979 3316 0 0 25 0 1 0 1795323849 569270272 138034 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 138982 138034 1116 68 0 138914 0 [pid=28548] vsize: 555928 Current children cumulated CPU time (s) 1142.95 Current children cumulated vsize (Kb) 555928 [startup+1210.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138646 0 0 0 111900 3342 0 0 25 0 1 0 1795323849 569270272 138036 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138982 138036 1116 68 0 138914 0 [pid=28548] vsize: 555928 Current children cumulated CPU time (s) 1152.42 Current children cumulated vsize (Kb) 555928 [startup+1220.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138646 0 0 0 112820 3368 0 0 25 0 1 0 1795323849 569270272 138036 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/28548/statm): 138982 138036 1116 68 0 138914 0 [pid=28548] vsize: 555928 Current children cumulated CPU time (s) 1161.88 Current children cumulated vsize (Kb) 555928 [startup+1230.09 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138681 0 0 0 113741 3395 0 0 25 0 1 0 1795323849 569405440 138071 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/28548/statm): 139015 138071 1116 68 0 138947 0 [pid=28548] vsize: 556060 Current children cumulated CPU time (s) 1171.36 Current children cumulated vsize (Kb) 556060 [startup+1240.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138683 0 0 0 114658 3424 0 0 25 0 1 0 1795323849 569405440 138073 4294967295 134512640 134736556 3221224560 3221223068 134537537 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/28548/statm): 139015 138073 1116 68 0 138947 0 [pid=28548] vsize: 556060 Current children cumulated CPU time (s) 1180.82 Current children cumulated vsize (Kb) 556060 [startup+1250.09 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 28548 Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138684 0 0 0 115581 3451 0 0 25 0 1 0 1795323849 569405440 138074 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/28548/statm): 139015 138074 1116 68 0 138947 0 [pid=28548] vsize: 556060 Current children cumulated CPU time (s) 1190.32 Current children cumulated vsize (Kb) 556060 One traced child (pid=28548) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1255.3 CPU time (s): 1195.29 CPU user time (s): 1160.38 CPU system time (s): 34.9037 CPU usage (%): 95.2194 Max. virtual memory (cumulated for all children) (Kb): 556060
Verifier: OK 263070904856040