Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
  1. LAUNCHER DATA
    These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
    Note that some very long lines in this section may be truncated by your web browser !
  3. WATCHER DATA
    This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
    Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
    When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
  4. VERIFIER DATA
    The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell5.opb
MD5SUMfa1c29f360870381638d135cd26eadfd
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers57
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1228.67
Number of variables1244
Total number of constraints149
Number of constraints which are clauses15
Number of constraints which are cardinality constraints (but not clauses)30
Number of constraints which are nor clauses,nor cardinality constraints104
Minimum length of a constraint1
Maximum length of a constraint95

Trace number 5134

Launcher Data

LAUNCH ON wulflinc15 THE 2005-09-19 22:38:59 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=887 boxname=wulflinc15 idbench=887 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  fa1c29f360870381638d135cd26eadfd  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-bell5.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-bell5.opb
IDLAUNCH: 887
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        890472 kB
Buffers:          6180 kB
Cached:         108116 kB
SwapCached:        692 kB
Active:          52332 kB
Inactive:        64528 kB
HighTotal:      131008 kB
HighFree:        20916 kB
LowTotal:       903652 kB
LowFree:        869556 kB
SwapTotal:     2097136 kB
SwapFree:      2095912 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5728 kB
Slab:            21500 kB
Committed_AS:    64132 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 22:59:55 (client local time) WITH STATUS 10 IN 1195.29 SECONDS
stats: 887 0 1195.29 10

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 1244 variables and 114 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.291
c After prepocess the problem consists of 1125 variables and 100 constraints.
c Initial Lower Bound: 2518364979200
c Restart #1 #Var: 1125 #Dec: 3254 LB: 2518364979200 @ 0.648
c Restart #2 #Var: 1125 #Dec: 13184 LB: 2518364979200 @ 1.458
c Restart #3 #Var: 1125 #Dec: 31262 LB: 2518364979200 @ 2.698
c Restart #4 #Var: 1125 #Dec: 38910 LB: 2518364979200 @ 3.858
c Restart #5 #Var: 1125 #Dec: 47365 LB: 2518364979200 @ 4.802
c NEW SOLUTION FOUND: 630662069547076 @ 4.843 @ #Dec. 48373
c NEW SOLUTION FOUND: 597894069547076 @ 4.852 @ #Dec. 48376
c NEW SOLUTION FOUND: 565126069547076 @ 4.895 @ #Dec. 48408
c NEW SOLUTION FOUND: 532358069547076 @ 4.926 @ #Dec. 48439
c NEW SOLUTION FOUND: 515974069547076 @ 4.953 @ #Dec. 48474
c NEW SOLUTION FOUND: 499590069547076 @ 4.984 @ #Dec. 48510
c NEW SOLUTION FOUND: 483206069547076 @ 5.037 @ #Dec. 48562
c NEW SOLUTION FOUND: 466822069547076 @ 5.078 @ #Dec. 48621
c NEW SOLUTION FOUND: 450438069547076 @ 5.137 @ #Dec. 48697
c NEW SOLUTION FOUND: 434054069547076 @ 5.23 @ #Dec. 48783
c NEW SOLUTION FOUND: 417670069547076 @ 5.312 @ #Dec. 48884
c NEW SOLUTION FOUND: 401286069547076 @ 5.364 @ #Dec. 48970
c NEW SOLUTION FOUND: 393094069547076 @ 5.437 @ #Dec. 49106
c NEW SOLUTION FOUND: 384902069547076 @ 5.55 @ #Dec. 49294
c NEW SOLUTION FOUND: 376710069547076 @ 5.627 @ #Dec. 49437
c NEW SOLUTION FOUND: 368518069547076 @ 5.66 @ #Dec. 49526
c NEW SOLUTION FOUND: 360326069547076 @ 5.712 @ #Dec. 49672
c NEW SOLUTION FOUND: 352134069547076 @ 5.78 @ #Dec. 49845
c NEW SOLUTION FOUND: 343942069547076 @ 5.968 @ #Dec. 50373
c NEW SOLUTION FOUND: 343764425306180 @ 6.127 @ #Dec. 50811
c NEW SOLUTION FOUND: 339668425306180 @ 6.42 @ #Dec. 51503
c NEW SOLUTION FOUND: 335572425306180 @ 6.671 @ #Dec. 51909
c NEW SOLUTION FOUND: 331476425306180 @ 7.077 @ #Dec. 52448
c NEW SOLUTION FOUND: 327380425306180 @ 7.307 @ #Dec. 52911
c NEW SOLUTION FOUND: 323284425306180 @ 7.434 @ #Dec. 53163
c NEW SOLUTION FOUND: 319188425306180 @ 7.97 @ #Dec. 54189
c NEW SOLUTION FOUND: 315092425306180 @ 8.197 @ #Dec. 54646
c NEW SOLUTION FOUND: 310996425306180 @ 8.401 @ #Dec. 55045
c NEW SOLUTION FOUND: 306900425306180 @ 9.018 @ #Dec. 56232
c NEW SOLUTION FOUND: 302804425306180 @ 9.268 @ #Dec. 56755
c NEW SOLUTION FOUND: 302779882729540 @ 9.806 @ #Dec. 57835
c NEW SOLUTION FOUND: 298683882729540 @ 10.024 @ #Dec. 58278
c NEW SOLUTION FOUND: 298619603185732 @ 10.304 @ #Dec. 58779
c NEW SOLUTION FOUND: 294979406196804 @ 10.733 @ #Dec. 59426
c NEW SOLUTION FOUND: 292931406196804 @ 11.327 @ #Dec. 60303
c NEW SOLUTION FOUND: 290883406196804 @ 11.757 @ #Dec. 60974
c NEW SOLUTION FOUND: 288835406196804 @ 12.122 @ #Dec. 61519
c NEW SOLUTION FOUND: 286787406196804 @ 12.352 @ #Dec. 62020
c NEW SOLUTION FOUND: 284739406196804 @ 12.663 @ #Dec. 62661
c NEW SOLUTION FOUND: 282691406196804 @ 12.881 @ #Dec. 63033
c NEW SOLUTION FOUND: 280643406196804 @ 13.16 @ #Dec. 63454
c NEW SOLUTION FOUND: 278595406196804 @ 13.282 @ #Dec. 63754
c NEW SOLUTION FOUND: 276547406196804 @ 13.402 @ #Dec. 64033
c NEW SOLUTION FOUND: 274499406196804 @ 13.524 @ #Dec. 64322
c NEW SOLUTION FOUND: 272451406196804 @ 13.644 @ #Dec. 64624
c NEW SOLUTION FOUND: 270660524372036 @ 13.866 @ #Dec. 65057
c NEW SOLUTION FOUND: 270501576503364 @ 13.869 @ #Dec. 65086
c NEW SOLUTION FOUND: 270403406196804 @ 13.921 @ #Dec. 65200
c NEW SOLUTION FOUND: 268355406196804 @ 14.058 @ #Dec. 65582
c NEW SOLUTION FOUND: 265793169846340 @ 14.234 @ #Dec. 66101
c NEW SOLUTION FOUND: 265728890302532 @ 14.236 @ #Dec. 66135
c NEW SOLUTION FOUND: 265625725366340 @ 14.476 @ #Dec. 66780
c NEW SOLUTION FOUND: 265561445822532 @ 14.48 @ #Dec. 66815
c NEW SOLUTION FOUND: 264404299214916 @ 15.156 @ #Dec. 68482
c NEW SOLUTION FOUND: 264324825280580 @ 15.159 @ #Dec. 68522
c NEW SOLUTION FOUND: 264285088313412 @ 15.162 @ #Dec. 68561
c NEW SOLUTION FOUND: 264211460583492 @ 15.186 @ #Dec. 68642
c Restart #6 #Var: 1125 #Dec: 71770 LB: 2518364979200 @ 17.381
c Restart #7 #Var: 1125 #Dec: 80901 LB: 2518364979200 @ 18.945
c Restart #8 #Var: 1125 #Dec: 85563 LB: 2518364979200 @ 20.476
c Restart #9 #Var: 1125 #Dec: 98714 LB: 2518364979200 @ 22.706
c CHANGE to MIS mode... 	UB: 264211460583492	MIS: 2518367058970	LPR: -2147483648 (0)	Diff: -1172.7
c Restart #0 #Var: 1125 #Dec: 103090 LB: 2518364979200 @ 24.452
c Restart #1 #Var: 1125 #Dec: 104099 LB: 2518367058970 @ 24.646
c Restart #2 #Var: 1125 #Dec: 108372 LB: 2518367058970 @ 25.494
c Restart #3 #Var: 1125 #Dec: 114759 LB: 2518367058970 @ 26.485
c Restart #4 #Var: 1125 #Dec: 120257 LB: 2518367058970 @ 27.53
c Restart #5 #Var: 1125 #Dec: 122599 LB: 2518367058970 @ 29.278
c Restart #6 #Var: 1125 #Dec: 129247 LB: 2518367058970 @ 31.255
c Restart #7 #Var: 1125 #Dec: 151325 LB: 2518367058970 @ 35.78
c Restart #8 #Var: 1125 #Dec: 206892 LB: 2518367058970 @ 50.185
c Restart #9 #Var: 1125 #Dec: 218357 LB: 2518367058970 @ 52.434
c Restart #10 #Var: 1125 #Dec: 224657 LB: 2518367058970 @ 54.948
c Restart #11 #Var: 1125 #Dec: 231156 LB: 2518367058970 @ 57.729
c Restart #12 #Var: 1125 #Dec: 234611 LB: 2518367058970 @ 60.26
c Restart #13 #Var: 1125 #Dec: 242839 LB: 2518367058970 @ 63.68
c NEW SOLUTION FOUND: 263714356512600 @ 65.08 @ #Dec. 246630
c NEW SOLUTION FOUND: 263713982752600 @ 65.087 @ #Dec. 246660
c NEW SOLUTION FOUND: 263712487712600 @ 65.088 @ #Dec. 246668
c NEW SOLUTION FOUND: 263712113952600 @ 65.09 @ #Dec. 246677
c NEW SOLUTION FOUND: 263712079573250 @ 65.136 @ #Dec. 246996
c NEW SOLUTION FOUND: 263712020998050 @ 65.14 @ #Dec. 247051
c NEW SOLUTION FOUND: 263711259520450 @ 65.144 @ #Dec. 247113
c NEW SOLUTION FOUND: 263711142370050 @ 65.148 @ #Dec. 247168
c NEW SOLUTION FOUND: 263711083794850 @ 65.15 @ #Dec. 247234
c NEW SOLUTION FOUND: 263710849494050 @ 65.154 @ #Dec. 247297
c NEW SOLUTION FOUND: 263710842172150 @ 65.157 @ #Dec. 247361
c NEW SOLUTION FOUND: 263710838511200 @ 65.162 @ #Dec. 247426
c NEW SOLUTION FOUND: 263710823867400 @ 65.167 @ #Dec. 247505
c NEW SOLUTION FOUND: 263710794579800 @ 65.173 @ #Dec. 247601
c NEW SOLUTION FOUND: 263708178259800 @ 65.177 @ #Dec. 247691
c Restart #14 #Var: 1125 #Dec: 250836 LB: 2518367058970 @ 67.298
c Restart #15 #Var: 1125 #Dec: 258317 LB: 2518367058970 @ 71.894
c Restart #16 #Var: 1125 #Dec: 264564 LB: 2518367058970 @ 75.724
c Restart #17 #Var: 1125 #Dec: 440125 LB: 2518367058970 @ 100.86
c Restart #18 #Var: 1125 #Dec: 449153 LB: 2518367058970 @ 106.79
c Restart #19 #Var: 1125 #Dec: 462907 LB: 2518367058970 @ 113.98
c NEW SOLUTION FOUND: 263683099979819 @ 118.52 @ #Dec. 473431
c NEW SOLUTION FOUND: 263682939562173 @ 118.52 @ #Dec. 473435
c NEW SOLUTION FOUND: 263682939146219 @ 118.52 @ #Dec. 473439
c NEW SOLUTION FOUND: 263679531651051 @ 118.52 @ #Dec. 473448
c NEW SOLUTION FOUND: 263679531447089 @ 118.53 @ #Dec. 473472
c NEW SOLUTION FOUND: 263677867907905 @ 118.53 @ #Dec. 473487
c NEW SOLUTION FOUND: 263677827699505 @ 118.53 @ #Dec. 473502
c NEW SOLUTION FOUND: 263677784038497 @ 118.53 @ #Dec. 473537
c NEW SOLUTION FOUND: 263677765901793 @ 118.53 @ #Dec. 473549
c NEW SOLUTION FOUND: 263677763634705 @ 118.54 @ #Dec. 473557
c NEW SOLUTION FOUND: 263677747282705 @ 118.54 @ #Dec. 473596
c NEW SOLUTION FOUND: 263677743123165 @ 118.54 @ #Dec. 473615
c NEW SOLUTION FOUND: 263677739290665 @ 118.54 @ #Dec. 473643
c NEW SOLUTION FOUND: 263677739035165 @ 118.55 @ #Dec. 473810
c NEW SOLUTION FOUND: 263677718930965 @ 118.56 @ #Dec. 473948
c NEW SOLUTION FOUND: 263677716738775 @ 118.56 @ #Dec. 473996
c NEW SOLUTION FOUND: 263677714112892 @ 118.57 @ #Dec. 474076
c NEW SOLUTION FOUND: 263677713904915 @ 118.57 @ #Dec. 474123
c NEW SOLUTION FOUND: 263677705728915 @ 118.57 @ #Dec. 474177
c NEW SOLUTION FOUND: 263677695676815 @ 118.58 @ #Dec. 474268
c NEW SOLUTION FOUND: 263677575840015 @ 118.58 @ #Dec. 474309
c NEW SOLUTION FOUND: 263677542563695 @ 118.58 @ #Dec. 474412
c NEW SOLUTION FOUND: 263677329595247 @ 118.59 @ #Dec. 474467
c NEW SOLUTION FOUND: 263677327722797 @ 118.59 @ #Dec. 474526
c NEW SOLUTION FOUND: 263677320232997 @ 118.6 @ #Dec. 474673
c NEW SOLUTION FOUND: 263677254109597 @ 118.61 @ #Dec. 474783
c NEW SOLUTION FOUND: 263677253680357 @ 118.61 @ #Dec. 474854
c NEW SOLUTION FOUND: 263677251636357 @ 118.61 @ #Dec. 474957
c NEW SOLUTION FOUND: 263677221843597 @ 118.67 @ #Dec. 475181
c NEW SOLUTION FOUND: 263677193618877 @ 118.77 @ #Dec. 475589
c NEW SOLUTION FOUND: 263677186963613 @ 118.9 @ #Dec. 476171
c NEW SOLUTION FOUND: 263677186856303 @ 119.15 @ #Dec. 477285
c NEW SOLUTION FOUND: 263677104821823 @ 119.39 @ #Dec. 478122
c NEW SOLUTION FOUND: 263677089842223 @ 119.39 @ #Dec. 478203
c NEW SOLUTION FOUND: 263676229511235 @ 119.63 @ #Dec. 479037
c NEW SOLUTION FOUND: 263676226183603 @ 119.63 @ #Dec. 479077
c NEW SOLUTION FOUND: 263676224311153 @ 119.64 @ #Dec. 479246
c NEW SOLUTION FOUND: 263507528094751 @ 120.04 @ #Dec. 480836
c NEW SOLUTION FOUND: 263507410130401 @ 120.04 @ #Dec. 480915
c NEW SOLUTION FOUND: 263507385295801 @ 120.15 @ #Dec. 481503
c NEW SOLUTION FOUND: 263507362826401 @ 120.15 @ #Dec. 481600
c NEW SOLUTION FOUND: 263507359081501 @ 120.16 @ #Dec. 481684
c NEW SOLUTION FOUND: 263507357209051 @ 120.16 @ #Dec. 481788
c NEW SOLUTION FOUND: 263507355553411 @ 120.22 @ #Dec. 482175
c NEW SOLUTION FOUND: 263507353680961 @ 120.22 @ #Dec. 482272
c NEW SOLUTION FOUND: 263507338563391 @ 120.33 @ #Dec. 482959
c NEW SOLUTION FOUND: 263507327328691 @ 120.34 @ #Dec. 483065
c NEW SOLUTION FOUND: 263507325456241 @ 120.34 @ #Dec. 483175
c NEW SOLUTION FOUND: 263502948485887 @ 120.62 @ #Dec. 484809
c NEW SOLUTION FOUND: 263502723791887 @ 120.62 @ #Dec. 484917
c NEW SOLUTION FOUND: 263502712557187 @ 120.63 @ #Dec. 485023
c NEW SOLUTION FOUND: 263502710684737 @ 120.63 @ #Dec. 485137
c NEW SOLUTION FOUND: 263502695567167 @ 120.73 @ #Dec. 485646
c NEW SOLUTION FOUND: 263502684332467 @ 120.74 @ #Dec. 485757
c NEW SOLUTION FOUND: 263502682460017 @ 120.74 @ #Dec. 485860
c NEW SOLUTION FOUND: 263502682245397 @ 121 @ #Dec. 487225
c NEW SOLUTION FOUND: 263502673533577 @ 121.77 @ #Dec. 491384
c NEW SOLUTION FOUND: 263502671661127 @ 121.77 @ #Dec. 491511
c NEW SOLUTION FOUND: 263502490408405 @ 121.96 @ #Dec. 492758
c NEW SOLUTION FOUND: 263502487951955 @ 121.96 @ #Dec. 492758
c NEW SOLUTION FOUND: 263502484021635 @ 121.97 @ #Dec. 492765
c NEW SOLUTION FOUND: 263502481982015 @ 121.97 @ #Dec. 492779
c NEW SOLUTION FOUND: 263502481166167 @ 121.97 @ #Dec. 492792
c NEW SOLUTION FOUND: 263502479201007 @ 121.97 @ #Dec. 492795
c NEW SOLUTION FOUND: 263502478709717 @ 121.97 @ #Dec. 492799
c NEW SOLUTION FOUND: 263502474630477 @ 121.97 @ #Dec. 492833
c NEW SOLUTION FOUND: 263502460894797 @ 121.98 @ #Dec. 492957
c NEW SOLUTION FOUND: 263502449660097 @ 121.99 @ #Dec. 493192
c NEW SOLUTION FOUND: 263502447787647 @ 122 @ #Dec. 493318
c NEW SOLUTION FOUND: 263502444259557 @ 122.04 @ #Dec. 493637
c NEW SOLUTION FOUND: 263502440731467 @ 122.06 @ #Dec. 493867
c NEW SOLUTION FOUND: 263502437449022 @ 122.08 @ #Dec. 494101
c NEW SOLUTION FOUND: 263502437203377 @ 122.09 @ #Dec. 494211
c NEW SOLUTION FOUND: 263502435547737 @ 122.12 @ #Dec. 494580
c NEW SOLUTION FOUND: 263502433675287 @ 122.13 @ #Dec. 494695
c NEW SOLUTION FOUND: 263502432236457 @ 122.44 @ #Dec. 496800
c NEW SOLUTION FOUND: 263502426619107 @ 122.45 @ #Dec. 496974
c NEW SOLUTION FOUND: 263502419562927 @ 122.48 @ #Dec. 497199
c NEW SOLUTION FOUND: 263502408978657 @ 122.51 @ #Dec. 497562
c NEW SOLUTION FOUND: 263502407323017 @ 122.55 @ #Dec. 497839
c NEW SOLUTION FOUND: 263502405450567 @ 122.56 @ #Dec. 497980
c Restart #20 #Var: 1125 #Dec: 518752 LB: 2518367058970 @ 126.87
c Restart #21 #Var: 1125 #Dec: 530584 LB: 2518367058970 @ 134.7
c Restart #22 #Var: 1125 #Dec: 544898 LB: 2518367058970 @ 143.16
c Restart #23 #Var: 1125 #Dec: 553415 LB: 2518367058970 @ 150.73
c NEW SOLUTION FOUND: 263500560004786 @ 153.02 @ #Dec. 561606
c NEW SOLUTION FOUND: 263500494596786 @ 153.02 @ #Dec. 561606
c NEW SOLUTION FOUND: 263500467446626 @ 153.03 @ #Dec. 561607
c NEW SOLUTION FOUND: 263500463154226 @ 153.03 @ #Dec. 561607
c NEW SOLUTION FOUND: 263500438421826 @ 153.03 @ #Dec. 561613
c NEW SOLUTION FOUND: 263500354606146 @ 153.03 @ #Dec. 561625
c NEW SOLUTION FOUND: 263500347738306 @ 153.03 @ #Dec. 561643
c NEW SOLUTION FOUND: 263500347311621 @ 153.03 @ #Dec. 561669
c NEW SOLUTION FOUND: 263500347257966 @ 153.03 @ #Dec. 561685
c NEW SOLUTION FOUND: 263500333324164 @ 153.04 @ #Dec. 561719
c NEW SOLUTION FOUND: 263500332787614 @ 153.04 @ #Dec. 561721
c NEW SOLUTION FOUND: 263500326260830 @ 153.04 @ #Dec. 561721
c NEW SOLUTION FOUND: 263500321150830 @ 153.04 @ #Dec. 561728
c NEW SOLUTION FOUND: 263500059518830 @ 153.05 @ #Dec. 561800
c NEW SOLUTION FOUND: 263500021950110 @ 153.05 @ #Dec. 561866
c NEW SOLUTION FOUND: 263500021091630 @ 153.05 @ #Dec. 561899
c NEW SOLUTION FOUND: 263500007087310 @ 153.05 @ #Dec. 561944
c NEW SOLUTION FOUND: 263500005370350 @ 153.05 @ #Dec. 561985
c NEW SOLUTION FOUND: 263499642636270 @ 153.06 @ #Dec. 562016
c NEW SOLUTION FOUND: 263499640081270 @ 153.06 @ #Dec. 562042
c NEW SOLUTION FOUND: 263499587866998 @ 153.06 @ #Dec. 562072
c NEW SOLUTION FOUND: 263499576531558 @ 153.06 @ #Dec. 562097
c NEW SOLUTION FOUND: 263499053267558 @ 153.06 @ #Dec. 562124
c NEW SOLUTION FOUND: 263498871900518 @ 153.07 @ #Dec. 562154
c NEW SOLUTION FOUND: 263498809015398 @ 153.07 @ #Dec. 562187
c NEW SOLUTION FOUND: 263498807942298 @ 153.08 @ #Dec. 562354
c NEW SOLUTION FOUND: 263498806869198 @ 153.09 @ #Dec. 562415
c NEW SOLUTION FOUND: 263498799919598 @ 153.17 @ #Dec. 563416
c NEW SOLUTION FOUND: 263498789699598 @ 153.19 @ #Dec. 563657
c NEW SOLUTION FOUND: 263498780355598 @ 153.21 @ #Dec. 563903
c NEW SOLUTION FOUND: 263498780337348 @ 153.23 @ #Dec. 564150
c NEW SOLUTION FOUND: 263498775665348 @ 153.25 @ #Dec. 564398
c NEW SOLUTION FOUND: 263498775519348 @ 153.28 @ #Dec. 564647
c NEW SOLUTION FOUND: 263498761320848 @ 153.31 @ #Dec. 564960
c NEW SOLUTION FOUND: 263498761284348 @ 153.33 @ #Dec. 565240
c NEW SOLUTION FOUND: 263498723944848 @ 153.36 @ #Dec. 565521
c NEW SOLUTION FOUND: 263498723908348 @ 153.38 @ #Dec. 565801
c NEW SOLUTION FOUND: 263498723652848 @ 153.41 @ #Dec. 566083
c NEW SOLUTION FOUND: 263498723616348 @ 153.44 @ #Dec. 566364
c NEW SOLUTION FOUND: 263498611816848 @ 153.46 @ #Dec. 566647
c NEW SOLUTION FOUND: 263498611524848 @ 153.49 @ #Dec. 566927
c NEW SOLUTION FOUND: 263498611488348 @ 153.51 @ #Dec. 567208
c NEW SOLUTION FOUND: 263498574440848 @ 153.54 @ #Dec. 567490
c NEW SOLUTION FOUND: 263498574404348 @ 153.56 @ #Dec. 567770
c NEW SOLUTION FOUND: 263498574148848 @ 153.59 @ #Dec. 568051
c NEW SOLUTION FOUND: 263498574112348 @ 153.61 @ #Dec. 568331
c NEW SOLUTION FOUND: 263498555752848 @ 153.64 @ #Dec. 568617
c NEW SOLUTION FOUND: 263498555460848 @ 153.66 @ #Dec. 568901
c NEW SOLUTION FOUND: 263498555424348 @ 153.7 @ #Dec. 569186
c NEW SOLUTION FOUND: 263498553380348 @ 153.72 @ #Dec. 569473
c NEW SOLUTION FOUND: 263498553088348 @ 153.75 @ #Dec. 569767
c NEW SOLUTION FOUND: 263498551920348 @ 153.79 @ #Dec. 570081
c NEW SOLUTION FOUND: 263498551336348 @ 153.81 @ #Dec. 570402
c NEW SOLUTION FOUND: 263498551263348 @ 153.85 @ #Dec. 570730
c NEW SOLUTION FOUND: 263498513887348 @ 153.88 @ #Dec. 571032
c NEW SOLUTION FOUND: 263498476511348 @ 153.91 @ #Dec. 571367
c NEW SOLUTION FOUND: 263498327007348 @ 153.94 @ #Dec. 571679
c NEW SOLUTION FOUND: 263498214915848 @ 153.98 @ #Dec. 572004
c NEW SOLUTION FOUND: 263498214879348 @ 154.01 @ #Dec. 572339
c NEW SOLUTION FOUND: 263498214751598 @ 155.68 @ #Dec. 577371
c NEW SOLUTION FOUND: 263498214459598 @ 155.72 @ #Dec. 577721
c NEW SOLUTION FOUND: 263498214441348 @ 155.78 @ #Dec. 578400
c NEW SOLUTION FOUND: 263498214295348 @ 155.85 @ #Dec. 579066
c NEW SOLUTION FOUND: 263498214258848 @ 155.88 @ #Dec. 579398
c NEW SOLUTION FOUND: 263498214222348 @ 155.93 @ #Dec. 580030
c NEW SOLUTION FOUND: 263498214076348 @ 158.89 @ #Dec. 585413
c NEW SOLUTION FOUND: 263498213966848 @ 158.99 @ #Dec. 586383
c NEW SOLUTION FOUND: 263498213930348 @ 159.04 @ #Dec. 587022
c NEW SOLUTION FOUND: 263498213893848 @ 159.07 @ #Dec. 587348
c NEW SOLUTION FOUND: 263498211166568 @ 162.1 @ #Dec. 594258
c NEW SOLUTION FOUND: 263498207323848 @ 162.17 @ #Dec. 595195
c NEW SOLUTION FOUND: 263498207287348 @ 162.2 @ #Dec. 595516
c NEW SOLUTION FOUND: 263498206703348 @ 162.23 @ #Dec. 595870
c NEW SOLUTION FOUND: 263498205535348 @ 162.26 @ #Dec. 596189
c NEW SOLUTION FOUND: 263498196191348 @ 162.29 @ #Dec. 596537
c NEW SOLUTION FOUND: 263498140127348 @ 162.32 @ #Dec. 596896
c NEW SOLUTION FOUND: 263498133411348 @ 162.38 @ #Dec. 597544
c NEW SOLUTION FOUND: 263498133119348 @ 162.44 @ #Dec. 598196
c NEW SOLUTION FOUND: 263498130783348 @ 162.47 @ #Dec. 598522
c NEW SOLUTION FOUND: 263498130564348 @ 165.23 @ #Dec. 617641
c NEW SOLUTION FOUND: 263498130272348 @ 165.33 @ #Dec. 618926
c NEW SOLUTION FOUND: 263498130016848 @ 165.37 @ #Dec. 619299
c NEW SOLUTION FOUND: 263498129980348 @ 165.4 @ #Dec. 619639
c NEW SOLUTION FOUND: 263498129834348 @ 165.44 @ #Dec. 620003
c NEW SOLUTION FOUND: 263498129816098 @ 165.51 @ #Dec. 620686
c NEW SOLUTION FOUND: 263498129797848 @ 165.54 @ #Dec. 621031
c Restart #24 #Var: 1125 #Dec: 627023 LB: 2518367058970 @ 169.22
c Restart #25 #Var: 1125 #Dec: 634096 LB: 2518367058970 @ 178.86
c Restart #26 #Var: 1125 #Dec: 654243 LB: 2518367058970 @ 187.91
c Restart #27 #Var: 1125 #Dec: 661420 LB: 2518367058970 @ 200.23
c Restart #28 #Var: 1125 #Dec: 676658 LB: 2518367058970 @ 212.87
c Restart #29 #Var: 1125 #Dec: 689602 LB: 2518367058970 @ 223.96
c Restart #30 #Var: 1125 #Dec: 709069 LB: 2518367058970 @ 232.29
c Restart #31 #Var: 1125 #Dec: 717535 LB: 2518367058970 @ 240.78
c Restart #32 #Var: 1125 #Dec: 726102 LB: 2518367058970 @ 252.28
c Restart #33 #Var: 1125 #Dec: 740527 LB: 2518367058970 @ 260.71
c Restart #34 #Var: 1125 #Dec: 765200 LB: 2518367058970 @ 273.75
c Restart #35 #Var: 1125 #Dec: 782233 LB: 2518367058970 @ 288.25
c Restart #36 #Var: 1125 #Dec: 798838 LB: 2518367058970 @ 297.58
c Restart #37 #Var: 1125 #Dec: 807513 LB: 2518367058970 @ 307.88
c Restart #38 #Var: 1125 #Dec: 829458 LB: 2518367058970 @ 320.39
c Restart #39 #Var: 1125 #Dec: 850464 LB: 2518367058970 @ 336.04
c Restart #40 #Var: 1125 #Dec: 869679 LB: 2518367058970 @ 397.26
c Restart #41 #Var: 1125 #Dec: 890256 LB: 2518367058970 @ 408.46
c NEW SOLUTION FOUND: 263498117417842 @ 419.53 @ #Dec. 919499
c NEW SOLUTION FOUND: 263498116816760 @ 419.53 @ #Dec. 919536
c NEW SOLUTION FOUND: 263498116000912 @ 419.53 @ #Dec. 919554
c NEW SOLUTION FOUND: 263498115295002 @ 419.54 @ #Dec. 919635
c NEW SOLUTION FOUND: 263498115039502 @ 419.54 @ #Dec. 919647
c NEW SOLUTION FOUND: 263498112959732 @ 419.54 @ #Dec. 919662
c NEW SOLUTION FOUND: 263498111977152 @ 419.54 @ #Dec. 919686
c NEW SOLUTION FOUND: 263498110260192 @ 419.54 @ #Dec. 919705
c NEW SOLUTION FOUND: 263498106932560 @ 419.55 @ #Dec. 919785
c NEW SOLUTION FOUND: 263498090580560 @ 419.55 @ #Dec. 919849
c NEW SOLUTION FOUND: 263498089625720 @ 419.56 @ #Dec. 919928
c NEW SOLUTION FOUND: 263498085466180 @ 419.56 @ #Dec. 919950
c NEW SOLUTION FOUND: 263498085101180 @ 419.56 @ #Dec. 919983
c NEW SOLUTION FOUND: 263498083090760 @ 419.57 @ #Dec. 920100
c NEW SOLUTION FOUND: 263498082983450 @ 419.57 @ #Dec. 920169
c NEW SOLUTION FOUND: 263498075122810 @ 419.58 @ #Dec. 920314
c NEW SOLUTION FOUND: 263498073250360 @ 419.58 @ #Dec. 920390
c NEW SOLUTION FOUND: 263498071790360 @ 419.59 @ #Dec. 920502
c NEW SOLUTION FOUND: 263498071350462 @ 419.59 @ #Dec. 920598
c NEW SOLUTION FOUND: 263498070958452 @ 419.6 @ #Dec. 920826
c NEW SOLUTION FOUND: 263498038254452 @ 419.61 @ #Dec. 920906
c NEW SOLUTION FOUND: 263498034509552 @ 419.61 @ #Dec. 921004
c NEW SOLUTION FOUND: 263498031804172 @ 419.62 @ #Dec. 921098
c NEW SOLUTION FOUND: 263498031589552 @ 419.62 @ #Dec. 921185
c NEW SOLUTION FOUND: 263498030567552 @ 419.62 @ #Dec. 921279
c NEW SOLUTION FOUND: 263498021223552 @ 419.63 @ #Dec. 921436
c NEW SOLUTION FOUND: 263498018767102 @ 419.66 @ #Dec. 922020
c NEW SOLUTION FOUND: 263498017983082 @ 419.66 @ #Dec. 922141
c NEW SOLUTION FOUND: 263497979373674 @ 419.74 @ #Dec. 922604
c NEW SOLUTION FOUND: 263497872889450 @ 419.77 @ #Dec. 922813
c NEW SOLUTION FOUND: 263496949264250 @ 419.81 @ #Dec. 923058
c NEW SOLUTION FOUND: 263496947748770 @ 419.98 @ #Dec. 924135
c NEW SOLUTION FOUND: 263496945193770 @ 420.02 @ #Dec. 924359
c NEW SOLUTION FOUND: 263496941105770 @ 420.06 @ #Dec. 924565
c NEW SOLUTION FOUND: 263496923910620 @ 420.09 @ #Dec. 924776
c NEW SOLUTION FOUND: 263496594630250 @ 420.15 @ #Dec. 925193
c NEW SOLUTION FOUND: 263496588962530 @ 420.19 @ #Dec. 925402
c NEW SOLUTION FOUND: 263495059475290 @ 420.23 @ #Dec. 925661
c NEW SOLUTION FOUND: 263494742082970 @ 420.27 @ #Dec. 925886
c NEW SOLUTION FOUND: 263494708076650 @ 420.3 @ #Dec. 926090
c NEW SOLUTION FOUND: 263494702408930 @ 420.34 @ #Dec. 926330
c NEW SOLUTION FOUND: 263494584870170 @ 420.38 @ #Dec. 926591
c NEW SOLUTION FOUND: 263494550863850 @ 420.41 @ #Dec. 926785
c NEW SOLUTION FOUND: 263494545196130 @ 420.45 @ #Dec. 926996
c NEW SOLUTION FOUND: 263494506263770 @ 420.49 @ #Dec. 927239
c NEW SOLUTION FOUND: 263494466589730 @ 420.52 @ #Dec. 927439
c NEW SOLUTION FOUND: 263494447308970 @ 420.56 @ #Dec. 927725
c NEW SOLUTION FOUND: 263494407634930 @ 420.6 @ #Dec. 927930
c NEW SOLUTION FOUND: 263494390439780 @ 420.67 @ #Dec. 928375
c NEW SOLUTION FOUND: 263474967037050 @ 421.23 @ #Dec. 930759
c NEW SOLUTION FOUND: 263473080483450 @ 421.29 @ #Dec. 931049
c NEW SOLUTION FOUND: 263472923270650 @ 421.33 @ #Dec. 931321
c NEW SOLUTION FOUND: 263472883091450 @ 421.38 @ #Dec. 931578
c NEW SOLUTION FOUND: 263472844664250 @ 421.42 @ #Dec. 931806
c NEW SOLUTION FOUND: 263472785709450 @ 421.47 @ #Dec. 932044
c NEW SOLUTION FOUND: 263472768514300 @ 421.51 @ #Dec. 932280
c NEW SOLUTION FOUND: 263466986887290 @ 421.64 @ #Dec. 932880
c NEW SOLUTION FOUND: 263466635488650 @ 421.68 @ #Dec. 933118
c NEW SOLUTION FOUND: 263466629820930 @ 421.73 @ #Dec. 933394
c NEW SOLUTION FOUND: 263465825801850 @ 421.78 @ #Dec. 933655
c NEW SOLUTION FOUND: 263465100333690 @ 421.82 @ #Dec. 933901
c NEW SOLUTION FOUND: 263464760270490 @ 421.87 @ #Dec. 934134
c NEW SOLUTION FOUND: 263464748935050 @ 421.91 @ #Dec. 934374
c NEW SOLUTION FOUND: 263464743267330 @ 421.96 @ #Dec. 934685
c NEW SOLUTION FOUND: 263464603057690 @ 422.02 @ #Dec. 934978
c NEW SOLUTION FOUND: 263464586054530 @ 422.06 @ #Dec. 935206
c NEW SOLUTION FOUND: 263464547122170 @ 422.11 @ #Dec. 935480
c NEW SOLUTION FOUND: 263464524451290 @ 422.15 @ #Dec. 935700
c NEW SOLUTION FOUND: 263464507448130 @ 422.19 @ #Dec. 935914
c NEW SOLUTION FOUND: 263464488167370 @ 422.25 @ #Dec. 936182
c NEW SOLUTION FOUND: 263464465496490 @ 422.29 @ #Dec. 936408
c NEW SOLUTION FOUND: 263464448493330 @ 422.33 @ #Dec. 936639
c NEW SOLUTION FOUND: 263464436965900 @ 422.38 @ #Dec. 936890
c NEW SOLUTION FOUND: 263464431298180 @ 422.44 @ #Dec. 937212
c NEW SOLUTION FOUND: 263464417132530 @ 422.67 @ #Dec. 938192
c NEW SOLUTION FOUND: 263464399937380 @ 422.73 @ #Dec. 938489
c NEW SOLUTION FOUND: 263422532246650 @ 423.91 @ #Dec. 943267
c NEW SOLUTION FOUND: 263413099478650 @ 423.95 @ #Dec. 943556
c NEW SOLUTION FOUND: 263412942265850 @ 424 @ #Dec. 943827
c NEW SOLUTION FOUND: 263412863659450 @ 424.04 @ #Dec. 944085
c NEW SOLUTION FOUND: 263412804704650 @ 424.08 @ #Dec. 944336
c NEW SOLUTION FOUND: 263412787509500 @ 424.13 @ #Dec. 944577
c NEW SOLUTION FOUND: 263392541744250 @ 424.82 @ #Dec. 947152
c NEW SOLUTION FOUND: 263384995529850 @ 424.87 @ #Dec. 947419
c NEW SOLUTION FOUND: 263383737827450 @ 424.92 @ #Dec. 947686
c NEW SOLUTION FOUND: 263383108976250 @ 424.96 @ #Dec. 947949
c NEW SOLUTION FOUND: 263382951763450 @ 425.01 @ #Dec. 948189
c NEW SOLUTION FOUND: 263382873157050 @ 425.05 @ #Dec. 948450
c NEW SOLUTION FOUND: 263382814202250 @ 425.09 @ #Dec. 948705
c NEW SOLUTION FOUND: 263382797007100 @ 425.14 @ #Dec. 948942
c NEW SOLUTION FOUND: 263382765646300 @ 425.72 @ #Dec. 950764
c NEW SOLUTION FOUND: 263379160423770 @ 426.84 @ #Dec. 952384
c NEW SOLUTION FOUND: 263377709487450 @ 426.88 @ #Dec. 952627
c NEW SOLUTION FOUND: 263376984019290 @ 426.93 @ #Dec. 952884
c NEW SOLUTION FOUND: 263376666626970 @ 426.97 @ #Dec. 953131
c NEW SOLUTION FOUND: 263376643956090 @ 427.01 @ #Dec. 953382
c NEW SOLUTION FOUND: 263376626952930 @ 427.05 @ #Dec. 953623
c NEW SOLUTION FOUND: 263376451785050 @ 427.11 @ #Dec. 953931
c NEW SOLUTION FOUND: 263375726316890 @ 427.15 @ #Dec. 954161
c NEW SOLUTION FOUND: 263375544949850 @ 427.19 @ #Dec. 954421
c NEW SOLUTION FOUND: 263375408924570 @ 427.23 @ #Dec. 954661
c NEW SOLUTION FOUND: 263375369250530 @ 427.27 @ #Dec. 954903
c NEW SOLUTION FOUND: 263375097465690 @ 427.33 @ #Dec. 955185
c NEW SOLUTION FOUND: 263374746067050 @ 427.37 @ #Dec. 955430
c NEW SOLUTION FOUND: 263374740399330 @ 427.41 @ #Dec. 955711
c NEW SOLUTION FOUND: 263374445625330 @ 427.47 @ #Dec. 955980
c NEW SOLUTION FOUND: 263374428430180 @ 427.5 @ #Dec. 956182
c NEW SOLUTION FOUND: 263374412710360 @ 429.71 @ #Dec. 960772
c NEW SOLUTION FOUND: 263370134532950 @ 431.94 @ #Dec. 965516
c NEW SOLUTION FOUND: 263362588318550 @ 431.99 @ #Dec. 965783
c NEW SOLUTION FOUND: 263361330616150 @ 432.04 @ #Dec. 966047
c NEW SOLUTION FOUND: 263360544552150 @ 432.09 @ #Dec. 966313
c NEW SOLUTION FOUND: 263360465945750 @ 432.13 @ #Dec. 966548
c NEW SOLUTION FOUND: 263360406990950 @ 432.16 @ #Dec. 966781
c NEW SOLUTION FOUND: 263360389795800 @ 432.2 @ #Dec. 967006
c NEW SOLUTION FOUND: 263330711262550 @ 432.39 @ #Dec. 967599
c NEW SOLUTION FOUND: 263330399293400 @ 432.46 @ #Dec. 967921
c NEW SOLUTION FOUND: 263300720760150 @ 432.74 @ #Dec. 968763
c NEW SOLUTION FOUND: 263300425986150 @ 432.81 @ #Dec. 969079
c NEW SOLUTION FOUND: 263300408791000 @ 432.85 @ #Dec. 969320
c NEW SOLUTION FOUND: 263300144982870 @ 433.08 @ #Dec. 969913
c NEW SOLUTION FOUND: 263299782248790 @ 433.12 @ #Dec. 970137
c NEW SOLUTION FOUND: 263299516131670 @ 433.17 @ #Dec. 970368
c NEW SOLUTION FOUND: 263299153397590 @ 433.21 @ #Dec. 970591
c NEW SOLUTION FOUND: 263298917578390 @ 433.25 @ #Dec. 970851
c NEW SOLUTION FOUND: 263298858623590 @ 433.29 @ #Dec. 971094
c NEW SOLUTION FOUND: 263298841428440 @ 433.32 @ #Dec. 971320
c NEW SOLUTION FOUND: 263281134801750 @ 433.44 @ #Dec. 971819
c NEW SOLUTION FOUND: 263273588587350 @ 433.49 @ #Dec. 972091
c NEW SOLUTION FOUND: 263272330884950 @ 433.53 @ #Dec. 972354
c NEW SOLUTION FOUND: 263271702033750 @ 433.57 @ #Dec. 972599
c NEW SOLUTION FOUND: 263271544820950 @ 433.61 @ #Dec. 972857
c NEW SOLUTION FOUND: 263271466214550 @ 433.66 @ #Dec. 973112
c NEW SOLUTION FOUND: 263271407259750 @ 433.7 @ #Dec. 973355
c NEW SOLUTION FOUND: 263271390064600 @ 433.74 @ #Dec. 973599
c NEW SOLUTION FOUND: 263271049448790 @ 433.8 @ #Dec. 973945
c NEW SOLUTION FOUND: 263270154480470 @ 433.85 @ #Dec. 974212
c NEW SOLUTION FOUND: 263269791746390 @ 433.88 @ #Dec. 974470
c NEW SOLUTION FOUND: 263269525629270 @ 433.93 @ #Dec. 974728
c NEW SOLUTION FOUND: 263269162895190 @ 433.96 @ #Dec. 974984
c NEW SOLUTION FOUND: 263268850926040 @ 434 @ #Dec. 975239
c NEW SOLUTION FOUND: 263252205217110 @ 436.91 @ #Dec. 980819
c NEW SOLUTION FOUND: 263242772449110 @ 436.94 @ #Dec. 981061
c NEW SOLUTION FOUND: 263242477675110 @ 436.98 @ #Dec. 981286
c NEW SOLUTION FOUND: 263242460479960 @ 437.02 @ #Dec. 981506
c NEW SOLUTION FOUND: 263236323372150 @ 438.67 @ #Dec. 984586
c NEW SOLUTION FOUND: 263236087552950 @ 438.72 @ #Dec. 984839
c NEW SOLUTION FOUND: 263236028598150 @ 438.77 @ #Dec. 985083
c NEW SOLUTION FOUND: 263236011403000 @ 438.81 @ #Dec. 985315
c NEW SOLUTION FOUND: 263178858332790 @ 439.02 @ #Dec. 985922
c NEW SOLUTION FOUND: 263177600630390 @ 439.07 @ #Dec. 986190
c NEW SOLUTION FOUND: 263176971779190 @ 439.11 @ #Dec. 986459
c NEW SOLUTION FOUND: 263176814566390 @ 439.16 @ #Dec. 986706
c NEW SOLUTION FOUND: 263176735959990 @ 439.2 @ #Dec. 986963
c NEW SOLUTION FOUND: 263176677005190 @ 439.25 @ #Dec. 987219
c NEW SOLUTION FOUND: 263176659810040 @ 439.29 @ #Dec. 987460
c NEW SOLUTION FOUND: 263168564982390 @ 439.33 @ #Dec. 987716
c NEW SOLUTION FOUND: 263167307279990 @ 439.38 @ #Dec. 987986
c NEW SOLUTION FOUND: 263166678428790 @ 439.42 @ #Dec. 988248
c NEW SOLUTION FOUND: 263166366459640 @ 439.47 @ #Dec. 988486
c NEW SOLUTION FOUND: 263157664581510 @ 441.04 @ #Dec. 991625
c NEW SOLUTION FOUND: 263157647386360 @ 441.08 @ #Dec. 991862
c NEW SOLUTION FOUND: 263148238418550 @ 442.3 @ #Dec. 994389
c NEW SOLUTION FOUND: 263146980716150 @ 442.42 @ #Dec. 994959
c NEW SOLUTION FOUND: 263146351864950 @ 442.52 @ #Dec. 995388
c NEW SOLUTION FOUND: 263146116045750 @ 442.57 @ #Dec. 995647
c NEW SOLUTION FOUND: 263146057090950 @ 442.61 @ #Dec. 995887
c NEW SOLUTION FOUND: 263146039895800 @ 442.65 @ #Dec. 996122
c NEW SOLUTION FOUND: 263140216781430 @ 443.13 @ #Dec. 997581
c NEW SOLUTION FOUND: 263139491313270 @ 443.17 @ #Dec. 997845
c NEW SOLUTION FOUND: 263139128579190 @ 443.21 @ #Dec. 998077
c NEW SOLUTION FOUND: 263137870876790 @ 443.84 @ #Dec. 999630
c NEW SOLUTION FOUND: 263125960266870 @ 444.01 @ #Dec. 1000096
c NEW SOLUTION FOUND: 263125803054070 @ 444.07 @ #Dec. 1000347
c NEW SOLUTION FOUND: 263125724447670 @ 444.11 @ #Dec. 1000594
c NEW SOLUTION FOUND: 263125665492870 @ 444.15 @ #Dec. 1000838
c NEW SOLUTION FOUND: 263125648297720 @ 444.2 @ #Dec. 1001073
c NEW SOLUTION FOUND: 263113652096760 @ 444.45 @ #Dec. 1001736
c NEW SOLUTION FOUND: 263110215253110 @ 444.56 @ #Dec. 1002170
c NEW SOLUTION FOUND: 263109920479110 @ 444.7 @ #Dec. 1002670
c NEW SOLUTION FOUND: 263109903283960 @ 444.75 @ #Dec. 1002910
c NEW SOLUTION FOUND: 263092568198070 @ 445.26 @ #Dec. 1004464
c NEW SOLUTION FOUND: 263092509243270 @ 445.3 @ #Dec. 1004688
c NEW SOLUTION FOUND: 263092492048120 @ 445.34 @ #Dec. 1004915
c NEW SOLUTION FOUND: 263086843059190 @ 445.38 @ #Dec. 1005163
c NEW SOLUTION FOUND: 263086764452790 @ 445.42 @ #Dec. 1005404
c NEW SOLUTION FOUND: 263086705497990 @ 445.45 @ #Dec. 1005642
c NEW SOLUTION FOUND: 263086688302840 @ 445.49 @ #Dec. 1005867
c NEW SOLUTION FOUND: 263084511898360 @ 445.53 @ #Dec. 1006151
c NEW SOLUTION FOUND: 263084149164280 @ 445.57 @ #Dec. 1006360
c NEW SOLUTION FOUND: 263082342287990 @ 449.03 @ #Dec. 1010507
c NEW SOLUTION FOUND: 263076901276790 @ 449.09 @ #Dec. 1010790
c NEW SOLUTION FOUND: 263073152463990 @ 449.16 @ #Dec. 1011110
c NEW SOLUTION FOUND: 263071894761590 @ 449.27 @ #Dec. 1011454
c NEW SOLUTION FOUND: 263071265910390 @ 449.37 @ #Dec. 1011787
c NEW SOLUTION FOUND: 263071108697590 @ 449.59 @ #Dec. 1012168
c NEW SOLUTION FOUND: 263071030091190 @ 449.63 @ #Dec. 1012397
c NEW SOLUTION FOUND: 263070953941240 @ 449.67 @ #Dec. 1012617
c NEW SOLUTION FOUND: 263070952651330 @ 460.54 @ #Dec. 1028459
c NEW SOLUTION FOUND: 263070951902350 @ 460.55 @ #Dec. 1028511
c NEW SOLUTION FOUND: 263070939775590 @ 460.59 @ #Dec. 1028912
c NEW SOLUTION FOUND: 263070923793116 @ 460.64 @ #Dec. 1029325
c NEW SOLUTION FOUND: 263070922580440 @ 460.67 @ #Dec. 1029541
c NEW SOLUTION FOUND: 263070918883720 @ 468.29 @ #Dec. 1035037
c NEW SOLUTION FOUND: 263070906900040 @ 468.31 @ #Dec. 1035243
c NEW SOLUTION FOUND: 263070904856040 @ 482.23 @ #Dec. 1060666
c Restart #42 #Var: 1125 #Dec: 1077407 LB: 2518367058970 @ 499.41
c Restart #43 #Var: 1125 #Dec: 1102582 LB: 2518367058970 @ 530.5
c Restart #44 #Var: 1125 #Dec: 1118332 LB: 2518367058970 @ 549.55
c Restart #45 #Var: 1125 #Dec: 1178060 LB: 2518367058970 @ 582.47
c Restart #46 #Var: 1125 #Dec: 1198089 LB: 2518367058970 @ 619.74
c Restart #47 #Var: 1125 #Dec: 1215026 LB: 2518367058970 @ 633.97
c Restart #48 #Var: 1125 #Dec: 1238838 LB: 2518367058970 @ 650.78
c Restart #49 #Var: 1125 #Dec: 1259535 LB: 2518367058970 @ 749.07
c Restart #50 #Var: 1125 #Dec: 1281323 LB: 2518367058970 @ 770.86
c Restart #51 #Var: 1125 #Dec: 1302687 LB: 2518367058970 @ 785.63
c Restart #52 #Var: 1125 #Dec: 1331563 LB: 2518367058970 @ 811.08
c Restart #53 #Var: 1125 #Dec: 1352797 LB: 2518367058970 @ 828.52
c Restart #54 #Var: 1125 #Dec: 1366403 LB: 2518367058970 @ 843.63
c Restart #55 #Var: 1125 #Dec: 1384278 LB: 2518367058970 @ 868.52
s SATISFIABLE
v -d1_bit0 -d2_bit0 -d3_bit0 -d4_bit0 d5_bit0 -d6_bit0 d7_bit0 d9_bit0 -d10_bit0 -d11_bit0 -d12_bit0 d13_bit0 d14_bit0 -d16_bit0 -h1_bit0 -h1_bit1 -h1_bit2 h1_bit3 -h1_bit4 -h1_bit5 -h1_bit6 -h1_bit7 -h1_bit8 -h1_bit9 -h1_bit10 -h1_bit11 -h1_bit12 -h1_bit13 -h2_bit0 -h2_bit1 -h2_bit2 -h2_bit3 h2_bit4 -h2_bit5 -h2_bit6 -h2_bit7 -h2_bit8 -h2_bit9 -h2_bit10 -h2_bit11 -h2_bit12 -h2_bit13 -h3_bit0 -h3_bit1 -h3_bit2 -h3_bit3 -h3_bit4 -h3_bit5 -h3_bit6 -h3_bit7 -h3_bit8 -h3_bit9 -h3_bit10 -h3_bit11 -h3_bit12 -h3_bit13 -h4_bit0 -h4_bit1 -h4_bit2 -h4_bit3 -h4_bit4 -h4_bit5 -h4_bit6 -h4_bit7 -h4_bit8 -h4_bit9 -h4_bit10 -h4_bit11 -h4_bit12 -h4_bit13 -h5_bit0 h5_bit1 h5_bit2 -h5_bit3 -h5_bit4 -h5_bit5 -h5_bit6 -h5_bit7 -h5_bit8 -h5_bit9 -h5_bit10 -h5_bit11 -h5_bit12 -h5_bit13 -h6_bit0 -h6_bit1 -h6_bit2 -h6_bit3 -h6_bit4 -h6_bit5 -h6_bit6 -h6_bit7 -h6_bit8 -h6_bit9 -h6_bit10 -h6_bit11 -h6_bit12 -h6_bit13 h7_bit0 h7_bit1 -h7_bit2 -h7_bit3 -h7_bit4 -h7_bit5 -h7_bit6 -h7_bit7 -h7_bit8 -h7_bit9 -h7_bit10 -h7_bit11 -h7_bit12 -h7_bit13 h9_bit0 h9_bit1 -h9_bit2 h9_bit3 -h9_bit4 -h9_bit5 -h9_bit6 -h9_bit7 -h9_bit8 -h9_bit9 -h9_bit10 -h9_bit11 -h9_bit12 -h9_bit13 -h10_bit0 -h10_bit1 h10_bit2 -h10_bit3 -h10_bit4 -h10_bit5 -h10_bit6 -h10_bit7 -h10_bit8 -h10_bit9 -h11_bit0 -h11_bit1 -h11_bit2 -h11_bit3 -h11_bit4 -h11_bit5 -h11_bit6 -h11_bit7 -h11_bit8 -h11_bit9 -h12_bit0 -h12_bit1 -h12_bit2 -h12_bit3 -h12_bit4 -h12_bit5 -h12_bit6 -h12_bit7 -h12_bit8 -h12_bit9 h13_bit0 -h13_bit1 -h13_bit2 -h13_bit3 -h13_bit4 -h13_bit5 -h13_bit6 -h13_bit7 -h13_bit8 -h13_bit9 -h14_bit0 -h14_bit1 -h14_bit2 -h14_bit3 -h14_bit4 -h14_bit5 -h14_bit6 -h14_bit7 -h14_bit8 -h14_bit9 -h16_bit0 -h16_bit1 -h16_bit2 -h16_bit3 -h16_bit4 -h16_bit5 -h16_bit6 -h16_bit7 -h16_bit8 -h16_bit9 -g1_bit0 -g1_bit1 g1_bit2 g1_bit3 -g1_bit4 g1_bit5 -g1_bit6 -g1_bit7 -g1_bit8 -g1_bit9 -g2_bit0 -g2_bit1 g2_bit2 g2_bit3 -g2_bit4 -g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 g2_bit9 -g3_bit0 -g3_bit1 -g3_bit2 -g3_bit3 -g3_bit4 -g3_bit5 -g3_bit6 -g3_bit7 -g3_bit8 -g3_bit9 -g4_bit0 -g4_bit1 -g4_bit2 -g4_bit3 -g4_bit4 -g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 -g5_bit0 -g5_bit1 -g5_bit2 -g5_bit3 -g5_bit4 -g5_bit5 -g5_bit6 -g5_bit7 g5_bit8 -g5_bit9 -g6_bit0 -g6_bit1 -g6_bit2 -g6_bit3 -g6_bit4 -g6_bit5 -g6_bit6 -g6_bit7 -g6_bit8 -g6_bit9 -g7_bit0 -g7_bit1 -g7_bit2 -g7_bit3 -g7_bit4 -g7_bit5 -g7_bit6 g7_bit7 g7_bit8 -g7_bit9 -g9_bit0 -g9_bit1 -g9_bit2 -g9_bit3 -g9_bit4 -g9_bit5 -g9_bit6 -g9_bit7 g9_bit8 -g9_bit9 -g10_bit0 -g10_bit1 -g10_bit2 -g10_bit3 -g10_bit4 -g10_bit5 g10_bit6 -g11_bit0 -g11_bit1 -g11_bit2 -g11_bit3 -g11_bit4 g11_bit5 -g11_bit6 -g12_bit0 -g12_bit1 -g12_bit2 -g12_bit3 -g12_bit4 -g12_bit5 -g12_bit6 -g13_bit0 -g13_bit1 g13_bit2 -g13_bit3 -g13_bit4 g13_bit5 g13_bit6 g14_bit0 -g14_bit1 g14_bit2 -g14_bit3 -g14_bit4 g14_bit5 -g14_bit6 -g16_bit0 -g16_bit1 -g16_bit2 -g16_bit3 -g16_bit4 -g16_bit5 -g16_bit6 a1_bit_7 -a1_bit_6 -a1_bit_5 -a1_bit_4 -a1_bit_3 -a1_bit_2 -a1_bit_1 a1_bit0 -a1_bit1 -a1_bit2 -a1_bit3 -a1_bit4 -a1_bit5 -a1_bit6 -a1_bit7 -a1_bit8 -a1_bit9 -a1_bit10 -a1_bit11 -a1_bit12 -a2_bit_7 -a2_bit_6 -a2_bit_5 -a2_bit_4 -a2_bit_3 -a2_bit_2 -a2_bit_1 -a2_bit0 -a2_bit1 -a2_bit2 -a2_bit3 -a2_bit4 -a2_bit5 -a2_bit6 -a2_bit7 -a2_bit8 -a2_bit9 -a2_bit10 -a2_bit11 -a2_bit12 -a3_bit_7 -a3_bit_6 -a3_bit_5 -a3_bit_4 -a3_bit_3 -a3_bit_2 -a3_bit_1 -a3_bit0 a3_bit1 -a3_bit2 -a3_bit3 -a3_bit4 a3_bit5 a3_bit6 -a3_bit7 -a3_bit8 -a3_bit9 -a3_bit10 -a3_bit11 -a3_bit12 -a4_bit_7 -a4_bit_6 -a4_bit_5 -a4_bit_4 -a4_bit_3 -a4_bit_2 -a4_bit_1 -a4_bit0 -a4_bit1 -a4_bit2 -a4_bit3 a4_bit4 a4_bit5 -a4_bit6 -a4_bit7 -a4_bit8 -a4_bit9 -a4_bit10 -a4_bit11 -a4_bit12 -a5_bit_7 -a5_bit_6 -a5_bit_5 -a5_bit_4 -a5_bit_3 -a5_bit_2 -a5_bit_1 -a5_bit0 -a5_bit1 -a5_bit2 -a5_bit3 -a5_bit4 -a5_bit5 -a5_bit6 -a5_bit7 -a5_bit8 -a5_bit9 -a5_bit10 -a5_bit11 -a5_bit12 -a6_bit_7 -a6_bit_6 -a6_bit_5 -a6_bit_4 -a6_bit_3 -a6_bit_2 -a6_bit_1 -a6_bit0 -a6_bit1 -a6_bit2 -a6_bit3 -a6_bit4 -a6_bit5 a6_bit6 -a6_bit7 -a6_bit8 -a6_bit9 -a6_bit10 -a6_bit11 -a6_bit12 -a7_bit_7 -a7_bit_6 a7_bit_5 -a7_bit_4 -a7_bit_3 -a7_bit_2 a7_bit_1 -a7_bit0 a7_bit1 a7_bit2 a7_bit3 -a7_bit4 -a7_bit5 -a7_bit6 -a7_bit7 -a7_bit8 -a7_bit9 -a7_bit10 -a7_bit11 a7_bit12 -a8_bit_7 -a8_bit_6 -a8_bit_5 -a8_bit_4 -a8_bit_3 -a8_bit_2 -a8_bit_1 -a8_bit0 -a8_bit1 a8_bit2 -a8_bit3 -a8_bit4 -a8_bit5 a8_bit6 a8_bit7 -a8_bit8 a8_bit9 -a8_bit10 -a8_bit11 a8_bit12 -a9_bit_7 -a9_bit_6 -a9_bit_5 -a9_bit_4 -a9_bit_3 -a9_bit_2 -a9_bit_1 -a9_bit0 -a9_bit1 -a9_bit2 -a9_bit3 -a9_bit4 -a9_bit5 -a9_bit6 -a9_bit7 -a9_bit8 -a9_bit9 -a9_bit10 -a9_bit11 -a9_bit12 -a10_bit_7 -a10_bit_6 -a10_bit_5 -a10_bit_4 -a10_bit_3 -a10_bit_2 -a10_bit_1 -a10_bit0 -a10_bit1 -a10_bit2 -a10_bit3 -a10_bit4 -a10_bit5 -a10_bit6 -a10_bit7 -a10_bit8 -a10_bit9 -a10_bit10 -a10_bit11 -a10_bit12 -a11_bit_7 -a11_bit_6 -a11_bit_5 -a11_bit_4 -a11_bit_3 -a11_bit_2 -a11_bit_1 -a11_bit0 -a11_bit1 -a11_bit2 -a11_bit3 -a11_bit4 -a11_bit5 -a11_bit6 -a11_bit7 -a11_bit8 -a11_bit9 a11_bit10 -a11_bit11 -a11_bit12 -a12_bit_7 -a12_bit_6 -a12_bit_5 -a12_bit_4 -a12_bit_3 -a12_bit_2 -a12_bit_1 -a12_bit0 -a12_bit1 -a12_bit2 -a12_bit3 -a12_bit4 -a12_bit5 -a12_bit6 -a12_bit7 -a12_bit8 -a12_bit9 a12_bit10 -a12_bit11 -a12_bit12 -a13_bit_7 -a13_bit_6 -a13_bit_5 a13_bit_4 -a13_bit_3 -a13_bit_2 -a13_bit_1 -a13_bit0 -a13_bit1 -a13_bit2 -a13_bit3 -a13_bit4 a13_bit5 -a13_bit6 a13_bit7 a13_bit8 a13_bit9 a13_bit10 -a13_bit11 -a13_bit12 -a14_bit_7 -a14_bit_6 -a14_bit_5 -a14_bit_4 -a14_bit_3 -a14_bit_2 -a14_bit_1 -a14_bit0 -a14_bit1 -a14_bit2 -a14_bit3 -a14_bit4 -a14_bit5 -a14_bit6 -a14_bit7 -a14_bit8 -a14_bit9 -a14_bit10 -a14_bit11 -a14_bit12 -a15_bit_7 -a15_bit_6 -a15_bit_5 -a15_bit_4 -a15_bit_3 -a15_bit_2 -a15_bit_1 -a15_bit0 -a15_bit1 a15_bit2 a15_bit3 a15_bit4 a15_bit5 -a15_bit6 a15_bit7 -a15_bit8 a15_bit9 -a15_bit10 -a15_bit11 -a15_bit12 -a16_bit_7 -a16_bit_6 -a16_bit_5 -a16_bit_4 -a16_bit_3 -a16_bit_2 -a16_bit_1 -a16_bit0 -a16_bit1 -a16_bit2 -a16_bit3 -a16_bit4 -a16_bit5 -a16_bit6 -a16_bit7 a16_bit8 -a16_bit9 -a16_bit10 -a16_bit11 -a16_bit12 -b1_bit_7 -b1_bit_6 -b1_bit_5 -b1_bit_4 -b1_bit_3 -b1_bit_2 -b1_bit_1 -b1_bit0 -b1_bit1 -b1_bit2 -b1_bit3 -b1_bit4 -b1_bit5 -b1_bit6 -b1_bit7 -b1_bit8 -b1_bit9 -b1_bit10 -b1_bit11 -b1_bit12 -b2_bit_7 -b2_bit_6 -b2_bit_5 -b2_bit_4 -b2_bit_3 -b2_bit_2 -b2_bit_1 -b2_bit0 -b2_bit1 -b2_bit2 -b2_bit3 -b2_bit4 -b2_bit5 -b2_bit6 -b2_bit7 -b2_bit8 -b2_bit9 -b2_bit10 -b2_bit11 -b2_bit12 -b3_bit_7 -b3_bit_6 -b3_bit_5 -b3_bit_4 -b3_bit_3 -b3_bit_2 -b3_bit_1 -b3_bit0 -b3_bit1 -b3_bit2 -b3_bit3 -b3_bit4 -b3_bit5 -b3_bit6 -b3_bit7 -b3_bit8 -b3_bit9 -b3_bit10 -b3_bit11 -b3_bit12 -b4_bit_7 -b4_bit_6 -b4_bit_5 -b4_bit_4 -b4_bit_3 -b4_bit_2 -b4_bit_1 -b4_bit0 -b4_bit1 -b4_bit2 -b4_bit3 -b4_bit4 -b4_bit5 -b4_bit6 -b4_bit7 -b4_bit8 -b4_bit9 -b4_bit10 -b4_bit11 -b4_bit12 -b5_bit_7 -b5_bit_6 -b5_bit_5 -b5_bit_4 -b5_bit_3 -b5_bit_2 -b5_bit_1 -b5_bit0 -b5_bit1 -b5_bit2 -b5_bit3 -b5_bit4 -b5_bit5 -b5_bit6 -b5_bit7 -b5_bit8 -b5_bit9 -b5_bit10 -b5_bit11 -b5_bit12 -b6_bit_7 b6_bit_6 -b6_bit_5 b6_bit_4 b6_bit_3 b6_bit_2 b6_bit_1 b6_bit0 b6_bit1 b6_bit2 -b6_bit3 -b6_bit4 -b6_bit5 -b6_bit6 -b6_bit7 -b6_bit8 -b6_bit9 -b6_bit10 -b6_bit11 -b6_bit12 -b7_bit_7 -b7_bit_6 -b7_bit_5 -b7_bit_4 -b7_bit_3 -b7_bit_2 b7_bit_1 b7_bit0 b7_bit1 -b7_bit2 -b7_bit3 -b7_bit4 -b7_bit5 b7_bit6 -b7_bit7 -b7_bit8 -b7_bit9 b7_bit10 b7_bit11 -b7_bit12 -b8_bit_7 -b8_bit_6 -b8_bit_5 -b8_bit_4 -b8_bit_3 -b8_bit_2 -b8_bit_1 -b8_bit0 -b8_bit1 -b8_bit2 -b8_bit3 -b8_bit4 -b8_bit5 -b8_bit6 -b8_bit7 -b8_bit8 -b8_bit9 -b8_bit10 -b8_bit11 -b8_bit12 -b9_bit_7 -b9_bit_6 -b9_bit_5 -b9_bit_4 -b9_bit_3 -b9_bit_2 -b9_bit_1 -b9_bit0 -b9_bit1 -b9_bit2 -b9_bit3 -b9_bit4 -b9_bit5 -b9_bit6 -b9_bit7 -b9_bit8 -b9_bit9 -b9_bit10 -b9_bit11 -b9_bit12 -b10_bit_7 -b10_bit_6 -b10_bit_5 -b10_bit_4 -b10_bit_3 -b10_bit_2 -b10_bit_1 -b10_bit0 -b10_bit1 -b10_bit2 -b10_bit3 -b10_bit4 -b10_bit5 -b10_bit6 -b10_bit7 -b10_bit8 -b10_bit9 -b10_bit10 -b10_bit11 -b10_bit12 -b11_bit_7 -b11_bit_6 -b11_bit_5 -b11_bit_4 -b11_bit_3 -b11_bit_2 -b11_bit_1 -b11_bit0 -b11_bit1 -b11_bit2 -b11_bit3 -b11_bit4 -b11_bit5 -b11_bit6 -b11_bit7 -b11_bit8 -b11_bit9 -b11_bit10 b11_bit11 -b11_bit12 -b12_bit_7 -b12_bit_6 -b12_bit_5 -b12_bit_4 -b12_bit_3 -b12_bit_2 -b12_bit_1 -b12_bit0 -b12_bit1 -b12_bit2 -b12_bit3 -b12_bit4 -b12_bit5 -b12_bit6 -b12_bit7 -b12_bit8 -b12_bit9 -b12_bit10 -b12_bit11 -b12_bit12 -b13_bit_7 -b13_bit_6 -b13_bit_5 -b13_bit_4 -b13_bit_3 -b13_bit_2 -b13_bit_1 -b13_bit0 -b13_bit1 -b13_bit2 -b13_bit3 -b13_bit4 -b13_bit5 -b13_bit6 -b13_bit7 b13_bit8 -b13_bit9 -b13_bit10 -b13_bit11 -b13_bit12 -b14_bit_7 -b14_bit_6 -b14_bit_5 -b14_bit_4 -b14_bit_3 -b14_bit_2 -b14_bit_1 -b14_bit0 -b14_bit1 -b14_bit2 -b14_bit3 -b14_bit4 -b14_bit5 -b14_bit6 b14_bit7 -b14_bit8 -b14_bit9 -b14_bit10 -b14_bit11 -b14_bit12 -b15_bit_7 -b15_bit_6 -b15_bit_5 -b15_bit_4 -b15_bit_3 -b15_bit_2 -b15_bit_1 -b15_bit0 -b15_bit1 -b15_bit2 -b15_bit3 -b15_bit4 -b15_bit5 -b15_bit6 -b15_bit7 -b15_bit8 -b15_bit9 -b15_bit10 -b15_bit11 -b15_bit12 -b16_bit_7 -b16_bit_6 -b16_bit_5 -b16_bit_4 -b16_bit_3 -b16_bit_2 b16_bit_1 -b16_bit0 -b16_bit1 -b16_bit2 -b16_bit3 -b16_bit4 -b16_bit5 -b16_bit6 -b16_bit7 -b16_bit8 -b16_bit9 -b16_bit10 -b16_bit11 -b16_bit12 c1_bit0 c2_bit0 c10_bit0 c11_bit0 c12_bit0 c13_bit0 c14_bit0 -c15_bit0 c16_bit0 c3_bit0 c4_bit0 c5_bit0 -c6_bit0 c7_bit0 c8_bit0 c9_bit0 f1_bit_7 f1_bit_6 f1_bit_5 f1_bit_4 f1_bit_3 f1_bit_2 f1_bit_1 -f1_bit0 f1_bit1 f1_bit2 f1_bit3 f1_bit4 -f1_bit5 -f1_bit6 -f1_bit7 -f1_bit8 -f1_bit9 f1_bit10 -f1_bit11 -f1_bit12 -f10_bit_7 -f10_bit_6 -f10_bit_5 -f10_bit_4 -f10_bit_3 -f10_bit_2 -f10_bit_1 -f10_bit0 -f10_bit1 -f10_bit2 -f10_bit3 -f10_bit4 -f10_bit5 -f10_bit6 -f10_bit7 -f10_bit8 f10_bit9 f10_bit10 -f10_bit11 -f10_bit12 -f11_bit_7 -f11_bit_6 -f11_bit_5 f11_bit_4 -f11_bit_3 -f11_bit_2 -f11_bit_1 -f11_bit0 f11_bit1 -f11_bit2 -f11_bit3 -f11_bit4 f11_bit5 f11_bit6 f11_bit7 f11_bit8 -f11_bit9 -f11_bit10 -f11_bit11 -f11_bit12 -f12_bit_7 -f12_bit_6 -f12_bit_5 -f12_bit_4 -f12_bit_3 -f12_bit_2 -f12_bit_1 -f12_bit0 -f12_bit1 -f12_bit2 -f12_bit3 -f12_bit4 -f12_bit5 -f12_bit6 -f12_bit7 -f12_bit8 -f12_bit9 -f12_bit10 -f12_bit11 -f12_bit12 -f13_bit_7 -f13_bit_6 f13_bit_5 f13_bit_4 f13_bit_3 f13_bit_2 f13_bit_1 f13_bit0 f13_bit1 f13_bit2 f13_bit3 f13_bit4 f13_bit5 f13_bit6 f13_bit7 f13_bit8 f13_bit9 f13_bit10 -f13_bit11 -f13_bit12 -f14_bit_7 -f14_bit_6 -f14_bit_5 -f14_bit_4 -f14_bit_3 -f14_bit_2 -f14_bit_1 -f14_bit0 -f14_bit1 -f14_bit2 -f14_bit3 -f14_bit4 f14_bit5 -f14_bit6 -f14_bit7 f14_bit8 f14_bit9 -f14_bit10 -f14_bit11 -f14_bit12 -f16_bit_7 -f16_bit_6 -f16_bit_5 -f16_bit_4 -f16_bit_3 -f16_bit_2 -f16_bit_1 -f16_bit0 -f16_bit1 -f16_bit2 -f16_bit3 -f16_bit4 -f16_bit5 -f16_bit6 -f16_bit7 -f16_bit8 -f16_bit9 -f16_bit10 -f16_bit11 -f16_bit12 f2_bit_7 f2_bit_6 f2_bit_5 -f2_bit_4 -f2_bit_3 -f2_bit_2 f2_bit_1 f2_bit0 -f2_bit1 -f2_bit2 -f2_bit3 f2_bit4 f2_bit5 f2_bit6 f2_bit7 f2_bit8 f2_bit9 f2_bit10 f2_bit11 f2_bit12 -f3_bit_7 -f3_bit_6 -f3_bit_5 -f3_bit_4 -f3_bit_3 -f3_bit_2 -f3_bit_1 -f3_bit0 -f3_bit1 -f3_bit2 -f3_bit3 -f3_bit4 -f3_bit5 -f3_bit6 -f3_bit7 -f3_bit8 -f3_bit9 -f3_bit10 -f3_bit11 -f3_bit12 -f4_bit_7 -f4_bit_6 -f4_bit_5 -f4_bit_4 -f4_bit_3 -f4_bit_2 -f4_bit_1 -f4_bit0 -f4_bit1 -f4_bit2 -f4_bit3 -f4_bit4 -f4_bit5 -f4_bit6 -f4_bit7 -f4_bit8 -f4_bit9 -f4_bit10 -f4_bit11 -f4_bit12 f5_bit_7 -f5_bit_6 -f5_bit_5 -f5_bit_4 f5_bit_3 -f5_bit_2 f5_bit_1 -f5_bit0 -f5_bit1 f5_bit2 -f5_bit3 f5_bit4 f5_bit5 f5_bit6 f5_bit7 f5_bit8 f5_bit9 -f5_bit10 -f5_bit11 f5_bit12 -f6_bit_7 -f6_bit_6 -f6_bit_5 -f6_bit_4 -f6_bit_3 -f6_bit_2 -f6_bit_1 -f6_bit0 -f6_bit1 -f6_bit2 -f6_bit3 -f6_bit4 -f6_bit5 -f6_bit6 -f6_bit7 -f6_bit8 -f6_bit9 -f6_bit10 -f6_bit11 -f6_bit12 -f7_bit_7 f7_bit_6 f7_bit_5 f7_bit_4 f7_bit_3 f7_bit_2 -f7_bit_1 f7_bit0 f7_bit1 -f7_bit2 -f7_bit3 -f7_bit4 f7_bit5 -f7_bit6 f7_bit7 -f7_bit8 f7_bit9 f7_bit10 f7_bit11 f7_bit12 f9_bit_7 -f9_bit_6 -f9_bit_5 -f9_bit_4 -f9_bit_3 -f9_bit_2 -f9_bit_1 -f9_bit0 f9_bit1 f9_bit2 f9_bit3 f9_bit4 f9_bit5 f9_bit6 -f9_bit7 f9_bit8 -f9_bit9 f9_bit10 -f9_bit11 f9_bit12 
c Cost: 263070904856040
c Exit Code: 10
c Total time: 1195 s

Watcher Data

Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing Stack size limit: 67108864 bytes
Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb
Enforcing VSIZE limit: 994918400 bytes
Current StackSize limit: 67108864 bytes
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795323849 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 107 3 90 68 0 39 0
[pid=28548] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-bell5.opb

[startup+10.0033 s]
Raw data (loadavg): 0.92 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 2470 0 0 0 770 75 0 0 25 0 1 0 1795323849 13234176 2381 4294967295 134512640 134736556 3221224560 3221223232 134605803 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 3231 2381 1116 68 0 3163 0
[pid=28548] vsize: 12924
Current children cumulated CPU time (s) 8.45
Current children cumulated vsize (Kb) 12924

[startup+20.0042 s]
Raw data (loadavg): 0.93 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 2819 0 0 0 1683 106 0 0 22 0 1 0 1795323849 14630912 2730 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 3572 2730 1116 68 0 3504 0
[pid=28548] vsize: 14288
Current children cumulated CPU time (s) 17.89
Current children cumulated vsize (Kb) 14288

[startup+30.005 s]
Raw data (loadavg): 0.94 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 4400 0 0 0 2505 167 0 0 21 0 1 0 1795323849 21110784 4311 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 5154 4311 1116 68 0 5086 0
[pid=28548] vsize: 20616
Current children cumulated CPU time (s) 26.72
Current children cumulated vsize (Kb) 20616

[startup+40.0058 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 8816 0 0 0 3338 229 0 0 22 0 1 0 1795323849 39186432 8727 4294967295 134512640 134736556 3221224560 3221223296 134529427 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 9567 8727 1116 68 0 9499 0
[pid=28548] vsize: 38268
Current children cumulated CPU time (s) 35.67
Current children cumulated vsize (Kb) 38268

[startup+50.0066 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 8842 0 0 0 4183 285 0 0 25 0 1 0 1795323849 39321600 8753 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28548/statm): 9600 8753 1116 68 0 9532 0
[pid=28548] vsize: 38400
Current children cumulated CPU time (s) 44.68
Current children cumulated vsize (Kb) 38400

[startup+60.0064 s]
Raw data (loadavg): 0.96 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 9932 0 0 0 5020 342 0 0 25 0 1 0 1795323849 43786240 9843 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 10690 9843 1116 68 0 10622 0
[pid=28548] vsize: 42760
Current children cumulated CPU time (s) 53.62
Current children cumulated vsize (Kb) 42760

[startup+70.0073 s]
Raw data (loadavg): 0.97 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 12278 0 0 0 5918 378 0 0 25 0 1 0 1795323849 53309440 12189 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 13015 12189 1116 68 0 12947 0
[pid=28548] vsize: 52060
Current children cumulated CPU time (s) 62.96
Current children cumulated vsize (Kb) 52060

[startup+80.0081 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 12994 0 0 0 6829 412 0 0 25 0 1 0 1795323849 56274944 12905 4294967295 134512640 134736556 3221224560 3221222312 134634441 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 13739 12905 1116 68 0 13671 0
[pid=28548] vsize: 54956
Current children cumulated CPU time (s) 72.41
Current children cumulated vsize (Kb) 54956

[startup+90.0089 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 13440 0 0 0 7651 470 0 0 20 0 1 0 1795323849 58163200 13351 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28548/statm): 14200 13351 1116 68 0 14132 0
[pid=28548] vsize: 56800
Current children cumulated CPU time (s) 81.21
Current children cumulated vsize (Kb) 56800

[startup+100.01 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 13533 0 0 0 8401 554 0 0 20 0 1 0 1795323849 58568704 13444 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28548/statm): 14299 13444 1116 68 0 14231 0
[pid=28548] vsize: 57196
Current children cumulated CPU time (s) 89.55
Current children cumulated vsize (Kb) 57196

[startup+110.011 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 13580 0 0 0 9134 644 0 0 20 0 1 0 1795323849 58703872 13491 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28548/statm): 14332 13491 1116 68 0 14264 0
[pid=28548] vsize: 57328
Current children cumulated CPU time (s) 97.78
Current children cumulated vsize (Kb) 57328

[startup+120.011 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 13600 0 0 0 9997 691 0 0 25 0 1 0 1795323849 58839040 13511 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28548/statm): 14365 13511 1116 68 0 14297 0
[pid=28548] vsize: 57460
Current children cumulated CPU time (s) 106.88
Current children cumulated vsize (Kb) 57460

[startup+130.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 14092 0 0 0 10907 720 0 0 25 0 1 0 1795323849 60833792 14003 4294967295 134512640 134736556 3221224560 3221223228 134553061 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 14852 14003 1116 68 0 14784 0
[pid=28548] vsize: 59408
Current children cumulated CPU time (s) 116.27
Current children cumulated vsize (Kb) 59408

[startup+140.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 14214 0 0 0 11724 783 0 0 23 0 1 0 1795323849 61284352 14125 4294967295 134512640 134736556 3221224560 3221223088 134550871 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 14962 14125 1116 68 0 14894 0
[pid=28548] vsize: 59848
Current children cumulated CPU time (s) 125.07
Current children cumulated vsize (Kb) 59848

[startup+150.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 14218 0 0 0 12636 812 0 0 25 0 1 0 1795323849 61284352 14129 4294967295 134512640 134736556 3221224560 3221223208 134560551 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 14962 14129 1116 68 0 14894 0
[pid=28548] vsize: 59848
Current children cumulated CPU time (s) 134.48
Current children cumulated vsize (Kb) 59848

[startup+160.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 14328 0 0 0 13561 838 0 0 25 0 1 0 1795323849 61796352 14239 4294967295 134512640 134736556 3221224560 3221222484 134717263 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 15087 14239 1116 68 0 15019 0
[pid=28548] vsize: 60348
Current children cumulated CPU time (s) 143.99
Current children cumulated vsize (Kb) 60348

[startup+170.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 15254 0 0 0 14464 875 0 0 19 0 1 0 1795323849 65581056 15165 4294967295 134512640 134736556 3221224560 3221223180 134554100 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 16011 15165 1116 68 0 15943 0
[pid=28548] vsize: 64044
Current children cumulated CPU time (s) 153.39
Current children cumulated vsize (Kb) 64044

[startup+180.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 15925 0 0 0 15318 928 0 0 20 0 1 0 1795323849 68284416 15836 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 16671 15836 1116 68 0 16603 0
[pid=28548] vsize: 66684
Current children cumulated CPU time (s) 162.46
Current children cumulated vsize (Kb) 66684

[startup+190.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 16186 0 0 0 16178 974 0 0 25 0 1 0 1795323849 69365760 16097 4294967295 134512640 134736556 3221224560 3221223120 134634130 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 16935 16097 1116 68 0 16867 0
[pid=28548] vsize: 67740
Current children cumulated CPU time (s) 171.52
Current children cumulated vsize (Kb) 67740

[startup+200.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 16296 0 0 0 17131 990 0 0 25 0 1 0 1795323849 69898240 16207 4294967295 134512640 134736556 3221224560 3221223176 134716001 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 17065 16207 1116 68 0 16997 0
[pid=28548] vsize: 68260
Current children cumulated CPU time (s) 181.21
Current children cumulated vsize (Kb) 68260

[startup+210.017 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 16316 0 0 0 18045 1021 0 0 25 0 1 0 1795323849 69885952 16227 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28548/statm): 17062 16227 1116 68 0 16994 0
[pid=28548] vsize: 68248
Current children cumulated CPU time (s) 190.66
Current children cumulated vsize (Kb) 68248

[startup+220.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 16316 0 0 0 19019 1031 0 0 25 0 1 0 1795323849 69885952 16227 4294967295 134512640 134736556 3221224560 3221223188 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 17062 16227 1116 68 0 16994 0
[pid=28548] vsize: 68248
Current children cumulated CPU time (s) 200.5
Current children cumulated vsize (Kb) 68248

[startup+230.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 19144 0 0 0 19957 1057 0 0 25 0 1 0 1795323849 81485824 19055 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 19894 19055 1116 68 0 19826 0
[pid=28548] vsize: 79576
Current children cumulated CPU time (s) 210.14
Current children cumulated vsize (Kb) 79576

[startup+240.019 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 20044 0 0 0 20894 1079 0 0 25 0 1 0 1795323849 85196800 19955 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 20800 19955 1116 68 0 20732 0
[pid=28548] vsize: 83200
Current children cumulated CPU time (s) 219.73
Current children cumulated vsize (Kb) 83200

[startup+250.02 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 20082 0 0 0 21817 1105 0 0 25 0 1 0 1795323849 85331968 19993 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 20833 19993 1116 68 0 20765 0
[pid=28548] vsize: 83332
Current children cumulated CPU time (s) 229.22
Current children cumulated vsize (Kb) 83332

[startup+260.021 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 20105 0 0 0 22746 1130 0 0 25 0 1 0 1795323849 85450752 20016 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28548/statm): 20862 20016 1116 68 0 20794 0
[pid=28548] vsize: 83448
Current children cumulated CPU time (s) 238.76
Current children cumulated vsize (Kb) 83448

[startup+270.022 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 22606 0 0 0 23702 1148 0 0 25 0 1 0 1795323849 95473664 22465 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 23309 22465 1116 68 0 23241 0
[pid=28548] vsize: 93236
Current children cumulated CPU time (s) 248.5
Current children cumulated vsize (Kb) 93236

[startup+280.022 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 24588 0 0 0 24637 1174 0 0 25 0 1 0 1795323849 103583744 24447 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28548/statm): 25289 24447 1116 68 0 25221 0
[pid=28548] vsize: 101156
Current children cumulated CPU time (s) 258.11
Current children cumulated vsize (Kb) 101156

[startup+290.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 29208 0 0 0 25521 1223 0 0 24 0 1 0 1795323849 122503168 29067 4294967295 134512640 134736556 3221224560 3221223184 134528604 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 29908 29067 1116 68 0 29840 0
[pid=28548] vsize: 119632
Current children cumulated CPU time (s) 267.44
Current children cumulated vsize (Kb) 119632

[startup+300.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 34200 0 0 0 26441 1258 0 0 25 0 1 0 1795323849 142913536 34059 4294967295 134512640 134736556 3221224560 3221223376 134609230 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 34891 34059 1116 68 0 34823 0
[pid=28548] vsize: 139564
Current children cumulated CPU time (s) 276.99
Current children cumulated vsize (Kb) 139564

[startup+310.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 37857 0 0 0 27383 1282 0 0 25 0 1 0 1795323849 157908992 37716 4294967295 134512640 134736556 3221224560 3221223188 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 38552 37716 1116 68 0 38484 0
[pid=28548] vsize: 154208
Current children cumulated CPU time (s) 286.65
Current children cumulated vsize (Kb) 154208

[startup+320.025 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 39522 0 0 0 28302 1314 0 0 25 0 1 0 1795323849 164786176 39381 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 40231 39381 1116 68 0 40163 0
[pid=28548] vsize: 160924
Current children cumulated CPU time (s) 296.16
Current children cumulated vsize (Kb) 160924

[startup+330.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 42550 0 0 0 29242 1341 0 0 25 0 1 0 1795323849 176508928 42254 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 43093 42254 1116 68 0 43025 0
[pid=28548] vsize: 172372
Current children cumulated CPU time (s) 305.83
Current children cumulated vsize (Kb) 172372

[startup+340.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 49679 0 0 0 30142 1385 0 0 25 0 1 0 1795323849 205717504 49383 4294967295 134512640 134736556 3221224560 3221223272 134553044 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 50224 49383 1116 68 0 50156 0
[pid=28548] vsize: 200896
Current children cumulated CPU time (s) 315.27
Current children cumulated vsize (Kb) 200896

[startup+350.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 53522 0 0 0 31069 1414 0 0 25 0 1 0 1795323849 221532160 53226 4294967295 134512640 134736556 3221224560 3221223224 134536405 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 54085 53226 1116 68 0 54017 0
[pid=28548] vsize: 216340
Current children cumulated CPU time (s) 324.83
Current children cumulated vsize (Kb) 216340

[startup+360.027 s]
Raw data (loadavg): 1.07 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 53826 0 0 0 32006 1435 0 0 25 0 1 0 1795323849 222715904 53530 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 54374 53530 1116 68 0 54306 0
[pid=28548] vsize: 217496
Current children cumulated CPU time (s) 334.41
Current children cumulated vsize (Kb) 217496

[startup+370.028 s]
Raw data (loadavg): 1.06 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 55557 0 0 0 32968 1450 0 0 25 0 1 0 1795323849 229871616 55261 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 56121 55261 1116 68 0 56053 0
[pid=28548] vsize: 224484
Current children cumulated CPU time (s) 344.18
Current children cumulated vsize (Kb) 224484

[startup+380.028 s]
Raw data (loadavg): 1.05 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 56675 0 0 0 33949 1458 0 0 25 0 1 0 1795323849 234463232 56379 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 57242 56379 1116 68 0 57174 0
[pid=28548] vsize: 228968
Current children cumulated CPU time (s) 354.07
Current children cumulated vsize (Kb) 228968

[startup+390.029 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 57294 0 0 0 34934 1465 0 0 25 0 1 0 1795323849 237031424 56998 4294967295 134512640 134736556 3221224560 3221223208 134554078 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 57869 56998 1116 68 0 57801 0
[pid=28548] vsize: 231476
Current children cumulated CPU time (s) 363.99
Current children cumulated vsize (Kb) 231476

[startup+400.029 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 57881 0 0 0 35916 1472 0 0 25 0 1 0 1795323849 239329280 57585 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 58430 57585 1116 68 0 58362 0
[pid=28548] vsize: 233720
Current children cumulated CPU time (s) 373.88
Current children cumulated vsize (Kb) 233720

[startup+410.029 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 58680 0 0 0 36896 1481 0 0 25 0 1 0 1795323849 242708480 58384 4294967295 134512640 134736556 3221224560 3221223224 134554070 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 59255 58384 1116 68 0 59187 0
[pid=28548] vsize: 237020
Current children cumulated CPU time (s) 383.77
Current children cumulated vsize (Kb) 237020

[startup+420.03 s]
Raw data (loadavg): 1.03 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 59642 0 0 0 37878 1489 0 0 25 0 1 0 1795323849 246636544 59346 4294967295 134512640 134736556 3221224560 3221223188 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 60214 59346 1116 68 0 60146 0
[pid=28548] vsize: 240856
Current children cumulated CPU time (s) 393.67
Current children cumulated vsize (Kb) 240856

[startup+430.031 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 60355 0 0 0 38824 1509 0 0 25 0 1 0 1795323849 249475072 60059 4294967295 134512640 134736556 3221224560 3221223220 134630068 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 60907 60059 1116 68 0 60839 0
[pid=28548] vsize: 243628
Current children cumulated CPU time (s) 403.33
Current children cumulated vsize (Kb) 243628

[startup+440.032 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 62061 0 0 0 39707 1552 0 0 25 0 1 0 1795323849 256471040 61765 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 62615 61765 1116 68 0 62547 0
[pid=28548] vsize: 250460
Current children cumulated CPU time (s) 412.59
Current children cumulated vsize (Kb) 250460

[startup+450.032 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 66822 0 0 0 40558 1611 0 0 22 0 1 0 1795323849 276070400 66526 4294967295 134512640 134736556 3221224560 3221223136 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 67400 66526 1116 68 0 67332 0
[pid=28548] vsize: 269600
Current children cumulated CPU time (s) 421.69
Current children cumulated vsize (Kb) 269600

[startup+460.033 s]
Raw data (loadavg): 1.01 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 70244 0 0 0 41413 1664 0 0 25 0 1 0 1795323849 289992704 69948 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 70799 69948 1116 68 0 70731 0
[pid=28548] vsize: 283196
Current children cumulated CPU time (s) 430.77
Current children cumulated vsize (Kb) 283196

[startup+470.034 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 73141 0 0 0 42280 1715 0 0 25 0 1 0 1795323849 301891584 72845 4294967295 134512640 134736556 3221224560 3221222936 1077378037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 73704 72845 1116 68 0 73636 0
[pid=28548] vsize: 294816
Current children cumulated CPU time (s) 439.95
Current children cumulated vsize (Kb) 294816

[startup+480.035 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 76319 0 0 0 43172 1757 0 0 25 0 1 0 1795323849 314994688 76023 4294967295 134512640 134736556 3221224560 3221223216 134524547 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 76903 76023 1116 68 0 76835 0
[pid=28548] vsize: 307612
Current children cumulated CPU time (s) 449.29
Current children cumulated vsize (Kb) 307612

[startup+490.036 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 79067 0 0 0 44094 1792 0 0 25 0 1 0 1795323849 326193152 78771 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 79637 78771 1116 68 0 79569 0
[pid=28548] vsize: 318548
Current children cumulated CPU time (s) 458.86
Current children cumulated vsize (Kb) 318548

[startup+500.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 80462 0 0 0 45046 1812 0 0 25 0 1 0 1795323849 331997184 80166 4294967295 134512640 134736556 3221224560 3221223096 134536707 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 81054 80166 1116 68 0 80986 0
[pid=28548] vsize: 324216
Current children cumulated CPU time (s) 468.58
Current children cumulated vsize (Kb) 324216

[startup+510.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 83136 0 0 0 45955 1847 0 0 25 0 1 0 1795323849 342958080 82840 4294967295 134512640 134736556 3221224560 3221223124 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 83730 82840 1116 68 0 83662 0
[pid=28548] vsize: 334920
Current children cumulated CPU time (s) 478.02
Current children cumulated vsize (Kb) 334920

[startup+520.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 85636 0 0 0 46885 1873 0 0 25 0 1 0 1795323849 351928320 85029 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 85920 85029 1116 68 0 85852 0
[pid=28548] vsize: 343680
Current children cumulated CPU time (s) 487.58
Current children cumulated vsize (Kb) 343680

[startup+530.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 85840 0 0 0 47842 1889 0 0 25 0 1 0 1795323849 352739328 85233 4294967295 134512640 134736556 3221224560 3221223164 134544624 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 86118 85233 1116 68 0 86050 0
[pid=28548] vsize: 344472
Current children cumulated CPU time (s) 497.31
Current children cumulated vsize (Kb) 344472

[startup+540.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 87878 0 0 0 48790 1911 0 0 25 0 1 0 1795323849 361123840 87271 4294967295 134512640 134736556 3221224560 3221223220 134528665 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 88165 87271 1116 68 0 88097 0
[pid=28548] vsize: 352660
Current children cumulated CPU time (s) 507.01
Current children cumulated vsize (Kb) 352660

[startup+550.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 92035 0 0 0 49723 1940 0 0 25 0 1 0 1795323849 378159104 91428 4294967295 134512640 134736556 3221224560 3221223248 134529232 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 92324 91428 1116 68 0 92256 0
[pid=28548] vsize: 369296
Current children cumulated CPU time (s) 516.63
Current children cumulated vsize (Kb) 369296

[startup+560.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 94691 0 0 0 50688 1958 0 0 25 0 1 0 1795323849 389001216 94083 4294967295 134512640 134736556 3221224560 3221223120 134551108 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 94971 94083 1116 68 0 94903 0
[pid=28548] vsize: 379884
Current children cumulated CPU time (s) 526.46
Current children cumulated vsize (Kb) 379884

[startup+570.04 s]
Raw data (loadavg): 1.08 1.02 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 98209 0 0 0 51631 1985 0 0 25 0 1 0 1795323849 403460096 97601 4294967295 134512640 134736556 3221224560 3221223264 134529222 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 98501 97601 1116 68 0 98433 0
[pid=28548] vsize: 394004
Current children cumulated CPU time (s) 536.16
Current children cumulated vsize (Kb) 394004

[startup+580.041 s]
Raw data (loadavg): 1.07 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 101134 0 0 0 52587 2005 0 0 25 0 1 0 1795323849 415363072 100526 4294967295 134512640 134736556 3221224560 3221223116 134536676 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 101407 100526 1116 68 0 101339 0
[pid=28548] vsize: 405628
Current children cumulated CPU time (s) 545.92
Current children cumulated vsize (Kb) 405628

[startup+590.042 s]
Raw data (loadavg): 1.06 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 102471 0 0 0 53558 2017 0 0 25 0 1 0 1795323849 420904960 101863 4294967295 134512640 134736556 3221224560 3221223248 134536465 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 102760 101863 1116 68 0 102692 0
[pid=28548] vsize: 411040
Current children cumulated CPU time (s) 555.75
Current children cumulated vsize (Kb) 411040

[startup+600.043 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 102978 0 0 0 54494 2042 0 0 24 0 1 0 1795323849 422895616 102370 4294967295 134512640 134736556 3221224560 3221223108 134544508 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 103246 102370 1116 68 0 103178 0
[pid=28548] vsize: 412984
Current children cumulated CPU time (s) 565.36
Current children cumulated vsize (Kb) 412984

[startup+610.044 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 103694 0 0 0 55314 2105 0 0 23 0 1 0 1795323849 425889792 103086 4294967295 134512640 134736556 3221224560 3221223120 134634142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 103977 103086 1116 68 0 103909 0
[pid=28548] vsize: 415908
Current children cumulated CPU time (s) 574.19
Current children cumulated vsize (Kb) 415908

[startup+620.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 104298 0 0 0 56282 2117 0 0 25 0 1 0 1795323849 428441600 103690 4294967295 134512640 134736556 3221224560 3221223000 1077378037 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 104600 103690 1116 68 0 104532 0
[pid=28548] vsize: 418400
Current children cumulated CPU time (s) 583.99
Current children cumulated vsize (Kb) 418400

[startup+630.044 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 107089 0 0 0 57242 2136 0 0 25 0 1 0 1795323849 439808000 106481 4294967295 134512640 134736556 3221224560 3221223152 134551226 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 107375 106481 1116 68 0 107307 0
[pid=28548] vsize: 429500
Current children cumulated CPU time (s) 593.78
Current children cumulated vsize (Kb) 429500

[startup+640.045 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 109119 0 0 0 58202 2153 0 0 25 0 1 0 1795323849 448184320 108511 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 109420 108511 1116 68 0 109352 0
[pid=28548] vsize: 437680
Current children cumulated CPU time (s) 603.55
Current children cumulated vsize (Kb) 437680

[startup+650.046 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 111395 0 0 0 59169 2167 0 0 25 0 1 0 1795323849 457515008 110787 4294967295 134512640 134736556 3221224560 3221223172 134537369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 111698 110787 1116 68 0 111630 0
[pid=28548] vsize: 446792
Current children cumulated CPU time (s) 613.36
Current children cumulated vsize (Kb) 446792

[startup+660.047 s]
Raw data (loadavg): 1.02 1.01 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 113820 0 0 0 60134 2183 0 0 25 0 1 0 1795323849 467398656 113212 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 114111 113212 1116 68 0 114043 0
[pid=28548] vsize: 456444
Current children cumulated CPU time (s) 623.17
Current children cumulated vsize (Kb) 456444

[startup+670.048 s]
Raw data (loadavg): 1.01 1.01 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 115320 0 0 0 61065 2209 0 0 25 0 1 0 1795323849 473616384 114712 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 115629 114712 1116 68 0 115561 0
[pid=28548] vsize: 462516
Current children cumulated CPU time (s) 632.74
Current children cumulated vsize (Kb) 462516

[startup+680.048 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 118491 0 0 0 62008 2232 0 0 25 0 1 0 1795323849 486584320 117883 4294967295 134512640 134736556 3221224560 3221223016 1077377842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 118795 117883 1116 68 0 118727 0
[pid=28548] vsize: 475180
Current children cumulated CPU time (s) 642.4
Current children cumulated vsize (Kb) 475180

[startup+690.049 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122235 0 0 0 62916 2271 0 0 25 0 1 0 1795323849 501972992 121627 4294967295 134512640 134736556 3221224560 3221223036 134536620 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 122552 121627 1116 68 0 122484 0
[pid=28548] vsize: 490208
Current children cumulated CPU time (s) 651.87
Current children cumulated vsize (Kb) 490208

[startup+700.05 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122306 0 0 0 63894 2279 0 0 25 0 1 0 1795323849 502243328 121698 4294967295 134512640 134736556 3221224560 3221223208 134553994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 122618 121698 1116 68 0 122550 0
[pid=28548] vsize: 490472
Current children cumulated CPU time (s) 661.73
Current children cumulated vsize (Kb) 490472

[startup+710.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122306 0 0 0 64886 2282 0 0 25 0 1 0 1795323849 502243328 121698 4294967295 134512640 134736556 3221224560 3221223240 134605609 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 122618 121698 1116 68 0 122550 0
[pid=28548] vsize: 490472
Current children cumulated CPU time (s) 671.68
Current children cumulated vsize (Kb) 490472

[startup+720.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122306 0 0 0 65876 2286 0 0 25 0 1 0 1795323849 502243328 121698 4294967295 134512640 134736556 3221224560 3221223072 134543074 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 122618 121698 1116 68 0 122550 0
[pid=28548] vsize: 490472
Current children cumulated CPU time (s) 681.62
Current children cumulated vsize (Kb) 490472

[startup+730.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122306 0 0 0 66871 2288 0 0 25 0 1 0 1795323849 502243328 121698 4294967295 134512640 134736556 3221224560 3221223184 134537427 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 122618 121698 1116 68 0 122550 0
[pid=28548] vsize: 490472
Current children cumulated CPU time (s) 691.59
Current children cumulated vsize (Kb) 490472

[startup+740.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122309 0 0 0 67861 2292 0 0 25 0 1 0 1795323849 502243328 121701 4294967295 134512640 134736556 3221224560 3221223236 134529474 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 122618 121701 1116 68 0 122550 0
[pid=28548] vsize: 490472
Current children cumulated CPU time (s) 701.53
Current children cumulated vsize (Kb) 490472

[startup+750.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122311 0 0 0 68846 2296 0 0 25 0 1 0 1795323849 502243328 121703 4294967295 134512640 134736556 3221224560 3221223160 134553994 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 122618 121703 1116 68 0 122550 0
[pid=28548] vsize: 490472
Current children cumulated CPU time (s) 711.42
Current children cumulated vsize (Kb) 490472

[startup+760.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122325 0 0 0 69831 2302 0 0 25 0 1 0 1795323849 502243328 121717 4294967295 134512640 134736556 3221224560 3221223208 134554070 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 122618 121717 1116 68 0 122550 0
[pid=28548] vsize: 490472
Current children cumulated CPU time (s) 721.33
Current children cumulated vsize (Kb) 490472

[startup+770.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122325 0 0 0 70822 2305 0 0 25 0 1 0 1795323849 502243328 121717 4294967295 134512640 134736556 3221224560 3221223200 134529288 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 122618 121717 1116 68 0 122550 0
[pid=28548] vsize: 490472
Current children cumulated CPU time (s) 731.27
Current children cumulated vsize (Kb) 490472

[startup+780.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 122338 0 0 0 71811 2310 0 0 25 0 1 0 1795323849 502378496 121730 4294967295 134512640 134736556 3221224560 3221223140 134536476 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 122651 121730 1116 68 0 122583 0
[pid=28548] vsize: 490604
Current children cumulated CPU time (s) 741.21
Current children cumulated vsize (Kb) 490604

[startup+790.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 123762 0 0 0 72784 2321 0 0 24 0 1 0 1795323849 508190720 123154 4294967295 134512640 134736556 3221224560 3221223200 134529256 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 124070 123155 1116 68 0 124002 0
[pid=28548] vsize: 496280
Current children cumulated CPU time (s) 751.05
Current children cumulated vsize (Kb) 496280

[startup+800.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 129260 0 0 0 73705 2358 0 0 25 0 1 0 1795323849 530763776 128652 4294967295 134512640 134736556 3221224560 3221223120 134551076 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 129581 128652 1116 68 0 129513 0
[pid=28548] vsize: 518324
Current children cumulated CPU time (s) 760.63
Current children cumulated vsize (Kb) 518324

[startup+810.056 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 133741 0 0 0 74656 2383 0 0 25 0 1 0 1795323849 549056512 133131 4294967295 134512640 134736556 3221224560 3221222732 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 134047 133131 1116 68 0 133979 0
[pid=28548] vsize: 536188
Current children cumulated CPU time (s) 770.39
Current children cumulated vsize (Kb) 536188

[startup+820.057 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 133902 0 0 0 75586 2408 0 0 25 0 1 0 1795323849 549736448 133292 4294967295 134512640 134736556 3221224560 3221223056 134550888 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 134213 133292 1116 68 0 134145 0
[pid=28548] vsize: 536852
Current children cumulated CPU time (s) 779.94
Current children cumulated vsize (Kb) 536852

[startup+830.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 135031 0 0 0 76507 2436 0 0 25 0 1 0 1795323849 554467328 134421 4294967295 134512640 134736556 3221224560 3221223244 134524324 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 135368 134421 1116 68 0 135300 0
[pid=28548] vsize: 541472
Current children cumulated CPU time (s) 789.43
Current children cumulated vsize (Kb) 541472

[startup+840.058 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 136556 0 0 0 77457 2457 0 0 25 0 1 0 1795323849 560680960 135946 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 136885 135946 1116 68 0 136817 0
[pid=28548] vsize: 547540
Current children cumulated CPU time (s) 799.14
Current children cumulated vsize (Kb) 547540

[startup+850.059 s]
Raw data (loadavg): 1.07 1.02 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 136792 0 0 0 78417 2470 0 0 25 0 1 0 1795323849 561627136 136182 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 137116 136182 1116 68 0 137048 0
[pid=28548] vsize: 548464
Current children cumulated CPU time (s) 808.87
Current children cumulated vsize (Kb) 548464

[startup+860.059 s]
Raw data (loadavg): 1.06 1.02 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 136994 0 0 0 79365 2489 0 0 25 0 1 0 1795323849 562438144 136384 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 137314 136384 1116 68 0 137246 0
[pid=28548] vsize: 549256
Current children cumulated CPU time (s) 818.54
Current children cumulated vsize (Kb) 549256

[startup+870.06 s]
Raw data (loadavg): 1.05 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 136998 0 0 0 80310 2506 0 0 25 0 1 0 1795323849 562438144 136388 4294967295 134512640 134736556 3221224560 3221223016 134553411 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 137314 136388 1116 68 0 137246 0
[pid=28548] vsize: 549256
Current children cumulated CPU time (s) 828.16
Current children cumulated vsize (Kb) 549256

[startup+880.061 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 137060 0 0 0 81265 2522 0 0 25 0 1 0 1795323849 562700288 136450 4294967295 134512640 134736556 3221224560 3221223284 134560258 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 137378 136450 1116 68 0 137310 0
[pid=28548] vsize: 549512
Current children cumulated CPU time (s) 837.87
Current children cumulated vsize (Kb) 549512

[startup+890.063 s]
Raw data (loadavg): 1.04 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 137198 0 0 0 82221 2538 0 0 25 0 1 0 1795323849 563326976 136588 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 137531 136588 1116 68 0 137463 0
[pid=28548] vsize: 550124
Current children cumulated CPU time (s) 847.59
Current children cumulated vsize (Kb) 550124

[startup+900.063 s]
Raw data (loadavg): 1.03 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 137198 0 0 0 83188 2549 0 0 25 0 1 0 1795323849 563326976 136588 4294967295 134512640 134736556 3221224560 3221223068 134537511 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 137531 136588 1116 68 0 137463 0
[pid=28548] vsize: 550124
Current children cumulated CPU time (s) 857.37
Current children cumulated vsize (Kb) 550124

[startup+910.063 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 137198 0 0 0 84155 2561 0 0 25 0 1 0 1795323849 563326976 136588 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 137531 136588 1116 68 0 137463 0
[pid=28548] vsize: 550124
Current children cumulated CPU time (s) 867.16
Current children cumulated vsize (Kb) 550124

[startup+920.064 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138307 0 0 0 85087 2586 0 0 25 0 1 0 1795323849 567918592 137697 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138652 137697 1116 68 0 138584 0
[pid=28548] vsize: 554608
Current children cumulated CPU time (s) 876.73
Current children cumulated vsize (Kb) 554608

[startup+930.065 s]
Raw data (loadavg): 1.02 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138309 0 0 0 86009 2616 0 0 25 0 1 0 1795323849 567918592 137699 4294967295 134512640 134736556 3221224560 3221223056 134550721 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138652 137699 1116 68 0 138584 0
[pid=28548] vsize: 554608
Current children cumulated CPU time (s) 886.25
Current children cumulated vsize (Kb) 554608

[startup+940.066 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138310 0 0 0 86938 2640 0 0 25 0 1 0 1795323849 567918592 137700 4294967295 134512640 134736556 3221224560 3221223088 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138652 137700 1116 68 0 138584 0
[pid=28548] vsize: 554608
Current children cumulated CPU time (s) 895.78
Current children cumulated vsize (Kb) 554608

[startup+950.067 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138310 0 0 0 87867 2663 0 0 25 0 1 0 1795323849 567918592 137700 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138652 137700 1116 68 0 138584 0
[pid=28548] vsize: 554608
Current children cumulated CPU time (s) 905.3
Current children cumulated vsize (Kb) 554608

[startup+960.067 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138311 0 0 0 88796 2690 0 0 25 0 1 0 1795323849 567918592 137701 4294967295 134512640 134736556 3221224560 3221223184 134537436 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138652 137701 1116 68 0 138584 0
[pid=28548] vsize: 554608
Current children cumulated CPU time (s) 914.86
Current children cumulated vsize (Kb) 554608

[startup+970.068 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138311 0 0 0 89720 2716 0 0 25 0 1 0 1795323849 567918592 137701 4294967295 134512640 134736556 3221224560 3221223152 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138652 137701 1116 68 0 138584 0
[pid=28548] vsize: 554608
Current children cumulated CPU time (s) 924.36
Current children cumulated vsize (Kb) 554608

[startup+980.069 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138311 0 0 0 90649 2741 0 0 25 0 1 0 1795323849 567918592 137701 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138652 137701 1116 68 0 138584 0
[pid=28548] vsize: 554608
Current children cumulated CPU time (s) 933.9
Current children cumulated vsize (Kb) 554608

[startup+990.071 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138344 0 0 0 91577 2767 0 0 22 0 1 0 1795323849 568053760 137734 4294967295 134512640 134736556 3221224560 3221223140 134551038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138685 137734 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 943.44
Current children cumulated vsize (Kb) 554740

[startup+1000.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138347 0 0 0 92502 2792 0 0 25 0 1 0 1795323849 568053760 137737 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138685 137737 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 952.94
Current children cumulated vsize (Kb) 554740

[startup+1010.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138347 0 0 0 93431 2815 0 0 25 0 1 0 1795323849 568053760 137737 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138685 137737 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 962.46
Current children cumulated vsize (Kb) 554740

[startup+1020.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138348 0 0 0 94357 2840 0 0 25 0 1 0 1795323849 568053760 137738 4294967295 134512640 134736556 3221224560 3221223056 134716149 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138685 137738 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 971.97
Current children cumulated vsize (Kb) 554740

[startup+1030.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138348 0 0 0 95277 2868 0 0 25 0 1 0 1795323849 568053760 137738 4294967295 134512640 134736556 3221224560 3221223176 134554078 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138685 137738 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 981.45
Current children cumulated vsize (Kb) 554740

[startup+1040.07 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138348 0 0 0 96198 2895 0 0 25 0 1 0 1795323849 568053760 137738 4294967295 134512640 134736556 3221224560 3221223152 134524403 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138685 137738 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 990.93
Current children cumulated vsize (Kb) 554740

[startup+1050.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138349 0 0 0 97124 2922 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223088 134553387 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 1000.46
Current children cumulated vsize (Kb) 554740

[startup+1060.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138349 0 0 0 98051 2947 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223200 134529509 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 1009.98
Current children cumulated vsize (Kb) 554740

[startup+1070.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138349 0 0 0 98981 2971 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223200 134529503 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 1019.52
Current children cumulated vsize (Kb) 554740

[startup+1080.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138349 0 0 0 99908 2999 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 1029.07
Current children cumulated vsize (Kb) 554740

[startup+1090.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138349 0 0 0 100835 3023 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 1038.58
Current children cumulated vsize (Kb) 554740

[startup+1100.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138349 0 0 0 101764 3048 0 0 25 0 1 0 1795323849 568053760 137739 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138685 137739 1116 68 0 138617 0
[pid=28548] vsize: 554740
Current children cumulated CPU time (s) 1048.12
Current children cumulated vsize (Kb) 554740

[startup+1110.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138562 0 0 0 102683 3077 0 0 25 0 1 0 1795323849 568864768 137952 4294967295 134512640 134736556 3221224560 3221223216 134537363 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138883 137952 1116 68 0 138815 0
[pid=28548] vsize: 555532
Current children cumulated CPU time (s) 1057.6
Current children cumulated vsize (Kb) 555532

[startup+1120.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138564 0 0 0 103608 3101 0 0 25 0 1 0 1795323849 568864768 137954 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138883 137954 1116 68 0 138815 0
[pid=28548] vsize: 555532
Current children cumulated CPU time (s) 1067.09
Current children cumulated vsize (Kb) 555532

[startup+1130.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138564 0 0 0 104535 3125 0 0 25 0 1 0 1795323849 568864768 137954 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138883 137954 1116 68 0 138815 0
[pid=28548] vsize: 555532
Current children cumulated CPU time (s) 1076.6
Current children cumulated vsize (Kb) 555532

[startup+1140.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138565 0 0 0 105461 3150 0 0 25 0 1 0 1795323849 568864768 137955 4294967295 134512640 134736556 3221224560 3221223208 134537641 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138883 137955 1116 68 0 138815 0
[pid=28548] vsize: 555532
Current children cumulated CPU time (s) 1086.11
Current children cumulated vsize (Kb) 555532

[startup+1150.08 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138565 0 0 0 106384 3178 0 0 25 0 1 0 1795323849 568864768 137955 4294967295 134512640 134736556 3221224560 3221223232 134609059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138883 137955 1116 68 0 138815 0
[pid=28548] vsize: 555532
Current children cumulated CPU time (s) 1095.62
Current children cumulated vsize (Kb) 555532

[startup+1160.08 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138565 0 0 0 107306 3205 0 0 25 0 1 0 1795323849 568864768 137955 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138883 137955 1116 68 0 138815 0
[pid=28548] vsize: 555532
Current children cumulated CPU time (s) 1105.11
Current children cumulated vsize (Kb) 555532

[startup+1170.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138639 0 0 0 108230 3230 0 0 25 0 1 0 1795323849 569270272 138029 4294967295 134512640 134736556 3221224560 3221223092 134553382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138982 138029 1116 68 0 138914 0
[pid=28548] vsize: 555928
Current children cumulated CPU time (s) 1114.6
Current children cumulated vsize (Kb) 555928

[startup+1180.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138642 0 0 0 109148 3258 0 0 25 0 1 0 1795323849 569270272 138032 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138982 138032 1116 68 0 138914 0
[pid=28548] vsize: 555928
Current children cumulated CPU time (s) 1124.06
Current children cumulated vsize (Kb) 555928

[startup+1190.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138643 0 0 0 110064 3287 0 0 18 0 1 0 1795323849 569270272 138033 4294967295 134512640 134736556 3221224560 3221223088 134553387 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138982 138033 1116 68 0 138914 0
[pid=28548] vsize: 555928
Current children cumulated CPU time (s) 1133.51
Current children cumulated vsize (Kb) 555928

[startup+1200.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138644 0 0 0 110979 3316 0 0 25 0 1 0 1795323849 569270272 138034 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 138982 138034 1116 68 0 138914 0
[pid=28548] vsize: 555928
Current children cumulated CPU time (s) 1142.95
Current children cumulated vsize (Kb) 555928

[startup+1210.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138646 0 0 0 111900 3342 0 0 25 0 1 0 1795323849 569270272 138036 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138982 138036 1116 68 0 138914 0
[pid=28548] vsize: 555928
Current children cumulated CPU time (s) 1152.42
Current children cumulated vsize (Kb) 555928

[startup+1220.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138646 0 0 0 112820 3368 0 0 25 0 1 0 1795323849 569270272 138036 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28548/statm): 138982 138036 1116 68 0 138914 0
[pid=28548] vsize: 555928
Current children cumulated CPU time (s) 1161.88
Current children cumulated vsize (Kb) 555928

[startup+1230.09 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) T 28547 28548 31778 0 -1 0 138681 0 0 0 113741 3395 0 0 25 0 1 0 1795323849 569405440 138071 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28548/statm): 139015 138071 1116 68 0 138947 0
[pid=28548] vsize: 556060
Current children cumulated CPU time (s) 1171.36
Current children cumulated vsize (Kb) 556060

[startup+1240.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138683 0 0 0 114658 3424 0 0 25 0 1 0 1795323849 569405440 138073 4294967295 134512640 134736556 3221224560 3221223068 134537537 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28548/statm): 139015 138073 1116 68 0 138947 0
[pid=28548] vsize: 556060
Current children cumulated CPU time (s) 1180.82
Current children cumulated vsize (Kb) 556060

[startup+1250.09 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28548
Raw data (/proc/28548/stat): 28548 (bsolo) R 28547 28548 31778 0 -1 0 138684 0 0 0 115581 3451 0 0 25 0 1 0 1795323849 569405440 138074 4294967295 134512640 134736556 3221224560 3221223220 134609065 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28548/statm): 139015 138074 1116 68 0 138947 0
[pid=28548] vsize: 556060
Current children cumulated CPU time (s) 1190.32
Current children cumulated vsize (Kb) 556060
One traced child (pid=28548) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1255.3
CPU time (s): 1195.29
CPU user time (s): 1160.38
CPU system time (s): 34.9037
CPU usage (%): 95.2194
Max. virtual memory (cumulated for all children) (Kb): 556060

Verifier Data

Verifier:	OK	263070904856040