| Name | mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-bell5.opb |
| MD5SUM | de15576cff54b253255390d90c832bf8 |
| 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 | 1238.69 |
| 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 wulflinc17 THE 2005-09-19 23:36:41 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1002 boxname=wulflinc17 idbench=1002 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: de15576cff54b253255390d90c832bf8 /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-bell5.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-13-7-bell5.opb IDLAUNCH: 1002 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.072 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: 885500 kB Buffers: 41184 kB Cached: 78292 kB SwapCached: 544 kB Active: 60772 kB Inactive: 61128 kB HighTotal: 131008 kB HighFree: 50204 kB LowTotal: 903652 kB LowFree: 835296 kB SwapTotal: 2097892 kB SwapFree: 2096672 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5688 kB Slab: 21644 kB Committed_AS: 64280 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-19 23:57:35 (client local time) WITH STATUS 10 IN 1195.29 SECONDS stats: 1002 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.292 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.638 c Restart #2 #Var: 1125 #Dec: 13184 LB: 2518364979200 @ 1.455 c Restart #3 #Var: 1125 #Dec: 31262 LB: 2518364979200 @ 2.736 c Restart #4 #Var: 1125 #Dec: 38910 LB: 2518364979200 @ 3.862 c Restart #5 #Var: 1125 #Dec: 47365 LB: 2518364979200 @ 4.791 c NEW SOLUTION FOUND: 630662069547076 @ 4.839 @ #Dec. 48373 c NEW SOLUTION FOUND: 597894069547076 @ 4.848 @ #Dec. 48376 c NEW SOLUTION FOUND: 565126069547076 @ 4.889 @ #Dec. 48408 c NEW SOLUTION FOUND: 532358069547076 @ 4.921 @ #Dec. 48439 c NEW SOLUTION FOUND: 515974069547076 @ 4.949 @ #Dec. 48474 c NEW SOLUTION FOUND: 499590069547076 @ 4.98 @ #Dec. 48510 c NEW SOLUTION FOUND: 483206069547076 @ 5.03 @ #Dec. 48562 c NEW SOLUTION FOUND: 466822069547076 @ 5.069 @ #Dec. 48621 c NEW SOLUTION FOUND: 450438069547076 @ 5.127 @ #Dec. 48697 c NEW SOLUTION FOUND: 434054069547076 @ 5.22 @ #Dec. 48783 c NEW SOLUTION FOUND: 417670069547076 @ 5.299 @ #Dec. 48884 c NEW SOLUTION FOUND: 401286069547076 @ 5.347 @ #Dec. 48970 c NEW SOLUTION FOUND: 393094069547076 @ 5.421 @ #Dec. 49106 c NEW SOLUTION FOUND: 384902069547076 @ 5.531 @ #Dec. 49294 c NEW SOLUTION FOUND: 376710069547076 @ 5.607 @ #Dec. 49437 c NEW SOLUTION FOUND: 368518069547076 @ 5.638 @ #Dec. 49526 c NEW SOLUTION FOUND: 360326069547076 @ 5.69 @ #Dec. 49672 c NEW SOLUTION FOUND: 352134069547076 @ 5.761 @ #Dec. 49845 c NEW SOLUTION FOUND: 343942069547076 @ 5.957 @ #Dec. 50373 c NEW SOLUTION FOUND: 343764425306180 @ 6.122 @ #Dec. 50811 c NEW SOLUTION FOUND: 339668425306180 @ 6.408 @ #Dec. 51503 c NEW SOLUTION FOUND: 335572425306180 @ 6.658 @ #Dec. 51909 c NEW SOLUTION FOUND: 331476425306180 @ 7.066 @ #Dec. 52448 c NEW SOLUTION FOUND: 327380425306180 @ 7.298 @ #Dec. 52911 c NEW SOLUTION FOUND: 323284425306180 @ 7.425 @ #Dec. 53163 c NEW SOLUTION FOUND: 319188425306180 @ 7.952 @ #Dec. 54189 c NEW SOLUTION FOUND: 315092425306180 @ 8.172 @ #Dec. 54646 c NEW SOLUTION FOUND: 310996425306180 @ 8.378 @ #Dec. 55045 c NEW SOLUTION FOUND: 306900425306180 @ 8.993 @ #Dec. 56232 c NEW SOLUTION FOUND: 302804425306180 @ 9.233 @ #Dec. 56755 c NEW SOLUTION FOUND: 302779882729540 @ 9.765 @ #Dec. 57835 c NEW SOLUTION FOUND: 298683882729540 @ 9.98 @ #Dec. 58278 c NEW SOLUTION FOUND: 298619603185732 @ 10.265 @ #Dec. 58779 c NEW SOLUTION FOUND: 294979406196804 @ 10.702 @ #Dec. 59426 c NEW SOLUTION FOUND: 292931406196804 @ 11.3 @ #Dec. 60303 c NEW SOLUTION FOUND: 290883406196804 @ 11.716 @ #Dec. 60974 c NEW SOLUTION FOUND: 288835406196804 @ 12.077 @ #Dec. 61519 c NEW SOLUTION FOUND: 286787406196804 @ 12.297 @ #Dec. 62020 c NEW SOLUTION FOUND: 284739406196804 @ 12.606 @ #Dec. 62661 c NEW SOLUTION FOUND: 282691406196804 @ 12.821 @ #Dec. 63033 c NEW SOLUTION FOUND: 280643406196804 @ 13.091 @ #Dec. 63454 c NEW SOLUTION FOUND: 278595406196804 @ 13.207 @ #Dec. 63754 c NEW SOLUTION FOUND: 276547406196804 @ 13.321 @ #Dec. 64033 c NEW SOLUTION FOUND: 274499406196804 @ 13.437 @ #Dec. 64322 c NEW SOLUTION FOUND: 272451406196804 @ 13.552 @ #Dec. 64624 c NEW SOLUTION FOUND: 270660524372036 @ 13.777 @ #Dec. 65057 c NEW SOLUTION FOUND: 270501576503364 @ 13.779 @ #Dec. 65086 c NEW SOLUTION FOUND: 270403406196804 @ 13.826 @ #Dec. 65200 c NEW SOLUTION FOUND: 268355406196804 @ 13.957 @ #Dec. 65582 c NEW SOLUTION FOUND: 265793169846340 @ 14.129 @ #Dec. 66101 c NEW SOLUTION FOUND: 265728890302532 @ 14.132 @ #Dec. 66135 c NEW SOLUTION FOUND: 265625725366340 @ 14.364 @ #Dec. 66780 c NEW SOLUTION FOUND: 265561445822532 @ 14.368 @ #Dec. 66815 c NEW SOLUTION FOUND: 264404299214916 @ 15.041 @ #Dec. 68482 c NEW SOLUTION FOUND: 264324825280580 @ 15.044 @ #Dec. 68522 c NEW SOLUTION FOUND: 264285088313412 @ 15.047 @ #Dec. 68561 c NEW SOLUTION FOUND: 264211460583492 @ 15.069 @ #Dec. 68642 c Restart #6 #Var: 1125 #Dec: 71770 LB: 2518364979200 @ 17.222 c Restart #7 #Var: 1125 #Dec: 80901 LB: 2518364979200 @ 18.765 c Restart #8 #Var: 1125 #Dec: 85563 LB: 2518364979200 @ 20.256 c Restart #9 #Var: 1125 #Dec: 98714 LB: 2518364979200 @ 22.495 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.237 c Restart #1 #Var: 1125 #Dec: 104099 LB: 2518367058970 @ 24.427 c Restart #2 #Var: 1125 #Dec: 108372 LB: 2518367058970 @ 25.289 c Restart #3 #Var: 1125 #Dec: 114759 LB: 2518367058970 @ 26.262 c Restart #4 #Var: 1125 #Dec: 120257 LB: 2518367058970 @ 27.3 c Restart #5 #Var: 1125 #Dec: 122599 LB: 2518367058970 @ 29.051 c Restart #6 #Var: 1125 #Dec: 129247 LB: 2518367058970 @ 31.027 c Restart #7 #Var: 1125 #Dec: 151325 LB: 2518367058970 @ 35.515 c Restart #8 #Var: 1125 #Dec: 206892 LB: 2518367058970 @ 49.766 c Restart #9 #Var: 1125 #Dec: 218357 LB: 2518367058970 @ 52.002 c Restart #10 #Var: 1125 #Dec: 224657 LB: 2518367058970 @ 54.562 c Restart #11 #Var: 1125 #Dec: 231156 LB: 2518367058970 @ 57.342 c Restart #12 #Var: 1125 #Dec: 234611 LB: 2518367058970 @ 59.89 c Restart #13 #Var: 1125 #Dec: 242839 LB: 2518367058970 @ 63.302 c NEW SOLUTION FOUND: 263714356512600 @ 64.713 @ #Dec. 246630 c NEW SOLUTION FOUND: 263713982752600 @ 64.719 @ #Dec. 246660 c NEW SOLUTION FOUND: 263712487712600 @ 64.721 @ #Dec. 246668 c NEW SOLUTION FOUND: 263712113952600 @ 64.723 @ #Dec. 246677 c NEW SOLUTION FOUND: 263712079573250 @ 64.769 @ #Dec. 246996 c NEW SOLUTION FOUND: 263712020998050 @ 64.771 @ #Dec. 247051 c NEW SOLUTION FOUND: 263711259520450 @ 64.774 @ #Dec. 247113 c NEW SOLUTION FOUND: 263711142370050 @ 64.776 @ #Dec. 247168 c NEW SOLUTION FOUND: 263711083794850 @ 64.779 @ #Dec. 247234 c NEW SOLUTION FOUND: 263710849494050 @ 64.785 @ #Dec. 247297 c NEW SOLUTION FOUND: 263710842172150 @ 64.79 @ #Dec. 247361 c NEW SOLUTION FOUND: 263710838511200 @ 64.792 @ #Dec. 247426 c NEW SOLUTION FOUND: 263710823867400 @ 64.797 @ #Dec. 247505 c NEW SOLUTION FOUND: 263710794579800 @ 64.803 @ #Dec. 247601 c NEW SOLUTION FOUND: 263708178259800 @ 64.81 @ #Dec. 247691 c Restart #14 #Var: 1125 #Dec: 250836 LB: 2518367058970 @ 66.936 c Restart #15 #Var: 1125 #Dec: 258317 LB: 2518367058970 @ 71.457 c Restart #16 #Var: 1125 #Dec: 264564 LB: 2518367058970 @ 75.277 c Restart #17 #Var: 1125 #Dec: 440125 LB: 2518367058970 @ 100.27 c Restart #18 #Var: 1125 #Dec: 449153 LB: 2518367058970 @ 106.13 c Restart #19 #Var: 1125 #Dec: 462907 LB: 2518367058970 @ 113.34 c NEW SOLUTION FOUND: 263683099979819 @ 117.87 @ #Dec. 473431 c NEW SOLUTION FOUND: 263682939562173 @ 117.87 @ #Dec. 473435 c NEW SOLUTION FOUND: 263682939146219 @ 117.87 @ #Dec. 473439 c NEW SOLUTION FOUND: 263679531651051 @ 117.87 @ #Dec. 473448 c NEW SOLUTION FOUND: 263679531447089 @ 117.87 @ #Dec. 473472 c NEW SOLUTION FOUND: 263677867907905 @ 117.88 @ #Dec. 473487 c NEW SOLUTION FOUND: 263677827699505 @ 117.88 @ #Dec. 473502 c NEW SOLUTION FOUND: 263677784038497 @ 117.88 @ #Dec. 473537 c NEW SOLUTION FOUND: 263677765901793 @ 117.89 @ #Dec. 473549 c NEW SOLUTION FOUND: 263677763634705 @ 117.89 @ #Dec. 473557 c NEW SOLUTION FOUND: 263677747282705 @ 117.89 @ #Dec. 473596 c NEW SOLUTION FOUND: 263677743123165 @ 117.89 @ #Dec. 473615 c NEW SOLUTION FOUND: 263677739290665 @ 117.89 @ #Dec. 473643 c NEW SOLUTION FOUND: 263677739035165 @ 117.9 @ #Dec. 473810 c NEW SOLUTION FOUND: 263677718930965 @ 117.91 @ #Dec. 473948 c NEW SOLUTION FOUND: 263677716738775 @ 117.92 @ #Dec. 473996 c NEW SOLUTION FOUND: 263677714112892 @ 117.92 @ #Dec. 474076 c NEW SOLUTION FOUND: 263677713904915 @ 117.92 @ #Dec. 474123 c NEW SOLUTION FOUND: 263677705728915 @ 117.92 @ #Dec. 474177 c NEW SOLUTION FOUND: 263677695676815 @ 117.92 @ #Dec. 474268 c NEW SOLUTION FOUND: 263677575840015 @ 117.93 @ #Dec. 474309 c NEW SOLUTION FOUND: 263677542563695 @ 117.93 @ #Dec. 474412 c NEW SOLUTION FOUND: 263677329595247 @ 117.93 @ #Dec. 474467 c NEW SOLUTION FOUND: 263677327722797 @ 117.94 @ #Dec. 474526 c NEW SOLUTION FOUND: 263677320232997 @ 117.94 @ #Dec. 474673 c NEW SOLUTION FOUND: 263677254109597 @ 117.95 @ #Dec. 474783 c NEW SOLUTION FOUND: 263677253680357 @ 117.95 @ #Dec. 474854 c NEW SOLUTION FOUND: 263677251636357 @ 117.95 @ #Dec. 474957 c NEW SOLUTION FOUND: 263677221843597 @ 118.01 @ #Dec. 475181 c NEW SOLUTION FOUND: 263677193618877 @ 118.1 @ #Dec. 475589 c NEW SOLUTION FOUND: 263677186963613 @ 118.22 @ #Dec. 476171 c NEW SOLUTION FOUND: 263677186856303 @ 118.47 @ #Dec. 477285 c NEW SOLUTION FOUND: 263677104821823 @ 118.7 @ #Dec. 478122 c NEW SOLUTION FOUND: 263677089842223 @ 118.7 @ #Dec. 478203 c NEW SOLUTION FOUND: 263676229511235 @ 118.94 @ #Dec. 479037 c NEW SOLUTION FOUND: 263676226183603 @ 118.94 @ #Dec. 479077 c NEW SOLUTION FOUND: 263676224311153 @ 118.95 @ #Dec. 479246 c NEW SOLUTION FOUND: 263507528094751 @ 119.35 @ #Dec. 480836 c NEW SOLUTION FOUND: 263507410130401 @ 119.36 @ #Dec. 480915 c NEW SOLUTION FOUND: 263507385295801 @ 119.46 @ #Dec. 481503 c NEW SOLUTION FOUND: 263507362826401 @ 119.47 @ #Dec. 481600 c NEW SOLUTION FOUND: 263507359081501 @ 119.47 @ #Dec. 481684 c NEW SOLUTION FOUND: 263507357209051 @ 119.47 @ #Dec. 481788 c NEW SOLUTION FOUND: 263507355553411 @ 119.53 @ #Dec. 482175 c NEW SOLUTION FOUND: 263507353680961 @ 119.53 @ #Dec. 482272 c NEW SOLUTION FOUND: 263507338563391 @ 119.64 @ #Dec. 482959 c NEW SOLUTION FOUND: 263507327328691 @ 119.65 @ #Dec. 483065 c NEW SOLUTION FOUND: 263507325456241 @ 119.65 @ #Dec. 483175 c NEW SOLUTION FOUND: 263502948485887 @ 119.94 @ #Dec. 484809 c NEW SOLUTION FOUND: 263502723791887 @ 119.94 @ #Dec. 484917 c NEW SOLUTION FOUND: 263502712557187 @ 119.95 @ #Dec. 485023 c NEW SOLUTION FOUND: 263502710684737 @ 119.95 @ #Dec. 485137 c NEW SOLUTION FOUND: 263502695567167 @ 120.05 @ #Dec. 485646 c NEW SOLUTION FOUND: 263502684332467 @ 120.05 @ #Dec. 485757 c NEW SOLUTION FOUND: 263502682460017 @ 120.06 @ #Dec. 485860 c NEW SOLUTION FOUND: 263502682245397 @ 120.32 @ #Dec. 487225 c NEW SOLUTION FOUND: 263502673533577 @ 121.08 @ #Dec. 491384 c NEW SOLUTION FOUND: 263502671661127 @ 121.09 @ #Dec. 491511 c NEW SOLUTION FOUND: 263502490408405 @ 121.28 @ #Dec. 492758 c NEW SOLUTION FOUND: 263502487951955 @ 121.28 @ #Dec. 492758 c NEW SOLUTION FOUND: 263502484021635 @ 121.29 @ #Dec. 492765 c NEW SOLUTION FOUND: 263502481982015 @ 121.29 @ #Dec. 492779 c NEW SOLUTION FOUND: 263502481166167 @ 121.29 @ #Dec. 492792 c NEW SOLUTION FOUND: 263502479201007 @ 121.29 @ #Dec. 492795 c NEW SOLUTION FOUND: 263502478709717 @ 121.29 @ #Dec. 492799 c NEW SOLUTION FOUND: 263502474630477 @ 121.3 @ #Dec. 492833 c NEW SOLUTION FOUND: 263502460894797 @ 121.3 @ #Dec. 492957 c NEW SOLUTION FOUND: 263502449660097 @ 121.32 @ #Dec. 493192 c NEW SOLUTION FOUND: 263502447787647 @ 121.33 @ #Dec. 493318 c NEW SOLUTION FOUND: 263502444259557 @ 121.37 @ #Dec. 493637 c NEW SOLUTION FOUND: 263502440731467 @ 121.39 @ #Dec. 493867 c NEW SOLUTION FOUND: 263502437449022 @ 121.41 @ #Dec. 494101 c NEW SOLUTION FOUND: 263502437203377 @ 121.42 @ #Dec. 494211 c NEW SOLUTION FOUND: 263502435547737 @ 121.45 @ #Dec. 494580 c NEW SOLUTION FOUND: 263502433675287 @ 121.45 @ #Dec. 494695 c NEW SOLUTION FOUND: 263502432236457 @ 121.78 @ #Dec. 496800 c NEW SOLUTION FOUND: 263502426619107 @ 121.79 @ #Dec. 496974 c NEW SOLUTION FOUND: 263502419562927 @ 121.82 @ #Dec. 497199 c NEW SOLUTION FOUND: 263502408978657 @ 121.86 @ #Dec. 497562 c NEW SOLUTION FOUND: 263502407323017 @ 121.88 @ #Dec. 497839 c NEW SOLUTION FOUND: 263502405450567 @ 121.89 @ #Dec. 497980 c Restart #20 #Var: 1125 #Dec: 518752 LB: 2518367058970 @ 126.14 c Restart #21 #Var: 1125 #Dec: 530584 LB: 2518367058970 @ 133.99 c Restart #22 #Var: 1125 #Dec: 544898 LB: 2518367058970 @ 142.32 c Restart #23 #Var: 1125 #Dec: 553415 LB: 2518367058970 @ 149.83 c NEW SOLUTION FOUND: 263500560004786 @ 152.09 @ #Dec. 561606 c NEW SOLUTION FOUND: 263500494596786 @ 152.09 @ #Dec. 561606 c NEW SOLUTION FOUND: 263500467446626 @ 152.09 @ #Dec. 561607 c NEW SOLUTION FOUND: 263500463154226 @ 152.09 @ #Dec. 561607 c NEW SOLUTION FOUND: 263500438421826 @ 152.09 @ #Dec. 561613 c NEW SOLUTION FOUND: 263500354606146 @ 152.09 @ #Dec. 561625 c NEW SOLUTION FOUND: 263500347738306 @ 152.1 @ #Dec. 561643 c NEW SOLUTION FOUND: 263500347311621 @ 152.1 @ #Dec. 561669 c NEW SOLUTION FOUND: 263500347257966 @ 152.1 @ #Dec. 561685 c NEW SOLUTION FOUND: 263500333324164 @ 152.1 @ #Dec. 561719 c NEW SOLUTION FOUND: 263500332787614 @ 152.11 @ #Dec. 561721 c NEW SOLUTION FOUND: 263500326260830 @ 152.11 @ #Dec. 561721 c NEW SOLUTION FOUND: 263500321150830 @ 152.11 @ #Dec. 561728 c NEW SOLUTION FOUND: 263500059518830 @ 152.11 @ #Dec. 561800 c NEW SOLUTION FOUND: 263500021950110 @ 152.12 @ #Dec. 561866 c NEW SOLUTION FOUND: 263500021091630 @ 152.12 @ #Dec. 561899 c NEW SOLUTION FOUND: 263500007087310 @ 152.12 @ #Dec. 561944 c NEW SOLUTION FOUND: 263500005370350 @ 152.12 @ #Dec. 561985 c NEW SOLUTION FOUND: 263499642636270 @ 152.13 @ #Dec. 562016 c NEW SOLUTION FOUND: 263499640081270 @ 152.13 @ #Dec. 562042 c NEW SOLUTION FOUND: 263499587866998 @ 152.13 @ #Dec. 562072 c NEW SOLUTION FOUND: 263499576531558 @ 152.13 @ #Dec. 562097 c NEW SOLUTION FOUND: 263499053267558 @ 152.14 @ #Dec. 562124 c NEW SOLUTION FOUND: 263498871900518 @ 152.14 @ #Dec. 562154 c NEW SOLUTION FOUND: 263498809015398 @ 152.14 @ #Dec. 562187 c NEW SOLUTION FOUND: 263498807942298 @ 152.15 @ #Dec. 562354 c NEW SOLUTION FOUND: 263498806869198 @ 152.16 @ #Dec. 562415 c NEW SOLUTION FOUND: 263498799919598 @ 152.24 @ #Dec. 563416 c NEW SOLUTION FOUND: 263498789699598 @ 152.26 @ #Dec. 563657 c NEW SOLUTION FOUND: 263498780355598 @ 152.28 @ #Dec. 563903 c NEW SOLUTION FOUND: 263498780337348 @ 152.3 @ #Dec. 564150 c NEW SOLUTION FOUND: 263498775665348 @ 152.33 @ #Dec. 564398 c NEW SOLUTION FOUND: 263498775519348 @ 152.35 @ #Dec. 564647 c NEW SOLUTION FOUND: 263498761320848 @ 152.38 @ #Dec. 564960 c NEW SOLUTION FOUND: 263498761284348 @ 152.4 @ #Dec. 565240 c NEW SOLUTION FOUND: 263498723944848 @ 152.43 @ #Dec. 565521 c NEW SOLUTION FOUND: 263498723908348 @ 152.46 @ #Dec. 565801 c NEW SOLUTION FOUND: 263498723652848 @ 152.48 @ #Dec. 566083 c NEW SOLUTION FOUND: 263498723616348 @ 152.51 @ #Dec. 566364 c NEW SOLUTION FOUND: 263498611816848 @ 152.54 @ #Dec. 566647 c NEW SOLUTION FOUND: 263498611524848 @ 152.56 @ #Dec. 566927 c NEW SOLUTION FOUND: 263498611488348 @ 152.58 @ #Dec. 567208 c NEW SOLUTION FOUND: 263498574440848 @ 152.61 @ #Dec. 567490 c NEW SOLUTION FOUND: 263498574404348 @ 152.63 @ #Dec. 567770 c NEW SOLUTION FOUND: 263498574148848 @ 152.66 @ #Dec. 568051 c NEW SOLUTION FOUND: 263498574112348 @ 152.69 @ #Dec. 568331 c NEW SOLUTION FOUND: 263498555752848 @ 152.71 @ #Dec. 568617 c NEW SOLUTION FOUND: 263498555460848 @ 152.74 @ #Dec. 568901 c NEW SOLUTION FOUND: 263498555424348 @ 152.77 @ #Dec. 569186 c NEW SOLUTION FOUND: 263498553380348 @ 152.8 @ #Dec. 569473 c NEW SOLUTION FOUND: 263498553088348 @ 152.83 @ #Dec. 569767 c NEW SOLUTION FOUND: 263498551920348 @ 152.85 @ #Dec. 570081 c NEW SOLUTION FOUND: 263498551336348 @ 152.89 @ #Dec. 570402 c NEW SOLUTION FOUND: 263498551263348 @ 152.92 @ #Dec. 570730 c NEW SOLUTION FOUND: 263498513887348 @ 152.95 @ #Dec. 571032 c NEW SOLUTION FOUND: 263498476511348 @ 152.98 @ #Dec. 571367 c NEW SOLUTION FOUND: 263498327007348 @ 153.01 @ #Dec. 571679 c NEW SOLUTION FOUND: 263498214915848 @ 153.04 @ #Dec. 572004 c NEW SOLUTION FOUND: 263498214879348 @ 153.08 @ #Dec. 572339 c NEW SOLUTION FOUND: 263498214751598 @ 154.72 @ #Dec. 577371 c NEW SOLUTION FOUND: 263498214459598 @ 154.76 @ #Dec. 577721 c NEW SOLUTION FOUND: 263498214441348 @ 154.83 @ #Dec. 578400 c NEW SOLUTION FOUND: 263498214295348 @ 154.9 @ #Dec. 579066 c NEW SOLUTION FOUND: 263498214258848 @ 154.94 @ #Dec. 579398 c NEW SOLUTION FOUND: 263498214222348 @ 154.99 @ #Dec. 580030 c NEW SOLUTION FOUND: 263498214076348 @ 157.9 @ #Dec. 585413 c NEW SOLUTION FOUND: 263498213966848 @ 157.99 @ #Dec. 586383 c NEW SOLUTION FOUND: 263498213930348 @ 158.04 @ #Dec. 587022 c NEW SOLUTION FOUND: 263498213893848 @ 158.07 @ #Dec. 587348 c NEW SOLUTION FOUND: 263498211166568 @ 161.11 @ #Dec. 594258 c NEW SOLUTION FOUND: 263498207323848 @ 161.19 @ #Dec. 595195 c NEW SOLUTION FOUND: 263498207287348 @ 161.22 @ #Dec. 595516 c NEW SOLUTION FOUND: 263498206703348 @ 161.25 @ #Dec. 595870 c NEW SOLUTION FOUND: 263498205535348 @ 161.29 @ #Dec. 596189 c NEW SOLUTION FOUND: 263498196191348 @ 161.32 @ #Dec. 596537 c NEW SOLUTION FOUND: 263498140127348 @ 161.35 @ #Dec. 596896 c NEW SOLUTION FOUND: 263498133411348 @ 161.41 @ #Dec. 597544 c NEW SOLUTION FOUND: 263498133119348 @ 161.46 @ #Dec. 598196 c NEW SOLUTION FOUND: 263498130783348 @ 161.49 @ #Dec. 598522 c NEW SOLUTION FOUND: 263498130564348 @ 164.2 @ #Dec. 617641 c NEW SOLUTION FOUND: 263498130272348 @ 164.31 @ #Dec. 618926 c NEW SOLUTION FOUND: 263498130016848 @ 164.35 @ #Dec. 619299 c NEW SOLUTION FOUND: 263498129980348 @ 164.39 @ #Dec. 619639 c NEW SOLUTION FOUND: 263498129834348 @ 164.43 @ #Dec. 620003 c NEW SOLUTION FOUND: 263498129816098 @ 164.49 @ #Dec. 620686 c NEW SOLUTION FOUND: 263498129797848 @ 164.52 @ #Dec. 621031 c Restart #24 #Var: 1125 #Dec: 627023 LB: 2518367058970 @ 168.21 c Restart #25 #Var: 1125 #Dec: 634096 LB: 2518367058970 @ 177.85 c Restart #26 #Var: 1125 #Dec: 654243 LB: 2518367058970 @ 186.86 c Restart #27 #Var: 1125 #Dec: 661420 LB: 2518367058970 @ 199.06 c Restart #28 #Var: 1125 #Dec: 676658 LB: 2518367058970 @ 211.84 c Restart #29 #Var: 1125 #Dec: 689602 LB: 2518367058970 @ 222.92 c Restart #30 #Var: 1125 #Dec: 709069 LB: 2518367058970 @ 231.15 c Restart #31 #Var: 1125 #Dec: 717535 LB: 2518367058970 @ 239.6 c Restart #32 #Var: 1125 #Dec: 726102 LB: 2518367058970 @ 251.08 c Restart #33 #Var: 1125 #Dec: 740527 LB: 2518367058970 @ 259.47 c Restart #34 #Var: 1125 #Dec: 765200 LB: 2518367058970 @ 272.35 c Restart #35 #Var: 1125 #Dec: 782233 LB: 2518367058970 @ 286.75 c Restart #36 #Var: 1125 #Dec: 798838 LB: 2518367058970 @ 296.04 c Restart #37 #Var: 1125 #Dec: 807513 LB: 2518367058970 @ 306.33 c Restart #38 #Var: 1125 #Dec: 829458 LB: 2518367058970 @ 318.92 c Restart #39 #Var: 1125 #Dec: 850464 LB: 2518367058970 @ 334.41 c Restart #40 #Var: 1125 #Dec: 869679 LB: 2518367058970 @ 395.81 c Restart #41 #Var: 1125 #Dec: 890256 LB: 2518367058970 @ 406.99 c NEW SOLUTION FOUND: 263498117417842 @ 417.89 @ #Dec. 919499 c NEW SOLUTION FOUND: 263498116816760 @ 417.9 @ #Dec. 919536 c NEW SOLUTION FOUND: 263498116000912 @ 417.9 @ #Dec. 919554 c NEW SOLUTION FOUND: 263498115295002 @ 417.9 @ #Dec. 919635 c NEW SOLUTION FOUND: 263498115039502 @ 417.9 @ #Dec. 919647 c NEW SOLUTION FOUND: 263498112959732 @ 417.91 @ #Dec. 919662 c NEW SOLUTION FOUND: 263498111977152 @ 417.91 @ #Dec. 919686 c NEW SOLUTION FOUND: 263498110260192 @ 417.91 @ #Dec. 919705 c NEW SOLUTION FOUND: 263498106932560 @ 417.92 @ #Dec. 919785 c NEW SOLUTION FOUND: 263498090580560 @ 417.92 @ #Dec. 919849 c NEW SOLUTION FOUND: 263498089625720 @ 417.93 @ #Dec. 919928 c NEW SOLUTION FOUND: 263498085466180 @ 417.93 @ #Dec. 919950 c NEW SOLUTION FOUND: 263498085101180 @ 417.93 @ #Dec. 919983 c NEW SOLUTION FOUND: 263498083090760 @ 417.94 @ #Dec. 920100 c NEW SOLUTION FOUND: 263498082983450 @ 417.94 @ #Dec. 920169 c NEW SOLUTION FOUND: 263498075122810 @ 417.95 @ #Dec. 920314 c NEW SOLUTION FOUND: 263498073250360 @ 417.95 @ #Dec. 920390 c NEW SOLUTION FOUND: 263498071790360 @ 417.95 @ #Dec. 920502 c NEW SOLUTION FOUND: 263498071350462 @ 417.96 @ #Dec. 920598 c NEW SOLUTION FOUND: 263498070958452 @ 417.97 @ #Dec. 920826 c NEW SOLUTION FOUND: 263498038254452 @ 417.97 @ #Dec. 920906 c NEW SOLUTION FOUND: 263498034509552 @ 417.98 @ #Dec. 921004 c NEW SOLUTION FOUND: 263498031804172 @ 417.99 @ #Dec. 921098 c NEW SOLUTION FOUND: 263498031589552 @ 417.99 @ #Dec. 921185 c NEW SOLUTION FOUND: 263498030567552 @ 417.99 @ #Dec. 921279 c NEW SOLUTION FOUND: 263498021223552 @ 418 @ #Dec. 921436 c NEW SOLUTION FOUND: 263498018767102 @ 418.03 @ #Dec. 922020 c NEW SOLUTION FOUND: 263498017983082 @ 418.04 @ #Dec. 922141 c NEW SOLUTION FOUND: 263497979373674 @ 418.11 @ #Dec. 922604 c NEW SOLUTION FOUND: 263497872889450 @ 418.15 @ #Dec. 922813 c NEW SOLUTION FOUND: 263496949264250 @ 418.19 @ #Dec. 923058 c NEW SOLUTION FOUND: 263496947748770 @ 418.35 @ #Dec. 924135 c NEW SOLUTION FOUND: 263496945193770 @ 418.39 @ #Dec. 924359 c NEW SOLUTION FOUND: 263496941105770 @ 418.42 @ #Dec. 924565 c NEW SOLUTION FOUND: 263496923910620 @ 418.46 @ #Dec. 924776 c NEW SOLUTION FOUND: 263496594630250 @ 418.53 @ #Dec. 925193 c NEW SOLUTION FOUND: 263496588962530 @ 418.57 @ #Dec. 925402 c NEW SOLUTION FOUND: 263495059475290 @ 418.61 @ #Dec. 925661 c NEW SOLUTION FOUND: 263494742082970 @ 418.65 @ #Dec. 925886 c NEW SOLUTION FOUND: 263494708076650 @ 418.68 @ #Dec. 926090 c NEW SOLUTION FOUND: 263494702408930 @ 418.72 @ #Dec. 926330 c NEW SOLUTION FOUND: 263494584870170 @ 418.76 @ #Dec. 926591 c NEW SOLUTION FOUND: 263494550863850 @ 418.8 @ #Dec. 926785 c NEW SOLUTION FOUND: 263494545196130 @ 418.84 @ #Dec. 926996 c NEW SOLUTION FOUND: 263494506263770 @ 418.88 @ #Dec. 927239 c NEW SOLUTION FOUND: 263494466589730 @ 418.91 @ #Dec. 927439 c NEW SOLUTION FOUND: 263494447308970 @ 418.96 @ #Dec. 927725 c NEW SOLUTION FOUND: 263494407634930 @ 418.99 @ #Dec. 927930 c NEW SOLUTION FOUND: 263494390439780 @ 419.06 @ #Dec. 928375 c NEW SOLUTION FOUND: 263474967037050 @ 419.64 @ #Dec. 930759 c NEW SOLUTION FOUND: 263473080483450 @ 419.69 @ #Dec. 931049 c NEW SOLUTION FOUND: 263472923270650 @ 419.74 @ #Dec. 931321 c NEW SOLUTION FOUND: 263472883091450 @ 419.79 @ #Dec. 931578 c NEW SOLUTION FOUND: 263472844664250 @ 419.83 @ #Dec. 931806 c NEW SOLUTION FOUND: 263472785709450 @ 419.87 @ #Dec. 932044 c NEW SOLUTION FOUND: 263472768514300 @ 419.92 @ #Dec. 932280 c NEW SOLUTION FOUND: 263466986887290 @ 420.05 @ #Dec. 932880 c NEW SOLUTION FOUND: 263466635488650 @ 420.09 @ #Dec. 933118 c NEW SOLUTION FOUND: 263466629820930 @ 420.13 @ #Dec. 933394 c NEW SOLUTION FOUND: 263465825801850 @ 420.19 @ #Dec. 933655 c NEW SOLUTION FOUND: 263465100333690 @ 420.23 @ #Dec. 933901 c NEW SOLUTION FOUND: 263464760270490 @ 420.27 @ #Dec. 934134 c NEW SOLUTION FOUND: 263464748935050 @ 420.31 @ #Dec. 934374 c NEW SOLUTION FOUND: 263464743267330 @ 420.36 @ #Dec. 934685 c NEW SOLUTION FOUND: 263464603057690 @ 420.43 @ #Dec. 934978 c NEW SOLUTION FOUND: 263464586054530 @ 420.47 @ #Dec. 935206 c NEW SOLUTION FOUND: 263464547122170 @ 420.52 @ #Dec. 935480 c NEW SOLUTION FOUND: 263464524451290 @ 420.56 @ #Dec. 935700 c NEW SOLUTION FOUND: 263464507448130 @ 420.61 @ #Dec. 935914 c NEW SOLUTION FOUND: 263464488167370 @ 420.66 @ #Dec. 936182 c NEW SOLUTION FOUND: 263464465496490 @ 420.7 @ #Dec. 936408 c NEW SOLUTION FOUND: 263464448493330 @ 420.74 @ #Dec. 936639 c NEW SOLUTION FOUND: 263464436965900 @ 420.79 @ #Dec. 936890 c NEW SOLUTION FOUND: 263464431298180 @ 420.86 @ #Dec. 937212 c NEW SOLUTION FOUND: 263464417132530 @ 421.08 @ #Dec. 938192 c NEW SOLUTION FOUND: 263464399937380 @ 421.14 @ #Dec. 938489 c NEW SOLUTION FOUND: 263422532246650 @ 422.32 @ #Dec. 943267 c NEW SOLUTION FOUND: 263413099478650 @ 422.37 @ #Dec. 943556 c NEW SOLUTION FOUND: 263412942265850 @ 422.42 @ #Dec. 943827 c NEW SOLUTION FOUND: 263412863659450 @ 422.46 @ #Dec. 944085 c NEW SOLUTION FOUND: 263412804704650 @ 422.5 @ #Dec. 944336 c NEW SOLUTION FOUND: 263412787509500 @ 422.54 @ #Dec. 944577 c NEW SOLUTION FOUND: 263392541744250 @ 423.24 @ #Dec. 947152 c NEW SOLUTION FOUND: 263384995529850 @ 423.29 @ #Dec. 947419 c NEW SOLUTION FOUND: 263383737827450 @ 423.33 @ #Dec. 947686 c NEW SOLUTION FOUND: 263383108976250 @ 423.38 @ #Dec. 947949 c NEW SOLUTION FOUND: 263382951763450 @ 423.42 @ #Dec. 948189 c NEW SOLUTION FOUND: 263382873157050 @ 423.46 @ #Dec. 948450 c NEW SOLUTION FOUND: 263382814202250 @ 423.51 @ #Dec. 948705 c NEW SOLUTION FOUND: 263382797007100 @ 423.55 @ #Dec. 948942 c NEW SOLUTION FOUND: 263382765646300 @ 424.15 @ #Dec. 950764 c NEW SOLUTION FOUND: 263379160423770 @ 425.26 @ #Dec. 952384 c NEW SOLUTION FOUND: 263377709487450 @ 425.31 @ #Dec. 952627 c NEW SOLUTION FOUND: 263376984019290 @ 425.35 @ #Dec. 952884 c NEW SOLUTION FOUND: 263376666626970 @ 425.39 @ #Dec. 953131 c NEW SOLUTION FOUND: 263376643956090 @ 425.43 @ #Dec. 953382 c NEW SOLUTION FOUND: 263376626952930 @ 425.47 @ #Dec. 953623 c NEW SOLUTION FOUND: 263376451785050 @ 425.51 @ #Dec. 953931 c NEW SOLUTION FOUND: 263375726316890 @ 425.55 @ #Dec. 954161 c NEW SOLUTION FOUND: 263375544949850 @ 425.59 @ #Dec. 954421 c NEW SOLUTION FOUND: 263375408924570 @ 425.63 @ #Dec. 954661 c NEW SOLUTION FOUND: 263375369250530 @ 425.67 @ #Dec. 954903 c NEW SOLUTION FOUND: 263375097465690 @ 425.72 @ #Dec. 955185 c NEW SOLUTION FOUND: 263374746067050 @ 425.76 @ #Dec. 955430 c NEW SOLUTION FOUND: 263374740399330 @ 425.81 @ #Dec. 955711 c NEW SOLUTION FOUND: 263374445625330 @ 425.86 @ #Dec. 955980 c NEW SOLUTION FOUND: 263374428430180 @ 425.9 @ #Dec. 956182 c NEW SOLUTION FOUND: 263374412710360 @ 428.08 @ #Dec. 960772 c NEW SOLUTION FOUND: 263370134532950 @ 430.33 @ #Dec. 965516 c NEW SOLUTION FOUND: 263362588318550 @ 430.38 @ #Dec. 965783 c NEW SOLUTION FOUND: 263361330616150 @ 430.44 @ #Dec. 966047 c NEW SOLUTION FOUND: 263360544552150 @ 430.48 @ #Dec. 966313 c NEW SOLUTION FOUND: 263360465945750 @ 430.52 @ #Dec. 966548 c NEW SOLUTION FOUND: 263360406990950 @ 430.57 @ #Dec. 966781 c NEW SOLUTION FOUND: 263360389795800 @ 430.61 @ #Dec. 967006 c NEW SOLUTION FOUND: 263330711262550 @ 430.8 @ #Dec. 967599 c NEW SOLUTION FOUND: 263330399293400 @ 430.87 @ #Dec. 967921 c NEW SOLUTION FOUND: 263300720760150 @ 431.14 @ #Dec. 968763 c NEW SOLUTION FOUND: 263300425986150 @ 431.2 @ #Dec. 969079 c NEW SOLUTION FOUND: 263300408791000 @ 431.24 @ #Dec. 969320 c NEW SOLUTION FOUND: 263300144982870 @ 431.47 @ #Dec. 969913 c NEW SOLUTION FOUND: 263299782248790 @ 431.51 @ #Dec. 970137 c NEW SOLUTION FOUND: 263299516131670 @ 431.56 @ #Dec. 970368 c NEW SOLUTION FOUND: 263299153397590 @ 431.59 @ #Dec. 970591 c NEW SOLUTION FOUND: 263298917578390 @ 431.64 @ #Dec. 970851 c NEW SOLUTION FOUND: 263298858623590 @ 431.68 @ #Dec. 971094 c NEW SOLUTION FOUND: 263298841428440 @ 431.72 @ #Dec. 971320 c NEW SOLUTION FOUND: 263281134801750 @ 431.83 @ #Dec. 971819 c NEW SOLUTION FOUND: 263273588587350 @ 431.88 @ #Dec. 972091 c NEW SOLUTION FOUND: 263272330884950 @ 431.93 @ #Dec. 972354 c NEW SOLUTION FOUND: 263271702033750 @ 431.97 @ #Dec. 972599 c NEW SOLUTION FOUND: 263271544820950 @ 432.01 @ #Dec. 972857 c NEW SOLUTION FOUND: 263271466214550 @ 432.05 @ #Dec. 973112 c NEW SOLUTION FOUND: 263271407259750 @ 432.1 @ #Dec. 973355 c NEW SOLUTION FOUND: 263271390064600 @ 432.14 @ #Dec. 973599 c NEW SOLUTION FOUND: 263271049448790 @ 432.2 @ #Dec. 973945 c NEW SOLUTION FOUND: 263270154480470 @ 432.24 @ #Dec. 974212 c NEW SOLUTION FOUND: 263269791746390 @ 432.28 @ #Dec. 974470 c NEW SOLUTION FOUND: 263269525629270 @ 432.32 @ #Dec. 974728 c NEW SOLUTION FOUND: 263269162895190 @ 432.36 @ #Dec. 974984 c NEW SOLUTION FOUND: 263268850926040 @ 432.41 @ #Dec. 975239 c NEW SOLUTION FOUND: 263252205217110 @ 435.3 @ #Dec. 980819 c NEW SOLUTION FOUND: 263242772449110 @ 435.34 @ #Dec. 981061 c NEW SOLUTION FOUND: 263242477675110 @ 435.37 @ #Dec. 981286 c NEW SOLUTION FOUND: 263242460479960 @ 435.41 @ #Dec. 981506 c NEW SOLUTION FOUND: 263236323372150 @ 437.01 @ #Dec. 984586 c NEW SOLUTION FOUND: 263236087552950 @ 437.06 @ #Dec. 984839 c NEW SOLUTION FOUND: 263236028598150 @ 437.1 @ #Dec. 985083 c NEW SOLUTION FOUND: 263236011403000 @ 437.14 @ #Dec. 985315 c NEW SOLUTION FOUND: 263178858332790 @ 437.35 @ #Dec. 985922 c NEW SOLUTION FOUND: 263177600630390 @ 437.4 @ #Dec. 986190 c NEW SOLUTION FOUND: 263176971779190 @ 437.45 @ #Dec. 986459 c NEW SOLUTION FOUND: 263176814566390 @ 437.49 @ #Dec. 986706 c NEW SOLUTION FOUND: 263176735959990 @ 437.54 @ #Dec. 986963 c NEW SOLUTION FOUND: 263176677005190 @ 437.58 @ #Dec. 987219 c NEW SOLUTION FOUND: 263176659810040 @ 437.62 @ #Dec. 987460 c NEW SOLUTION FOUND: 263168564982390 @ 437.67 @ #Dec. 987716 c NEW SOLUTION FOUND: 263167307279990 @ 437.72 @ #Dec. 987986 c NEW SOLUTION FOUND: 263166678428790 @ 437.77 @ #Dec. 988248 c NEW SOLUTION FOUND: 263166366459640 @ 437.81 @ #Dec. 988486 c NEW SOLUTION FOUND: 263157664581510 @ 439.38 @ #Dec. 991625 c NEW SOLUTION FOUND: 263157647386360 @ 439.42 @ #Dec. 991862 c NEW SOLUTION FOUND: 263148238418550 @ 440.61 @ #Dec. 994389 c NEW SOLUTION FOUND: 263146980716150 @ 440.74 @ #Dec. 994959 c NEW SOLUTION FOUND: 263146351864950 @ 440.83 @ #Dec. 995388 c NEW SOLUTION FOUND: 263146116045750 @ 440.88 @ #Dec. 995647 c NEW SOLUTION FOUND: 263146057090950 @ 440.92 @ #Dec. 995887 c NEW SOLUTION FOUND: 263146039895800 @ 440.96 @ #Dec. 996122 c NEW SOLUTION FOUND: 263140216781430 @ 441.43 @ #Dec. 997581 c NEW SOLUTION FOUND: 263139491313270 @ 441.47 @ #Dec. 997845 c NEW SOLUTION FOUND: 263139128579190 @ 441.51 @ #Dec. 998077 c NEW SOLUTION FOUND: 263137870876790 @ 442.12 @ #Dec. 999630 c NEW SOLUTION FOUND: 263125960266870 @ 442.3 @ #Dec. 1000096 c NEW SOLUTION FOUND: 263125803054070 @ 442.35 @ #Dec. 1000347 c NEW SOLUTION FOUND: 263125724447670 @ 442.39 @ #Dec. 1000594 c NEW SOLUTION FOUND: 263125665492870 @ 442.43 @ #Dec. 1000838 c NEW SOLUTION FOUND: 263125648297720 @ 442.48 @ #Dec. 1001073 c NEW SOLUTION FOUND: 263113652096760 @ 442.72 @ #Dec. 1001736 c NEW SOLUTION FOUND: 263110215253110 @ 442.83 @ #Dec. 1002170 c NEW SOLUTION FOUND: 263109920479110 @ 442.98 @ #Dec. 1002670 c NEW SOLUTION FOUND: 263109903283960 @ 443.02 @ #Dec. 1002910 c NEW SOLUTION FOUND: 263092568198070 @ 443.53 @ #Dec. 1004464 c NEW SOLUTION FOUND: 263092509243270 @ 443.57 @ #Dec. 1004688 c NEW SOLUTION FOUND: 263092492048120 @ 443.61 @ #Dec. 1004915 c NEW SOLUTION FOUND: 263086843059190 @ 443.64 @ #Dec. 1005163 c NEW SOLUTION FOUND: 263086764452790 @ 443.68 @ #Dec. 1005404 c NEW SOLUTION FOUND: 263086705497990 @ 443.72 @ #Dec. 1005642 c NEW SOLUTION FOUND: 263086688302840 @ 443.76 @ #Dec. 1005867 c NEW SOLUTION FOUND: 263084511898360 @ 443.8 @ #Dec. 1006151 c NEW SOLUTION FOUND: 263084149164280 @ 443.84 @ #Dec. 1006360 c NEW SOLUTION FOUND: 263082342287990 @ 447.26 @ #Dec. 1010507 c NEW SOLUTION FOUND: 263076901276790 @ 447.32 @ #Dec. 1010790 c NEW SOLUTION FOUND: 263073152463990 @ 447.39 @ #Dec. 1011110 c NEW SOLUTION FOUND: 263071894761590 @ 447.5 @ #Dec. 1011454 c NEW SOLUTION FOUND: 263071265910390 @ 447.6 @ #Dec. 1011787 c NEW SOLUTION FOUND: 263071108697590 @ 447.82 @ #Dec. 1012168 c NEW SOLUTION FOUND: 263071030091190 @ 447.86 @ #Dec. 1012397 c NEW SOLUTION FOUND: 263070953941240 @ 447.9 @ #Dec. 1012617 c NEW SOLUTION FOUND: 263070952651330 @ 458.75 @ #Dec. 1028459 c NEW SOLUTION FOUND: 263070951902350 @ 458.76 @ #Dec. 1028511 c NEW SOLUTION FOUND: 263070939775590 @ 458.8 @ #Dec. 1028912 c NEW SOLUTION FOUND: 263070923793116 @ 458.86 @ #Dec. 1029325 c NEW SOLUTION FOUND: 263070922580440 @ 458.88 @ #Dec. 1029541 c NEW SOLUTION FOUND: 263070918883720 @ 466.45 @ #Dec. 1035037 c NEW SOLUTION FOUND: 263070906900040 @ 466.47 @ #Dec. 1035243 c NEW SOLUTION FOUND: 263070904856040 @ 480.32 @ #Dec. 1060666 c Restart #42 #Var: 1125 #Dec: 1077407 LB: 2518367058970 @ 497.3 c Restart #43 #Var: 1125 #Dec: 1102582 LB: 2518367058970 @ 528 c Restart #44 #Var: 1125 #Dec: 1118332 LB: 2518367058970 @ 546.77 c Restart #45 #Var: 1125 #Dec: 1178060 LB: 2518367058970 @ 579.49 c Restart #46 #Var: 1125 #Dec: 1198089 LB: 2518367058970 @ 616.46 c Restart #47 #Var: 1125 #Dec: 1215026 LB: 2518367058970 @ 630.51 c Restart #48 #Var: 1125 #Dec: 1238838 LB: 2518367058970 @ 647.24 c Restart #49 #Var: 1125 #Dec: 1259535 LB: 2518367058970 @ 745.55 c Restart #50 #Var: 1125 #Dec: 1281323 LB: 2518367058970 @ 767.25 c Restart #51 #Var: 1125 #Dec: 1302687 LB: 2518367058970 @ 781.81 c Restart #52 #Var: 1125 #Dec: 1331563 LB: 2518367058970 @ 807.19 c Restart #53 #Var: 1125 #Dec: 1352797 LB: 2518367058970 @ 824.49 c Restart #54 #Var: 1125 #Dec: 1366403 LB: 2518367058970 @ 839.38 c Restart #55 #Var: 1125 #Dec: 1384278 LB: 2518367058970 @ 864.24 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/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1853932278 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 107 3 90 68 0 39 0 [pid=4008] 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/wulflinc17/normalized-mps-v2-13-7-bell5.opb [startup+10.0031 s] Raw data (loadavg): 0.88 0.97 0.99 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 2470 0 0 0 768 79 0 0 25 0 1 0 1853932278 13234176 2381 4294967295 134512640 134736556 3221224560 3221223232 134605840 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 3231 2381 1116 68 0 3163 0 [pid=4008] vsize: 12924 Current children cumulated CPU time (s) 8.47 Current children cumulated vsize (Kb) 12924 [startup+20.0037 s] Raw data (loadavg): 0.90 0.97 0.99 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 2919 0 0 0 1676 111 0 0 21 0 1 0 1853932278 15036416 2830 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 3671 2830 1116 68 0 3603 0 [pid=4008] vsize: 14684 Current children cumulated CPU time (s) 17.87 Current children cumulated vsize (Kb) 14684 [startup+30.0043 s] Raw data (loadavg): 0.92 0.97 0.99 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 4407 0 0 0 2503 169 0 0 20 0 1 0 1853932278 21110784 4318 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 5154 4318 1116 68 0 5086 0 [pid=4008] vsize: 20616 Current children cumulated CPU time (s) 26.72 Current children cumulated vsize (Kb) 20616 [startup+40.0039 s] Raw data (loadavg): 0.93 0.97 0.99 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 8816 0 0 0 3334 234 0 0 21 0 1 0 1853932278 39186432 8727 4294967295 134512640 134736556 3221224560 3221223216 134534879 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 9567 8727 1116 68 0 9499 0 [pid=4008] vsize: 38268 Current children cumulated CPU time (s) 35.68 Current children cumulated vsize (Kb) 38268 [startup+50.0045 s] Raw data (loadavg): 0.94 0.97 0.99 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 8842 0 0 0 4182 285 0 0 25 0 1 0 1853932278 39321600 8753 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 9600 8753 1116 68 0 9532 0 [pid=4008] vsize: 38400 Current children cumulated CPU time (s) 44.67 Current children cumulated vsize (Kb) 38400 [startup+60.0041 s] Raw data (loadavg): 1.03 0.99 0.99 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 10034 0 0 0 5022 342 0 0 25 0 1 0 1853932278 44191744 9945 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4008/statm): 10789 9945 1116 68 0 10721 0 [pid=4008] vsize: 43156 Current children cumulated CPU time (s) 53.64 Current children cumulated vsize (Kb) 43156 [startup+70.0047 s] Raw data (loadavg): 1.02 0.99 0.99 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 12577 0 0 0 5924 378 0 0 25 0 1 0 1853932278 54657024 12488 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4008/statm): 13344 12488 1116 68 0 13276 0 [pid=4008] vsize: 53376 Current children cumulated CPU time (s) 63.02 Current children cumulated vsize (Kb) 53376 [startup+80.0053 s] Raw data (loadavg): 1.02 0.99 0.99 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 13271 0 0 0 6837 411 0 0 25 0 1 0 1853932278 57491456 13182 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 14036 13182 1116 68 0 13968 0 [pid=4008] vsize: 56144 Current children cumulated CPU time (s) 72.48 Current children cumulated vsize (Kb) 56144 [startup+90.0049 s] Raw data (loadavg): 1.02 0.99 0.99 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 13442 0 0 0 7660 473 0 0 20 0 1 0 1853932278 58163200 13353 4294967295 134512640 134736556 3221224560 3221223104 134543767 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 14200 13353 1116 68 0 14132 0 [pid=4008] vsize: 56800 Current children cumulated CPU time (s) 81.33 Current children cumulated vsize (Kb) 56800 [startup+100.006 s] Raw data (loadavg): 1.01 0.99 0.99 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 13542 0 0 0 8406 556 0 0 21 0 1 0 1853932278 58568704 13453 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4008/statm): 14299 13453 1116 68 0 14231 0 [pid=4008] vsize: 57196 Current children cumulated CPU time (s) 89.62 Current children cumulated vsize (Kb) 57196 [startup+110.006 s] Raw data (loadavg): 1.01 0.99 0.99 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 13593 0 0 0 9150 640 0 0 20 0 1 0 1853932278 58703872 13504 4294967295 134512640 134736556 3221224560 3221223048 134716081 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 14332 13504 1116 68 0 14264 0 [pid=4008] vsize: 57328 Current children cumulated CPU time (s) 97.9 Current children cumulated vsize (Kb) 57328 [startup+120.007 s] Raw data (loadavg): 1.01 0.99 0.99 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 13600 0 0 0 10024 682 0 0 25 0 1 0 1853932278 58839040 13511 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 14365 13511 1116 68 0 14297 0 [pid=4008] vsize: 57460 Current children cumulated CPU time (s) 107.06 Current children cumulated vsize (Kb) 57460 [startup+130.007 s] Raw data (loadavg): 1.01 0.99 0.99 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 14093 0 0 0 10937 716 0 0 25 0 1 0 1853932278 60833792 14004 4294967295 134512640 134736556 3221224560 3221223120 134634145 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 14852 14004 1116 68 0 14784 0 [pid=4008] vsize: 59408 Current children cumulated CPU time (s) 116.53 Current children cumulated vsize (Kb) 59408 [startup+140.007 s] Raw data (loadavg): 1.08 1.00 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 14214 0 0 0 11746 777 0 0 22 0 1 0 1853932278 61284352 14125 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 14962 14125 1116 68 0 14894 0 [pid=4008] vsize: 59848 Current children cumulated CPU time (s) 125.23 Current children cumulated vsize (Kb) 59848 [startup+150.008 s] Raw data (loadavg): 1.07 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 14218 0 0 0 12671 804 0 0 25 0 1 0 1853932278 61284352 14129 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 14962 14129 1116 68 0 14894 0 [pid=4008] vsize: 59848 Current children cumulated CPU time (s) 134.75 Current children cumulated vsize (Kb) 59848 [startup+160.007 s] Raw data (loadavg): 1.06 1.00 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 14328 0 0 0 13600 828 0 0 25 0 1 0 1853932278 61796352 14239 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 15087 14239 1116 68 0 15019 0 [pid=4008] vsize: 60348 Current children cumulated CPU time (s) 144.28 Current children cumulated vsize (Kb) 60348 [startup+170.008 s] Raw data (loadavg): 1.05 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 15515 0 0 0 14483 871 0 0 23 0 1 0 1853932278 66662400 15426 4294967295 134512640 134736556 3221224560 3221223232 134621322 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 16275 15427 1116 68 0 16207 0 [pid=4008] vsize: 65100 Current children cumulated CPU time (s) 153.54 Current children cumulated vsize (Kb) 65100 [startup+180.008 s] Raw data (loadavg): 1.04 1.00 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 16017 0 0 0 15347 919 0 0 21 0 1 0 1853932278 68689920 15928 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 16770 15928 1116 68 0 16702 0 [pid=4008] vsize: 67080 Current children cumulated CPU time (s) 162.66 Current children cumulated vsize (Kb) 67080 [startup+190.009 s] Raw data (loadavg): 1.03 1.00 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 16190 0 0 0 16233 957 0 0 25 0 1 0 1853932278 69365760 16101 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 16935 16101 1116 68 0 16867 0 [pid=4008] vsize: 67740 Current children cumulated CPU time (s) 171.9 Current children cumulated vsize (Kb) 67740 [startup+200.009 s] Raw data (loadavg): 1.03 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 16296 0 0 0 17180 976 0 0 25 0 1 0 1853932278 69885952 16207 4294967295 134512640 134736556 3221224560 3221223056 134550888 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 17062 16207 1116 68 0 16994 0 [pid=4008] vsize: 68248 Current children cumulated CPU time (s) 181.56 Current children cumulated vsize (Kb) 68248 [startup+210.009 s] Raw data (loadavg): 1.02 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 16316 0 0 0 18113 1000 0 0 25 0 1 0 1853932278 69885952 16227 4294967295 134512640 134736556 3221224560 3221223056 134550735 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 17062 16227 1116 68 0 16994 0 [pid=4008] vsize: 68248 Current children cumulated CPU time (s) 191.13 Current children cumulated vsize (Kb) 68248 [startup+220.01 s] Raw data (loadavg): 1.02 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 16431 0 0 0 19078 1012 0 0 25 0 1 0 1853932278 70426624 16342 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 17194 16342 1116 68 0 17126 0 [pid=4008] vsize: 68776 Current children cumulated CPU time (s) 200.9 Current children cumulated vsize (Kb) 68776 [startup+230.009 s] Raw data (loadavg): 1.02 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 19506 0 0 0 20017 1038 0 0 25 0 1 0 1853932278 82939904 19417 4294967295 134512640 134736556 3221224560 3221222904 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 20249 19417 1116 68 0 20181 0 [pid=4008] vsize: 80996 Current children cumulated CPU time (s) 210.55 Current children cumulated vsize (Kb) 80996 [startup+240.009 s] Raw data (loadavg): 1.01 1.00 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 20046 0 0 0 20964 1058 0 0 25 0 1 0 1853932278 85196800 19957 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 20800 19957 1116 68 0 20732 0 [pid=4008] vsize: 83200 Current children cumulated CPU time (s) 220.22 Current children cumulated vsize (Kb) 83200 [startup+250.01 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 20082 0 0 0 21876 1090 0 0 21 0 1 0 1853932278 85331968 19993 4294967295 134512640 134736556 3221224560 3221223088 134550882 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 20833 19993 1116 68 0 20765 0 [pid=4008] vsize: 83332 Current children cumulated CPU time (s) 229.66 Current children cumulated vsize (Kb) 83332 [startup+260.01 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 20106 0 0 0 22823 1108 0 0 25 0 1 0 1853932278 85450752 20017 4294967295 134512640 134736556 3221224560 3221223108 1077374195 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 20862 20017 1116 68 0 20794 0 [pid=4008] vsize: 83448 Current children cumulated CPU time (s) 239.31 Current children cumulated vsize (Kb) 83448 [startup+270.011 s] Raw data (loadavg): 1.01 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 23151 0 0 0 23778 1128 0 0 25 0 1 0 1853932278 97636352 23010 4294967295 134512640 134736556 3221224560 3221222924 1077379843 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 23837 23010 1116 68 0 23769 0 [pid=4008] vsize: 95348 Current children cumulated CPU time (s) 249.06 Current children cumulated vsize (Kb) 95348 [startup+280.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 24812 0 0 0 24703 1155 0 0 22 0 1 0 1853932278 104529920 24671 4294967295 134512640 134736556 3221224560 3221223056 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 25520 24671 1116 68 0 25452 0 [pid=4008] vsize: 102080 Current children cumulated CPU time (s) 258.58 Current children cumulated vsize (Kb) 102080 [startup+290.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 30184 0 0 0 25597 1200 0 0 25 0 1 0 1853932278 126558208 30043 4294967295 134512640 134736556 3221224560 3221223120 134634142 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 30898 30043 1116 68 0 30830 0 [pid=4008] vsize: 123592 Current children cumulated CPU time (s) 267.97 Current children cumulated vsize (Kb) 123592 [startup+300.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 35645 0 0 0 26519 1233 0 0 25 0 1 0 1853932278 148852736 35504 4294967295 134512640 134736556 3221224560 3221222936 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 36341 35505 1116 68 0 36273 0 [pid=4008] vsize: 145364 Current children cumulated CPU time (s) 277.52 Current children cumulated vsize (Kb) 145364 [startup+310.011 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 38659 0 0 0 27463 1258 0 0 25 0 1 0 1853932278 161288192 38518 4294967295 134512640 134736556 3221224560 3221223004 134634644 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 39377 38518 1116 68 0 39309 0 [pid=4008] vsize: 157508 Current children cumulated CPU time (s) 287.21 Current children cumulated vsize (Kb) 157508 [startup+320.012 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 39925 0 0 0 28378 1288 0 0 25 0 1 0 1853932278 166408192 39784 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 40627 39784 1116 68 0 40559 0 [pid=4008] vsize: 162508 Current children cumulated CPU time (s) 296.66 Current children cumulated vsize (Kb) 162508 [startup+330.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 43077 0 0 0 29334 1307 0 0 25 0 1 0 1853932278 178671616 42781 4294967295 134512640 134736556 3221224560 3221223456 134592021 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 43621 42781 1116 68 0 43553 0 [pid=4008] vsize: 174484 Current children cumulated CPU time (s) 306.41 Current children cumulated vsize (Kb) 174484 [startup+340.012 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 50777 0 0 0 30232 1355 0 0 25 0 1 0 1853932278 210309120 50481 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 51345 50481 1116 68 0 51277 0 [pid=4008] vsize: 205380 Current children cumulated CPU time (s) 315.87 Current children cumulated vsize (Kb) 205380 [startup+350.013 s] Raw data (loadavg): 1.00 1.00 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 53528 0 0 0 31172 1380 0 0 25 0 1 0 1853932278 221532160 53232 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 54085 53232 1116 68 0 54017 0 [pid=4008] vsize: 216340 Current children cumulated CPU time (s) 325.52 Current children cumulated vsize (Kb) 216340 [startup+360.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 54626 0 0 0 32102 1407 0 0 25 0 1 0 1853932278 226091008 54330 4294967295 134512640 134736556 3221224560 3221223248 134529346 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 55198 54330 1116 68 0 55130 0 [pid=4008] vsize: 220792 Current children cumulated CPU time (s) 335.09 Current children cumulated vsize (Kb) 220792 [startup+370.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 55871 0 0 0 33077 1418 0 0 25 0 1 0 1853932278 231084032 55575 4294967295 134512640 134736556 3221224560 3221223208 134554050 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 56417 55575 1116 68 0 56349 0 [pid=4008] vsize: 225668 Current children cumulated CPU time (s) 344.95 Current children cumulated vsize (Kb) 225668 [startup+380.013 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 56786 0 0 0 34058 1426 0 0 25 0 1 0 1853932278 234868736 56490 4294967295 134512640 134736556 3221224560 3221223224 134554101 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 57341 56490 1116 68 0 57273 0 [pid=4008] vsize: 229364 Current children cumulated CPU time (s) 354.84 Current children cumulated vsize (Kb) 229364 [startup+390.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 57392 0 0 0 35043 1433 0 0 25 0 1 0 1853932278 237436928 57096 4294967295 134512640 134736556 3221224560 3221223184 134553387 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 57968 57096 1116 68 0 57900 0 [pid=4008] vsize: 231872 Current children cumulated CPU time (s) 364.76 Current children cumulated vsize (Kb) 231872 [startup+400.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 58117 0 0 0 36022 1443 0 0 25 0 1 0 1853932278 240410624 57821 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 58694 57821 1116 68 0 58626 0 [pid=4008] vsize: 234776 Current children cumulated CPU time (s) 374.65 Current children cumulated vsize (Kb) 234776 [startup+410.014 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 58863 0 0 0 37003 1450 0 0 25 0 1 0 1853932278 243384320 58567 4294967295 134512640 134736556 3221224560 3221223088 134553392 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 59420 58567 1116 68 0 59352 0 [pid=4008] vsize: 237680 Current children cumulated CPU time (s) 384.53 Current children cumulated vsize (Kb) 237680 [startup+420.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 60000 0 0 0 37986 1459 0 0 25 0 1 0 1853932278 248123392 59704 4294967295 134512640 134736556 3221224560 3221223200 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 60577 59704 1116 68 0 60509 0 [pid=4008] vsize: 242308 Current children cumulated CPU time (s) 394.45 Current children cumulated vsize (Kb) 242308 [startup+430.015 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 60379 0 0 0 38919 1481 0 0 25 0 1 0 1853932278 249593856 60083 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 60936 60083 1116 68 0 60868 0 [pid=4008] vsize: 243744 Current children cumulated CPU time (s) 404 Current children cumulated vsize (Kb) 243744 [startup+440.015 s] Raw data (loadavg): 1.07 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 63646 0 0 0 39799 1523 0 0 25 0 1 0 1853932278 262959104 63350 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 64199 63350 1116 68 0 64131 0 [pid=4008] vsize: 256796 Current children cumulated CPU time (s) 413.22 Current children cumulated vsize (Kb) 256796 [startup+450.016 s] Raw data (loadavg): 1.06 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 67707 0 0 0 40644 1581 0 0 23 0 1 0 1853932278 279580672 67411 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 68257 67411 1116 68 0 68189 0 [pid=4008] vsize: 273028 Current children cumulated CPU time (s) 422.25 Current children cumulated vsize (Kb) 273028 [startup+460.016 s] Raw data (loadavg): 1.05 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 70849 0 0 0 41520 1627 0 0 25 0 1 0 1853932278 292560896 70553 4294967295 134512640 134736556 3221224560 3221223192 134554109 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 71426 70553 1116 68 0 71358 0 [pid=4008] vsize: 285704 Current children cumulated CPU time (s) 431.47 Current children cumulated vsize (Kb) 285704 [startup+470.017 s] Raw data (loadavg): 1.04 1.01 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 74370 0 0 0 42397 1674 0 0 25 0 1 0 1853932278 306892800 74074 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 74925 74074 1116 68 0 74857 0 [pid=4008] vsize: 299700 Current children cumulated CPU time (s) 440.71 Current children cumulated vsize (Kb) 299700 [startup+480.017 s] Raw data (loadavg): 1.04 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 76656 0 0 0 43305 1709 0 0 25 0 1 0 1853932278 316334080 76360 4294967295 134512640 134736556 3221224560 3221223188 134529202 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 77230 76360 1116 68 0 77162 0 [pid=4008] vsize: 308920 Current children cumulated CPU time (s) 450.14 Current children cumulated vsize (Kb) 308920 [startup+490.017 s] Raw data (loadavg): 1.03 1.01 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 79504 0 0 0 44223 1741 0 0 25 0 1 0 1853932278 327946240 79208 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 80065 79208 1116 68 0 79997 0 [pid=4008] vsize: 320260 Current children cumulated CPU time (s) 459.64 Current children cumulated vsize (Kb) 320260 [startup+500.018 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 80746 0 0 0 45190 1753 0 0 25 0 1 0 1853932278 333078528 80450 4294967295 134512640 134736556 3221224560 3221223120 134550935 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 81318 80450 1116 68 0 81250 0 [pid=4008] vsize: 325272 Current children cumulated CPU time (s) 469.43 Current children cumulated vsize (Kb) 325272 [startup+510.018 s] Raw data (loadavg): 1.09 1.03 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 83733 0 0 0 46085 1796 0 0 25 0 1 0 1853932278 345391104 83437 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 84324 83437 1116 68 0 84256 0 [pid=4008] vsize: 337296 Current children cumulated CPU time (s) 478.81 Current children cumulated vsize (Kb) 337296 [startup+520.019 s] Raw data (loadavg): 1.08 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 85752 0 0 0 47038 1816 0 0 25 0 1 0 1853932278 352333824 85145 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 86019 85145 1116 68 0 85951 0 [pid=4008] vsize: 344076 Current children cumulated CPU time (s) 488.54 Current children cumulated vsize (Kb) 344076 [startup+530.019 s] Raw data (loadavg): 1.07 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 86146 0 0 0 47980 1837 0 0 25 0 1 0 1853932278 353959936 85539 4294967295 134512640 134736556 3221224560 3221223048 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 86416 85539 1116 68 0 86348 0 [pid=4008] vsize: 345664 Current children cumulated CPU time (s) 498.17 Current children cumulated vsize (Kb) 345664 [startup+540.019 s] Raw data (loadavg): 1.06 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 89376 0 0 0 48932 1858 0 0 25 0 1 0 1853932278 367206400 88769 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 89650 88769 1116 68 0 89582 0 [pid=4008] vsize: 358600 Current children cumulated CPU time (s) 507.9 Current children cumulated vsize (Kb) 358600 [startup+550.02 s] Raw data (loadavg): 1.05 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 93055 0 0 0 49871 1885 0 0 25 0 1 0 1853932278 382349312 92448 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 93347 92448 1116 68 0 93279 0 [pid=4008] vsize: 373388 Current children cumulated CPU time (s) 517.56 Current children cumulated vsize (Kb) 373388 [startup+560.02 s] Raw data (loadavg): 1.04 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 95641 0 0 0 50836 1902 0 0 25 0 1 0 1853932278 392921088 95033 4294967295 134512640 134736556 3221224560 3221223160 134554109 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 95928 95033 1116 68 0 95860 0 [pid=4008] vsize: 383712 Current children cumulated CPU time (s) 527.38 Current children cumulated vsize (Kb) 383712 [startup+570.021 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 99281 0 0 0 51779 1926 0 0 25 0 1 0 1853932278 407785472 98673 4294967295 134512640 134736556 3221224560 3221223240 134605903 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 99557 98673 1116 68 0 99489 0 [pid=4008] vsize: 398228 Current children cumulated CPU time (s) 537.05 Current children cumulated vsize (Kb) 398228 [startup+580.02 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 102300 0 0 0 52743 1945 0 0 25 0 1 0 1853932278 420229120 101692 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 102595 101692 1116 68 0 102527 0 [pid=4008] vsize: 410380 Current children cumulated CPU time (s) 546.88 Current children cumulated vsize (Kb) 410380 [startup+590.02 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 102816 0 0 0 53727 1952 0 0 25 0 1 0 1853932278 422256640 102208 4294967295 134512640 134736556 3221224560 3221223296 134529155 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 103090 102208 1116 68 0 103022 0 [pid=4008] vsize: 412360 Current children cumulated CPU time (s) 556.79 Current children cumulated vsize (Kb) 412360 [startup+600.021 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 103130 0 0 0 54597 1997 0 0 24 0 1 0 1853932278 423567360 102522 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4008/statm): 103410 102522 1116 68 0 103342 0 [pid=4008] vsize: 413640 Current children cumulated CPU time (s) 565.94 Current children cumulated vsize (Kb) 413640 [startup+610.021 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 103898 0 0 0 55475 2042 0 0 25 0 1 0 1853932278 426692608 103290 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 104173 103290 1116 68 0 104105 0 [pid=4008] vsize: 416692 Current children cumulated CPU time (s) 575.17 Current children cumulated vsize (Kb) 416692 [startup+620.022 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 105578 0 0 0 56440 2057 0 0 25 0 1 0 1853932278 433577984 104970 4294967295 134512640 134736556 3221224560 3221223096 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 105854 104970 1116 68 0 105786 0 [pid=4008] vsize: 423416 Current children cumulated CPU time (s) 584.97 Current children cumulated vsize (Kb) 423416 [startup+630.023 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 107659 0 0 0 57405 2072 0 0 25 0 1 0 1853932278 442236928 107051 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 107968 107051 1116 68 0 107900 0 [pid=4008] vsize: 431872 Current children cumulated CPU time (s) 594.77 Current children cumulated vsize (Kb) 431872 [startup+640.022 s] Raw data (loadavg): 1.01 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 110198 0 0 0 58370 2089 0 0 25 0 1 0 1853932278 452509696 109590 4294967295 134512640 134736556 3221224560 3221223200 134536462 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 110476 109590 1116 68 0 110408 0 [pid=4008] vsize: 441904 Current children cumulated CPU time (s) 604.59 Current children cumulated vsize (Kb) 441904 [startup+650.023 s] Raw data (loadavg): 1.01 1.01 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 112477 0 0 0 59340 2102 0 0 25 0 1 0 1853932278 461987840 111869 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 112790 111869 1116 68 0 112722 0 [pid=4008] vsize: 451160 Current children cumulated CPU time (s) 614.42 Current children cumulated vsize (Kb) 451160 [startup+660.022 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 114890 0 0 0 60282 2125 0 0 25 0 1 0 1853932278 471859200 114282 4294967295 134512640 134736556 3221224560 3221223248 134529353 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 115200 114282 1116 68 0 115132 0 [pid=4008] vsize: 460800 Current children cumulated CPU time (s) 624.07 Current children cumulated vsize (Kb) 460800 [startup+670.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 115770 0 0 0 61232 2145 0 0 25 0 1 0 1853932278 475373568 115162 4294967295 134512640 134736556 3221224560 3221223184 134528785 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 116058 115162 1116 68 0 115990 0 [pid=4008] vsize: 464232 Current children cumulated CPU time (s) 633.77 Current children cumulated vsize (Kb) 464232 [startup+680.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 119816 0 0 0 62144 2180 0 0 25 0 1 0 1853932278 491966464 119208 4294967295 134512640 134736556 3221224560 3221223048 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 120109 119208 1116 68 0 120041 0 [pid=4008] vsize: 480436 Current children cumulated CPU time (s) 643.24 Current children cumulated vsize (Kb) 480436 [startup+690.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 122298 0 0 0 63088 2203 0 0 25 0 1 0 1853932278 502243328 121690 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 122618 121690 1116 68 0 122550 0 [pid=4008] vsize: 490472 Current children cumulated CPU time (s) 652.91 Current children cumulated vsize (Kb) 490472 [startup+700.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 122306 0 0 0 64079 2206 0 0 25 0 1 0 1853932278 502243328 121698 4294967295 134512640 134736556 3221224560 3221223152 134536541 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 122618 121698 1116 68 0 122550 0 [pid=4008] vsize: 490472 Current children cumulated CPU time (s) 662.85 Current children cumulated vsize (Kb) 490472 [startup+710.023 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 122306 0 0 0 65073 2208 0 0 25 0 1 0 1853932278 502243328 121698 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 122618 121698 1116 68 0 122550 0 [pid=4008] vsize: 490472 Current children cumulated CPU time (s) 672.81 Current children cumulated vsize (Kb) 490472 [startup+720.024 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 122306 0 0 0 66063 2212 0 0 25 0 1 0 1853932278 502243328 121698 4294967295 134512640 134736556 3221224560 3221223136 134524547 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 122618 121698 1116 68 0 122550 0 [pid=4008] vsize: 490472 Current children cumulated CPU time (s) 682.75 Current children cumulated vsize (Kb) 490472 [startup+730.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 122306 0 0 0 67058 2214 0 0 25 0 1 0 1853932278 502243328 121698 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 122618 121698 1116 68 0 122550 0 [pid=4008] vsize: 490472 Current children cumulated CPU time (s) 692.72 Current children cumulated vsize (Kb) 490472 [startup+740.024 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 122311 0 0 0 68045 2219 0 0 25 0 1 0 1853932278 502243328 121703 4294967295 134512640 134736556 3221224560 3221223116 134537537 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 122618 121703 1116 68 0 122550 0 [pid=4008] vsize: 490472 Current children cumulated CPU time (s) 702.64 Current children cumulated vsize (Kb) 490472 [startup+750.025 s] Raw data (loadavg): 1.00 1.00 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 122313 0 0 0 69030 2224 0 0 25 0 1 0 1853932278 502243328 121705 4294967295 134512640 134736556 3221224560 3221223168 134537375 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 122618 121705 1116 68 0 122550 0 [pid=4008] vsize: 490472 Current children cumulated CPU time (s) 712.54 Current children cumulated vsize (Kb) 490472 [startup+760.024 s] Raw data (loadavg): 1.08 1.02 1.01 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 122325 0 0 0 70016 2229 0 0 25 0 1 0 1853932278 502243328 121717 4294967295 134512640 134736556 3221224560 3221223072 134551002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 122618 121717 1116 68 0 122550 0 [pid=4008] vsize: 490472 Current children cumulated CPU time (s) 722.45 Current children cumulated vsize (Kb) 490472 [startup+770.025 s] Raw data (loadavg): 1.07 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 122331 0 0 0 71006 2234 0 0 25 0 1 0 1853932278 502378496 121723 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 122651 121723 1116 68 0 122583 0 [pid=4008] vsize: 490604 Current children cumulated CPU time (s) 732.4 Current children cumulated vsize (Kb) 490604 [startup+780.026 s] Raw data (loadavg): 1.06 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 122344 0 0 0 71993 2238 0 0 25 0 1 0 1853932278 502378496 121736 4294967295 134512640 134736556 3221224560 3221223232 134528659 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 122651 121736 1116 68 0 122583 0 [pid=4008] vsize: 490604 Current children cumulated CPU time (s) 742.31 Current children cumulated vsize (Kb) 490604 [startup+790.025 s] Raw data (loadavg): 1.05 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 126015 0 0 0 72929 2267 0 0 25 0 1 0 1853932278 517382144 125407 4294967295 134512640 134736556 3221224560 3221223048 1077378037 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 126314 125407 1116 68 0 126246 0 [pid=4008] vsize: 505256 Current children cumulated CPU time (s) 751.96 Current children cumulated vsize (Kb) 505256 [startup+800.026 s] Raw data (loadavg): 1.04 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 131698 0 0 0 73871 2296 0 0 25 0 1 0 1853932278 540786688 131090 4294967295 134512640 134736556 3221224560 3221223184 134537458 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 132028 131090 1116 68 0 131960 0 [pid=4008] vsize: 528112 Current children cumulated CPU time (s) 761.67 Current children cumulated vsize (Kb) 528112 [startup+810.026 s] Raw data (loadavg): 1.03 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 133902 0 0 0 74816 2316 0 0 25 0 1 0 1853932278 549736448 133292 4294967295 134512640 134736556 3221224560 3221223156 1077374505 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 134213 133292 1116 68 0 134145 0 [pid=4008] vsize: 536852 Current children cumulated CPU time (s) 771.32 Current children cumulated vsize (Kb) 536852 [startup+820.027 s] Raw data (loadavg): 1.03 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 133902 0 0 0 75757 2337 0 0 25 0 1 0 1853932278 549736448 133292 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 134213 133292 1116 68 0 134145 0 [pid=4008] vsize: 536852 Current children cumulated CPU time (s) 780.94 Current children cumulated vsize (Kb) 536852 [startup+830.027 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 136170 0 0 0 76683 2367 0 0 25 0 1 0 1853932278 559063040 135560 4294967295 134512640 134736556 3221224560 3221223248 134529158 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 136490 135560 1116 68 0 136422 0 [pid=4008] vsize: 545960 Current children cumulated CPU time (s) 790.5 Current children cumulated vsize (Kb) 545960 [startup+840.027 s] Raw data (loadavg): 1.02 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 136772 0 0 0 77630 2385 0 0 25 0 1 0 1853932278 561491968 136162 4294967295 134512640 134736556 3221224560 3221223104 134716146 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 137083 136162 1116 68 0 137015 0 [pid=4008] vsize: 548332 Current children cumulated CPU time (s) 800.15 Current children cumulated vsize (Kb) 548332 [startup+850.028 s] Raw data (loadavg): 1.02 1.01 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 136880 0 0 0 78587 2400 0 0 25 0 1 0 1853932278 562032640 136270 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 137215 136270 1116 68 0 137147 0 [pid=4008] vsize: 548860 Current children cumulated CPU time (s) 809.87 Current children cumulated vsize (Kb) 548860 [startup+860.027 s] Raw data (loadavg): 1.09 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 136994 0 0 0 79543 2416 0 0 25 0 1 0 1853932278 562438144 136384 4294967295 134512640 134736556 3221224560 3221223088 134550882 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 137314 136384 1116 68 0 137246 0 [pid=4008] vsize: 549256 Current children cumulated CPU time (s) 819.59 Current children cumulated vsize (Kb) 549256 [startup+870.028 s] Raw data (loadavg): 1.07 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 137060 0 0 0 80488 2435 0 0 25 0 1 0 1853932278 562700288 136450 4294967295 134512640 134736556 3221224560 3221223220 134560266 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 137378 136450 1116 68 0 137310 0 [pid=4008] vsize: 549512 Current children cumulated CPU time (s) 829.23 Current children cumulated vsize (Kb) 549512 [startup+880.029 s] Raw data (loadavg): 1.06 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 137061 0 0 0 81443 2449 0 0 25 0 1 0 1853932278 562700288 136451 4294967295 134512640 134736556 3221224560 3221223232 134630726 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 137378 136451 1116 68 0 137310 0 [pid=4008] vsize: 549512 Current children cumulated CPU time (s) 838.92 Current children cumulated vsize (Kb) 549512 [startup+890.028 s] Raw data (loadavg): 1.05 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 137198 0 0 0 82404 2463 0 0 25 0 1 0 1853932278 563326976 136588 4294967295 134512640 134736556 3221224560 3221223232 134630685 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 137531 136588 1116 68 0 137463 0 [pid=4008] vsize: 550124 Current children cumulated CPU time (s) 848.67 Current children cumulated vsize (Kb) 550124 [startup+900.029 s] Raw data (loadavg): 1.04 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 137198 0 0 0 83370 2475 0 0 25 0 1 0 1853932278 563326976 136588 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 137531 136588 1116 68 0 137463 0 [pid=4008] vsize: 550124 Current children cumulated CPU time (s) 858.45 Current children cumulated vsize (Kb) 550124 [startup+910.029 s] Raw data (loadavg): 1.04 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138304 0 0 0 84320 2495 0 0 25 0 1 0 1853932278 567918592 137694 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138652 137694 1116 68 0 138584 0 [pid=4008] vsize: 554608 Current children cumulated CPU time (s) 868.15 Current children cumulated vsize (Kb) 554608 [startup+920.03 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138308 0 0 0 85246 2520 0 0 25 0 1 0 1853932278 567918592 137698 4294967295 134512640 134736556 3221224560 3221223184 134529208 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 138652 137698 1116 68 0 138584 0 [pid=4008] vsize: 554608 Current children cumulated CPU time (s) 877.66 Current children cumulated vsize (Kb) 554608 [startup+930.031 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138310 0 0 0 86173 2544 0 0 25 0 1 0 1853932278 567918592 137700 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138652 137700 1116 68 0 138584 0 [pid=4008] vsize: 554608 Current children cumulated CPU time (s) 887.17 Current children cumulated vsize (Kb) 554608 [startup+940.03 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138310 0 0 0 87106 2569 0 0 22 0 1 0 1853932278 567918592 137700 4294967295 134512640 134736556 3221224560 3221223200 134529232 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138652 137700 1116 68 0 138584 0 [pid=4008] vsize: 554608 Current children cumulated CPU time (s) 896.75 Current children cumulated vsize (Kb) 554608 [startup+950.03 s] Raw data (loadavg): 1.10 1.03 1.01 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138310 0 0 0 88038 2593 0 0 25 0 1 0 1853932278 567918592 137700 4294967295 134512640 134736556 3221224560 3221223200 134529280 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138652 137700 1116 68 0 138584 0 [pid=4008] vsize: 554608 Current children cumulated CPU time (s) 906.31 Current children cumulated vsize (Kb) 554608 [startup+960.029 s] Raw data (loadavg): 1.08 1.03 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138311 0 0 0 88968 2617 0 0 25 0 1 0 1853932278 567918592 137701 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138652 137701 1116 68 0 138584 0 [pid=4008] vsize: 554608 Current children cumulated CPU time (s) 915.85 Current children cumulated vsize (Kb) 554608 [startup+970.03 s] Raw data (loadavg): 1.07 1.03 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138311 0 0 0 89900 2639 0 0 25 0 1 0 1853932278 567918592 137701 4294967295 134512640 134736556 3221224560 3221223068 134537554 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 138652 137701 1116 68 0 138584 0 [pid=4008] vsize: 554608 Current children cumulated CPU time (s) 925.39 Current children cumulated vsize (Kb) 554608 [startup+980.03 s] Raw data (loadavg): 1.06 1.03 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138311 0 0 0 90828 2662 0 0 25 0 1 0 1853932278 567918592 137701 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138652 137701 1116 68 0 138584 0 [pid=4008] vsize: 554608 Current children cumulated CPU time (s) 934.9 Current children cumulated vsize (Kb) 554608 [startup+990.029 s] Raw data (loadavg): 1.05 1.03 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138346 0 0 0 91750 2691 0 0 25 0 1 0 1853932278 568053760 137736 4294967295 134512640 134736556 3221224560 3221223088 134553402 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138685 137736 1116 68 0 138617 0 [pid=4008] vsize: 554740 Current children cumulated CPU time (s) 944.41 Current children cumulated vsize (Kb) 554740 [startup+1000.03 s] Raw data (loadavg): 1.04 1.03 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138347 0 0 0 92677 2715 0 0 25 0 1 0 1853932278 568053760 137737 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138685 137737 1116 68 0 138617 0 [pid=4008] vsize: 554740 Current children cumulated CPU time (s) 953.92 Current children cumulated vsize (Kb) 554740 [startup+1010.03 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138348 0 0 0 93605 2740 0 0 25 0 1 0 1853932278 568053760 137738 4294967295 134512640 134736556 3221224560 3221223200 134529363 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138685 137738 1116 68 0 138617 0 [pid=4008] vsize: 554740 Current children cumulated CPU time (s) 963.45 Current children cumulated vsize (Kb) 554740 [startup+1020.03 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138348 0 0 0 94533 2762 0 0 25 0 1 0 1853932278 568053760 137738 4294967295 134512640 134736556 3221224560 3221223124 134536600 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138685 137738 1116 68 0 138617 0 [pid=4008] vsize: 554740 Current children cumulated CPU time (s) 972.95 Current children cumulated vsize (Kb) 554740 [startup+1030.03 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138348 0 0 0 95460 2786 0 0 25 0 1 0 1853932278 568053760 137738 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138685 137738 1116 68 0 138617 0 [pid=4008] vsize: 554740 Current children cumulated CPU time (s) 982.46 Current children cumulated vsize (Kb) 554740 [startup+1040.03 s] Raw data (loadavg): 1.02 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138349 0 0 0 96387 2813 0 0 25 0 1 0 1853932278 568053760 137739 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138685 137739 1116 68 0 138617 0 [pid=4008] vsize: 554740 Current children cumulated CPU time (s) 992 Current children cumulated vsize (Kb) 554740 [startup+1050.03 s] Raw data (loadavg): 1.02 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138349 0 0 0 97314 2836 0 0 25 0 1 0 1853932278 568053760 137739 4294967295 134512640 134736556 3221224560 3221223216 134528776 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 138685 137739 1116 68 0 138617 0 [pid=4008] vsize: 554740 Current children cumulated CPU time (s) 1001.5 Current children cumulated vsize (Kb) 554740 [startup+1060.03 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138349 0 0 0 98242 2859 0 0 25 0 1 0 1853932278 568053760 137739 4294967295 134512640 134736556 3221224560 3221223152 134550999 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 138685 137739 1116 68 0 138617 0 [pid=4008] vsize: 554740 Current children cumulated CPU time (s) 1011.01 Current children cumulated vsize (Kb) 554740 [startup+1070.03 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138349 0 0 0 99167 2886 0 0 25 0 1 0 1853932278 568053760 137739 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138685 137739 1116 68 0 138617 0 [pid=4008] vsize: 554740 Current children cumulated CPU time (s) 1020.53 Current children cumulated vsize (Kb) 554740 [startup+1080.03 s] Raw data (loadavg): 1.01 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138349 0 0 0 100094 2912 0 0 25 0 1 0 1853932278 568053760 137739 4294967295 134512640 134736556 3221224560 3221223208 134554050 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 138685 137739 1116 68 0 138617 0 [pid=4008] vsize: 554740 Current children cumulated CPU time (s) 1030.06 Current children cumulated vsize (Kb) 554740 [startup+1090.03 s] Raw data (loadavg): 1.01 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138349 0 0 0 101023 2935 0 0 25 0 1 0 1853932278 568053760 137739 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138685 137739 1116 68 0 138617 0 [pid=4008] vsize: 554740 Current children cumulated CPU time (s) 1039.58 Current children cumulated vsize (Kb) 554740 [startup+1100.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138560 0 0 0 101947 2962 0 0 25 0 1 0 1853932278 568864768 137950 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/4008/statm): 138883 137950 1116 68 0 138815 0 [pid=4008] vsize: 555532 Current children cumulated CPU time (s) 1049.09 Current children cumulated vsize (Kb) 555532 [startup+1110.03 s] Raw data (loadavg): 1.00 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138563 0 0 0 102874 2987 0 0 25 0 1 0 1853932278 568864768 137953 4294967295 134512640 134736556 3221224560 3221223108 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138883 137953 1116 68 0 138815 0 [pid=4008] vsize: 555532 Current children cumulated CPU time (s) 1058.61 Current children cumulated vsize (Kb) 555532 [startup+1120.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138564 0 0 0 103800 3013 0 0 22 0 1 0 1853932278 568864768 137954 4294967295 134512640 134736556 3221224560 3221223216 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138883 137954 1116 68 0 138815 0 [pid=4008] vsize: 555532 Current children cumulated CPU time (s) 1068.13 Current children cumulated vsize (Kb) 555532 [startup+1130.03 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138565 0 0 0 104727 3037 0 0 25 0 1 0 1853932278 568864768 137955 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138883 137955 1116 68 0 138815 0 [pid=4008] vsize: 555532 Current children cumulated CPU time (s) 1077.64 Current children cumulated vsize (Kb) 555532 [startup+1140.04 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138565 0 0 0 105655 3061 0 0 25 0 1 0 1853932278 568864768 137955 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138883 137955 1116 68 0 138815 0 [pid=4008] vsize: 555532 Current children cumulated CPU time (s) 1087.16 Current children cumulated vsize (Kb) 555532 [startup+1150.04 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138565 0 0 0 106580 3086 0 0 22 0 1 0 1853932278 568864768 137955 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138883 137955 1116 68 0 138815 0 [pid=4008] vsize: 555532 Current children cumulated CPU time (s) 1096.66 Current children cumulated vsize (Kb) 555532 [startup+1160.04 s] Raw data (loadavg): 1.00 1.01 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138565 0 0 0 107509 3109 0 0 25 0 1 0 1853932278 568864768 137955 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138883 137955 1116 68 0 138815 0 [pid=4008] vsize: 555532 Current children cumulated CPU time (s) 1106.18 Current children cumulated vsize (Kb) 555532 [startup+1170.04 s] Raw data (loadavg): 1.00 1.01 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138641 0 0 0 108429 3137 0 0 25 0 1 0 1853932278 569270272 138031 4294967295 134512640 134736556 3221224560 3221223184 134529480 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138982 138031 1116 68 0 138914 0 [pid=4008] vsize: 555928 Current children cumulated CPU time (s) 1115.66 Current children cumulated vsize (Kb) 555928 [startup+1180.04 s] Raw data (loadavg): 1.07 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138643 0 0 0 109346 3164 0 0 25 0 1 0 1853932278 569270272 138033 4294967295 134512640 134736556 3221224560 3221223376 134600524 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138982 138033 1116 68 0 138914 0 [pid=4008] vsize: 555928 Current children cumulated CPU time (s) 1125.1 Current children cumulated vsize (Kb) 555928 [startup+1190.04 s] Raw data (loadavg): 1.06 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138644 0 0 0 110265 3191 0 0 25 0 1 0 1853932278 569270272 138034 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138982 138034 1116 68 0 138914 0 [pid=4008] vsize: 555928 Current children cumulated CPU time (s) 1134.56 Current children cumulated vsize (Kb) 555928 [startup+1200.04 s] Raw data (loadavg): 1.05 1.02 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138644 0 0 0 111187 3218 0 0 25 0 1 0 1853932278 569270272 138034 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/4008/statm): 138982 138034 1116 68 0 138914 0 [pid=4008] vsize: 555928 Current children cumulated CPU time (s) 1144.05 Current children cumulated vsize (Kb) 555928 [startup+1210.04 s] Raw data (loadavg): 1.04 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138646 0 0 0 112112 3242 0 0 25 0 1 0 1853932278 569270272 138036 4294967295 134512640 134736556 3221224560 3221223136 134524350 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 138982 138036 1116 68 0 138914 0 [pid=4008] vsize: 555928 Current children cumulated CPU time (s) 1153.54 Current children cumulated vsize (Kb) 555928 [startup+1220.04 s] Raw data (loadavg): 1.04 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138680 0 0 0 113034 3269 0 0 25 0 1 0 1853932278 569405440 138070 4294967295 134512640 134736556 3221224560 3221223088 134553387 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 139015 138070 1116 68 0 138947 0 [pid=4008] vsize: 556060 Current children cumulated CPU time (s) 1163.03 Current children cumulated vsize (Kb) 556060 [startup+1230.04 s] Raw data (loadavg): 1.03 1.02 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138683 0 0 0 113958 3293 0 0 25 0 1 0 1853932278 569405440 138073 4294967295 134512640 134736556 3221224560 3221223092 134553382 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 139015 138073 1116 68 0 138947 0 [pid=4008] vsize: 556060 Current children cumulated CPU time (s) 1172.51 Current children cumulated vsize (Kb) 556060 [startup+1240.04 s] Raw data (loadavg): 1.10 1.04 1.00 1/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) T 4007 4008 19316 0 -1 0 138684 0 0 0 114880 3320 0 0 25 0 1 0 1853932278 569405440 138074 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/4008/statm): 139015 138074 1116 68 0 138947 0 [pid=4008] vsize: 556060 Current children cumulated CPU time (s) 1182 Current children cumulated vsize (Kb) 556060 [startup+1250.04 s] Raw data (loadavg): 1.08 1.03 1.00 2/56 4008 Raw data (/proc/4008/stat): 4008 (bsolo) R 4007 4008 19316 0 -1 0 138685 0 0 0 115804 3346 0 0 25 0 1 0 1853932278 569405440 138075 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/4008/statm): 139015 138075 1116 68 0 138947 0 [pid=4008] vsize: 556060 Current children cumulated CPU time (s) 1191.5 Current children cumulated vsize (Kb) 556060 One traced child (pid=4008) exited with status: 10 All traced children have exited ! Game is over. Child status: 10 Real time (s): 1254 CPU time (s): 1195.29 CPU user time (s): 1161.47 CPU system time (s): 33.8139 CPU usage (%): 95.318 Max. virtual memory (cumulated for all children) (Kb): 556060
Verifier: OK 263070904856040