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-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-bell4.opb
MD5SUM3cce8c056d32fd25c784b4e9cbdd2db6
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 540233279610250
Optimality of the best value was proved NO
Number of terms in the objective function 1527
Biggest coefficient in the objective function 4949278720000000
Number of bits for the biggest coefficient in the objective function 53
Sum of the numbers in the objective function 114314457147588882
Number of bits of the sum of numbers in the objective function 57
Biggest number in a constraint 4949278720000000
Number of bits of the biggest number in a constraint 53
Biggest sum of numbers in a constraint 114314457147588882
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 benchmark1195.07
Number of variables1996
Total number of constraints169
Number of constraints which are clauses18
Number of constraints which are cardinality constraints (but not clauses)34
Number of constraints which are nor clauses,nor cardinality constraints117
Minimum length of a constraint1
Maximum length of a constraint135

Trace number 545

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        951416 kB
Buffers:         33624 kB
Cached:          20644 kB
SwapCached:        608 kB
Active:          48116 kB
Inactive:         8636 kB
HighTotal:      131008 kB
HighFree:       108920 kB
LowTotal:       903652 kB
LowFree:        842496 kB
SwapTotal:     2097892 kB
SwapFree:      2096684 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5768 kB
Slab:            20864 kB
Committed_AS:    64184 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 11:22:40 (client local time) WITH STATUS 10 IN 1195.07 SECONDS
stats: 502 0 1195.07 10

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 1996 variables and 134 constraints.
c	preprocess terminated. Elapsed time: 0.434
c After prepocess the problem consists of 1584 variables and 117 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 1584 #Dec: 6543 LB: 0 @ 6.306
c Restart #2 #Var: 1584 #Dec: 18595 LB: 0 @ 16.441
c Restart #3 #Var: 1584 #Dec: 37264 LB: 0 @ 31.752
c NEW SOLUTION FOUND: 1045906726584320 @ 39.865 @ #Dec. 46360
c NEW SOLUTION FOUND: 1043490086584320 @ 39.868 @ #Dec. 46360
c NEW SOLUTION FOUND: 1014859046584320 @ 39.876 @ #Dec. 46361
c NEW SOLUTION FOUND: 1012442406584320 @ 39.878 @ #Dec. 46361
c NEW SOLUTION FOUND: 1010025766584320 @ 39.91 @ #Dec. 46364
c NEW SOLUTION FOUND: 983811366584320 @ 39.935 @ #Dec. 46367
c NEW SOLUTION FOUND: 981394726584320 @ 39.952 @ #Dec. 46368
c NEW SOLUTION FOUND: 967263526584320 @ 40.178 @ #Dec. 46400
c NEW SOLUTION FOUND: 962430246584320 @ 40.186 @ #Dec. 46401
c NEW SOLUTION FOUND: 960013606584320 @ 40.212 @ #Dec. 46406
c NEW SOLUTION FOUND: 957596966584320 @ 40.239 @ #Dec. 46412
c NEW SOLUTION FOUND: 955180326584320 @ 40.298 @ #Dec. 46423
c NEW SOLUTION FOUND: 936215846584320 @ 40.477 @ #Dec. 46476
c NEW SOLUTION FOUND: 931382566584320 @ 40.484 @ #Dec. 46476
c NEW SOLUTION FOUND: 926549286584320 @ 40.562 @ #Dec. 46494
c NEW SOLUTION FOUND: 923108646584320 @ 40.691 @ #Dec. 46527
c NEW SOLUTION FOUND: 918275366584320 @ 40.699 @ #Dec. 46528
c NEW SOLUTION FOUND: 913442086584320 @ 40.805 @ #Dec. 46549
c NEW SOLUTION FOUND: 910001446584320 @ 41.104 @ #Dec. 46625
c NEW SOLUTION FOUND: 905168166584320 @ 41.162 @ #Dec. 46634
c NEW SOLUTION FOUND: 900334886584320 @ 41.396 @ #Dec. 46681
c NEW SOLUTION FOUND: 896894246584320 @ 42.49 @ #Dec. 46985
c NEW SOLUTION FOUND: 892060966584320 @ 42.634 @ #Dec. 47006
c NEW SOLUTION FOUND: 887227686584320 @ 42.858 @ #Dec. 47046
c Restart #4 #Var: 1584 #Dec: 47953 LB: 0 @ 47.194
c NEW SOLUTION FOUND: 884902938689536 @ 52.278 @ #Dec. 51403
c NEW SOLUTION FOUND: 884826392641536 @ 52.283 @ #Dec. 51404
c NEW SOLUTION FOUND: 884749846593536 @ 52.285 @ #Dec. 51404
c NEW SOLUTION FOUND: 879998486593536 @ 52.288 @ #Dec. 51405
c NEW SOLUTION FOUND: 858458900545536 @ 52.317 @ #Dec. 51412
c NEW SOLUTION FOUND: 853784086593536 @ 52.334 @ #Dec. 51419
c NEW SOLUTION FOUND: 853722849755136 @ 52.4 @ #Dec. 51451
c NEW SOLUTION FOUND: 853646303707136 @ 52.729 @ #Dec. 51597
c NEW SOLUTION FOUND: 853645808779264 @ 53.558 @ #Dec. 51924
c NEW SOLUTION FOUND: 853645685047296 @ 53.927 @ #Dec. 52061
c NEW SOLUTION FOUND: 853645623181312 @ 55.561 @ #Dec. 52565
c NEW SOLUTION FOUND: 849404708929536 @ 55.833 @ #Dec. 52650
c NEW SOLUTION FOUND: 849328162881536 @ 55.847 @ #Dec. 52652
c NEW SOLUTION FOUND: 844576802881536 @ 55.873 @ #Dec. 52656
c NEW SOLUTION FOUND: 844500256833536 @ 55.897 @ #Dec. 52662
c NEW SOLUTION FOUND: 844500194967552 @ 55.978 @ #Dec. 52702
c NEW SOLUTION FOUND: 844439019995136 @ 56.129 @ #Dec. 52742
c NEW SOLUTION FOUND: 844438958129152 @ 56.761 @ #Dec. 52896
c NEW SOLUTION FOUND: 844438525067264 @ 59.868 @ #Dec. 53592
c NEW SOLUTION FOUND: 844438339469312 @ 59.977 @ #Dec. 53617
c NEW SOLUTION FOUND: 836613723799552 @ 63.202 @ #Dec. 54225
c NEW SOLUTION FOUND: 836552486961152 @ 63.921 @ #Dec. 54372
c NEW SOLUTION FOUND: 836552053899264 @ 67.607 @ #Dec. 55117
c NEW SOLUTION FOUND: 836551868301312 @ 67.787 @ #Dec. 55168
c NEW SOLUTION FOUND: 827406440087552 @ 71.112 @ #Dec. 55865
c NEW SOLUTION FOUND: 827345203249152 @ 71.377 @ #Dec. 55943
c NEW SOLUTION FOUND: 827344770187264 @ 74.023 @ #Dec. 56529
c NEW SOLUTION FOUND: 827344584589312 @ 74.089 @ #Dec. 56555
c Restart #5 #Var: 1584 #Dec: 58505 LB: 0 @ 82.576
c NEW SOLUTION FOUND: 817962650476235 @ 84.868 @ #Dec. 59964
c NEW SOLUTION FOUND: 817909068242635 @ 84.889 @ #Dec. 59966
c NEW SOLUTION FOUND: 817897586335435 @ 84.921 @ #Dec. 59971
c NEW SOLUTION FOUND: 817775112658635 @ 85.022 @ #Dec. 59989
c NEW SOLUTION FOUND: 817713875820235 @ 85.146 @ #Dec. 60010
c NEW SOLUTION FOUND: 817652391517899 @ 85.353 @ #Dec. 60054
c NEW SOLUTION FOUND: 817591154679499 @ 85.66 @ #Dec. 60122
c NEW SOLUTION FOUND: 815368566775499 @ 85.981 @ #Dec. 60207
c NEW SOLUTION FOUND: 815215474679499 @ 86.096 @ #Dec. 60226
c NEW SOLUTION FOUND: 814027634679499 @ 86.432 @ #Dec. 60313
c NEW SOLUTION FOUND: 812839794679499 @ 86.994 @ #Dec. 60464
c NEW SOLUTION FOUND: 812763248631499 @ 87.479 @ #Dec. 60590
c NEW SOLUTION FOUND: 812724975607499 @ 87.686 @ #Dec. 60640
c NEW SOLUTION FOUND: 810540660727499 @ 88.088 @ #Dec. 60746
c NEW SOLUTION FOUND: 808241526775499 @ 88.142 @ #Dec. 60758
c NEW SOLUTION FOUND: 808164980727499 @ 89.358 @ #Dec. 61029
c NEW SOLUTION FOUND: 805865846775499 @ 89.579 @ #Dec. 61064
c NEW SOLUTION FOUND: 804754552823499 @ 90.335 @ #Dec. 61256
c NEW SOLUTION FOUND: 804716279799499 @ 90.458 @ #Dec. 61273
c NEW SOLUTION FOUND: 804660010589899 @ 92.118 @ #Dec. 61731
c NEW SOLUTION FOUND: 804545191517899 @ 92.346 @ #Dec. 61777
c NEW SOLUTION FOUND: 804506918493899 @ 92.414 @ #Dec. 61794
c NEW SOLUTION FOUND: 804430372445899 @ 92.555 @ #Dec. 61824
c NEW SOLUTION FOUND: 804392099421899 @ 92.764 @ #Dec. 61863
c NEW SOLUTION FOUND: 804353826397899 @ 93.091 @ #Dec. 61923
c NEW SOLUTION FOUND: 804330862583499 @ 93.503 @ #Dec. 62032
c NEW SOLUTION FOUND: 804292589559499 @ 93.616 @ #Dec. 62056
c NEW SOLUTION FOUND: 804254316535499 @ 94.029 @ #Dec. 62155
c NEW SOLUTION FOUND: 804216043511499 @ 94.176 @ #Dec. 62183
c NEW SOLUTION FOUND: 802207784541899 @ 94.438 @ #Dec. 62238
c NEW SOLUTION FOUND: 802131238493899 @ 94.588 @ #Dec. 62264
c NEW SOLUTION FOUND: 802092965469899 @ 94.899 @ #Dec. 62325
c NEW SOLUTION FOUND: 802054692445899 @ 95.053 @ #Dec. 62350
c NEW SOLUTION FOUND: 801993455607499 @ 95.38 @ #Dec. 62437
c NEW SOLUTION FOUND: 801955182583499 @ 95.569 @ #Dec. 62477
c NEW SOLUTION FOUND: 801916909559499 @ 95.872 @ #Dec. 62546
c NEW SOLUTION FOUND: 800943398493899 @ 96.075 @ #Dec. 62590
c NEW SOLUTION FOUND: 800882161655499 @ 96.303 @ #Dec. 62637
c NEW SOLUTION FOUND: 800843888631499 @ 96.567 @ #Dec. 62699
c NEW SOLUTION FOUND: 800805615607499 @ 96.692 @ #Dec. 62719
c NEW SOLUTION FOUND: 799908650589899 @ 96.942 @ #Dec. 62784
c NEW SOLUTION FOUND: 799793831517899 @ 97.112 @ #Dec. 62826
c NEW SOLUTION FOUND: 799732594679499 @ 97.398 @ #Dec. 62889
c NEW SOLUTION FOUND: 799656048631499 @ 97.719 @ #Dec. 62968
c NEW SOLUTION FOUND: 799617775607499 @ 97.837 @ #Dec. 62990
c NEW SOLUTION FOUND: 795157290589899 @ 98.059 @ #Dec. 63041
c NEW SOLUTION FOUND: 795096053751499 @ 98.297 @ #Dec. 63091
c NEW SOLUTION FOUND: 792858156637899 @ 98.504 @ #Dec. 63136
c NEW SOLUTION FOUND: 792720373751499 @ 98.698 @ #Dec. 63178
c NEW SOLUTION FOUND: 791746862685899 @ 99.48 @ #Dec. 63394
c NEW SOLUTION FOUND: 791609079799499 @ 99.715 @ #Dec. 63452
c NEW SOLUTION FOUND: 790897201553099 @ 101.18 @ #Dec. 63912
c NEW SOLUTION FOUND: 790774727876299 @ 101.37 @ #Dec. 63957
c NEW SOLUTION FOUND: 778154735607499 @ 101.77 @ #Dec. 64098
c NEW SOLUTION FOUND: 778078189559499 @ 101.92 @ #Dec. 64135
c NEW SOLUTION FOUND: 777158260727499 @ 102.19 @ #Dec. 64205
c NEW SOLUTION FOUND: 776966895607499 @ 102.34 @ #Dec. 64241
c NEW SOLUTION FOUND: 776928622583499 @ 102.48 @ #Dec. 64277
c NEW SOLUTION FOUND: 776852076535499 @ 102.85 @ #Dec. 64376
c NEW SOLUTION FOUND: 776031657565899 @ 103.08 @ #Dec. 64439
c NEW SOLUTION FOUND: 775993384541899 @ 103.22 @ #Dec. 64474
c NEW SOLUTION FOUND: 775955111517899 @ 103.39 @ #Dec. 64509
c NEW SOLUTION FOUND: 774882090589899 @ 103.58 @ #Dec. 64555
c NEW SOLUTION FOUND: 774805544541899 @ 103.72 @ #Dec. 64588
c NEW SOLUTION FOUND: 774767271517899 @ 103.88 @ #Dec. 64621
c NEW SOLUTION FOUND: 774744307703499 @ 104.1 @ #Dec. 64688
c NEW SOLUTION FOUND: 774706034679499 @ 104.26 @ #Dec. 64725
c NEW SOLUTION FOUND: 774667761655499 @ 104.49 @ #Dec. 64779
c NEW SOLUTION FOUND: 774591215607499 @ 104.7 @ #Dec. 64835
c NEW SOLUTION FOUND: 773541158493899 @ 104.94 @ #Dec. 64883
c NEW SOLUTION FOUND: 773518194679499 @ 105.19 @ #Dec. 64934
c NEW SOLUTION FOUND: 773403375607499 @ 105.43 @ #Dec. 64987
c NEW SOLUTION FOUND: 770054184541899 @ 105.67 @ #Dec. 65039
c NEW SOLUTION FOUND: 768904617565899 @ 105.82 @ #Dec. 65073
c NEW SOLUTION FOUND: 767755050589899 @ 106.01 @ #Dec. 65124
c NEW SOLUTION FOUND: 766643756637899 @ 106.16 @ #Dec. 65157
c NEW SOLUTION FOUND: 766505973751499 @ 106.45 @ #Dec. 65220
c NEW SOLUTION FOUND: 765532462685899 @ 106.65 @ #Dec. 65268
c NEW SOLUTION FOUND: 765394679799499 @ 106.88 @ #Dec. 65320
c NEW SOLUTION FOUND: 760449267703499 @ 107.51 @ #Dec. 65480
c NEW SOLUTION FOUND: 760410994679499 @ 107.75 @ #Dec. 65533
c NEW SOLUTION FOUND: 760296175607499 @ 107.97 @ #Dec. 65586
c NEW SOLUTION FOUND: 756809201655499 @ 108.22 @ #Dec. 65660
c NEW SOLUTION FOUND: 755659634679499 @ 108.35 @ #Dec. 65694
c NEW SOLUTION FOUND: 754510067703499 @ 108.49 @ #Dec. 65729
c NEW SOLUTION FOUND: 753398773751499 @ 108.68 @ #Dec. 65781
c NEW SOLUTION FOUND: 752287479799499 @ 108.88 @ #Dec. 65833
c NEW SOLUTION FOUND: 740376987606731 @ 109.63 @ #Dec. 66062
c NEW SOLUTION FOUND: 740273650441931 @ 109.67 @ #Dec. 66075
c NEW SOLUTION FOUND: 740258341232331 @ 109.74 @ #Dec. 66085
c NEW SOLUTION FOUND: 740258279366347 @ 110.02 @ #Dec. 66147
c NEW SOLUTION FOUND: 736987220319947 @ 110.65 @ #Dec. 66287
c NEW SOLUTION FOUND: 730433620319947 @ 110.78 @ #Dec. 66315
c NEW SOLUTION FOUND: 728373902483147 @ 110.95 @ #Dec. 66352
c NEW SOLUTION FOUND: 728368161529547 @ 111.15 @ #Dec. 66399
c NEW SOLUTION FOUND: 728259083411147 @ 114.51 @ #Dec. 67183
c NEW SOLUTION FOUND: 728096213343947 @ 114.74 @ #Dec. 67232
c NEW SOLUTION FOUND: 727224335507147 @ 114.91 @ #Dec. 67268
c NEW SOLUTION FOUND: 726036495507147 @ 115.15 @ #Dec. 67314
c NEW SOLUTION FOUND: 726030754553547 @ 115.37 @ #Dec. 67364
c NEW SOLUTION FOUND: 725998222483147 @ 116 @ #Dec. 67504
c NEW SOLUTION FOUND: 725992481529547 @ 116.26 @ #Dec. 67564
c NEW SOLUTION FOUND: 725883403411147 @ 117.1 @ #Dec. 67746
c NEW SOLUTION FOUND: 725730311315147 @ 117.24 @ #Dec. 67784
c NEW SOLUTION FOUND: 725724570361547 @ 117.49 @ #Dec. 67851
c NEW SOLUTION FOUND: 725692038291147 @ 118.42 @ #Dec. 68066
c NEW SOLUTION FOUND: 725686297337547 @ 118.64 @ #Dec. 68139
c NEW SOLUTION FOUND: 725577219219147 @ 120.16 @ #Dec. 68517
c NEW SOLUTION FOUND: 725571478265547 @ 120.39 @ #Dec. 68625
c NEW SOLUTION FOUND: 702610377055947 @ 121.05 @ #Dec. 68866
c NEW SOLUTION FOUND: 701805267295947 @ 121.21 @ #Dec. 68912
c NEW SOLUTION FOUND: 701613902175947 @ 121.36 @ #Dec. 68959
c NEW SOLUTION FOUND: 701422537055947 @ 121.51 @ #Dec. 69005
c NEW SOLUTION FOUND: 699745549459147 @ 121.68 @ #Dec. 69059
c NEW SOLUTION FOUND: 699362819219147 @ 121.84 @ #Dec. 69106
c NEW SOLUTION FOUND: 699357078265547 @ 122.13 @ #Dec. 69222
c NEW SOLUTION FOUND: 695311436127947 @ 122.82 @ #Dec. 69477
c NEW SOLUTION FOUND: 695273163103947 @ 123 @ #Dec. 69530
c NEW SOLUTION FOUND: 692072909151947 @ 123.18 @ #Dec. 69587
c NEW SOLUTION FOUND: 691996363103947 @ 123.33 @ #Dec. 69633
c NEW SOLUTION FOUND: 691277577363147 @ 123.68 @ #Dec. 69722
c NEW SOLUTION FOUND: 691201031315147 @ 123.8 @ #Dec. 69753
c NEW SOLUTION FOUND: 691086212243147 @ 123.93 @ #Dec. 69787
c NEW SOLUTION FOUND: 690051464339147 @ 124.11 @ #Dec. 69825
c NEW SOLUTION FOUND: 690013191315147 @ 124.23 @ #Dec. 69857
c NEW SOLUTION FOUND: 689974918291147 @ 124.39 @ #Dec. 69897
c NEW SOLUTION FOUND: 689936645267147 @ 124.5 @ #Dec. 69927
c NEW SOLUTION FOUND: 689930904313547 @ 125.05 @ #Dec. 70059
c NEW SOLUTION FOUND: 688838722756299 @ 128.53 @ #Dec. 70999
c NEW SOLUTION FOUND: 687650882756299 @ 128.63 @ #Dec. 71027
c NEW SOLUTION FOUND: 687574336708299 @ 128.79 @ #Dec. 71065
c NEW SOLUTION FOUND: 686616134852299 @ 128.91 @ #Dec. 71097
c NEW SOLUTION FOUND: 685428294852299 @ 129.02 @ #Dec. 71123
c NEW SOLUTION FOUND: 685351748804299 @ 129.15 @ #Dec. 71154
c NEW SOLUTION FOUND: 685336439594699 @ 129.26 @ #Dec. 71184
c NEW SOLUTION FOUND: 684240454852299 @ 129.4 @ #Dec. 71215
c NEW SOLUTION FOUND: 684117981175499 @ 129.96 @ #Dec. 71318
c NEW SOLUTION FOUND: 683205706948299 @ 130.46 @ #Dec. 71437
c NEW SOLUTION FOUND: 683129160900299 @ 130.58 @ #Dec. 71469
c NEW SOLUTION FOUND: 683075578666699 @ 130.7 @ #Dec. 71506
c NEW SOLUTION FOUND: 683006687223499 @ 130.83 @ #Dec. 71543
c NEW SOLUTION FOUND: 682960759594699 @ 131.53 @ #Dec. 71762
c NEW SOLUTION FOUND: 682287901482699 @ 132.81 @ #Dec. 72066
c NEW SOLUTION FOUND: 682211355434699 @ 132.95 @ #Dec. 72102
c NEW SOLUTION FOUND: 682157773201099 @ 133.08 @ #Dec. 72143
c NEW SOLUTION FOUND: 682088881757899 @ 133.23 @ #Dec. 72187
c NEW SOLUTION FOUND: 682073572548299 @ 140.58 @ #Dec. 73715
c NEW SOLUTION FOUND: 682067831594699 @ 142.28 @ #Dec. 74166
c NEW SOLUTION FOUND: 682015977414347 @ 145.04 @ #Dec. 74914
c NEW SOLUTION FOUND: 682004495507147 @ 145.18 @ #Dec. 74946
c NEW SOLUTION FOUND: 681998754553547 @ 145.64 @ #Dec. 75093
c NEW SOLUTION FOUND: 680585010912971 @ 152.59 @ #Dec. 76466
c NEW SOLUTION FOUND: 680575232941771 @ 152.87 @ #Dec. 76533
c NEW SOLUTION FOUND: 680383867821771 @ 153.03 @ #Dec. 76573
c NEW SOLUTION FOUND: 679234300845771 @ 153.17 @ #Dec. 76602
c NEW SOLUTION FOUND: 678515515104971 @ 153.35 @ #Dec. 76638
c NEW SOLUTION FOUND: 678324149984971 @ 153.57 @ #Dec. 76685
c NEW SOLUTION FOUND: 677174583008971 @ 153.71 @ #Dec. 76715
c NEW SOLUTION FOUND: 677168842055371 @ 154.16 @ #Dec. 76806
c NEW SOLUTION FOUND: 676724992941771 @ 154.38 @ #Dec. 76852
c NEW SOLUTION FOUND: 675823872941771 @ 154.54 @ #Dec. 76884
c NEW SOLUTION FOUND: 675785599917771 @ 154.68 @ #Dec. 76916
c NEW SOLUTION FOUND: 674597759917771 @ 154.81 @ #Dec. 76948
c NEW SOLUTION FOUND: 673448192941771 @ 154.95 @ #Dec. 76976
c NEW SOLUTION FOUND: 672614588128971 @ 155.1 @ #Dec. 77008
c NEW SOLUTION FOUND: 672538042080971 @ 155.23 @ #Dec. 77040
c NEW SOLUTION FOUND: 671388475104971 @ 155.36 @ #Dec. 77068
c NEW SOLUTION FOUND: 671382734151371 @ 155.64 @ #Dec. 77124
c NEW SOLUTION FOUND: 671225605037771 @ 158.11 @ #Dec. 77502
c NEW SOLUTION FOUND: 671219864084171 @ 158.32 @ #Dec. 77546
c NEW SOLUTION FOUND: 670353727200971 @ 158.54 @ #Dec. 77594
c NEW SOLUTION FOUND: 670347986247371 @ 158.76 @ #Dec. 77656
c NEW SOLUTION FOUND: 670200140177099 @ 164.12 @ #Dec. 78566
c NEW SOLUTION FOUND: 670146557943499 @ 164.33 @ #Dec. 78618
c NEW SOLUTION FOUND: 670140816989899 @ 164.65 @ #Dec. 78717
c NEW SOLUTION FOUND: 670037270109899 @ 165.88 @ #Dec. 78986
c NEW SOLUTION FOUND: 669960724061899 @ 166.05 @ #Dec. 79022
c NEW SOLUTION FOUND: 669907141828299 @ 166.19 @ #Dec. 79058
c NEW SOLUTION FOUND: 669901400874699 @ 166.49 @ #Dec. 79128
c NEW SOLUTION FOUND: 669165392273099 @ 166.72 @ #Dec. 79184
c NEW SOLUTION FOUND: 669088846225099 @ 166.87 @ #Dec. 79214
c NEW SOLUTION FOUND: 669035263991499 @ 167.03 @ #Dec. 79258
c NEW SOLUTION FOUND: 669029523037899 @ 167.26 @ #Dec. 79333
c NEW SOLUTION FOUND: 668966372548299 @ 175.4 @ #Dec. 80688
c NEW SOLUTION FOUND: 668960631594699 @ 175.63 @ #Dec. 80779
c NEW SOLUTION FOUND: 662522620845771 @ 177.36 @ #Dec. 81100
c NEW SOLUTION FOUND: 662446074797771 @ 177.49 @ #Dec. 81133
c NEW SOLUTION FOUND: 662331255725771 @ 177.62 @ #Dec. 81167
c NEW SOLUTION FOUND: 662254709677771 @ 177.75 @ #Dec. 81200
c NEW SOLUTION FOUND: 659707128749771 @ 177.97 @ #Dec. 81244
c NEW SOLUTION FOUND: 656430328749771 @ 178.1 @ #Dec. 81277
c NEW SOLUTION FOUND: 656296700845771 @ 178.27 @ #Dec. 81321
c NEW SOLUTION FOUND: 654360832941771 @ 178.42 @ #Dec. 81356
c NEW SOLUTION FOUND: 653019900845771 @ 178.56 @ #Dec. 81388
c NEW SOLUTION FOUND: 652301115104971 @ 178.79 @ #Dec. 81439
c NEW SOLUTION FOUND: 650960183008971 @ 178.94 @ #Dec. 81472
c NEW SOLUTION FOUND: 650954442055371 @ 179.3 @ #Dec. 81550
c NEW SOLUTION FOUND: 650741817056971 @ 179.85 @ #Dec. 81668
c NEW SOLUTION FOUND: 650713112288971 @ 179.96 @ #Dec. 81694
c NEW SOLUTION FOUND: 650698759904971 @ 180.06 @ #Dec. 81719
c NEW SOLUTION FOUND: 650647091322571 @ 180.17 @ #Dec. 81748
c NEW SOLUTION FOUND: 650638479892171 @ 180.28 @ #Dec. 81779
c NEW SOLUTION FOUND: 649587465952971 @ 180.41 @ #Dec. 81811
c NEW SOLUTION FOUND: 649535797370571 @ 180.53 @ #Dec. 81842
c NEW SOLUTION FOUND: 649527185940171 @ 180.65 @ #Dec. 81871
c NEW SOLUTION FOUND: 648639042068171 @ 180.89 @ #Dec. 81938
c NEW SOLUTION FOUND: 648587373485771 @ 181.02 @ #Dec. 81972
c NEW SOLUTION FOUND: 648578762055371 @ 181.13 @ #Dec. 82006
c NEW SOLUTION FOUND: 647579416698571 @ 181.25 @ #Dec. 82042
c NEW SOLUTION FOUND: 647570805268171 @ 181.36 @ #Dec. 82068
c NEW SOLUTION FOUND: 647542100500171 @ 181.47 @ #Dec. 82095
c NEW SOLUTION FOUND: 647527748116171 @ 181.57 @ #Dec. 82121
c NEW SOLUTION FOUND: 647476079533771 @ 181.68 @ #Dec. 82153
c NEW SOLUTION FOUND: 647467468103371 @ 181.79 @ #Dec. 82191
c NEW SOLUTION FOUND: 647233792941771 @ 182.17 @ #Dec. 82267
c NEW SOLUTION FOUND: 646400188128971 @ 182.32 @ #Dec. 82297
c NEW SOLUTION FOUND: 646323642080971 @ 182.45 @ #Dec. 82329
c NEW SOLUTION FOUND: 645174075104971 @ 182.58 @ #Dec. 82357
c NEW SOLUTION FOUND: 645168334151371 @ 182.84 @ #Dec. 82418
c NEW SOLUTION FOUND: 645117412679371 @ 186.38 @ #Dec. 83031
c NEW SOLUTION FOUND: 645108801248971 @ 186.48 @ #Dec. 83054
c NEW SOLUTION FOUND: 645080096480971 @ 186.58 @ #Dec. 83078
c NEW SOLUTION FOUND: 645065744096971 @ 186.68 @ #Dec. 83101
c NEW SOLUTION FOUND: 645014075514571 @ 186.78 @ #Dec. 83129
c NEW SOLUTION FOUND: 645005464084171 @ 186.9 @ #Dec. 83161
c NEW SOLUTION FOUND: 644139327200971 @ 187.54 @ #Dec. 83317
c NEW SOLUTION FOUND: 644133586247371 @ 187.76 @ #Dec. 83381
c NEW SOLUTION FOUND: 643746324061899 @ 193.87 @ #Dec. 84479
c NEW SOLUTION FOUND: 643692741828299 @ 194.01 @ #Dec. 84517
c NEW SOLUTION FOUND: 643687000874699 @ 194.28 @ #Dec. 84586
c NEW SOLUTION FOUND: 642972042436299 @ 196.01 @ #Dec. 84906
c NEW SOLUTION FOUND: 642928985284299 @ 196.12 @ #Dec. 84933
c NEW SOLUTION FOUND: 642891669085899 @ 196.24 @ #Dec. 84964
c NEW SOLUTION FOUND: 642877316701899 @ 196.34 @ #Dec. 84997
c NEW SOLUTION FOUND: 642868705271499 @ 196.45 @ #Dec. 85025
c NEW SOLUTION FOUND: 642862007492299 @ 196.61 @ #Dec. 85089
c NEW SOLUTION FOUND: 642853396061899 @ 196.74 @ #Dec. 85136
c NEW SOLUTION FOUND: 642838086852299 @ 196.88 @ #Dec. 85177
c NEW SOLUTION FOUND: 642823734468299 @ 196.99 @ #Dec. 85210
c NEW SOLUTION FOUND: 642815123037899 @ 197.11 @ #Dec. 85243
c NEW SOLUTION FOUND: 642751972548299 @ 202.81 @ #Dec. 86241
c NEW SOLUTION FOUND: 642746231594699 @ 203.05 @ #Dec. 86342
c NEW SOLUTION FOUND: 642737496432331 @ 213.39 @ #Dec. 88267
c NEW SOLUTION FOUND: 642737434566347 @ 213.5 @ #Dec. 88296
c NEW SOLUTION FOUND: 642700118367947 @ 213.62 @ #Dec. 88329
c NEW SOLUTION FOUND: 642685765983947 @ 213.73 @ #Dec. 88359
c NEW SOLUTION FOUND: 642677154553547 @ 213.85 @ #Dec. 88390
c Restart #6 #Var: 1556 #Dec: 91227 LB: 2181562368000 @ 227.62
c Restart #7 #Var: 1556 #Dec: 104461 LB: 2181562368000 @ 249.74
c Restart #8 #Var: 1556 #Dec: 118317 LB: 2181562368000 @ 282.39
c Restart #9 #Var: 1556 #Dec: 123115 LB: 2181562368000 @ 293.66
c CHANGE to MIS mode... 	UB: 642677154553547	MIS: 2181562441000	LPR: -2147483648 (0)	Diff: -1015.9
c Restart #0 #Var: 1556 #Dec: 128931 LB: 2181562368000 @ 303.09
c Restart #1 #Var: 1556 #Dec: 130785 LB: 2181562441000 @ 306.01
c Restart #2 #Var: 1556 #Dec: 132526 LB: 2181562441000 @ 310.08
c Restart #3 #Var: 1556 #Dec: 135473 LB: 2181562441000 @ 316.29
c Restart #4 #Var: 1552 #Dec: 137846 LB: 2191130697000 @ 322.38
c Restart #5 #Var: 1552 #Dec: 148470 LB: 2191130697000 @ 353.75
c Restart #6 #Var: 1552 #Dec: 165524 LB: 2191130697000 @ 380.76
c Restart #7 #Var: 1552 #Dec: 169286 LB: 2191130697000 @ 398.83
c Restart #8 #Var: 1552 #Dec: 179224 LB: 2191130697000 @ 418.6
c Restart #9 #Var: 1552 #Dec: 182864 LB: 2191130697000 @ 436.53
c Restart #10 #Var: 1552 #Dec: 188659 LB: 2191130697000 @ 457.53
c Restart #11 #Var: 1550 #Dec: 206161 LB: 2191130697000 @ 492.01
c Restart #12 #Var: 1550 #Dec: 213748 LB: 2191130697000 @ 512.86
c Restart #13 #Var: 1550 #Dec: 222230 LB: 2191130697000 @ 532.18
c Restart #14 #Var: 1550 #Dec: 229854 LB: 2191130697000 @ 557.99
c Restart #15 #Var: 1550 #Dec: 242929 LB: 2191130697000 @ 620.47
c Restart #16 #Var: 1550 #Dec: 256044 LB: 2191130697000 @ 645.45
c NEW SOLUTION FOUND: 637785439758422 @ 676.81 @ #Dec. 266075
c NEW SOLUTION FOUND: 637785435086422 @ 676.95 @ #Dec. 266112
c NEW SOLUTION FOUND: 637785433217622 @ 677.08 @ #Dec. 266142
c NEW SOLUTION FOUND: 637785432283222 @ 677.2 @ #Dec. 266172
c NEW SOLUTION FOUND: 637785402382422 @ 677.34 @ #Dec. 266208
c NEW SOLUTION FOUND: 637785387432022 @ 677.59 @ #Dec. 266278
c NEW SOLUTION FOUND: 637785379964122 @ 677.71 @ #Dec. 266313
c NEW SOLUTION FOUND: 637785379956822 @ 677.85 @ #Dec. 266347
c NEW SOLUTION FOUND: 637785352859222 @ 678 @ #Dec. 266388
c NEW SOLUTION FOUND: 637581476980822 @ 678.15 @ #Dec. 266427
c NEW SOLUTION FOUND: 637581357384922 @ 678.28 @ #Dec. 266458
c NEW SOLUTION FOUND: 637581237774422 @ 678.42 @ #Dec. 266489
c NEW SOLUTION FOUND: 637581120040022 @ 678.56 @ #Dec. 266521
c NEW SOLUTION FOUND: 637581118178522 @ 678.68 @ #Dec. 266550
c NEW SOLUTION FOUND: 637580821966422 @ 678.81 @ #Dec. 266582
c NEW SOLUTION FOUND: 637580639758422 @ 678.95 @ #Dec. 266612
c NEW SOLUTION FOUND: 637580572481622 @ 679.1 @ #Dec. 266650
c NEW SOLUTION FOUND: 637580557531222 @ 679.24 @ #Dec. 266683
c NEW SOLUTION FOUND: 637580552859222 @ 679.38 @ #Dec. 266718
c NEW SOLUTION FOUND: 637376497576022 @ 679.57 @ #Dec. 266777
c NEW SOLUTION FOUND: 637375899560022 @ 679.72 @ #Dec. 266812
c NEW SOLUTION FOUND: 637375779964122 @ 679.86 @ #Dec. 266854
c NEW SOLUTION FOUND: 637375779956822 @ 679.98 @ #Dec. 266898
c NEW SOLUTION FOUND: 637375752859222 @ 680.16 @ #Dec. 266941
c NEW SOLUTION FOUND: 637375752858278 @ 680.38 @ #Dec. 266994
c NEW SOLUTION FOUND: 637375752821778 @ 680.61 @ #Dec. 267042
c NEW SOLUTION FOUND: 637375748955154 @ 680.82 @ #Dec. 267099
c NEW SOLUTION FOUND: 637375745088530 @ 680.91 @ #Dec. 267136
c NEW SOLUTION FOUND: 637069304755730 @ 681.05 @ #Dec. 267194
c NEW SOLUTION FOUND: 637069289805330 @ 681.15 @ #Dec. 267234
c NEW SOLUTION FOUND: 637068706739730 @ 681.25 @ #Dec. 267276
c NEW SOLUTION FOUND: 637068691789330 @ 681.35 @ #Dec. 267317
c NEW SOLUTION FOUND: 637068587136530 @ 681.44 @ #Dec. 267361
c NEW SOLUTION FOUND: 637068572193430 @ 681.51 @ #Dec. 267404
c NEW SOLUTION FOUND: 637068572186130 @ 681.58 @ #Dec. 267453
c NEW SOLUTION FOUND: 637068545088530 @ 681.8 @ #Dec. 267516
c NEW SOLUTION FOUND: 636659091789330 @ 682.12 @ #Dec. 267595
c NEW SOLUTION FOUND: 636658972193430 @ 682.2 @ #Dec. 267640
c NEW SOLUTION FOUND: 636658972186130 @ 682.27 @ #Dec. 267695
c NEW SOLUTION FOUND: 636658945088530 @ 682.4 @ #Dec. 267752
c NEW SOLUTION FOUND: 636556631987730 @ 682.55 @ #Dec. 267821
c NEW SOLUTION FOUND: 636556572193430 @ 682.66 @ #Dec. 267871
c NEW SOLUTION FOUND: 636556572186130 @ 682.73 @ #Dec. 267926
c NEW SOLUTION FOUND: 636556545088530 @ 682.82 @ #Dec. 267976
c NEW SOLUTION FOUND: 635430231987730 @ 682.96 @ #Dec. 268047
c NEW SOLUTION FOUND: 635430172193430 @ 683.08 @ #Dec. 268101
c NEW SOLUTION FOUND: 635430172186130 @ 683.16 @ #Dec. 268156
c NEW SOLUTION FOUND: 635430145088530 @ 683.33 @ #Dec. 268214
c NEW SOLUTION FOUND: 635020631987730 @ 683.65 @ #Dec. 268298
c NEW SOLUTION FOUND: 635020572193430 @ 683.77 @ #Dec. 268350
c NEW SOLUTION FOUND: 635020572186130 @ 683.85 @ #Dec. 268405
c NEW SOLUTION FOUND: 635020545088530 @ 683.97 @ #Dec. 268459
c NEW SOLUTION FOUND: 634918231987730 @ 684.12 @ #Dec. 268533
c NEW SOLUTION FOUND: 634918172193430 @ 684.23 @ #Dec. 268584
c NEW SOLUTION FOUND: 634918172186130 @ 684.3 @ #Dec. 268639
c NEW SOLUTION FOUND: 634918145088530 @ 684.39 @ #Dec. 268691
c NEW SOLUTION FOUND: 634611031987730 @ 684.54 @ #Dec. 268767
c NEW SOLUTION FOUND: 634610972193430 @ 684.65 @ #Dec. 268819
c NEW SOLUTION FOUND: 634610972186130 @ 684.73 @ #Dec. 268874
c NEW SOLUTION FOUND: 634610945088530 @ 684.86 @ #Dec. 268928
c NEW SOLUTION FOUND: 634508631987730 @ 685.01 @ #Dec. 269003
c NEW SOLUTION FOUND: 634508572193430 @ 685.11 @ #Dec. 269055
c NEW SOLUTION FOUND: 634508572186130 @ 685.19 @ #Dec. 269110
c NEW SOLUTION FOUND: 634508545088530 @ 685.27 @ #Dec. 269164
c NEW SOLUTION FOUND: 631743831987730 @ 685.42 @ #Dec. 269252
c NEW SOLUTION FOUND: 631743772193430 @ 685.54 @ #Dec. 269315
c NEW SOLUTION FOUND: 631743772186130 @ 685.62 @ #Dec. 269380
c NEW SOLUTION FOUND: 631743745088530 @ 685.8 @ #Dec. 269446
c NEW SOLUTION FOUND: 631335091635730 @ 686.12 @ #Dec. 269542
c NEW SOLUTION FOUND: 631334852429330 @ 686.22 @ #Dec. 269587
c NEW SOLUTION FOUND: 631334844954130 @ 686.32 @ #Dec. 269633
c NEW SOLUTION FOUND: 631334830003730 @ 686.41 @ #Dec. 269680
c NEW SOLUTION FOUND: 631334231987730 @ 686.51 @ #Dec. 269729
c NEW SOLUTION FOUND: 631334172193430 @ 686.66 @ #Dec. 269790
c NEW SOLUTION FOUND: 631334172186130 @ 686.86 @ #Dec. 269858
c NEW SOLUTION FOUND: 631334145088530 @ 686.98 @ #Dec. 269917
c NEW SOLUTION FOUND: 631232691635730 @ 687.28 @ #Dec. 270004
c NEW SOLUTION FOUND: 631232452429330 @ 687.38 @ #Dec. 270049
c NEW SOLUTION FOUND: 631232444954130 @ 687.48 @ #Dec. 270095
c NEW SOLUTION FOUND: 631232430003730 @ 687.58 @ #Dec. 270142
c NEW SOLUTION FOUND: 631232130995730 @ 687.68 @ #Dec. 270190
c NEW SOLUTION FOUND: 631231831987730 @ 687.77 @ #Dec. 270238
c NEW SOLUTION FOUND: 631231772193430 @ 687.89 @ #Dec. 270308
c NEW SOLUTION FOUND: 631231772186130 @ 687.97 @ #Dec. 270376
c NEW SOLUTION FOUND: 631231745088530 @ 688.05 @ #Dec. 270436
c NEW SOLUTION FOUND: 631184536397330 @ 688.45 @ #Dec. 270548
c NEW SOLUTION FOUND: 631184237389330 @ 688.82 @ #Dec. 270603
c NEW SOLUTION FOUND: 631183998182930 @ 689.09 @ #Dec. 270652
c NEW SOLUTION FOUND: 631183990707730 @ 689.36 @ #Dec. 270704
c NEW SOLUTION FOUND: 631183930913430 @ 689.64 @ #Dec. 270772
c NEW SOLUTION FOUND: 631183930906130 @ 689.89 @ #Dec. 270849
c NEW SOLUTION FOUND: 631183903808530 @ 690.15 @ #Dec. 270913
c NEW SOLUTION FOUND: 631183902990930 @ 690.53 @ #Dec. 271086
c NEW SOLUTION FOUND: 631183902947130 @ 691.14 @ #Dec. 271486
c NEW SOLUTION FOUND: 631183902815730 @ 693.68 @ #Dec. 273178
c NEW SOLUTION FOUND: 631183902801130 @ 694.06 @ #Dec. 273263
c NEW SOLUTION FOUND: 631183902523730 @ 694.99 @ #Dec. 273717
c NEW SOLUTION FOUND: 631183902509130 @ 695.37 @ #Dec. 273810
c NEW SOLUTION FOUND: 628989387787430 @ 703.03 @ #Dec. 276574
c NEW SOLUTION FOUND: 627350987787430 @ 703.51 @ #Dec. 276659
c NEW SOLUTION FOUND: 627349791755430 @ 704.22 @ #Dec. 276753
c NEW SOLUTION FOUND: 627349790346530 @ 704.83 @ #Dec. 276844
c NEW SOLUTION FOUND: 627349789419430 @ 705.32 @ #Dec. 276923
c NEW SOLUTION FOUND: 627349782871330 @ 705.82 @ #Dec. 277008
c NEW SOLUTION FOUND: 627349781944230 @ 706.31 @ #Dec. 277090
c NEW SOLUTION FOUND: 627349772600230 @ 706.79 @ #Dec. 277171
c NEW SOLUTION FOUND: 627349698775330 @ 707.29 @ #Dec. 277261
c NEW SOLUTION FOUND: 627349697928530 @ 707.81 @ #Dec. 277367
c NEW SOLUTION FOUND: 627349697899330 @ 708.31 @ #Dec. 277464
c NEW SOLUTION FOUND: 627349697848230 @ 708.81 @ #Dec. 277566
c NEW SOLUTION FOUND: 627349694103330 @ 709.35 @ #Dec. 277680
c NEW SOLUTION FOUND: 627349686628130 @ 709.87 @ #Dec. 277775
c NEW SOLUTION FOUND: 627349683824930 @ 710.38 @ #Dec. 277867
c NEW SOLUTION FOUND: 627349682897830 @ 710.88 @ #Dec. 277955
c NEW SOLUTION FOUND: 627286190614930 @ 711.4 @ #Dec. 278146
c NEW SOLUTION FOUND: 627286178934930 @ 711.47 @ #Dec. 278179
c NEW SOLUTION FOUND: 627284683894930 @ 711.54 @ #Dec. 278213
c NEW SOLUTION FOUND: 627284660534930 @ 711.62 @ #Dec. 278248
c NEW SOLUTION FOUND: 627284654694930 @ 711.71 @ #Dec. 278284
c NEW SOLUTION FOUND: 627284651774930 @ 711.79 @ #Dec. 278321
c NEW SOLUTION FOUND: 627284650314930 @ 711.88 @ #Dec. 278359
c NEW SOLUTION FOUND: 627284649584930 @ 711.96 @ #Dec. 278398
c NEW SOLUTION FOUND: 627283902064930 @ 712.35 @ #Dec. 278489
c NEW SOLUTION FOUND: 627283901159730 @ 712.8 @ #Dec. 278597
c NEW SOLUTION FOUND: 627283901137830 @ 713.25 @ #Dec. 278702
c NEW SOLUTION FOUND: 627256990439730 @ 713.96 @ #Dec. 279036
c NEW SOLUTION FOUND: 627254000359730 @ 714.39 @ #Dec. 279131
c NEW SOLUTION FOUND: 627254000337830 @ 714.85 @ #Dec. 279240
c NEW SOLUTION FOUND: 627230087165730 @ 715.35 @ #Dec. 279394
c NEW SOLUTION FOUND: 627230079719730 @ 715.83 @ #Dec. 279504
c NEW SOLUTION FOUND: 627230079697830 @ 716.28 @ #Dec. 279612
c NEW SOLUTION FOUND: 627218126845730 @ 716.8 @ #Dec. 279778
c NEW SOLUTION FOUND: 627218119377830 @ 717.27 @ #Dec. 279892
c NEW SOLUTION FOUND: 627212139239730 @ 717.79 @ #Dec. 280068
c NEW SOLUTION FOUND: 627212139217830 @ 718.27 @ #Dec. 280204
c NEW SOLUTION FOUND: 626924181501730 @ 718.99 @ #Dec. 280459
c NEW SOLUTION FOUND: 626822155261730 @ 719.39 @ #Dec. 280548
c NEW SOLUTION FOUND: 626821968381730 @ 719.79 @ #Dec. 280636
c NEW SOLUTION FOUND: 626821874941730 @ 720.18 @ #Dec. 280723
c NEW SOLUTION FOUND: 626821828221730 @ 720.57 @ #Dec. 280803
c NEW SOLUTION FOUND: 626821781501730 @ 720.96 @ #Dec. 280882
c NEW SOLUTION FOUND: 626821778494130 @ 721.59 @ #Dec. 281089
c NEW SOLUTION FOUND: 626821777764130 @ 722.11 @ #Dec. 281201
c NEW SOLUTION FOUND: 626821774055730 @ 722.54 @ #Dec. 281299
c NEW SOLUTION FOUND: 626821774033830 @ 723.11 @ #Dec. 281473
c NEW SOLUTION FOUND: 626726093335330 @ 724.07 @ #Dec. 281754
c NEW SOLUTION FOUND: 626726092400930 @ 724.54 @ #Dec. 281868
c NEW SOLUTION FOUND: 626726091495730 @ 724.99 @ #Dec. 281977
c NEW SOLUTION FOUND: 626726091473830 @ 725.43 @ #Dec. 282084
c NEW SOLUTION FOUND: 626488541719330 @ 726.89 @ #Dec. 282444
c NEW SOLUTION FOUND: 626488540784930 @ 727.43 @ #Dec. 282546
c NEW SOLUTION FOUND: 626488539879730 @ 727.96 @ #Dec. 282643
c NEW SOLUTION FOUND: 626488539857830 @ 728.49 @ #Dec. 282738
c NEW SOLUTION FOUND: 626488480048930 @ 729.64 @ #Dec. 282923
c NEW SOLUTION FOUND: 626488362314530 @ 730.28 @ #Dec. 283071
c NEW SOLUTION FOUND: 626488361380130 @ 730.82 @ #Dec. 283173
c NEW SOLUTION FOUND: 626488360474930 @ 731.34 @ #Dec. 283270
c NEW SOLUTION FOUND: 626488360453030 @ 731.86 @ #Dec. 283365
c NEW SOLUTION FOUND: 626488123108130 @ 733.03 @ #Dec. 283566
c NEW SOLUTION FOUND: 626488122173730 @ 733.56 @ #Dec. 283671
c NEW SOLUTION FOUND: 626488121268530 @ 734.09 @ #Dec. 283771
c NEW SOLUTION FOUND: 626488121246630 @ 734.61 @ #Dec. 283869
c NEW SOLUTION FOUND: 626487944637730 @ 735.93 @ #Dec. 284099
c NEW SOLUTION FOUND: 626487944170530 @ 736.4 @ #Dec. 284205
c NEW SOLUTION FOUND: 626487943790930 @ 736.85 @ #Dec. 284309
c NEW SOLUTION FOUND: 626487943776330 @ 737.33 @ #Dec. 284432
c NEW SOLUTION FOUND: 626487729258530 @ 739 @ #Dec. 284665
c NEW SOLUTION FOUND: 626487725520930 @ 739.45 @ #Dec. 284758
c NEW SOLUTION FOUND: 626487725061030 @ 739.88 @ #Dec. 284855
c NEW SOLUTION FOUND: 626487725053730 @ 740.35 @ #Dec. 284973
c NEW SOLUTION FOUND: 626487717585830 @ 740.87 @ #Dec. 285068
c NEW SOLUTION FOUND: 626487710110630 @ 741.42 @ #Dec. 285203
c NEW SOLUTION FOUND: 626487702635430 @ 741.96 @ #Dec. 285327
c NEW SOLUTION FOUND: 626487702628130 @ 743.42 @ #Dec. 285499
c NEW SOLUTION FOUND: 626487676464930 @ 751.65 @ #Dec. 288584
c NEW SOLUTION FOUND: 626487675530530 @ 752.22 @ #Dec. 288687
c NEW SOLUTION FOUND: 626487675063330 @ 752.77 @ #Dec. 288784
c NEW SOLUTION FOUND: 626487674683730 @ 753.32 @ #Dec. 288883
c NEW SOLUTION FOUND: 626487674669130 @ 753.85 @ #Dec. 288976
c NEW SOLUTION FOUND: 625705859786530 @ 755.95 @ #Dec. 289542
c NEW SOLUTION FOUND: 625296259786530 @ 756.5 @ #Dec. 289645
c NEW SOLUTION FOUND: 625296199984930 @ 757.12 @ #Dec. 289757
c NEW SOLUTION FOUND: 625296020580130 @ 757.74 @ #Dec. 289870
c NEW SOLUTION FOUND: 625295960785830 @ 758.32 @ #Dec. 289993
c NEW SOLUTION FOUND: 625295960778530 @ 759.08 @ #Dec. 290201
c NEW SOLUTION FOUND: 625295900984230 @ 759.69 @ #Dec. 290328
c NEW SOLUTION FOUND: 625295900976930 @ 760.42 @ #Dec. 290537
c NEW SOLUTION FOUND: 625295841182630 @ 761 @ #Dec. 290662
c NEW SOLUTION FOUND: 625295661777830 @ 761.92 @ #Dec. 290969
c NEW SOLUTION FOUND: 625295661770530 @ 762.9 @ #Dec. 291186
c NEW SOLUTION FOUND: 625295601976230 @ 763.5 @ #Dec. 291302
c NEW SOLUTION FOUND: 625295601968930 @ 764.32 @ #Dec. 291476
c NEW SOLUTION FOUND: 625295482373030 @ 764.98 @ #Dec. 291618
c NEW SOLUTION FOUND: 625295482365730 @ 765.77 @ #Dec. 291791
c NEW SOLUTION FOUND: 625295422571430 @ 766.42 @ #Dec. 291929
c NEW SOLUTION FOUND: 625295422564130 @ 767.19 @ #Dec. 292118
c NEW SOLUTION FOUND: 625295394999330 @ 767.88 @ #Dec. 292308
c NEW SOLUTION FOUND: 625295394619730 @ 768.42 @ #Dec. 292430
c NEW SOLUTION FOUND: 625295394605130 @ 768.93 @ #Dec. 292538
c NEW SOLUTION FOUND: 625256610506530 @ 769.61 @ #Dec. 292668
c NEW SOLUTION FOUND: 625256550704930 @ 770.22 @ #Dec. 292778
c NEW SOLUTION FOUND: 625256371300130 @ 770.88 @ #Dec. 292889
c NEW SOLUTION FOUND: 625256311505830 @ 771.46 @ #Dec. 293019
c NEW SOLUTION FOUND: 625256311498530 @ 772.06 @ #Dec. 293183
c NEW SOLUTION FOUND: 625256251704230 @ 772.77 @ #Dec. 293341
c NEW SOLUTION FOUND: 625256251696930 @ 773.37 @ #Dec. 293512
c NEW SOLUTION FOUND: 625256191902630 @ 773.98 @ #Dec. 293651
c NEW SOLUTION FOUND: 625255952696230 @ 774.71 @ #Dec. 293885
c NEW SOLUTION FOUND: 625255952688930 @ 775.5 @ #Dec. 294058
c NEW SOLUTION FOUND: 625255833093030 @ 776.11 @ #Dec. 294192
c NEW SOLUTION FOUND: 625255833085730 @ 776.9 @ #Dec. 294364
c NEW SOLUTION FOUND: 625255773291430 @ 777.47 @ #Dec. 294480
c NEW SOLUTION FOUND: 625255773284130 @ 778.27 @ #Dec. 294668
c NEW SOLUTION FOUND: 625255750865830 @ 778.88 @ #Dec. 294805
c NEW SOLUTION FOUND: 625255750858530 @ 779.46 @ #Dec. 294919
c NEW SOLUTION FOUND: 625255746186530 @ 780.02 @ #Dec. 295040
c NEW SOLUTION FOUND: 625255745719330 @ 780.55 @ #Dec. 295150
c NEW SOLUTION FOUND: 625255745339730 @ 781.09 @ #Dec. 295271
c NEW SOLUTION FOUND: 625255745325130 @ 781.61 @ #Dec. 295386
c NEW SOLUTION FOUND: 625143167690530 @ 782.67 @ #Dec. 295669
c NEW SOLUTION FOUND: 625143107888930 @ 783.31 @ #Dec. 295789
c NEW SOLUTION FOUND: 625142928484130 @ 783.95 @ #Dec. 295905
c NEW SOLUTION FOUND: 625142879895330 @ 784.57 @ #Dec. 296038
c NEW SOLUTION FOUND: 625142872420130 @ 785.15 @ #Dec. 296157
c NEW SOLUTION FOUND: 625142868689830 @ 785.71 @ #Dec. 296282
c NEW SOLUTION FOUND: 625142868682530 @ 786.32 @ #Dec. 296438
c NEW SOLUTION FOUND: 625142820093730 @ 787.13 @ #Dec. 296585
c NEW SOLUTION FOUND: 625142812618530 @ 787.7 @ #Dec. 296704
c NEW SOLUTION FOUND: 625142808888230 @ 788.26 @ #Dec. 296829
c NEW SOLUTION FOUND: 625142808880930 @ 788.86 @ #Dec. 296990
c NEW SOLUTION FOUND: 625142760292130 @ 789.47 @ #Dec. 297128
c NEW SOLUTION FOUND: 625142752816930 @ 790.05 @ #Dec. 297246
c NEW SOLUTION FOUND: 625142749086630 @ 790.61 @ #Dec. 297371
c NEW SOLUTION FOUND: 625142521085730 @ 791.34 @ #Dec. 297579
c NEW SOLUTION FOUND: 625142513610530 @ 791.92 @ #Dec. 297697
c NEW SOLUTION FOUND: 625142509880230 @ 792.55 @ #Dec. 297822
c NEW SOLUTION FOUND: 625142509872930 @ 793.4 @ #Dec. 297990
c NEW SOLUTION FOUND: 625142334205730 @ 794.09 @ #Dec. 298144
c NEW SOLUTION FOUND: 625142330475430 @ 794.72 @ #Dec. 298270
c NEW SOLUTION FOUND: 625142330468130 @ 795.48 @ #Dec. 298437
c NEW SOLUTION FOUND: 625142304304930 @ 796.13 @ #Dec. 298588
c NEW SOLUTION FOUND: 625142303370530 @ 796.72 @ #Dec. 298714
c NEW SOLUTION FOUND: 625142302903330 @ 797.29 @ #Dec. 298832
c NEW SOLUTION FOUND: 625142302523730 @ 797.87 @ #Dec. 298956
c NEW SOLUTION FOUND: 625142302509130 @ 798.47 @ #Dec. 299089
c NEW SOLUTION FOUND: 625087691466530 @ 809.24 @ #Dec. 302351
c NEW SOLUTION FOUND: 625087631664930 @ 809.86 @ #Dec. 302458
c NEW SOLUTION FOUND: 625087452260130 @ 810.52 @ #Dec. 302566
c NEW SOLUTION FOUND: 625087422366630 @ 811.1 @ #Dec. 302686
c NEW SOLUTION FOUND: 625087422359330 @ 811.73 @ #Dec. 302824
c NEW SOLUTION FOUND: 625087392465830 @ 812.3 @ #Dec. 302947
c NEW SOLUTION FOUND: 625087392458530 @ 812.94 @ #Dec. 303112
c NEW SOLUTION FOUND: 625087332664230 @ 813.51 @ #Dec. 303241
c NEW SOLUTION FOUND: 625087332656930 @ 814.15 @ #Dec. 303417
c NEW SOLUTION FOUND: 625087272862630 @ 814.72 @ #Dec. 303541
c NEW SOLUTION FOUND: 625087093457830 @ 815.44 @ #Dec. 303743
c NEW SOLUTION FOUND: 625087093450530 @ 816.37 @ #Dec. 303916
c NEW SOLUTION FOUND: 625087033656230 @ 816.96 @ #Dec. 304032
c NEW SOLUTION FOUND: 625087033648930 @ 817.86 @ #Dec. 304205
c NEW SOLUTION FOUND: 625086827146530 @ 818.49 @ #Dec. 304339
c NEW SOLUTION FOUND: 625086826679330 @ 819.05 @ #Dec. 304450
c NEW SOLUTION FOUND: 625086826299730 @ 819.69 @ #Dec. 304617
c NEW SOLUTION FOUND: 625086826285130 @ 820.25 @ #Dec. 304750
c NEW SOLUTION FOUND: 625054521246630 @ 821.57 @ #Dec. 305033
c NEW SOLUTION FOUND: 624849721246630 @ 822.14 @ #Dec. 305154
c NEW SOLUTION FOUND: 624849362437030 @ 822.91 @ #Dec. 305398
c NEW SOLUTION FOUND: 624849362429730 @ 823.86 @ #Dec. 305557
c NEW SOLUTION FOUND: 624849302635430 @ 824.51 @ #Dec. 305673
c NEW SOLUTION FOUND: 624849302628130 @ 825.48 @ #Dec. 305853
c NEW SOLUTION FOUND: 624849280202530 @ 826.12 @ #Dec. 305973
c NEW SOLUTION FOUND: 624849275063330 @ 826.73 @ #Dec. 306086
c NEW SOLUTION FOUND: 624849274712930 @ 827.35 @ #Dec. 306220
c NEW SOLUTION FOUND: 624849274683730 @ 827.93 @ #Dec. 306333
c NEW SOLUTION FOUND: 624849274669130 @ 828.5 @ #Dec. 306442
c NEW SOLUTION FOUND: 620125567697830 @ 830.09 @ #Dec. 306923
c NEW SOLUTION FOUND: 620023167697830 @ 830.19 @ #Dec. 306962
c NEW SOLUTION FOUND: 620023107896230 @ 831.3 @ #Dec. 307388
c NEW SOLUTION FOUND: 620022988293030 @ 832.09 @ #Dec. 307700
c NEW SOLUTION FOUND: 620022749086630 @ 832.86 @ #Dec. 308015
c NEW SOLUTION FOUND: 620022577149730 @ 833.87 @ #Dec. 308530
c NEW SOLUTION FOUND: 620022573412130 @ 834.42 @ #Dec. 308666
c NEW SOLUTION FOUND: 620022572477730 @ 834.95 @ #Dec. 308801
c NEW SOLUTION FOUND: 620022572010530 @ 835.47 @ #Dec. 308927
c NEW SOLUTION FOUND: 620022571660130 @ 835.99 @ #Dec. 309047
c NEW SOLUTION FOUND: 620022571630930 @ 836.48 @ #Dec. 309167
c NEW SOLUTION FOUND: 620022571616330 @ 836.98 @ #Dec. 309284
c NEW SOLUTION FOUND: 620022308042530 @ 837.53 @ #Dec. 309424
c NEW SOLUTION FOUND: 620022304304930 @ 838.07 @ #Dec. 309554
c NEW SOLUTION FOUND: 620022302903330 @ 838.6 @ #Dec. 309685
c NEW SOLUTION FOUND: 620022302552930 @ 839.11 @ #Dec. 309811
c NEW SOLUTION FOUND: 620022302523730 @ 839.6 @ #Dec. 309929
c NEW SOLUTION FOUND: 620022302509130 @ 840.09 @ #Dec. 310045
c NEW SOLUTION FOUND: 619934640849830 @ 845.63 @ #Dec. 311271
c NEW SOLUTION FOUND: 619934349317030 @ 846.28 @ #Dec. 311412
c NEW SOLUTION FOUND: 619934349309730 @ 846.89 @ #Dec. 311509
c NEW SOLUTION FOUND: 619934345572130 @ 847.45 @ #Dec. 311611
c NEW SOLUTION FOUND: 619934344170530 @ 848.04 @ #Dec. 311715
c NEW SOLUTION FOUND: 619934343790930 @ 848.59 @ #Dec. 311815
c NEW SOLUTION FOUND: 619934076523330 @ 849.29 @ #Dec. 311929
c NEW SOLUTION FOUND: 619934076472230 @ 849.89 @ #Dec. 312022
c NEW SOLUTION FOUND: 619934076464930 @ 850.38 @ #Dec. 312119
c NEW SOLUTION FOUND: 619934074712930 @ 850.91 @ #Dec. 312217
c NEW SOLUTION FOUND: 619934074683730 @ 851.46 @ #Dec. 312314
c NEW SOLUTION FOUND: 619934074669130 @ 852.64 @ #Dec. 312468
c NEW SOLUTION FOUND: 619832539967330 @ 854.76 @ #Dec. 312905
c NEW SOLUTION FOUND: 619832539857830 @ 855.26 @ #Dec. 313013
c NEW SOLUTION FOUND: 619832480165730 @ 856 @ #Dec. 313210
c NEW SOLUTION FOUND: 619832480056230 @ 856.51 @ #Dec. 313324
c NEW SOLUTION FOUND: 619832420364130 @ 857.25 @ #Dec. 313531
c NEW SOLUTION FOUND: 619832420254630 @ 857.75 @ #Dec. 313639
c NEW SOLUTION FOUND: 619832360453030 @ 858.47 @ #Dec. 313834
c NEW SOLUTION FOUND: 619832121246630 @ 859.3 @ #Dec. 314084
c NEW SOLUTION FOUND: 619831945572130 @ 860.24 @ #Dec. 314378
c NEW SOLUTION FOUND: 619831944170530 @ 860.87 @ #Dec. 314509
c NEW SOLUTION FOUND: 619831943790930 @ 861.39 @ #Dec. 314624
c NEW SOLUTION FOUND: 619831943776330 @ 862.2 @ #Dec. 314795
c NEW SOLUTION FOUND: 619831684056930 @ 862.74 @ #Dec. 314911
c NEW SOLUTION FOUND: 619831676581730 @ 863.27 @ #Dec. 315016
c NEW SOLUTION FOUND: 619831676464930 @ 863.82 @ #Dec. 315131
c NEW SOLUTION FOUND: 619831675063330 @ 864.36 @ #Dec. 315245
c NEW SOLUTION FOUND: 619831674683730 @ 864.91 @ #Dec. 315362
c NEW SOLUTION FOUND: 619831674669130 @ 865.54 @ #Dec. 315490
c NEW SOLUTION FOUND: 619729673468130 @ 866.16 @ #Dec. 315643
c NEW SOLUTION FOUND: 619729673000930 @ 866.64 @ #Dec. 315747
c NEW SOLUTION FOUND: 619729665992930 @ 867.15 @ #Dec. 315859
c NEW SOLUTION FOUND: 619729665525730 @ 867.66 @ #Dec. 315969
c NEW SOLUTION FOUND: 619729662255330 @ 868.18 @ #Dec. 316083
c NEW SOLUTION FOUND: 619729661788130 @ 868.69 @ #Dec. 316190
c NEW SOLUTION FOUND: 619729661671330 @ 869.24 @ #Dec. 316308
c NEW SOLUTION FOUND: 619729661445030 @ 869.79 @ #Dec. 316442
c NEW SOLUTION FOUND: 619729605373730 @ 870.44 @ #Dec. 316617
c NEW SOLUTION FOUND: 619729601643430 @ 870.96 @ #Dec. 316739
c NEW SOLUTION FOUND: 619729482040230 @ 871.65 @ #Dec. 316951
c NEW SOLUTION FOUND: 619729287677730 @ 872.41 @ #Dec. 317193
c NEW SOLUTION FOUND: 619729280202530 @ 872.97 @ #Dec. 317312
c NEW SOLUTION FOUND: 619729276464930 @ 873.52 @ #Dec. 317427
c NEW SOLUTION FOUND: 619729275530530 @ 874.07 @ #Dec. 317539
c NEW SOLUTION FOUND: 619729275063330 @ 874.59 @ #Dec. 317649
c NEW SOLUTION FOUND: 619729274683730 @ 875.11 @ #Dec. 317759
c NEW SOLUTION FOUND: 619729274669130 @ 875.61 @ #Dec. 317863
c NEW SOLUTION FOUND: 619729274318730 @ 876.55 @ #Dec. 318097
c NEW SOLUTION FOUND: 605532512739130 @ 878.38 @ #Dec. 318517
c NEW SOLUTION FOUND: 605430112739130 @ 879.09 @ #Dec. 318667
c NEW SOLUTION FOUND: 605327712739130 @ 879.64 @ #Dec. 318788
c NEW SOLUTION FOUND: 605327712731830 @ 880.26 @ #Dec. 318950
c NEW SOLUTION FOUND: 605277021562930 @ 880.97 @ #Dec. 319158
c NEW SOLUTION FOUND: 605174621562930 @ 881.53 @ #Dec. 319261
c NEW SOLUTION FOUND: 605174621095730 @ 882.09 @ #Dec. 319385
c NEW SOLUTION FOUND: 605174620657730 @ 882.65 @ #Dec. 319509
c NEW SOLUTION FOUND: 605174620635830 @ 883.2 @ #Dec. 319628
c NEW SOLUTION FOUND: 605174501959730 @ 884.13 @ #Dec. 319970
c NEW SOLUTION FOUND: 605174501492530 @ 884.74 @ #Dec. 320101
c NEW SOLUTION FOUND: 605174501054530 @ 885.34 @ #Dec. 320234
c NEW SOLUTION FOUND: 605174501032630 @ 885.93 @ #Dec. 320359
c NEW SOLUTION FOUND: 605174306670130 @ 886.86 @ #Dec. 320601
c NEW SOLUTION FOUND: 605174299194930 @ 887.48 @ #Dec. 320735
c NEW SOLUTION FOUND: 605174295457330 @ 888.1 @ #Dec. 320883
c NEW SOLUTION FOUND: 605174294522930 @ 888.69 @ #Dec. 321012
c NEW SOLUTION FOUND: 605174294055730 @ 889.29 @ #Dec. 321151
c NEW SOLUTION FOUND: 605174293676130 @ 889.86 @ #Dec. 321276
c NEW SOLUTION FOUND: 605174293661530 @ 890.54 @ #Dec. 321423
c NEW SOLUTION FOUND: 605119264015030 @ 896.59 @ #Dec. 322617
c NEW SOLUTION FOUND: 605119099553330 @ 897.46 @ #Dec. 322912
c NEW SOLUTION FOUND: 605119092078130 @ 898.08 @ #Dec. 323043
c NEW SOLUTION FOUND: 605119088340530 @ 898.71 @ #Dec. 323183
c NEW SOLUTION FOUND: 605119087406130 @ 899.3 @ #Dec. 323308
c NEW SOLUTION FOUND: 605119086938930 @ 899.88 @ #Dec. 323434
c NEW SOLUTION FOUND: 605119086588530 @ 900.45 @ #Dec. 323556
c NEW SOLUTION FOUND: 605119086559330 @ 901.01 @ #Dec. 323678
c NEW SOLUTION FOUND: 605118830446130 @ 901.61 @ #Dec. 323812
c NEW SOLUTION FOUND: 605118822970930 @ 902.23 @ #Dec. 323947
c NEW SOLUTION FOUND: 605118819233330 @ 902.83 @ #Dec. 324076
c NEW SOLUTION FOUND: 605118818298930 @ 903.42 @ #Dec. 324206
c NEW SOLUTION FOUND: 605118817831730 @ 903.98 @ #Dec. 324322
c NEW SOLUTION FOUND: 605118817598130 @ 904.49 @ #Dec. 324444
c NEW SOLUTION FOUND: 605118817452130 @ 905.03 @ #Dec. 324563
c NEW SOLUTION FOUND: 605118817437530 @ 905.75 @ #Dec. 324716
c NEW SOLUTION FOUND: 604984531017530 @ 907.1 @ #Dec. 325020
c NEW SOLUTION FOUND: 604882131017530 @ 907.71 @ #Dec. 325133
c NEW SOLUTION FOUND: 604882131010230 @ 908.33 @ #Dec. 325251
c NEW SOLUTION FOUND: 604882071215989 @ 909.25 @ #Dec. 325450
c NEW SOLUTION FOUND: 604882071215930 @ 910.41 @ #Dec. 325675
c NEW SOLUTION FOUND: 604882071208630 @ 911.03 @ #Dec. 325795
c NEW SOLUTION FOUND: 604882011407030 @ 911.94 @ #Dec. 326004
c NEW SOLUTION FOUND: 604881951605548 @ 912.84 @ #Dec. 326203
c NEW SOLUTION FOUND: 604881951605430 @ 913.34 @ #Dec. 326300
c NEW SOLUTION FOUND: 604881712420930 @ 914.3 @ #Dec. 326537
c NEW SOLUTION FOUND: 604881712399030 @ 914.87 @ #Dec. 326652
c NEW SOLUTION FOUND: 604881547937330 @ 915.97 @ #Dec. 326937
c NEW SOLUTION FOUND: 604881540462130 @ 916.55 @ #Dec. 327054
c NEW SOLUTION FOUND: 604881536724530 @ 917.12 @ #Dec. 327170
c NEW SOLUTION FOUND: 604881535790130 @ 917.69 @ #Dec. 327282
c NEW SOLUTION FOUND: 604881535089330 @ 918.24 @ #Dec. 327397
c NEW SOLUTION FOUND: 604881534972530 @ 918.8 @ #Dec. 327509
c NEW SOLUTION FOUND: 604881534943330 @ 919.35 @ #Dec. 327615
c NEW SOLUTION FOUND: 604881278830130 @ 919.94 @ #Dec. 327737
c NEW SOLUTION FOUND: 604881271354930 @ 920.54 @ #Dec. 327855
c NEW SOLUTION FOUND: 604881267617330 @ 921.13 @ #Dec. 327973
c NEW SOLUTION FOUND: 604881266682930 @ 921.71 @ #Dec. 328087
c NEW SOLUTION FOUND: 604881265982130 @ 922.27 @ #Dec. 328201
c NEW SOLUTION FOUND: 604881265836130 @ 922.84 @ #Dec. 328312
c NEW SOLUTION FOUND: 604881265821530 @ 923.43 @ #Dec. 328435
c NEW SOLUTION FOUND: 595829590089530 @ 924.83 @ #Dec. 328816
c NEW SOLUTION FOUND: 594401970249530 @ 925.36 @ #Dec. 328933
c NEW SOLUTION FOUND: 594286872649530 @ 925.89 @ #Dec. 329028
c NEW SOLUTION FOUND: 594239031369530 @ 926.4 @ #Dec. 329126
c NEW SOLUTION FOUND: 594218059849530 @ 927.25 @ #Dec. 329307
c NEW SOLUTION FOUND: 593904142409530 @ 927.76 @ #Dec. 329412
c NEW SOLUTION FOUND: 593856301129530 @ 928.26 @ #Dec. 329541
c NEW SOLUTION FOUND: 593808459849530 @ 928.76 @ #Dec. 329648
c NEW SOLUTION FOUND: 593808175791930 @ 929.41 @ #Dec. 329801
c NEW SOLUTION FOUND: 593808168316730 @ 930.01 @ #Dec. 329913
c NEW SOLUTION FOUND: 593808164579130 @ 930.67 @ #Dec. 330029
c NEW SOLUTION FOUND: 593603364579130 @ 931.6 @ #Dec. 330280
c NEW SOLUTION FOUND: 593603362943930 @ 932.31 @ #Dec. 330436
c NEW SOLUTION FOUND: 593603362827130 @ 932.9 @ #Dec. 330577
c NEW SOLUTION FOUND: 593603362768730 @ 933.46 @ #Dec. 330704
c NEW SOLUTION FOUND: 593603095471930 @ 934.12 @ #Dec. 330864
c NEW SOLUTION FOUND: 593603093836730 @ 934.74 @ #Dec. 330997
c NEW SOLUTION FOUND: 593603093719930 @ 935.34 @ #Dec. 331142
c NEW SOLUTION FOUND: 593603093661530 @ 935.93 @ #Dec. 331270
c NEW SOLUTION FOUND: 593501080459330 @ 937.27 @ #Dec. 331566
c NEW SOLUTION FOUND: 593501080437430 @ 937.77 @ #Dec. 331689
c NEW SOLUTION FOUND: 593501020657730 @ 938.57 @ #Dec. 332032
c NEW SOLUTION FOUND: 593501020635830 @ 939.07 @ #Dec. 332164
c NEW SOLUTION FOUND: 593500960856130 @ 939.69 @ #Dec. 332389
c NEW SOLUTION FOUND: 593500960834230 @ 940.18 @ #Dec. 332515
c NEW SOLUTION FOUND: 593500901054530 @ 940.85 @ #Dec. 332845
c NEW SOLUTION FOUND: 593500901032630 @ 941.33 @ #Dec. 332974
c NEW SOLUTION FOUND: 593500841252930 @ 941.96 @ #Dec. 333196
c NEW SOLUTION FOUND: 593500841231030 @ 942.44 @ #Dec. 333320
c NEW SOLUTION FOUND: 593500781451330 @ 943.04 @ #Dec. 333524
c NEW SOLUTION FOUND: 593500781429430 @ 943.53 @ #Dec. 333650
c NEW SOLUTION FOUND: 593500699194930 @ 944.15 @ #Dec. 333861
c NEW SOLUTION FOUND: 593500695457330 @ 944.69 @ #Dec. 333993
c NEW SOLUTION FOUND: 593500693822130 @ 945.21 @ #Dec. 334125
c NEW SOLUTION FOUND: 593500693705330 @ 945.71 @ #Dec. 334257
c NEW SOLUTION FOUND: 593500693676130 @ 946.21 @ #Dec. 334384
c NEW SOLUTION FOUND: 593500693661530 @ 947.05 @ #Dec. 334648
c NEW SOLUTION FOUND: 593413331017530 @ 953.04 @ #Dec. 335819
c NEW SOLUTION FOUND: 593413271215930 @ 954.08 @ #Dec. 336063
c NEW SOLUTION FOUND: 593413151612730 @ 954.61 @ #Dec. 336195
c NEW SOLUTION FOUND: 593412912406330 @ 955.15 @ #Dec. 336321
c NEW SOLUTION FOUND: 593412912399030 @ 955.78 @ #Dec. 336484
c NEW SOLUTION FOUND: 593412747951930 @ 956.53 @ #Dec. 336729
c NEW SOLUTION FOUND: 593412740476730 @ 957.03 @ #Dec. 336842
c NEW SOLUTION FOUND: 593412736739130 @ 957.52 @ #Dec. 336952
c NEW SOLUTION FOUND: 593412734928730 @ 958.14 @ #Dec. 337104
c NEW SOLUTION FOUND: 593412493795130 @ 958.66 @ #Dec. 337221
c NEW SOLUTION FOUND: 593412467631930 @ 959.2 @ #Dec. 337350
c NEW SOLUTION FOUND: 593412465821530 @ 959.68 @ #Dec. 337465
c NEW SOLUTION FOUND: 593310931017530 @ 960.61 @ #Dec. 337662
c NEW SOLUTION FOUND: 593310871215930 @ 961.16 @ #Dec. 337784
c NEW SOLUTION FOUND: 593310811414330 @ 961.73 @ #Dec. 337908
c NEW SOLUTION FOUND: 593310751612730 @ 962.29 @ #Dec. 338029
c NEW SOLUTION FOUND: 593310691811130 @ 962.85 @ #Dec. 338156
c NEW SOLUTION FOUND: 593310632009530 @ 963.38 @ #Dec. 338286
c NEW SOLUTION FOUND: 593310572207930 @ 963.95 @ #Dec. 338410
c NEW SOLUTION FOUND: 593310512406330 @ 964.49 @ #Dec. 338532
c NEW SOLUTION FOUND: 593310512399030 @ 965.1 @ #Dec. 338684
c NEW SOLUTION FOUND: 593310452619330 @ 965.77 @ #Dec. 338903
c NEW SOLUTION FOUND: 593310452597430 @ 966.33 @ #Dec. 339025
c NEW SOLUTION FOUND: 593310392817730 @ 966.95 @ #Dec. 339214
c NEW SOLUTION FOUND: 593310392795830 @ 967.5 @ #Dec. 339340
c NEW SOLUTION FOUND: 593310273214530 @ 968.15 @ #Dec. 339548
c NEW SOLUTION FOUND: 593310273192630 @ 968.71 @ #Dec. 339674
c NEW SOLUTION FOUND: 593310093809730 @ 969.39 @ #Dec. 339884
c NEW SOLUTION FOUND: 593310093787830 @ 969.99 @ #Dec. 340011
c NEW SOLUTION FOUND: 593310093780530 @ 970.9 @ #Dec. 340227
c NEW SOLUTION FOUND: 593310078844730 @ 971.62 @ #Dec. 340420
c NEW SOLUTION FOUND: 593310071369530 @ 972.19 @ #Dec. 340541
c NEW SOLUTION FOUND: 593310067631930 @ 972.75 @ #Dec. 340671
c NEW SOLUTION FOUND: 593310065996730 @ 973.29 @ #Dec. 340793
c NEW SOLUTION FOUND: 593310065879930 @ 973.86 @ #Dec. 340929
c NEW SOLUTION FOUND: 593310065821530 @ 974.43 @ #Dec. 341049
c NEW SOLUTION FOUND: 593208291825730 @ 975.23 @ #Dec. 341276
c NEW SOLUTION FOUND: 593208291803830 @ 975.74 @ #Dec. 341396
c NEW SOLUTION FOUND: 593208232024130 @ 976.3 @ #Dec. 341591
c NEW SOLUTION FOUND: 593208232002230 @ 976.8 @ #Dec. 341715
c NEW SOLUTION FOUND: 593208112420930 @ 977.38 @ #Dec. 341921
c NEW SOLUTION FOUND: 593208112399030 @ 977.89 @ #Dec. 342049
c NEW SOLUTION FOUND: 593207940462130 @ 978.61 @ #Dec. 342320
c NEW SOLUTION FOUND: 593207936724530 @ 979.39 @ #Dec. 342503
c NEW SOLUTION FOUND: 593207935089330 @ 979.91 @ #Dec. 342634
c NEW SOLUTION FOUND: 593207934972530 @ 980.43 @ #Dec. 342772
c NEW SOLUTION FOUND: 593207934943330 @ 980.93 @ #Dec. 342901
c NEW SOLUTION FOUND: 593207693787830 @ 981.49 @ #Dec. 343030
c NEW SOLUTION FOUND: 593207693780530 @ 982.31 @ #Dec. 343239
c NEW SOLUTION FOUND: 593207678830130 @ 982.97 @ #Dec. 343385
c NEW SOLUTION FOUND: 593207671354930 @ 983.54 @ #Dec. 343518
c NEW SOLUTION FOUND: 593207667617330 @ 984.12 @ #Dec. 343647
c NEW SOLUTION FOUND: 593207666215730 @ 984.67 @ #Dec. 343776
c NEW SOLUTION FOUND: 593207665982130 @ 985.21 @ #Dec. 343903
c NEW SOLUTION FOUND: 593207665865330 @ 985.73 @ #Dec. 344027
c NEW SOLUTION FOUND: 593207665836130 @ 986.23 @ #Dec. 344142
c NEW SOLUTION FOUND: 593207665821530 @ 986.74 @ #Dec. 344276
c NEW SOLUTION FOUND: 593207659937730 @ 1011.7 @ #Dec. 348110
c NEW SOLUTION FOUND: 593207659915830 @ 1012.2 @ #Dec. 348224
c NEW SOLUTION FOUND: 593207659908530 @ 1012.7 @ #Dec. 348342
c NEW SOLUTION FOUND: 593207652433330 @ 1013.3 @ #Dec. 348472
c NEW SOLUTION FOUND: 593207648695730 @ 1013.9 @ #Dec. 348600
c NEW SOLUTION FOUND: 593207647294130 @ 1014.5 @ #Dec. 348732
c NEW SOLUTION FOUND: 593207647060530 @ 1015 @ #Dec. 348856
c NEW SOLUTION FOUND: 593207646943730 @ 1015.6 @ #Dec. 348985
c NEW SOLUTION FOUND: 593207646914530 @ 1016.1 @ #Dec. 349102
c NEW SOLUTION FOUND: 593207646899930 @ 1016.7 @ #Dec. 349243
c NEW SOLUTION FOUND: 593207646140730 @ 1027.9 @ #Dec. 351354
c NEW SOLUTION FOUND: 593207642403130 @ 1028.5 @ #Dec. 351458
c NEW SOLUTION FOUND: 593207641001530 @ 1029 @ #Dec. 351565
c NEW SOLUTION FOUND: 593207640767930 @ 1029.5 @ #Dec. 351675
c NEW SOLUTION FOUND: 593207640651130 @ 1030 @ #Dec. 351780
c NEW SOLUTION FOUND: 593207640592730 @ 1030.5 @ #Dec. 351881
c Restart #17 #Var: 1550 #Dec: 365167 LB: 2191130697000 @ 1078.5
c Restart #18 #Var: 1550 #Dec: 370141 LB: 2191130697000 @ 1114.8
c NEW SOLUTION FOUND: 541094567294800 @ 1127.6 @ #Dec. 373628
c NEW SOLUTION FOUND: 541088826341200 @ 1127.6 @ #Dec. 373628
c NEW SOLUTION FOUND: 541088587134800 @ 1127.6 @ #Dec. 373629
c NEW SOLUTION FOUND: 540986187134800 @ 1127.6 @ #Dec. 373631
c NEW SOLUTION FOUND: 540986187076400 @ 1127.7 @ #Dec. 373635
c NEW SOLUTION FOUND: 540781387076400 @ 1127.8 @ #Dec. 373640
c NEW SOLUTION FOUND: 540678987076400 @ 1127.8 @ #Dec. 373644
c NEW SOLUTION FOUND: 540678982477400 @ 1128 @ #Dec. 373668
c NEW SOLUTION FOUND: 540678980433400 @ 1128 @ #Dec. 373670
c NEW SOLUTION FOUND: 540678980214400 @ 1128 @ #Dec. 373672
c NEW SOLUTION FOUND: 540678980068400 @ 1128.1 @ #Dec. 373676
c NEW SOLUTION FOUND: 540678980053800 @ 1128.4 @ #Dec. 373706
c NEW SOLUTION FOUND: 540678979995400 @ 1128.6 @ #Dec. 373738
c NEW SOLUTION FOUND: 540678043288600 @ 1128.7 @ #Dec. 373755
c NEW SOLUTION FOUND: 540675172811800 @ 1128.7 @ #Dec. 373758
c NEW SOLUTION FOUND: 540675169045000 @ 1128.7 @ #Dec. 373761
c NEW SOLUTION FOUND: 540675158795800 @ 1128.7 @ #Dec. 373781
c NEW SOLUTION FOUND: 540675157627800 @ 1128.7 @ #Dec. 373785
c NEW SOLUTION FOUND: 540675156459800 @ 1128.7 @ #Dec. 373786
c NEW SOLUTION FOUND: 540675152693000 @ 1128.8 @ #Dec. 373794
c NEW SOLUTION FOUND: 540675152547000 @ 1128.9 @ #Dec. 373845
c NEW SOLUTION FOUND: 540675152459400 @ 1128.9 @ #Dec. 373857
c NEW SOLUTION FOUND: 540675151145400 @ 1129 @ #Dec. 373899
c NEW SOLUTION FOUND: 540675150678200 @ 1129 @ #Dec. 373913
c NEW SOLUTION FOUND: 540675150590600 @ 1129.1 @ #Dec. 373917
c NEW SOLUTION FOUND: 540675077795000 @ 1129.1 @ #Dec. 373945
c NEW SOLUTION FOUND: 540675047894200 @ 1129.2 @ #Dec. 373951
c NEW SOLUTION FOUND: 540675047339400 @ 1129.2 @ #Dec. 373956
c NEW SOLUTION FOUND: 540675033878200 @ 1129.2 @ #Dec. 373991
c NEW SOLUTION FOUND: 540675031542200 @ 1129.2 @ #Dec. 373996
c NEW SOLUTION FOUND: 540675030987400 @ 1129.2 @ #Dec. 374008
c NEW SOLUTION FOUND: 540674360175800 @ 1129.3 @ #Dec. 374045
c NEW SOLUTION FOUND: 540674120969400 @ 1129.3 @ #Dec. 374055
c NEW SOLUTION FOUND: 540674091068600 @ 1129.4 @ #Dec. 374058
c NEW SOLUTION FOUND: 540674090513800 @ 1129.4 @ #Dec. 374063
c NEW SOLUTION FOUND: 540674077052600 @ 1129.4 @ #Dec. 374119
c NEW SOLUTION FOUND: 540674074716600 @ 1129.4 @ #Dec. 374123
c NEW SOLUTION FOUND: 540674074161800 @ 1129.5 @ #Dec. 374133
c NEW SOLUTION FOUND: 540674071446200 @ 1129.6 @ #Dec. 374250
c NEW SOLUTION FOUND: 540674069110200 @ 1129.6 @ #Dec. 374254
c NEW SOLUTION FOUND: 540674066686600 @ 1129.6 @ #Dec. 374267
c NEW SOLUTION FOUND: 540674060233400 @ 1129.7 @ #Dec. 374391
c NEW SOLUTION FOUND: 540674057897400 @ 1129.8 @ #Dec. 374396
c NEW SOLUTION FOUND: 540674052291000 @ 1129.8 @ #Dec. 374407
c NEW SOLUTION FOUND: 540674051736200 @ 1129.8 @ #Dec. 374420
c NEW SOLUTION FOUND: 540674051590200 @ 1140 @ #Dec. 376468
c NEW SOLUTION FOUND: 540674050889400 @ 1140 @ #Dec. 376477
c NEW SOLUTION FOUND: 540674050801800 @ 1140 @ #Dec. 376488
c NEW SOLUTION FOUND: 540674038041400 @ 1141.1 @ #Dec. 377022
c NEW SOLUTION FOUND: 540674037340600 @ 1141.1 @ #Dec. 377030
c NEW SOLUTION FOUND: 540674037253000 @ 1141.1 @ #Dec. 377034
c NEW SOLUTION FOUND: 540674034771000 @ 1144.6 @ #Dec. 378076
c NEW SOLUTION FOUND: 540674021689400 @ 1145.2 @ #Dec. 378369
c NEW SOLUTION FOUND: 540674020988600 @ 1145.3 @ #Dec. 378423
c NEW SOLUTION FOUND: 540674020901000 @ 1145.3 @ #Dec. 378430
c NEW SOLUTION FOUND: 540672884991800 @ 1145.4 @ #Dec. 378446
c NEW SOLUTION FOUND: 540672167372600 @ 1145.4 @ #Dec. 378457
c NEW SOLUTION FOUND: 540672137471800 @ 1145.4 @ #Dec. 378471
c NEW SOLUTION FOUND: 540672124390200 @ 1145.5 @ #Dec. 378476
c NEW SOLUTION FOUND: 540672123689400 @ 1145.5 @ #Dec. 378483
c NEW SOLUTION FOUND: 540672123601800 @ 1145.5 @ #Dec. 378487
c NEW SOLUTION FOUND: 540672123455800 @ 1146.4 @ #Dec. 378979
c NEW SOLUTION FOUND: 540672121119800 @ 1146.5 @ #Dec. 378998
c NEW SOLUTION FOUND: 540672110374200 @ 1146.7 @ #Dec. 379107
c NEW SOLUTION FOUND: 540672108038200 @ 1146.7 @ #Dec. 379132
c NEW SOLUTION FOUND: 540672107337400 @ 1146.8 @ #Dec. 379162
c NEW SOLUTION FOUND: 540672107249800 @ 1146.8 @ #Dec. 379175
c NEW SOLUTION FOUND: 540672107220600 @ 1147.6 @ #Dec. 379898
c NEW SOLUTION FOUND: 540672106987000 @ 1147.6 @ #Dec. 379904
c NEW SOLUTION FOUND: 540672106811800 @ 1147.6 @ #Dec. 379910
c NEW SOLUTION FOUND: 540672106782600 @ 1147.6 @ #Dec. 379915
c NEW SOLUTION FOUND: 540672064238200 @ 1147.7 @ #Dec. 379966
c NEW SOLUTION FOUND: 540672064004600 @ 1147.7 @ #Dec. 379984
c NEW SOLUTION FOUND: 540672063771000 @ 1147.7 @ #Dec. 379985
c NEW SOLUTION FOUND: 540672063537400 @ 1147.7 @ #Dec. 379989
c NEW SOLUTION FOUND: 540672063362200 @ 1147.7 @ #Dec. 379992
c NEW SOLUTION FOUND: 540672063333000 @ 1147.8 @ #Dec. 379995
c NEW SOLUTION FOUND: 540672050222200 @ 1148.3 @ #Dec. 380473
c NEW SOLUTION FOUND: 540672047886200 @ 1148.4 @ #Dec. 380531
c NEW SOLUTION FOUND: 540672047652600 @ 1148.4 @ #Dec. 380602
c NEW SOLUTION FOUND: 540672047419000 @ 1148.5 @ #Dec. 380609
c NEW SOLUTION FOUND: 540672047185400 @ 1148.5 @ #Dec. 380626
c NEW SOLUTION FOUND: 540672047010200 @ 1148.5 @ #Dec. 380644
c NEW SOLUTION FOUND: 540672046981000 @ 1148.5 @ #Dec. 380660
c NEW SOLUTION FOUND: 540672002567800 @ 1148.6 @ #Dec. 380759
c NEW SOLUTION FOUND: 540671763361400 @ 1148.7 @ #Dec. 380763
c NEW SOLUTION FOUND: 540671585825400 @ 1148.7 @ #Dec. 380773
c NEW SOLUTION FOUND: 540671584949400 @ 1148.7 @ #Dec. 380791
c NEW SOLUTION FOUND: 540671584920200 @ 1148.7 @ #Dec. 380797
c NEW SOLUTION FOUND: 540671571809400 @ 1148.9 @ #Dec. 380912
c NEW SOLUTION FOUND: 540671569473400 @ 1148.9 @ #Dec. 380970
c NEW SOLUTION FOUND: 540671569006200 @ 1149 @ #Dec. 381034
c NEW SOLUTION FOUND: 540671568597400 @ 1149 @ #Dec. 381052
c NEW SOLUTION FOUND: 540671568568200 @ 1149 @ #Dec. 381069
c NEW SOLUTION FOUND: 540671568451400 @ 1149.2 @ #Dec. 381389
c NEW SOLUTION FOUND: 540671567049800 @ 1149.4 @ #Dec. 381524
c NEW SOLUTION FOUND: 540671564713800 @ 1149.4 @ #Dec. 381551
c NEW SOLUTION FOUND: 540671341859400 @ 1149.4 @ #Dec. 381579
c NEW SOLUTION FOUND: 540671327843400 @ 1149.5 @ #Dec. 381604
c NEW SOLUTION FOUND: 540671325507400 @ 1149.5 @ #Dec. 381633
c NEW SOLUTION FOUND: 540671042997400 @ 1149.5 @ #Dec. 381665
c NEW SOLUTION FOUND: 540671028981400 @ 1149.6 @ #Dec. 381691
c NEW SOLUTION FOUND: 540671026645400 @ 1149.6 @ #Dec. 381721
c NEW SOLUTION FOUND: 540671026499400 @ 1149.6 @ #Dec. 381764
c NEW SOLUTION FOUND: 540671024309400 @ 1149.7 @ #Dec. 381809
c NEW SOLUTION FOUND: 540671010293400 @ 1149.7 @ #Dec. 381835
c NEW SOLUTION FOUND: 540671007957400 @ 1149.8 @ #Dec. 381865
c NEW SOLUTION FOUND: 540671007811400 @ 1149.9 @ #Dec. 381928
c NEW SOLUTION FOUND: 540670430965400 @ 1149.9 @ #Dec. 381973
c NEW SOLUTION FOUND: 540670416949400 @ 1150 @ #Dec. 382000
c NEW SOLUTION FOUND: 540670414613400 @ 1150 @ #Dec. 382031
c NEW SOLUTION FOUND: 540670412277400 @ 1150.1 @ #Dec. 382071
c NEW SOLUTION FOUND: 540670409941400 @ 1150.1 @ #Dec. 382101
c NEW SOLUTION FOUND: 540670409795400 @ 1150.1 @ #Dec. 382142
c NEW SOLUTION FOUND: 540670402933400 @ 1150.2 @ #Dec. 382192
c NEW SOLUTION FOUND: 540670388917400 @ 1150.2 @ #Dec. 382220
c NEW SOLUTION FOUND: 540670386581400 @ 1150.3 @ #Dec. 382250
c NEW SOLUTION FOUND: 540670374901400 @ 1150.3 @ #Dec. 382289
c NEW SOLUTION FOUND: 540670372565400 @ 1150.3 @ #Dec. 382318
c NEW SOLUTION FOUND: 540670372419400 @ 1150.4 @ #Dec. 382358
c NEW SOLUTION FOUND: 540670290805400 @ 1150.5 @ #Dec. 382421
c NEW SOLUTION FOUND: 540670276789400 @ 1150.5 @ #Dec. 382448
c NEW SOLUTION FOUND: 540670274453400 @ 1150.6 @ #Dec. 382479
c NEW SOLUTION FOUND: 540670253429400 @ 1150.7 @ #Dec. 382528
c NEW SOLUTION FOUND: 540670239413400 @ 1150.7 @ #Dec. 382558
c NEW SOLUTION FOUND: 540670237077400 @ 1150.7 @ #Dec. 382590
c NEW SOLUTION FOUND: 540670223061400 @ 1150.8 @ #Dec. 382626
c NEW SOLUTION FOUND: 540670222915400 @ 1150.8 @ #Dec. 382667
c NEW SOLUTION FOUND: 540670213717400 @ 1151 @ #Dec. 382780
c NEW SOLUTION FOUND: 540670213571400 @ 1151.1 @ #Dec. 382828
c NEW SOLUTION FOUND: 540670212987400 @ 1151.2 @ #Dec. 382932
c NEW SOLUTION FOUND: 540670210651400 @ 1151.4 @ #Dec. 383068
c NEW SOLUTION FOUND: 540670209483400 @ 1151.7 @ #Dec. 383249
c NEW SOLUTION FOUND: 540670207147400 @ 1151.9 @ #Dec. 383382
c NEW SOLUTION FOUND: 540670204811400 @ 1151.9 @ #Dec. 383421
c NEW SOLUTION FOUND: 540670146411400 @ 1152 @ #Dec. 383469
c NEW SOLUTION FOUND: 540670130059400 @ 1152 @ #Dec. 383514
c NEW SOLUTION FOUND: 540670129479050 @ 1152.1 @ #Dec. 383591
c NEW SOLUTION FOUND: 540575400435850 @ 1152.3 @ #Dec. 383619
c NEW SOLUTION FOUND: 540575386419850 @ 1152.4 @ #Dec. 383637
c NEW SOLUTION FOUND: 540575384083850 @ 1152.5 @ #Dec. 383674
c NEW SOLUTION FOUND: 540567745831050 @ 1152.7 @ #Dec. 383718
c NEW SOLUTION FOUND: 540567729479050 @ 1152.8 @ #Dec. 383764
c NEW SOLUTION FOUND: 540473000435850 @ 1153 @ #Dec. 383789
c NEW SOLUTION FOUND: 540472984083850 @ 1153.1 @ #Dec. 383810
c NEW SOLUTION FOUND: 540465345831050 @ 1153.2 @ #Dec. 383858
c NEW SOLUTION FOUND: 540465329479050 @ 1153.3 @ #Dec. 383906
c NEW SOLUTION FOUND: 540370600435850 @ 1153.8 @ #Dec. 384053
c NEW SOLUTION FOUND: 540370584083850 @ 1153.9 @ #Dec. 384074
c NEW SOLUTION FOUND: 540362945831050 @ 1154 @ #Dec. 384119
c NEW SOLUTION FOUND: 540362929479050 @ 1154.1 @ #Dec. 384164
c NEW SOLUTION FOUND: 540332364787850 @ 1154.3 @ #Dec. 384226
c NEW SOLUTION FOUND: 540332357312650 @ 1154.4 @ #Dec. 384245
c NEW SOLUTION FOUND: 540332327411850 @ 1154.5 @ #Dec. 384293
c NEW SOLUTION FOUND: 540332311059850 @ 1154.7 @ #Dec. 384354
c NEW SOLUTION FOUND: 540234521895050 @ 1160.2 @ #Dec. 387016
c NEW SOLUTION FOUND: 540234043482250 @ 1160.2 @ #Dec. 387017
c NEW SOLUTION FOUND: 540233804275850 @ 1160.2 @ #Dec. 387029
c NEW SOLUTION FOUND: 540233774375050 @ 1160.8 @ #Dec. 387097
c NEW SOLUTION FOUND: 540233730104200 @ 1168.7 @ #Dec. 390395
c NEW SOLUTION FOUND: 540233729523850 @ 1168.8 @ #Dec. 390404
c NEW SOLUTION FOUND: 540233674040200 @ 1168.9 @ #Dec. 390441
c NEW SOLUTION FOUND: 540233673459850 @ 1169 @ #Dec. 390449
c NEW SOLUTION FOUND: 540233655352200 @ 1169.1 @ #Dec. 390465
c NEW SOLUTION FOUND: 540233654771850 @ 1169.2 @ #Dec. 390480
c NEW SOLUTION FOUND: 540233641336200 @ 1169.4 @ #Dec. 390507
c NEW SOLUTION FOUND: 540233640755850 @ 1169.5 @ #Dec. 390522
c NEW SOLUTION FOUND: 540233640401800 @ 1169.6 @ #Dec. 390548
c NEW SOLUTION FOUND: 540233639821450 @ 1169.7 @ #Dec. 390563
c NEW SOLUTION FOUND: 540233599288200 @ 1170 @ #Dec. 390618
c NEW SOLUTION FOUND: 540233598707850 @ 1170.1 @ #Dec. 390626
c NEW SOLUTION FOUND: 540233580600200 @ 1170.2 @ #Dec. 390645
c NEW SOLUTION FOUND: 540233580019850 @ 1170.3 @ #Dec. 390663
c NEW SOLUTION FOUND: 540233535168650 @ 1170.5 @ #Dec. 390687
c NEW SOLUTION FOUND: 540233479104650 @ 1170.7 @ #Dec. 390730
c NEW SOLUTION FOUND: 540233460416650 @ 1170.8 @ #Dec. 390750
c NEW SOLUTION FOUND: 540233434253450 @ 1170.9 @ #Dec. 390778
c NEW SOLUTION FOUND: 540233415565450 @ 1171.1 @ #Dec. 390799
c NEW SOLUTION FOUND: 540233389402250 @ 1171.2 @ #Dec. 390821
c NEW SOLUTION FOUND: 540233370714250 @ 1171.3 @ #Dec. 390836
c NEW SOLUTION FOUND: 540233355763850 @ 1171.4 @ #Dec. 390864
c NEW SOLUTION FOUND: 540233295962250 @ 1171.6 @ #Dec. 390924
c NEW SOLUTION FOUND: 540233294794250 @ 1174.7 @ #Dec. 392469
c NEW SOLUTION FOUND: 540233286326250 @ 1174.9 @ #Dec. 392507
c NEW SOLUTION FOUND: 540233285450250 @ 1175 @ #Dec. 392537
c NEW SOLUTION FOUND: 540233284282250 @ 1175.1 @ #Dec. 392565
c NEW SOLUTION FOUND: 540233281946250 @ 1175.4 @ #Dec. 392629
c NEW SOLUTION FOUND: 540233279610250 @ 1175.5 @ #Dec. 392659
s SATISFIABLE
v -d1_bit0 -d2_bit0 d3_bit0 d4_bit0 -d5_bit0 -d6_bit0 -d7_bit0 -d8_bit0 -d9_bit0 -d10_bit0 -d11_bit0 d12_bit0 -d13_bit0 -d15_bit0 -d19_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 -h8_bit0 -h8_bit1 -h8_bit2 -h8_bit3 -h8_bit4 -h8_bit5 -h8_bit6 -h8_bit7 -h8_bit8 -h8_bit9 -h8_bit10 -h8_bit11 -h8_bit12 -h8_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 -h15_bit0 -h15_bit1 -h15_bit2 -h15_bit3 -h15_bit4 -h15_bit5 -h15_bit6 -h15_bit7 -h15_bit8 -h15_bit9 -h19_bit0 -h19_bit1 -h19_bit2 -h19_bit3 -h19_bit4 -h19_bit5 -h19_bit6 -h19_bit7 -h19_bit8 -h19_bit9 -g1_bit0 -g1_bit1 -g1_bit2 -g1_bit3 -g1_bit4 -g1_bit5 -g1_bit6 -g1_bit7 -g1_bit8 -g1_bit9 -g1_bit10 -g1_bit11 -g1_bit12 -g1_bit13 -g2_bit0 -g2_bit1 -g2_bit2 -g2_bit3 -g2_bit4 -g2_bit5 -g2_bit6 -g2_bit7 -g2_bit8 -g2_bit9 -g2_bit10 g2_bit11 -g2_bit12 -g2_bit13 g3_bit0 g3_bit1 -g3_bit2 -g3_bit3 g3_bit4 g3_bit5 -g3_bit6 g3_bit7 -g3_bit8 -g3_bit9 -g3_bit10 -g3_bit11 -g3_bit12 -g3_bit13 -g4_bit0 -g4_bit1 -g4_bit2 -g4_bit3 g4_bit4 g4_bit5 -g4_bit6 -g4_bit7 -g4_bit8 -g4_bit9 -g4_bit10 -g4_bit11 -g4_bit12 -g4_bit13 -g5_bit0 -g5_bit1 -g5_bit2 -g5_bit3 g5_bit4 -g5_bit5 -g5_bit6 -g5_bit7 g5_bit8 -g5_bit9 -g5_bit10 -g5_bit11 -g5_bit12 -g5_bit13 -g6_bit0 -g6_bit1 -g6_bit2 -g6_bit3 g6_bit4 g6_bit5 -g6_bit6 -g6_bit7 -g6_bit8 -g6_bit9 -g6_bit10 -g6_bit11 -g6_bit12 -g6_bit13 -g7_bit0 -g7_bit1 -g7_bit2 -g7_bit3 -g7_bit4 -g7_bit5 -g7_bit6 -g7_bit7 g7_bit8 -g7_bit9 -g7_bit10 -g7_bit11 -g7_bit12 -g7_bit13 -g8_bit0 g8_bit1 -g8_bit2 -g8_bit3 -g8_bit4 -g8_bit5 -g8_bit6 -g8_bit7 -g8_bit8 -g8_bit9 -g8_bit10 -g8_bit11 -g8_bit12 -g8_bit13 -g9_bit0 g9_bit1 g9_bit2 -g9_bit3 g9_bit4 -g9_bit5 -g9_bit6 -g9_bit7 -g9_bit8 -g9_bit9 -g9_bit10 -g9_bit11 -g9_bit12 -g9_bit13 -g10_bit0 -g10_bit1 -g10_bit2 -g10_bit3 -g10_bit4 -g10_bit5 -g10_bit6 -g10_bit7 -g10_bit8 -g10_bit9 -g11_bit0 -g11_bit1 -g11_bit2 -g11_bit3 -g11_bit4 -g11_bit5 g11_bit6 g11_bit7 -g11_bit8 -g11_bit9 g12_bit0 g12_bit1 -g12_bit2 g12_bit3 g12_bit4 -g12_bit5 g12_bit6 -g12_bit7 g12_bit8 -g12_bit9 -g13_bit0 -g13_bit1 -g13_bit2 -g13_bit3 -g13_bit4 -g13_bit5 -g13_bit6 -g13_bit7 -g13_bit8 g13_bit9 -g15_bit0 -g15_bit1 -g15_bit2 -g15_bit3 -g15_bit4 -g15_bit5 -g15_bit6 g15_bit7 g15_bit8 -g15_bit9 g19_bit0 g19_bit1 -g19_bit2 g19_bit3 g19_bit4 g19_bit5 -g19_bit6 g19_bit7 -g19_bit8 -g19_bit9 -a1_bit_10 -a1_bit_9 -a1_bit_8 -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 -a1_bit13 -a1_bit14 -a1_bit15 -a1_bit16 -a1_bit17 -a1_bit18 -a1_bit19 -a2_bit_10 -a2_bit_9 -a2_bit_8 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 -a2_bit13 -a2_bit14 -a2_bit15 -a2_bit16 -a2_bit17 -a2_bit18 -a2_bit19 -a3_bit_10 -a3_bit_9 -a3_bit_8 -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 -a3_bit13 -a3_bit14 -a3_bit15 -a3_bit16 -a3_bit17 -a3_bit18 -a3_bit19 -a4_bit_10 -a4_bit_9 -a4_bit_8 -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 -a4_bit13 -a4_bit14 -a4_bit15 -a4_bit16 -a4_bit17 -a4_bit18 -a4_bit19 -a5_bit_10 -a5_bit_9 -a5_bit_8 -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 -a5_bit13 -a5_bit14 -a5_bit15 -a5_bit16 -a5_bit17 -a5_bit18 -a5_bit19 -a6_bit_10 -a6_bit_9 -a6_bit_8 -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 -a6_bit13 -a6_bit14 -a6_bit15 -a6_bit16 -a6_bit17 -a6_bit18 -a6_bit19 -a7_bit_10 -a7_bit_9 -a7_bit_8 -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 -a7_bit13 -a7_bit14 -a7_bit15 -a7_bit16 -a7_bit17 -a7_bit18 -a7_bit19 -a8_bit_10 -a8_bit_9 -a8_bit_8 -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 -a8_bit13 -a8_bit14 -a8_bit15 -a8_bit16 -a8_bit17 -a8_bit18 -a8_bit19 -a9_bit_10 a9_bit_9 a9_bit_8 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 -a9_bit13 -a9_bit14 -a9_bit15 -a9_bit16 -a9_bit17 -a9_bit18 -a9_bit19 -a10_bit_10 -a10_bit_9 -a10_bit_8 -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 -a10_bit13 -a10_bit14 -a10_bit15 -a10_bit16 -a10_bit17 -a10_bit18 -a10_bit19 -a11_bit_10 -a11_bit_9 -a11_bit_8 -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 -a11_bit13 -a11_bit14 -a11_bit15 -a11_bit16 -a11_bit17 -a11_bit18 -a11_bit19 a12_bit_10 -a12_bit_9 a12_bit_8 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 -a12_bit13 -a12_bit14 -a12_bit15 -a12_bit16 -a12_bit17 -a12_bit18 -a12_bit19 -a13_bit_10 -a13_bit_9 -a13_bit_8 -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 -a13_bit13 -a13_bit14 -a13_bit15 -a13_bit16 -a13_bit17 -a13_bit18 -a13_bit19 -a14_bit_10 -a14_bit_9 -a14_bit_8 -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 -a14_bit13 -a14_bit14 -a14_bit15 -a14_bit16 -a14_bit17 -a14_bit18 -a14_bit19 -a15_bit_10 -a15_bit_9 -a15_bit_8 -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 -a15_bit13 -a15_bit14 -a15_bit15 -a15_bit16 -a15_bit17 -a15_bit18 -a15_bit19 -a16_bit_10 -a16_bit_9 -a16_bit_8 -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 -a16_bit13 -a16_bit14 -a16_bit15 -a16_bit16 -a16_bit17 -a16_bit18 -a16_bit19 -a17_bit_10 -a17_bit_9 -a17_bit_8 -a17_bit_7 -a17_bit_6 -a17_bit_5 -a17_bit_4 -a17_bit_3 -a17_bit_2 -a17_bit_1 -a17_bit0 -a17_bit1 -a17_bit2 -a17_bit3 -a17_bit4 -a17_bit5 -a17_bit6 -a17_bit7 -a17_bit8 -a17_bit9 -a17_bit10 -a17_bit11 a17_bit12 -a17_bit13 -a17_bit14 -a17_bit15 -a17_bit16 -a17_bit17 -a17_bit18 -a17_bit19 -a18_bit_10 -a18_bit_9 -a18_bit_8 -a18_bit_7 -a18_bit_6 -a18_bit_5 -a18_bit_4 -a18_bit_3 -a18_bit_2 -a18_bit_1 -a18_bit0 a18_bit1 a18_bit2 a18_bit3 -a18_bit4 a18_bit5 a18_bit6 a18_bit7 -a18_bit8 -a18_bit9 a18_bit10 -a18_bit11 -a18_bit12 -a18_bit13 -a18_bit14 -a18_bit15 -a18_bit16 -a18_bit17 -a18_bit18 -a18_bit19 -a19_bit_10 -a19_bit_9 -a19_bit_8 -a19_bit_7 -a19_bit_6 -a19_bit_5 -a19_bit_4 -a19_bit_3 -a19_bit_2 -a19_bit_1 -a19_bit0 -a19_bit1 -a19_bit2 -a19_bit3 -a19_bit4 -a19_bit5 -a19_bit6 -a19_bit7 -a19_bit8 a19_bit9 -a19_bit10 -a19_bit11 -a19_bit12 -a19_bit13 -a19_bit14 -a19_bit15 -a19_bit16 -a19_bit17 -a19_bit18 -a19_bit19 -b1_bit_10 -b1_bit_9 -b1_bit_8 -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 -b1_bit13 -b1_bit14 -b1_bit15 -b1_bit16 -b1_bit17 -b1_bit18 -b1_bit19 -b2_bit_10 -b2_bit_9 -b2_bit_8 -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 -b2_bit13 b2_bit14 -b2_bit15 -b2_bit16 -b2_bit17 -b2_bit18 -b2_bit19 -b3_bit_10 -b3_bit_9 -b3_bit_8 -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 -b3_bit13 -b3_bit14 -b3_bit15 -b3_bit16 -b3_bit17 -b3_bit18 -b3_bit19 -b4_bit_10 -b4_bit_9 -b4_bit_8 -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 -b4_bit13 b4_bit14 -b4_bit15 -b4_bit16 -b4_bit17 -b4_bit18 -b4_bit19 b5_bit_10 b5_bit_9 -b5_bit_8 -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 -b5_bit13 b5_bit14 -b5_bit15 -b5_bit16 -b5_bit17 -b5_bit18 -b5_bit19 -b6_bit_10 -b6_bit_9 -b6_bit_8 -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 b6_bit13 -b6_bit14 -b6_bit15 -b6_bit16 -b6_bit17 -b6_bit18 -b6_bit19 -b7_bit_10 b7_bit_9 b7_bit_8 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 -b7_bit13 -b7_bit14 -b7_bit15 -b7_bit16 -b7_bit17 -b7_bit18 -b7_bit19 -b8_bit_10 -b8_bit_9 -b8_bit_8 -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 -b8_bit13 -b8_bit14 -b8_bit15 -b8_bit16 -b8_bit17 -b8_bit18 -b8_bit19 -b9_bit_10 b9_bit_9 b9_bit_8 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 -b9_bit13 -b9_bit14 -b9_bit15 -b9_bit16 -b9_bit17 -b9_bit18 -b9_bit19 -b10_bit_10 -b10_bit_9 -b10_bit_8 -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 b10_bit13 -b10_bit14 -b10_bit15 -b10_bit16 -b10_bit17 -b10_bit18 -b10_bit19 -b11_bit_10 -b11_bit_9 -b11_bit_8 -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 -b11_bit13 -b11_bit14 -b11_bit15 -b11_bit16 -b11_bit17 -b11_bit18 -b11_bit19 -b12_bit_10 -b12_bit_9 -b12_bit_8 -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 -b12_bit13 -b12_bit14 -b12_bit15 -b12_bit16 -b12_bit17 -b12_bit18 -b12_bit19 -b13_bit_10 -b13_bit_9 -b13_bit_8 -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 -b13_bit13 -b13_bit14 -b13_bit15 -b13_bit16 -b13_bit17 -b13_bit18 -b13_bit19 -b14_bit_10 -b14_bit_9 -b14_bit_8 -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 b14_bit13 -b14_bit14 -b14_bit15 -b14_bit16 -b14_bit17 -b14_bit18 -b14_bit19 -b15_bit_10 -b15_bit_9 -b15_bit_8 -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 b15_bit13 -b15_bit14 -b15_bit15 -b15_bit16 -b15_bit17 -b15_bit18 -b15_bit19 -b16_bit_10 -b16_bit_9 -b16_bit_8 -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 -b16_bit13 -b16_bit14 -b16_bit15 -b16_bit16 -b16_bit17 -b16_bit18 -b16_bit19 -b17_bit_10 -b17_bit_9 -b17_bit_8 -b17_bit_7 -b17_bit_6 -b17_bit_5 -b17_bit_4 -b17_bit_3 -b17_bit_2 -b17_bit_1 -b17_bit0 -b17_bit1 -b17_bit2 -b17_bit3 -b17_bit4 -b17_bit5 -b17_bit6 -b17_bit7 -b17_bit8 -b17_bit9 -b17_bit10 -b17_bit11 b17_bit12 -b17_bit13 b17_bit14 -b17_bit15 -b17_bit16 -b17_bit17 -b17_bit18 -b17_bit19 -b18_bit_10 -b18_bit_9 -b18_bit_8 -b18_bit_7 -b18_bit_6 -b18_bit_5 -b18_bit_4 -b18_bit_3 -b18_bit_2 -b18_bit_1 -b18_bit0 -b18_bit1 -b18_bit2 b18_bit3 -b18_bit4 -b18_bit5 -b18_bit6 b18_bit7 b18_bit8 -b18_bit9 -b18_bit10 -b18_bit11 b18_bit12 -b18_bit13 -b18_bit14 -b18_bit15 -b18_bit16 -b18_bit17 -b18_bit18 -b18_bit19 -b19_bit_10 -b19_bit_9 -b19_bit_8 -b19_bit_7 -b19_bit_6 -b19_bit_5 -b19_bit_4 -b19_bit_3 -b19_bit_2 -b19_bit_1 -b19_bit0 -b19_bit1 -b19_bit2 b19_bit3 -b19_bit4 -b19_bit5 -b19_bit6 b19_bit7 b19_bit8 -b19_bit9 -b19_bit10 -b19_bit11 b19_bit12 -b19_bit13 -b19_bit14 -b19_bit15 -b19_bit16 -b19_bit17 -b19_bit18 -b19_bit19 c1_bit0 c2_bit0 c5_bit0 c11_bit0 c12_bit0 c13_bit0 -c14_bit0 -c15_bit0 -c16_bit0 c17_bit0 -c18_bit0 -c19_bit0 c3_bit0 c4_bit0 -c6_bit0 -c7_bit0 -c8_bit0 -c9_bit0 -c10_bit0 -f1_bit_10 -f1_bit_9 -f1_bit_8 -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 -f1_bit13 -f1_bit14 -f1_bit15 -f1_bit16 -f1_bit17 -f1_bit18 -f1_bit19 -f10_bit_10 -f10_bit_9 -f10_bit_8 -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 -f10_bit13 -f10_bit14 -f10_bit15 -f10_bit16 -f10_bit17 -f10_bit18 -f10_bit19 -f11_bit_10 -f11_bit_9 -f11_bit_8 -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 -f11_bit13 -f11_bit14 -f11_bit15 -f11_bit16 -f11_bit17 -f11_bit18 -f11_bit19 -f12_bit_10 -f12_bit_9 -f12_bit_8 -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 f12_bit13 -f12_bit14 -f12_bit15 -f12_bit16 -f12_bit17 -f12_bit18 -f12_bit19 -f13_bit_10 -f13_bit_9 -f13_bit_8 -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 f13_bit13 -f13_bit14 -f13_bit15 -f13_bit16 -f13_bit17 -f13_bit18 -f13_bit19 -f15_bit_10 -f15_bit_9 -f15_bit_8 -f15_bit_7 -f15_bit_6 -f15_bit_5 -f15_bit_4 -f15_bit_3 -f15_bit_2 -f15_bit_1 -f15_bit0 -f15_bit1 -f15_bit2 -f15_bit3 -f15_bit4 -f15_bit5 -f15_bit6 -f15_bit7 -f15_bit8 -f15_bit9 f15_bit10 -f15_bit11 -f15_bit12 f15_bit13 -f15_bit14 -f15_bit15 -f15_bit16 -f15_bit17 -f15_bit18 -f15_bit19 -f19_bit_10 -f19_bit_9 -f19_bit_8 -f19_bit_7 -f19_bit_6 -f19_bit_5 -f19_bit_4 -f19_bit_3 -f19_bit_2 -f19_bit_1 -f19_bit0 -f19_bit1 -f19_bit2 f19_bit3 -f19_bit4 -f19_bit5 -f19_bit6 f19_bit7 f19_bit8 -f19_bit9 -f19_bit10 -f19_bit11 f19_bit12 -f19_bit13 -f19_bit14 -f19_bit15 -f19_bit16 -f19_bit17 -f19_bit18 -f19_bit19 -f2_bit_10 -f2_bit_9 -f2_bit_8 -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 -f2_bit13 f2_bit14 f2_bit15 -f2_bit16 -f2_bit17 -f2_bit18 -f2_bit19 -f3_bit_10 -f3_bit_9 -f3_bit_8 -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 -f3_bit13 -f3_bit14 -f3_bit15 -f3_bit16 -f3_bit17 -f3_bit18 -f3_bit19 -f4_bit_10 -f4_bit_9 -f4_bit_8 -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 -f4_bit13 -f4_bit14 -f4_bit15 -f4_bit16 -f4_bit17 -f4_bit18 -f4_bit19 -f5_bit_10 -f5_bit_9 -f5_bit_8 -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 -f5_bit13 -f5_bit14 -f5_bit15 -f5_bit16 -f5_bit17 -f5_bit18 -f5_bit19 -f6_bit_10 -f6_bit_9 -f6_bit_8 -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 -f6_bit13 -f6_bit14 -f6_bit15 -f6_bit16 -f6_bit17 -f6_bit18 -f6_bit19 -f7_bit_10 -f7_bit_9 -f7_bit_8 -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 -f7_bit13 -f7_bit14 -f7_bit15 -f7_bit16 -f7_bit17 -f7_bit18 -f7_bit19 f8_bit_10 f8_bit_9 f8_bit_8 f8_bit_7 f8_bit_6 f8_bit_5 f8_bit_4 f8_bit_3 f8_bit_2 f8_bit_1 f8_bit0 f8_bit1 f8_bit2 f8_bit3 -f8_bit4 f8_bit5 -f8_bit6 -f8_bit7 -f8_bit8 -f8_bit9 -f8_bit10 -f8_bit11 -f8_bit12 -f8_bit13 -f8_bit14 -f8_bit15 -f8_bit16 -f8_bit17 -f8_bit18 -f8_bit19 -f9_bit_10 f9_bit_9 f9_bit_8 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 -f9_bit13 -f9_bit14 -f9_bit15 -f9_bit16 -f9_bit17 -f9_bit18 -f9_bit19 
c Cost: 540233279610250
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/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1840765254 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 107 3 90 68 0 39 0
[pid=22247] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc17/normalized-mps-v2-20-10-bell4.opb

[startup+10.0032 s]
Raw data (loadavg): 0.91 1.01 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 2069 0 0 0 940 22 0 0 25 0 1 0 1840765254 11636736 1980 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 2841 1980 1116 68 0 2773 0
[pid=22247] vsize: 11364
Current children cumulated CPU time (s) 9.62
Current children cumulated vsize (Kb) 11364

[startup+20.0038 s]
Raw data (loadavg): 0.92 1.01 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 2078 0 0 0 1882 40 0 0 25 0 1 0 1840765254 11636736 1989 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 2841 1989 1116 68 0 2773 0
[pid=22247] vsize: 11364
Current children cumulated CPU time (s) 19.22
Current children cumulated vsize (Kb) 11364

[startup+30.0044 s]
Raw data (loadavg): 0.94 1.01 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 2078 0 0 0 2827 57 0 0 25 0 1 0 1840765254 11636736 1989 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 2841 1989 1116 68 0 2773 0
[pid=22247] vsize: 11364
Current children cumulated CPU time (s) 28.84
Current children cumulated vsize (Kb) 11364

[startup+40.005 s]
Raw data (loadavg): 0.95 1.01 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 2078 0 0 0 3775 75 0 0 25 0 1 0 1840765254 11636736 1989 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 2841 1989 1116 68 0 2773 0
[pid=22247] vsize: 11364
Current children cumulated CPU time (s) 38.5
Current children cumulated vsize (Kb) 11364

[startup+50.0056 s]
Raw data (loadavg): 0.95 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 3965 0 0 0 4749 87 0 0 25 0 1 0 1840765254 19243008 3854 4294967295 134512640 134736556 3221224560 3221223172 134558392 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 4698 3854 1116 68 0 4630 0
[pid=22247] vsize: 18792
Current children cumulated CPU time (s) 48.36
Current children cumulated vsize (Kb) 18792

[startup+60.0063 s]
Raw data (loadavg): 0.96 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 3965 0 0 0 5723 96 0 0 25 0 1 0 1840765254 19243008 3854 4294967295 134512640 134736556 3221224560 3221223184 134535746 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 4698 3854 1116 68 0 4630 0
[pid=22247] vsize: 18792
Current children cumulated CPU time (s) 58.19
Current children cumulated vsize (Kb) 18792

[startup+70.0068 s]
Raw data (loadavg): 0.97 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 3965 0 0 0 6710 100 0 0 25 0 1 0 1840765254 19243008 3854 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 4698 3854 1116 68 0 4630 0
[pid=22247] vsize: 18792
Current children cumulated CPU time (s) 68.1
Current children cumulated vsize (Kb) 18792

[startup+80.0074 s]
Raw data (loadavg): 0.97 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 3965 0 0 0 7697 105 0 0 25 0 1 0 1840765254 19243008 3854 4294967295 134512640 134736556 3221224560 3221223084 134536262 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 4698 3854 1116 68 0 4630 0
[pid=22247] vsize: 18792
Current children cumulated CPU time (s) 78.02
Current children cumulated vsize (Kb) 18792

[startup+90.008 s]
Raw data (loadavg): 0.97 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4700 0 0 0 8676 114 0 0 25 0 1 0 1840765254 22122496 4558 4294967295 134512640 134736556 3221224560 3221222732 1077379843 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5401 4558 1116 68 0 5333 0
[pid=22247] vsize: 21604
Current children cumulated CPU time (s) 87.9
Current children cumulated vsize (Kb) 21604

[startup+100.008 s]
Raw data (loadavg): 0.98 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 4825 0 0 0 9662 120 0 0 25 0 1 0 1840765254 22646784 4676 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5529 4676 1116 68 0 5461 0
[pid=22247] vsize: 22116
Current children cumulated CPU time (s) 97.82
Current children cumulated vsize (Kb) 22116

[startup+110.009 s]
Raw data (loadavg): 0.98 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 4825 0 0 0 10648 126 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 107.74
Current children cumulated vsize (Kb) 22112

[startup+120.01 s]
Raw data (loadavg): 0.98 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 11635 131 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223176 134560294 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 117.66
Current children cumulated vsize (Kb) 22112

[startup+130.009 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 12619 137 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223156 134544513 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 127.56
Current children cumulated vsize (Kb) 22112

[startup+140.01 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 13605 141 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223084 134523852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 137.46
Current children cumulated vsize (Kb) 22112

[startup+150.011 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 4825 0 0 0 14590 147 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 147.37
Current children cumulated vsize (Kb) 22112

[startup+160.011 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 15579 151 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223012 1077374568 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 157.3
Current children cumulated vsize (Kb) 22112

[startup+170.012 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 16567 155 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223104 134540437 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 167.22
Current children cumulated vsize (Kb) 22112

[startup+180.012 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 4825 0 0 0 17555 159 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 177.14
Current children cumulated vsize (Kb) 22112

[startup+190.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 18543 164 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223168 134536147 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 187.07
Current children cumulated vsize (Kb) 22112

[startup+200.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 19531 168 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223280 134646416 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 196.99
Current children cumulated vsize (Kb) 22112

[startup+210.013 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 20520 173 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223012 1077374446 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 206.93
Current children cumulated vsize (Kb) 22112

[startup+220.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 21508 177 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223132 134543226 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 216.85
Current children cumulated vsize (Kb) 22112

[startup+230.014 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 22496 181 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221222828 1077379843 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 226.77
Current children cumulated vsize (Kb) 22112

[startup+240.014 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 4825 0 0 0 23479 188 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 236.67
Current children cumulated vsize (Kb) 22112

[startup+250.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 24443 201 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223248 134646439 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 246.44
Current children cumulated vsize (Kb) 22112

[startup+260.015 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 25408 215 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223208 134532895 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 256.23
Current children cumulated vsize (Kb) 22112

[startup+270.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 4825 0 0 0 26374 229 0 0 25 0 1 0 1840765254 22642688 4676 4294967295 134512640 134736556 3221224560 3221223232 134524917 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 5528 4676 1116 68 0 5460 0
[pid=22247] vsize: 22112
Current children cumulated CPU time (s) 266.03
Current children cumulated vsize (Kb) 22112

[startup+280.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 5842 0 0 0 27359 237 0 0 25 0 1 0 1840765254 26714112 5690 4294967295 134512640 134736556 3221224560 3221222764 1077379843 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 6522 5690 1116 68 0 6454 0
[pid=22247] vsize: 26088
Current children cumulated CPU time (s) 275.96
Current children cumulated vsize (Kb) 26088

[startup+290.016 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 5842 0 0 0 28345 242 0 0 25 0 1 0 1840765254 26714112 5690 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 6522 5690 1116 68 0 6454 0
[pid=22247] vsize: 26088
Current children cumulated CPU time (s) 285.87
Current children cumulated vsize (Kb) 26088

[startup+300.017 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 5842 0 0 0 29321 250 0 0 25 0 1 0 1840765254 26714112 5690 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 6522 5690 1116 68 0 6454 0
[pid=22247] vsize: 26088
Current children cumulated CPU time (s) 295.71
Current children cumulated vsize (Kb) 26088

[startup+310.017 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 5843 0 0 0 30288 261 0 0 25 0 1 0 1840765254 26714112 5691 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 6522 5691 1116 68 0 6454 0
[pid=22247] vsize: 26088
Current children cumulated CPU time (s) 305.49
Current children cumulated vsize (Kb) 26088

[startup+320.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 5843 0 0 0 31263 269 0 0 25 0 1 0 1840765254 26714112 5691 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 6522 5691 1116 68 0 6454 0
[pid=22247] vsize: 26088
Current children cumulated CPU time (s) 315.32
Current children cumulated vsize (Kb) 26088

[startup+330.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 5843 0 0 0 32243 276 0 0 25 0 1 0 1840765254 26714112 5691 4294967295 134512640 134736556 3221224560 3221223088 134540767 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 6522 5691 1116 68 0 6454 0
[pid=22247] vsize: 26088
Current children cumulated CPU time (s) 325.19
Current children cumulated vsize (Kb) 26088

[startup+340.018 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 5843 0 0 0 33223 282 0 0 25 0 1 0 1840765254 26714112 5691 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 6522 5691 1116 68 0 6454 0
[pid=22247] vsize: 26088
Current children cumulated CPU time (s) 335.05
Current children cumulated vsize (Kb) 26088

[startup+350.018 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 5987 0 0 0 34200 290 0 0 25 0 1 0 1840765254 27389952 5835 4294967295 134512640 134736556 3221224560 3221223128 134560373 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 6687 5835 1116 68 0 6619 0
[pid=22247] vsize: 26748
Current children cumulated CPU time (s) 344.9
Current children cumulated vsize (Kb) 26748

[startup+360.019 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 6875 0 0 0 35180 299 0 0 25 0 1 0 1840765254 31002624 6723 4294967295 134512640 134736556 3221224560 3221223232 134630777 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 7569 6723 1116 68 0 7501 0
[pid=22247] vsize: 30276
Current children cumulated CPU time (s) 354.79
Current children cumulated vsize (Kb) 30276

[startup+370.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 6875 0 0 0 36147 313 0 0 25 0 1 0 1840765254 31002624 6723 4294967295 134512640 134736556 3221224560 3221223196 134694604 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 7569 6723 1116 68 0 7501 0
[pid=22247] vsize: 30276
Current children cumulated CPU time (s) 364.6
Current children cumulated vsize (Kb) 30276

[startup+380.02 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 6875 0 0 0 37113 323 0 0 25 0 1 0 1840765254 31002624 6723 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 7569 6723 1116 68 0 7501 0
[pid=22247] vsize: 30276
Current children cumulated CPU time (s) 374.36
Current children cumulated vsize (Kb) 30276

[startup+390.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 6959 0 0 0 38087 333 0 0 25 0 1 0 1840765254 31379456 6807 4294967295 134512640 134736556 3221224560 3221223244 134534796 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 7661 6807 1116 68 0 7593 0
[pid=22247] vsize: 30644
Current children cumulated CPU time (s) 384.2
Current children cumulated vsize (Kb) 30644

[startup+400.02 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 8610 0 0 0 39071 341 0 0 25 0 1 0 1840765254 38084608 8458 4294967295 134512640 134736556 3221224560 3221223168 134536188 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 9298 8458 1116 68 0 9230 0
[pid=22247] vsize: 37192
Current children cumulated CPU time (s) 394.12
Current children cumulated vsize (Kb) 37192

[startup+410.02 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 8610 0 0 0 40053 348 0 0 25 0 1 0 1840765254 38084608 8458 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22247/statm): 9298 8458 1116 68 0 9230 0
[pid=22247] vsize: 37192
Current children cumulated CPU time (s) 404.01
Current children cumulated vsize (Kb) 37192

[startup+420.021 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 9359 0 0 0 41024 359 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 413.83
Current children cumulated vsize (Kb) 40236

[startup+430.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 42007 365 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 423.72
Current children cumulated vsize (Kb) 40236

[startup+440.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 42992 371 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223232 134630390 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 433.63
Current children cumulated vsize (Kb) 40236

[startup+450.022 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 43977 376 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223208 134543300 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 443.53
Current children cumulated vsize (Kb) 40236

[startup+460.022 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 9359 0 0 0 44959 384 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 453.43
Current children cumulated vsize (Kb) 40236

[startup+470.023 s]
Raw data (loadavg): 0.99 1.00 0.99 3/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 45946 389 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 463.35
Current children cumulated vsize (Kb) 40236

[startup+480.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 46914 401 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223208 134543310 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 473.15
Current children cumulated vsize (Kb) 40236

[startup+490.023 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 9359 0 0 0 47883 411 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 482.94
Current children cumulated vsize (Kb) 40236

[startup+500.024 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 48858 419 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223136 134558161 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 492.77
Current children cumulated vsize (Kb) 40236

[startup+510.024 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 9359 0 0 0 49834 428 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 502.62
Current children cumulated vsize (Kb) 40236

[startup+520.025 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 9359 0 0 0 50814 436 0 0 25 0 1 0 1840765254 41201664 9207 4294967295 134512640 134736556 3221224560 3221223152 134558396 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 10059 9207 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 512.5
Current children cumulated vsize (Kb) 40236

[startup+530.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 9363 0 0 0 51795 442 0 0 25 0 1 0 1840765254 41201664 9211 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 10059 9211 1116 68 0 9991 0
[pid=22247] vsize: 40236
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (Kb) 40236

[startup+540.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 10644 0 0 0 52764 454 0 0 25 0 1 0 1840765254 46518272 10492 4294967295 134512640 134736556 3221224560 3221223232 134630685 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 11357 10492 1116 68 0 11289 0
[pid=22247] vsize: 45428
Current children cumulated CPU time (s) 532.18
Current children cumulated vsize (Kb) 45428

[startup+550.026 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 11209 0 0 0 53741 464 0 0 25 0 1 0 1840765254 48742400 11046 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 11900 11046 1116 68 0 11832 0
[pid=22247] vsize: 47600
Current children cumulated CPU time (s) 542.05
Current children cumulated vsize (Kb) 47600

[startup+560.026 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13232 0 0 0 54720 475 0 0 25 0 1 0 1840765254 57126912 13069 4294967295 134512640 134736556 3221224560 3221222828 1077379843 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 13947 13069 1116 68 0 13879 0
[pid=22247] vsize: 55788
Current children cumulated CPU time (s) 551.95
Current children cumulated vsize (Kb) 55788

[startup+570.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 55710 478 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223188 134529176 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 561.88
Current children cumulated vsize (Kb) 56052

[startup+580.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 56698 483 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223168 134558535 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 571.81
Current children cumulated vsize (Kb) 56052

[startup+590.027 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 57686 488 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223216 134649038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 581.74
Current children cumulated vsize (Kb) 56052

[startup+600.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 58673 494 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223208 134543297 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 591.67
Current children cumulated vsize (Kb) 56052

[startup+610.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 59657 501 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223232 134630914 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 601.58
Current children cumulated vsize (Kb) 56052

[startup+620.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 60639 507 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223220 134630178 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 611.46
Current children cumulated vsize (Kb) 56052

[startup+630.028 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 13304 0 0 0 61624 513 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 621.37
Current children cumulated vsize (Kb) 56052

[startup+640.028 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 13304 0 0 0 62588 526 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 631.14
Current children cumulated vsize (Kb) 56052

[startup+650.028 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 13304 0 0 0 63561 535 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 640.96
Current children cumulated vsize (Kb) 56052

[startup+660.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 64547 540 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223148 134560382 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 650.87
Current children cumulated vsize (Kb) 56052

[startup+670.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 13304 0 0 0 65530 547 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223268 134609065 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 660.77
Current children cumulated vsize (Kb) 56052

[startup+680.029 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 13304 0 0 0 66509 555 0 0 25 0 1 0 1840765254 57397248 13141 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 14013 13141 1116 68 0 13945 0
[pid=22247] vsize: 56052
Current children cumulated CPU time (s) 670.64
Current children cumulated vsize (Kb) 56052

[startup+690.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 14895 0 0 0 67487 565 0 0 25 0 1 0 1840765254 63791104 14721 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 15574 14721 1116 68 0 15506 0
[pid=22247] vsize: 62296
Current children cumulated CPU time (s) 680.52
Current children cumulated vsize (Kb) 62296

[startup+700.029 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 14895 0 0 0 68467 573 0 0 25 0 1 0 1840765254 63791104 14721 4294967295 134512640 134736556 3221224560 3221223152 1077377147 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 15574 14721 1116 68 0 15506 0
[pid=22247] vsize: 62296
Current children cumulated CPU time (s) 690.4
Current children cumulated vsize (Kb) 62296

[startup+710.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 14895 0 0 0 69445 580 0 0 25 0 1 0 1840765254 63791104 14721 4294967295 134512640 134736556 3221224560 3221222916 1077378590 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 15574 14721 1116 68 0 15506 0
[pid=22247] vsize: 62296
Current children cumulated CPU time (s) 700.25
Current children cumulated vsize (Kb) 62296

[startup+720.03 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 14977 0 0 0 70432 584 0 0 25 0 1 0 1840765254 64000000 14770 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 15625 14770 1116 68 0 15557 0
[pid=22247] vsize: 62500
Current children cumulated CPU time (s) 710.16
Current children cumulated vsize (Kb) 62500

[startup+730.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15098 0 0 0 71415 590 0 0 25 0 1 0 1840765254 64405504 14860 4294967295 134512640 134736556 3221224560 3221223112 1077377239 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 15724 14860 1116 68 0 15656 0
[pid=22247] vsize: 62896
Current children cumulated CPU time (s) 720.05
Current children cumulated vsize (Kb) 62896

[startup+740.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15290 0 0 0 72402 595 0 0 25 0 1 0 1840765254 65105920 15011 4294967295 134512640 134736556 3221224560 3221223228 134534802 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 15895 15011 1116 68 0 15827 0
[pid=22247] vsize: 63580
Current children cumulated CPU time (s) 729.97
Current children cumulated vsize (Kb) 63580

[startup+750.03 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15290 0 0 0 73392 599 0 0 25 0 1 0 1840765254 65101824 15011 4294967295 134512640 134736556 3221224560 3221223100 134536226 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 15894 15011 1116 68 0 15826 0
[pid=22247] vsize: 63576
Current children cumulated CPU time (s) 739.91
Current children cumulated vsize (Kb) 63576

[startup+760.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15290 0 0 0 74376 605 0 0 25 0 1 0 1840765254 65101824 15011 4294967295 134512640 134736556 3221224560 3221223296 134646172 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 15894 15011 1116 68 0 15826 0
[pid=22247] vsize: 63576
Current children cumulated CPU time (s) 749.81
Current children cumulated vsize (Kb) 63576

[startup+770.031 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15445 0 0 0 75363 610 0 0 25 0 1 0 1840765254 65642496 15166 4294967295 134512640 134736556 3221224560 3221223100 134536369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16026 15166 1116 68 0 15958 0
[pid=22247] vsize: 64104
Current children cumulated CPU time (s) 759.73
Current children cumulated vsize (Kb) 64104

[startup+780.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15445 0 0 0 76351 616 0 0 25 0 1 0 1840765254 65642496 15166 4294967295 134512640 134736556 3221224560 3221223100 134536384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16026 15166 1116 68 0 15958 0
[pid=22247] vsize: 64104
Current children cumulated CPU time (s) 769.67
Current children cumulated vsize (Kb) 64104

[startup+790.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15445 0 0 0 77337 621 0 0 25 0 1 0 1840765254 65642496 15166 4294967295 134512640 134736556 3221224560 3221223120 134543478 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16026 15166 1116 68 0 15958 0
[pid=22247] vsize: 64104
Current children cumulated CPU time (s) 779.58
Current children cumulated vsize (Kb) 64104

[startup+800.032 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15498 0 0 0 78324 626 0 0 25 0 1 0 1840765254 65679360 15180 4294967295 134512640 134736556 3221224560 3221223100 134536340 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16035 15180 1116 68 0 15967 0
[pid=22247] vsize: 64140
Current children cumulated CPU time (s) 789.5
Current children cumulated vsize (Kb) 64140

[startup+810.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15498 0 0 0 79311 632 0 0 25 0 1 0 1840765254 65679360 15180 4294967295 134512640 134736556 3221224560 3221223208 134560551 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16035 15180 1116 68 0 15967 0
[pid=22247] vsize: 64140
Current children cumulated CPU time (s) 799.43
Current children cumulated vsize (Kb) 64140

[startup+820.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15535 0 0 0 80294 638 0 0 25 0 1 0 1840765254 65949696 15217 4294967295 134512640 134736556 3221224560 3221223028 1077374485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16101 15217 1116 68 0 16033 0
[pid=22247] vsize: 64404
Current children cumulated CPU time (s) 809.32
Current children cumulated vsize (Kb) 64404

[startup+830.033 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 81284 641 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221222812 1077379843 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 819.25
Current children cumulated vsize (Kb) 64360

[startup+840.033 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 15537 0 0 0 82269 648 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 829.17
Current children cumulated vsize (Kb) 64360

[startup+850.034 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 83250 654 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223168 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 839.04
Current children cumulated vsize (Kb) 64360

[startup+860.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 84238 659 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223112 1077377353 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 848.97
Current children cumulated vsize (Kb) 64360

[startup+870.035 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 85226 662 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223128 134543057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 858.88
Current children cumulated vsize (Kb) 64360

[startup+880.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 86213 667 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223088 134534879 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 868.8
Current children cumulated vsize (Kb) 64360

[startup+890.036 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 87200 672 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223032 1077374433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 878.72
Current children cumulated vsize (Kb) 64360

[startup+900.037 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 88185 678 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 888.63
Current children cumulated vsize (Kb) 64360

[startup+910.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15537 0 0 0 89172 682 0 0 25 0 1 0 1840765254 65904640 15219 4294967295 134512640 134736556 3221224560 3221223168 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15219 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 898.54
Current children cumulated vsize (Kb) 64360

[startup+920.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15584 0 0 0 90160 686 0 0 25 0 1 0 1840765254 66039808 15266 4294967295 134512640 134736556 3221224560 3221223048 1077374433 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16123 15266 1116 68 0 16055 0
[pid=22247] vsize: 64492
Current children cumulated CPU time (s) 908.46
Current children cumulated vsize (Kb) 64492

[startup+930.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15607 0 0 0 91150 690 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221222764 1077379843 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 918.4
Current children cumulated vsize (Kb) 64360

[startup+940.038 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 92137 694 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223100 134536223 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 928.31
Current children cumulated vsize (Kb) 64360

[startup+950.039 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 15675 0 0 0 93125 700 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 938.25
Current children cumulated vsize (Kb) 64360

[startup+960.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 94108 705 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223164 134544504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 948.13
Current children cumulated vsize (Kb) 64360

[startup+970.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 95094 709 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223168 134536111 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 958.03
Current children cumulated vsize (Kb) 64360

[startup+980.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 96081 714 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223180 134544720 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 967.95
Current children cumulated vsize (Kb) 64360

[startup+990.041 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 97069 718 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223272 134599556 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 977.87
Current children cumulated vsize (Kb) 64360

[startup+1000.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 98056 723 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223120 134543495 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 987.79
Current children cumulated vsize (Kb) 64360

[startup+1010.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15675 0 0 0 99045 728 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223116 134523852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 997.73
Current children cumulated vsize (Kb) 64360

[startup+1020.04 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 15675 0 0 0 100036 732 0 0 25 0 1 0 1840765254 65904640 15235 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16090 15235 1116 68 0 16022 0
[pid=22247] vsize: 64360
Current children cumulated CPU time (s) 1007.68
Current children cumulated vsize (Kb) 64360

[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 101025 735 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0
[pid=22247] vsize: 64488
Current children cumulated CPU time (s) 1017.6
Current children cumulated vsize (Kb) 64488

[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 102014 738 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0
[pid=22247] vsize: 64488
Current children cumulated CPU time (s) 1027.52
Current children cumulated vsize (Kb) 64488

[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 102999 744 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223040 134540866 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0
[pid=22247] vsize: 64488
Current children cumulated CPU time (s) 1037.43
Current children cumulated vsize (Kb) 64488

[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 103990 747 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223172 1077374189 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0
[pid=22247] vsize: 64488
Current children cumulated CPU time (s) 1047.37
Current children cumulated vsize (Kb) 64488

[startup+1070.04 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 15787 0 0 0 104974 754 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0
[pid=22247] vsize: 64488
Current children cumulated CPU time (s) 1057.28
Current children cumulated vsize (Kb) 64488

[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 105952 763 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223132 134544504 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0
[pid=22247] vsize: 64488
Current children cumulated CPU time (s) 1067.15
Current children cumulated vsize (Kb) 64488

[startup+1090.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15787 0 0 0 106939 768 0 0 25 0 1 0 1840765254 66035712 15267 4294967295 134512640 134736556 3221224560 3221223132 134543056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16122 15267 1116 68 0 16054 0
[pid=22247] vsize: 64488
Current children cumulated CPU time (s) 1077.07
Current children cumulated vsize (Kb) 64488

[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15788 0 0 0 107932 771 0 0 25 0 1 0 1840765254 66035712 15268 4294967295 134512640 134736556 3221224560 3221223192 134544071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16122 15268 1116 68 0 16054 0
[pid=22247] vsize: 64488
Current children cumulated CPU time (s) 1087.03
Current children cumulated vsize (Kb) 64488

[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 15790 0 0 0 108924 774 0 0 25 0 1 0 1840765254 66035712 15269 4294967295 134512640 134736556 3221224560 3221223072 134543931 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 16122 15269 1116 68 0 16054 0
[pid=22247] vsize: 64488
Current children cumulated CPU time (s) 1096.98
Current children cumulated vsize (Kb) 64488

[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 17236 0 0 0 109908 783 0 0 25 0 1 0 1840765254 72605696 16715 4294967295 134512640 134736556 3221224560 3221223136 134543071 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 17726 16715 1116 68 0 17658 0
[pid=22247] vsize: 70904
Current children cumulated CPU time (s) 1106.91
Current children cumulated vsize (Kb) 70904

[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 17917 0 0 0 110895 789 0 0 25 0 1 0 1840765254 75530240 17396 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 18440 17396 1116 68 0 18372 0
[pid=22247] vsize: 73760
Current children cumulated CPU time (s) 1116.84
Current children cumulated vsize (Kb) 73760

[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 18448 0 0 0 111876 796 0 0 25 0 1 0 1840765254 77647872 17927 4294967295 134512640 134736556 3221224560 3221223100 134536340 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 18957 17927 1116 68 0 18889 0
[pid=22247] vsize: 75828
Current children cumulated CPU time (s) 1126.72
Current children cumulated vsize (Kb) 75828

[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 20911 0 0 0 112854 809 0 0 25 0 1 0 1840765254 87777280 20390 4294967295 134512640 134736556 3221224560 3221223224 134560233 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 21430 20390 1116 68 0 21362 0
[pid=22247] vsize: 85720
Current children cumulated CPU time (s) 1136.63
Current children cumulated vsize (Kb) 85720

[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 20911 0 0 0 113834 817 0 0 25 0 1 0 1840765254 87777280 20390 4294967295 134512640 134736556 3221224560 3221223220 134605398 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 21430 20390 1116 68 0 21362 0
[pid=22247] vsize: 85720
Current children cumulated CPU time (s) 1146.51
Current children cumulated vsize (Kb) 85720

[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 21195 0 0 0 114803 828 0 0 25 0 1 0 1840765254 88850432 20674 4294967295 134512640 134736556 3221224560 3221223112 1077377720 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 21692 20674 1116 68 0 21624 0
[pid=22247] vsize: 86768
Current children cumulated CPU time (s) 1156.31
Current children cumulated vsize (Kb) 86768

[startup+1180.04 s]
Raw data (loadavg): 0.99 1.00 0.99 1/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) T 22246 22247 19316 0 -1 0 21195 0 0 0 115778 837 0 0 25 0 1 0 1840765254 88850432 20674 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/22247/statm): 21692 20674 1116 68 0 21624 0
[pid=22247] vsize: 86768
Current children cumulated CPU time (s) 1166.15
Current children cumulated vsize (Kb) 86768

[startup+1190.04 s]
Raw data (loadavg): 0.99 1.00 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 21195 0 0 0 116756 845 0 0 25 0 1 0 1840765254 88850432 20674 4294967295 134512640 134736556 3221224560 3221223264 134543489 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 21692 20674 1116 68 0 21624 0
[pid=22247] vsize: 86768
Current children cumulated CPU time (s) 1176.01
Current children cumulated vsize (Kb) 86768

[startup+1200.05 s]
Raw data (loadavg): 1.07 1.02 0.99 2/56 22247
Raw data (/proc/22247/stat): 22247 (bsolo) R 22246 22247 19316 0 -1 0 21195 0 0 0 117741 850 0 0 25 0 1 0 1840765254 88850432 20674 4294967295 134512640 134736556 3221224560 3221223084 134536369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/22247/statm): 21692 20674 1116 68 0 21624 0
[pid=22247] vsize: 86768
Current children cumulated CPU time (s) 1185.91
Current children cumulated vsize (Kb) 86768
One traced child (pid=22247) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1209.24
CPU time (s): 1195.07
CPU user time (s): 1186.49
CPU system time (s): 8.5797
CPU usage (%): 98.8275
Max. virtual memory (cumulated for all children) (Kb): 86768

Verifier Data

Verifier:	OK	540233279610250