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/miplib2003/normalized-mps-v2-20-10-p2756.opb
MD5SUMf2badf1ad4c3213045697b74fa812a03
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 4457
Optimality of the best value was proved NO
Number of terms in the objective function 2166
Biggest coefficient in the objective function 11000
Number of bits for the biggest coefficient in the objective function 14
Sum of the numbers in the objective function 321831
Number of bits of the sum of numbers in the objective function 19
Biggest number in a constraint 11000
Number of bits of the biggest number in a constraint 14
Biggest sum of numbers in a constraint 321831
Number of bits of the biggest sum of numbers19
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1228.3
Number of variables2756
Total number of constraints3511
Number of constraints which are clauses132
Number of constraints which are cardinality constraints (but not clauses)2976
Number of constraints which are nor clauses,nor cardinality constraints403
Minimum length of a constraint1
Maximum length of a constraint546

Trace number 632

Launcher Data

LAUNCH ON wulflinc26 THE 2005-09-18 11:48:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=589 boxname=wulflinc26 idbench=589 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  f2badf1ad4c3213045697b74fa812a03  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-p2756.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-p2756.opb
IDLAUNCH: 589
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        944388 kB
Buffers:         34736 kB
Cached:          28384 kB
SwapCached:        868 kB
Active:          53744 kB
Inactive:        11996 kB
HighTotal:      131008 kB
HighFree:        99932 kB
LowTotal:       903652 kB
LowFree:        844456 kB
SwapTotal:     2097892 kB
SwapFree:      2096540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5696 kB
Slab:            18964 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-18 12:08:09 (client local time) WITH STATUS 10 IN 1195.1 SECONDS
stats: 589 0 1195.1 10

Solver Data

c INFO: OSL Context initialized.
c Initial problem consists of 2756 variables and 749 constraints.
c	preprocess terminated. Elapsed time: 1.572
c After prepocess the problem consists of 2731 variables and 736 constraints.
c Initial Lower Bound: 0
c NEW SOLUTION FOUND: 74085 @ 82.382 @ #Dec. 19233
c NEW SOLUTION FOUND: 74083 @ 82.415 @ #Dec. 19241
c NEW SOLUTION FOUND: 74080 @ 82.46 @ #Dec. 19251
c NEW SOLUTION FOUND: 74079 @ 82.517 @ #Dec. 19263
c NEW SOLUTION FOUND: 74078 @ 82.587 @ #Dec. 19278
c NEW SOLUTION FOUND: 74076 @ 82.671 @ #Dec. 19293
c NEW SOLUTION FOUND: 74074 @ 82.809 @ #Dec. 19322
c NEW SOLUTION FOUND: 74015 @ 82.961 @ #Dec. 19371
c NEW SOLUTION FOUND: 74014 @ 83.119 @ #Dec. 19420
c NEW SOLUTION FOUND: 74011 @ 83.269 @ #Dec. 19468
c NEW SOLUTION FOUND: 73992 @ 83.433 @ #Dec. 19524
c NEW SOLUTION FOUND: 73989 @ 83.592 @ #Dec. 19579
c NEW SOLUTION FOUND: 73987 @ 83.806 @ #Dec. 19645
c NEW SOLUTION FOUND: 73984 @ 83.974 @ #Dec. 19708
c NEW SOLUTION FOUND: 69439 @ 91.501 @ #Dec. 22161
c NEW SOLUTION FOUND: 69436 @ 91.65 @ #Dec. 22224
c NEW SOLUTION FOUND: 69341 @ 91.897 @ #Dec. 22307
c NEW SOLUTION FOUND: 69336 @ 92.296 @ #Dec. 22432
c NEW SOLUTION FOUND: 69314 @ 92.5 @ #Dec. 22505
c NEW SOLUTION FOUND: 69311 @ 92.828 @ #Dec. 22612
c NEW SOLUTION FOUND: 69297 @ 93.086 @ #Dec. 22702
c NEW SOLUTION FOUND: 69275 @ 93.316 @ #Dec. 22783
c NEW SOLUTION FOUND: 69238 @ 93.568 @ #Dec. 22871
c NEW SOLUTION FOUND: 69216 @ 93.796 @ #Dec. 22952
c NEW SOLUTION FOUND: 69213 @ 94.212 @ #Dec. 23077
c NEW SOLUTION FOUND: 69206 @ 94.763 @ #Dec. 23250
c NEW SOLUTION FOUND: 69150 @ 95.026 @ #Dec. 23342
c NEW SOLUTION FOUND: 69147 @ 95.286 @ #Dec. 23433
c NEW SOLUTION FOUND: 69146 @ 95.553 @ #Dec. 23525
c NEW SOLUTION FOUND: 69143 @ 95.817 @ #Dec. 23616
c Restart #1 #Var: 2719 #Dec: 23900 LB: 0 @ 97.733
c NEW SOLUTION FOUND: 62255 @ 142.59 @ #Dec. 34274
c NEW SOLUTION FOUND: 62238 @ 142.75 @ #Dec. 34335
c NEW SOLUTION FOUND: 62214 @ 142.97 @ #Dec. 34426
c NEW SOLUTION FOUND: 62197 @ 143.12 @ #Dec. 34487
c NEW SOLUTION FOUND: 62165 @ 143.66 @ #Dec. 34723
c NEW SOLUTION FOUND: 62159 @ 144 @ #Dec. 34873
c NEW SOLUTION FOUND: 62138 @ 144.37 @ #Dec. 35039
c NEW SOLUTION FOUND: 62121 @ 144.63 @ #Dec. 35148
c NEW SOLUTION FOUND: 62120 @ 144.88 @ #Dec. 35258
c NEW SOLUTION FOUND: 62118 @ 145.15 @ #Dec. 35380
c NEW SOLUTION FOUND: 62095 @ 146.19 @ #Dec. 35760
c NEW SOLUTION FOUND: 62094 @ 146.46 @ #Dec. 35879
c NEW SOLUTION FOUND: 62088 @ 146.72 @ #Dec. 36000
c NEW SOLUTION FOUND: 62067 @ 147.01 @ #Dec. 36124
c NEW SOLUTION FOUND: 62050 @ 147.27 @ #Dec. 36240
c NEW SOLUTION FOUND: 62049 @ 147.53 @ #Dec. 36357
c NEW SOLUTION FOUND: 62048 @ 147.8 @ #Dec. 36482
c NEW SOLUTION FOUND: 62047 @ 148.06 @ #Dec. 36599
c NEW SOLUTION FOUND: 62043 @ 148.37 @ #Dec. 36738
c NEW SOLUTION FOUND: 62042 @ 148.76 @ #Dec. 36898
c NEW SOLUTION FOUND: 62041 @ 149.03 @ #Dec. 37020
c NEW SOLUTION FOUND: 62040 @ 149.28 @ #Dec. 37137
c NEW SOLUTION FOUND: 61724 @ 150.13 @ #Dec. 37465
c NEW SOLUTION FOUND: 61701 @ 150.39 @ #Dec. 37581
c NEW SOLUTION FOUND: 61655 @ 150.65 @ #Dec. 37699
c NEW SOLUTION FOUND: 61654 @ 150.9 @ #Dec. 37817
c NEW SOLUTION FOUND: 61648 @ 151.17 @ #Dec. 37939
c NEW SOLUTION FOUND: 61627 @ 151.46 @ #Dec. 38064
c NEW SOLUTION FOUND: 61610 @ 151.72 @ #Dec. 38179
c NEW SOLUTION FOUND: 61609 @ 151.97 @ #Dec. 38295
c NEW SOLUTION FOUND: 61608 @ 152.25 @ #Dec. 38423
c NEW SOLUTION FOUND: 61607 @ 152.51 @ #Dec. 38539
c NEW SOLUTION FOUND: 61605 @ 152.79 @ #Dec. 38667
c NEW SOLUTION FOUND: 61604 @ 153.04 @ #Dec. 38783
c NEW SOLUTION FOUND: 61600 @ 153.38 @ #Dec. 38933
c NEW SOLUTION FOUND: 61597 @ 153.77 @ #Dec. 39115
c NEW SOLUTION FOUND: 61596 @ 154.04 @ #Dec. 39240
c NEW SOLUTION FOUND: 61595 @ 154.31 @ #Dec. 39358
c NEW SOLUTION FOUND: 61594 @ 155.42 @ #Dec. 39831
c NEW SOLUTION FOUND: 61593 @ 156.68 @ #Dec. 40364
c NEW SOLUTION FOUND: 61592 @ 157.05 @ #Dec. 40534
c NEW SOLUTION FOUND: 61591 @ 157.34 @ #Dec. 40665
c NEW SOLUTION FOUND: 61590 @ 157.63 @ #Dec. 40807
c NEW SOLUTION FOUND: 61589 @ 157.9 @ #Dec. 40928
c NEW SOLUTION FOUND: 61588 @ 159.31 @ #Dec. 41561
c NEW SOLUTION FOUND: 61491 @ 160.22 @ #Dec. 42112
c NEW SOLUTION FOUND: 61054 @ 160.48 @ #Dec. 42228
c NEW SOLUTION FOUND: 61037 @ 160.75 @ #Dec. 42345
c NEW SOLUTION FOUND: 61008 @ 161.01 @ #Dec. 42464
c NEW SOLUTION FOUND: 60990 @ 161.29 @ #Dec. 42585
c NEW SOLUTION FOUND: 60978 @ 161.56 @ #Dec. 42704
c NEW SOLUTION FOUND: 60961 @ 161.83 @ #Dec. 42822
c NEW SOLUTION FOUND: 60958 @ 162.15 @ #Dec. 42964
c NEW SOLUTION FOUND: 60957 @ 162.41 @ #Dec. 43085
c NEW SOLUTION FOUND: 60951 @ 162.71 @ #Dec. 43211
c NEW SOLUTION FOUND: 60950 @ 163.05 @ #Dec. 43362
c NEW SOLUTION FOUND: 60949 @ 163.32 @ #Dec. 43484
c NEW SOLUTION FOUND: 60947 @ 163.7 @ #Dec. 43646
c NEW SOLUTION FOUND: 60945 @ 164.05 @ #Dec. 43792
c NEW SOLUTION FOUND: 60942 @ 164.43 @ #Dec. 43950
c NEW SOLUTION FOUND: 60941 @ 164.71 @ #Dec. 44071
c NEW SOLUTION FOUND: 60940 @ 165.51 @ #Dec. 44354
c NEW SOLUTION FOUND: 60938 @ 165.88 @ #Dec. 44511
c NEW SOLUTION FOUND: 60936 @ 166.43 @ #Dec. 44763
c NEW SOLUTION FOUND: 60935 @ 167.15 @ #Dec. 45117
c NEW SOLUTION FOUND: 60933 @ 167.42 @ #Dec. 45237
c NEW SOLUTION FOUND: 60714 @ 167.95 @ #Dec. 45505
c NEW SOLUTION FOUND: 60697 @ 168.23 @ #Dec. 45631
c NEW SOLUTION FOUND: 60687 @ 168.52 @ #Dec. 45758
c NEW SOLUTION FOUND: 60685 @ 168.81 @ #Dec. 45893
c NEW SOLUTION FOUND: 60683 @ 169.12 @ #Dec. 46040
c NEW SOLUTION FOUND: 60681 @ 169.4 @ #Dec. 46165
c NEW SOLUTION FOUND: 60668 @ 169.71 @ #Dec. 46307
c NEW SOLUTION FOUND: 60651 @ 169.99 @ #Dec. 46433
c NEW SOLUTION FOUND: 60641 @ 170.28 @ #Dec. 46560
c NEW SOLUTION FOUND: 60639 @ 170.57 @ #Dec. 46695
c NEW SOLUTION FOUND: 60638 @ 170.88 @ #Dec. 46842
c NEW SOLUTION FOUND: 60636 @ 171.2 @ #Dec. 46992
c NEW SOLUTION FOUND: 60634 @ 171.48 @ #Dec. 47118
c NEW SOLUTION FOUND: 60632 @ 171.84 @ #Dec. 47295
c NEW SOLUTION FOUND: 60630 @ 172.12 @ #Dec. 47421
c NEW SOLUTION FOUND: 60627 @ 172.56 @ #Dec. 47643
c NEW SOLUTION FOUND: 60626 @ 173.04 @ #Dec. 47911
c NEW SOLUTION FOUND: 60625 @ 173.42 @ #Dec. 48105
c NEW SOLUTION FOUND: 60623 @ 173.79 @ #Dec. 48289
c NEW SOLUTION FOUND: 60622 @ 174.17 @ #Dec. 48475
c NEW SOLUTION FOUND: 60621 @ 175.99 @ #Dec. 49266
c NEW SOLUTION FOUND: 60620 @ 176.45 @ #Dec. 49470
c NEW SOLUTION FOUND: 60619 @ 177.46 @ #Dec. 49900
c NEW SOLUTION FOUND: 60617 @ 178.63 @ #Dec. 50465
c NEW SOLUTION FOUND: 60616 @ 178.98 @ #Dec. 50643
c NEW SOLUTION FOUND: 60614 @ 184.08 @ #Dec. 51544
c NEW SOLUTION FOUND: 60613 @ 184.63 @ #Dec. 51711
c NEW SOLUTION FOUND: 60373 @ 184.99 @ #Dec. 51864
c NEW SOLUTION FOUND: 60371 @ 185.36 @ #Dec. 52015
c NEW SOLUTION FOUND: 60369 @ 185.69 @ #Dec. 52158
c NEW SOLUTION FOUND: 60367 @ 186.06 @ #Dec. 52309
c NEW SOLUTION FOUND: 60365 @ 186.38 @ #Dec. 52452
c NEW SOLUTION FOUND: 60339 @ 186.74 @ #Dec. 52603
c NEW SOLUTION FOUND: 60329 @ 187.05 @ #Dec. 52745
c NEW SOLUTION FOUND: 60327 @ 187.37 @ #Dec. 52886
c NEW SOLUTION FOUND: 60323 @ 187.7 @ #Dec. 53032
c NEW SOLUTION FOUND: 60321 @ 188.08 @ #Dec. 53182
c NEW SOLUTION FOUND: 60319 @ 188.4 @ #Dec. 53326
c NEW SOLUTION FOUND: 60318 @ 188.9 @ #Dec. 53497
c NEW SOLUTION FOUND: 60316 @ 189.3 @ #Dec. 53657
c NEW SOLUTION FOUND: 60314 @ 189.68 @ #Dec. 53808
c NEW SOLUTION FOUND: 60312 @ 190 @ #Dec. 53950
c NEW SOLUTION FOUND: 60310 @ 190.38 @ #Dec. 54102
c NEW SOLUTION FOUND: 60308 @ 190.7 @ #Dec. 54244
c NEW SOLUTION FOUND: 60307 @ 191.23 @ #Dec. 54419
c NEW SOLUTION FOUND: 60305 @ 191.82 @ #Dec. 54630
c NEW SOLUTION FOUND: 60304 @ 192.2 @ #Dec. 54797
c NEW SOLUTION FOUND: 60302 @ 192.7 @ #Dec. 55025
c NEW SOLUTION FOUND: 60301 @ 193.06 @ #Dec. 55190
c NEW SOLUTION FOUND: 60299 @ 193.58 @ #Dec. 55427
c NEW SOLUTION FOUND: 60298 @ 193.94 @ #Dec. 55587
c NEW SOLUTION FOUND: 60297 @ 194.85 @ #Dec. 56004
c NEW SOLUTION FOUND: 60296 @ 195.2 @ #Dec. 56161
c NEW SOLUTION FOUND: 60294 @ 196.1 @ #Dec. 56558
c NEW SOLUTION FOUND: 60293 @ 196.49 @ #Dec. 56727
c NEW SOLUTION FOUND: 60108 @ 196.91 @ #Dec. 56905
c NEW SOLUTION FOUND: 60098 @ 197.24 @ #Dec. 57055
c NEW SOLUTION FOUND: 60096 @ 197.57 @ #Dec. 57204
c NEW SOLUTION FOUND: 60090 @ 197.91 @ #Dec. 57359
c NEW SOLUTION FOUND: 60088 @ 198.24 @ #Dec. 57508
c NEW SOLUTION FOUND: 60049 @ 198.6 @ #Dec. 57671
c NEW SOLUTION FOUND: 60047 @ 198.95 @ #Dec. 57828
c NEW SOLUTION FOUND: 60045 @ 199.27 @ #Dec. 57978
c NEW SOLUTION FOUND: 60043 @ 199.62 @ #Dec. 58134
c NEW SOLUTION FOUND: 60041 @ 199.94 @ #Dec. 58283
c NEW SOLUTION FOUND: 60039 @ 200.34 @ #Dec. 58474
c NEW SOLUTION FOUND: 60037 @ 200.69 @ #Dec. 58631
c NEW SOLUTION FOUND: 60035 @ 201.01 @ #Dec. 58779
c NEW SOLUTION FOUND: 60031 @ 201.35 @ #Dec. 58930
c NEW SOLUTION FOUND: 60030 @ 201.72 @ #Dec. 59103
c NEW SOLUTION FOUND: 60028 @ 202.18 @ #Dec. 59315
c NEW SOLUTION FOUND: 60027 @ 202.58 @ #Dec. 59498
c NEW SOLUTION FOUND: 60025 @ 203.25 @ #Dec. 59799
c NEW SOLUTION FOUND: 60024 @ 203.65 @ #Dec. 59986
c NEW SOLUTION FOUND: 60022 @ 204.01 @ #Dec. 60155
c NEW SOLUTION FOUND: 60021 @ 204.41 @ #Dec. 60341
c NEW SOLUTION FOUND: 60020 @ 205.27 @ #Dec. 60702
c NEW SOLUTION FOUND: 60019 @ 205.67 @ #Dec. 60877
c NEW SOLUTION FOUND: 60017 @ 206.56 @ #Dec. 61246
c NEW SOLUTION FOUND: 60016 @ 206.93 @ #Dec. 61410
c NEW SOLUTION FOUND: 48977 @ 207.32 @ #Dec. 61577
c NEW SOLUTION FOUND: 48975 @ 207.65 @ #Dec. 61728
c NEW SOLUTION FOUND: 48973 @ 208 @ #Dec. 61886
c NEW SOLUTION FOUND: 48971 @ 208.33 @ #Dec. 62036
c NEW SOLUTION FOUND: 48969 @ 208.68 @ #Dec. 62193
c NEW SOLUTION FOUND: 48967 @ 209.01 @ #Dec. 62342
c NEW SOLUTION FOUND: 48928 @ 209.35 @ #Dec. 62497
c NEW SOLUTION FOUND: 48922 @ 209.7 @ #Dec. 62655
c NEW SOLUTION FOUND: 48920 @ 210.03 @ #Dec. 62806
c NEW SOLUTION FOUND: 48918 @ 210.47 @ #Dec. 63020
c NEW SOLUTION FOUND: 48917 @ 210.86 @ #Dec. 63208
c NEW SOLUTION FOUND: 48911 @ 211.23 @ #Dec. 63377
c NEW SOLUTION FOUND: 48909 @ 211.56 @ #Dec. 63528
c NEW SOLUTION FOUND: 48907 @ 212 @ #Dec. 63742
c NEW SOLUTION FOUND: 48906 @ 212.41 @ #Dec. 63930
c NEW SOLUTION FOUND: 48904 @ 212.99 @ #Dec. 64217
c NEW SOLUTION FOUND: 48903 @ 213.36 @ #Dec. 64391
c NEW SOLUTION FOUND: 48902 @ 213.77 @ #Dec. 64579
c NEW SOLUTION FOUND: 48900 @ 214.1 @ #Dec. 64729
c NEW SOLUTION FOUND: 48899 @ 215.44 @ #Dec. 65343
c NEW SOLUTION FOUND: 48897 @ 215.77 @ #Dec. 65495
c NEW SOLUTION FOUND: 48817 @ 216.66 @ #Dec. 65906
c NEW SOLUTION FOUND: 48815 @ 217.05 @ #Dec. 66074
c NEW SOLUTION FOUND: 48793 @ 217.47 @ #Dec. 66258
c NEW SOLUTION FOUND: 48783 @ 217.86 @ #Dec. 66425
c NEW SOLUTION FOUND: 48781 @ 218.25 @ #Dec. 66594
c NEW SOLUTION FOUND: 48775 @ 218.7 @ #Dec. 66787
c NEW SOLUTION FOUND: 48773 @ 219.09 @ #Dec. 66953
c NEW SOLUTION FOUND: 48771 @ 219.71 @ #Dec. 67174
c NEW SOLUTION FOUND: 48769 @ 220.11 @ #Dec. 67344
c NEW SOLUTION FOUND: 48765 @ 220.55 @ #Dec. 67525
c NEW SOLUTION FOUND: 48763 @ 221.04 @ #Dec. 67716
c NEW SOLUTION FOUND: 48761 @ 221.46 @ #Dec. 67889
c NEW SOLUTION FOUND: 48760 @ 222.6 @ #Dec. 68192
c NEW SOLUTION FOUND: 48759 @ 223.7 @ #Dec. 68484
c NEW SOLUTION FOUND: 48757 @ 224.11 @ #Dec. 68653
c NEW SOLUTION FOUND: 48753 @ 225.58 @ #Dec. 69042
c NEW SOLUTION FOUND: 48751 @ 226.04 @ #Dec. 69224
c NEW SOLUTION FOUND: 48749 @ 226.45 @ #Dec. 69393
c NEW SOLUTION FOUND: 48745 @ 227.94 @ #Dec. 69874
c NEW SOLUTION FOUND: 48743 @ 228.35 @ #Dec. 70042
c NEW SOLUTION FOUND: 48740 @ 229.88 @ #Dec. 70631
c Restart #2 #Var: 2719 #Dec: 71332 LB: 0 @ 232.41
c NEW SOLUTION FOUND: 39010 @ 241.32 @ #Dec. 73935
c NEW SOLUTION FOUND: 39000 @ 241.59 @ #Dec. 74073
c NEW SOLUTION FOUND: 38989 @ 242.01 @ #Dec. 74295
c NEW SOLUTION FOUND: 38948 @ 242.31 @ #Dec. 74444
c NEW SOLUTION FOUND: 38816 @ 242.59 @ #Dec. 74591
c NEW SOLUTION FOUND: 38671 @ 243.06 @ #Dec. 74796
c NEW SOLUTION FOUND: 38628 @ 243.49 @ #Dec. 74986
c NEW SOLUTION FOUND: 38570 @ 243.9 @ #Dec. 75165
c NEW SOLUTION FOUND: 38533 @ 244.34 @ #Dec. 75363
c NEW SOLUTION FOUND: 38481 @ 244.79 @ #Dec. 75562
c NEW SOLUTION FOUND: 38411 @ 245.29 @ #Dec. 75777
c NEW SOLUTION FOUND: 38353 @ 245.72 @ #Dec. 75967
c NEW SOLUTION FOUND: 38301 @ 246.21 @ #Dec. 76180
c NEW SOLUTION FOUND: 38298 @ 248.84 @ #Dec. 77214
c NEW SOLUTION FOUND: 38295 @ 249.17 @ #Dec. 77378
c NEW SOLUTION FOUND: 38152 @ 249.51 @ #Dec. 77547
c NEW SOLUTION FOUND: 38142 @ 249.96 @ #Dec. 77747
c NEW SOLUTION FOUND: 38019 @ 250.32 @ #Dec. 77924
c NEW SOLUTION FOUND: 37928 @ 250.69 @ #Dec. 78106
c NEW SOLUTION FOUND: 37890 @ 251.86 @ #Dec. 78544
c NEW SOLUTION FOUND: 37883 @ 253.07 @ #Dec. 78987
c NEW SOLUTION FOUND: 37819 @ 253.62 @ #Dec. 79209
c NEW SOLUTION FOUND: 37786 @ 257.89 @ #Dec. 80299
c Restart #3 #Var: 2719 #Dec: 81654 LB: 0 @ 265.46
c NEW SOLUTION FOUND: 34012 @ 280.57 @ #Dec. 86350
c NEW SOLUTION FOUND: 33962 @ 280.7 @ #Dec. 86496
c NEW SOLUTION FOUND: 33812 @ 280.81 @ #Dec. 86609
c NEW SOLUTION FOUND: 33796 @ 280.93 @ #Dec. 86725
c NEW SOLUTION FOUND: 33730 @ 281.05 @ #Dec. 86841
c NEW SOLUTION FOUND: 33646 @ 281.18 @ #Dec. 86960
c NEW SOLUTION FOUND: 33635 @ 281.33 @ #Dec. 87090
c NEW SOLUTION FOUND: 33319 @ 281.46 @ #Dec. 87210
c NEW SOLUTION FOUND: 33269 @ 281.58 @ #Dec. 87329
c NEW SOLUTION FOUND: 33119 @ 281.71 @ #Dec. 87450
c NEW SOLUTION FOUND: 33105 @ 281.9 @ #Dec. 87585
c NEW SOLUTION FOUND: 33102 @ 282.09 @ #Dec. 87721
c NEW SOLUTION FOUND: 33097 @ 282.28 @ #Dec. 87864
c NEW SOLUTION FOUND: 33092 @ 282.48 @ #Dec. 88009
c NEW SOLUTION FOUND: 33087 @ 282.71 @ #Dec. 88170
c NEW SOLUTION FOUND: 33082 @ 282.92 @ #Dec. 88331
c NEW SOLUTION FOUND: 33079 @ 283.12 @ #Dec. 88490
c NEW SOLUTION FOUND: 33076 @ 283.35 @ #Dec. 88661
c NEW SOLUTION FOUND: 33068 @ 283.57 @ #Dec. 88822
c NEW SOLUTION FOUND: 33060 @ 283.82 @ #Dec. 88997
c NEW SOLUTION FOUND: 33052 @ 283.99 @ #Dec. 89133
c NEW SOLUTION FOUND: 33050 @ 284.27 @ #Dec. 89324
c NEW SOLUTION FOUND: 33024 @ 284.6 @ #Dec. 89549
c NEW SOLUTION FOUND: 32983 @ 284.87 @ #Dec. 89725
c NEW SOLUTION FOUND: 32977 @ 285.22 @ #Dec. 89942
c NEW SOLUTION FOUND: 32832 @ 285.54 @ #Dec. 90143
c NEW SOLUTION FOUND: 32713 @ 285.88 @ #Dec. 90367
c NEW SOLUTION FOUND: 32710 @ 286.24 @ #Dec. 90617
c NEW SOLUTION FOUND: 32695 @ 286.53 @ #Dec. 90823
c NEW SOLUTION FOUND: 32688 @ 286.82 @ #Dec. 91035
c NEW SOLUTION FOUND: 32684 @ 286.95 @ #Dec. 91150
c NEW SOLUTION FOUND: 32680 @ 287.15 @ #Dec. 91301
c NEW SOLUTION FOUND: 32666 @ 287.55 @ #Dec. 91571
c NEW SOLUTION FOUND: 32658 @ 287.89 @ #Dec. 91833
c NEW SOLUTION FOUND: 32639 @ 288.16 @ #Dec. 92021
c NEW SOLUTION FOUND: 32638 @ 288.49 @ #Dec. 92275
c NEW SOLUTION FOUND: 32620 @ 288.86 @ #Dec. 92536
c NEW SOLUTION FOUND: 32598 @ 289.26 @ #Dec. 92799
c NEW SOLUTION FOUND: 32584 @ 289.71 @ #Dec. 93099
c NEW SOLUTION FOUND: 32578 @ 290.12 @ #Dec. 93378
c NEW SOLUTION FOUND: 32559 @ 290.39 @ #Dec. 93580
c NEW SOLUTION FOUND: 32558 @ 291.47 @ #Dec. 94406
c NEW SOLUTION FOUND: 32464 @ 292.9 @ #Dec. 95536
c NEW SOLUTION FOUND: 32445 @ 293.2 @ #Dec. 95742
c NEW SOLUTION FOUND: 32432 @ 293.56 @ #Dec. 95996
c NEW SOLUTION FOUND: 32413 @ 293.87 @ #Dec. 96214
c NEW SOLUTION FOUND: 32373 @ 294.42 @ #Dec. 96625
c NEW SOLUTION FOUND: 32368 @ 294.89 @ #Dec. 96971
c NEW SOLUTION FOUND: 31660 @ 295.48 @ #Dec. 97402
c NEW SOLUTION FOUND: 31647 @ 295.84 @ #Dec. 97646
c NEW SOLUTION FOUND: 31628 @ 296.16 @ #Dec. 97864
c NEW SOLUTION FOUND: 31515 @ 296.78 @ #Dec. 98303
c NEW SOLUTION FOUND: 31502 @ 297.1 @ #Dec. 98525
c NEW SOLUTION FOUND: 31483 @ 297.42 @ #Dec. 98746
c NEW SOLUTION FOUND: 31443 @ 297.94 @ #Dec. 99110
c NEW SOLUTION FOUND: 26418 @ 299.53 @ #Dec. 100153
c NEW SOLUTION FOUND: 26266 @ 299.78 @ #Dec. 100350
c NEW SOLUTION FOUND: 26237 @ 300.04 @ #Dec. 100553
c NEW SOLUTION FOUND: 26184 @ 300.42 @ #Dec. 100826
c NEW SOLUTION FOUND: 15118 @ 300.69 @ #Dec. 101032
c NEW SOLUTION FOUND: 15041 @ 300.98 @ #Dec. 101242
c NEW SOLUTION FOUND: 14324 @ 301.25 @ #Dec. 101457
c NEW SOLUTION FOUND: 14316 @ 301.53 @ #Dec. 101669
c NEW SOLUTION FOUND: 14265 @ 301.83 @ #Dec. 101891
c NEW SOLUTION FOUND: 14263 @ 302.15 @ #Dec. 102128
c NEW SOLUTION FOUND: 14262 @ 302.52 @ #Dec. 102397
c NEW SOLUTION FOUND: 14253 @ 302.85 @ #Dec. 102641
c NEW SOLUTION FOUND: 14248 @ 303.34 @ #Dec. 102992
c NEW SOLUTION FOUND: 14241 @ 304.15 @ #Dec. 103524
c NEW SOLUTION FOUND: 14231 @ 304.49 @ #Dec. 103766
c NEW SOLUTION FOUND: 14222 @ 304.81 @ #Dec. 104006
c NEW SOLUTION FOUND: 14221 @ 305.18 @ #Dec. 104272
c NEW SOLUTION FOUND: 14212 @ 305.51 @ #Dec. 104516
c NEW SOLUTION FOUND: 14207 @ 306 @ #Dec. 104850
c NEW SOLUTION FOUND: 14202 @ 306.97 @ #Dec. 105418
c NEW SOLUTION FOUND: 14055 @ 307.85 @ #Dec. 105926
c NEW SOLUTION FOUND: 14045 @ 308.19 @ #Dec. 106170
c NEW SOLUTION FOUND: 14036 @ 308.54 @ #Dec. 106431
c NEW SOLUTION FOUND: 14026 @ 308.88 @ #Dec. 106677
c NEW SOLUTION FOUND: 14021 @ 309.36 @ #Dec. 106996
c NEW SOLUTION FOUND: 14016 @ 310.24 @ #Dec. 107492
c NEW SOLUTION FOUND: 13963 @ 311.15 @ #Dec. 107989
c NEW SOLUTION FOUND: 13953 @ 311.48 @ #Dec. 108237
c NEW SOLUTION FOUND: 13945 @ 311.85 @ #Dec. 108507
c NEW SOLUTION FOUND: 13944 @ 312.21 @ #Dec. 108767
c NEW SOLUTION FOUND: 13934 @ 312.55 @ #Dec. 109016
c NEW SOLUTION FOUND: 13930 @ 313.06 @ #Dec. 109348
c NEW SOLUTION FOUND: 13929 @ 313.74 @ #Dec. 109741
c NEW SOLUTION FOUND: 13924 @ 314.46 @ #Dec. 110159
c NEW SOLUTION FOUND: 13923 @ 315.79 @ #Dec. 110827
c NEW SOLUTION FOUND: 13919 @ 316.76 @ #Dec. 111353
c NEW SOLUTION FOUND: 13918 @ 317.26 @ #Dec. 111675
c NEW SOLUTION FOUND: 13916 @ 320.09 @ #Dec. 112983
c NEW SOLUTION FOUND: 13915 @ 320.76 @ #Dec. 113373
c NEW SOLUTION FOUND: 13913 @ 321.44 @ #Dec. 113769
c NEW SOLUTION FOUND: 13912 @ 323.44 @ #Dec. 114723
c NEW SOLUTION FOUND: 13911 @ 324.04 @ #Dec. 115085
c NEW SOLUTION FOUND: 13910 @ 326 @ #Dec. 116032
c NEW SOLUTION FOUND: 13908 @ 326.65 @ #Dec. 116419
c NEW SOLUTION FOUND: 13906 @ 327.63 @ #Dec. 116946
c NEW SOLUTION FOUND: 13905 @ 328.29 @ #Dec. 117333
c NEW SOLUTION FOUND: 13903 @ 328.94 @ #Dec. 117716
c NEW SOLUTION FOUND: 13902 @ 331.42 @ #Dec. 118881
c NEW SOLUTION FOUND: 13901 @ 332.06 @ #Dec. 119260
c NEW SOLUTION FOUND: 13900 @ 333.04 @ #Dec. 119773
c NEW SOLUTION FOUND: 13899 @ 333.46 @ #Dec. 120060
c NEW SOLUTION FOUND: 13898 @ 333.89 @ #Dec. 120347
c NEW SOLUTION FOUND: 13897 @ 334.35 @ #Dec. 120642
c NEW SOLUTION FOUND: 13895 @ 334.78 @ #Dec. 120928
c NEW SOLUTION FOUND: 13894 @ 335.22 @ #Dec. 121218
c NEW SOLUTION FOUND: 13893 @ 335.64 @ #Dec. 121504
c NEW SOLUTION FOUND: 13888 @ 336.29 @ #Dec. 121873
c NEW SOLUTION FOUND: 13883 @ 336.9 @ #Dec. 122235
c NEW SOLUTION FOUND: 13857 @ 337.38 @ #Dec. 122531
c NEW SOLUTION FOUND: 13854 @ 337.83 @ #Dec. 122827
c NEW SOLUTION FOUND: 13839 @ 338.27 @ #Dec. 123121
c NEW SOLUTION FOUND: 13834 @ 338.89 @ #Dec. 123489
c NEW SOLUTION FOUND: 13769 @ 339.37 @ #Dec. 123788
c NEW SOLUTION FOUND: 13764 @ 339.83 @ #Dec. 124088
c NEW SOLUTION FOUND: 13713 @ 340.75 @ #Dec. 124609
c NEW SOLUTION FOUND: 13708 @ 341.48 @ #Dec. 125039
c NEW SOLUTION FOUND: 13643 @ 342.41 @ #Dec. 125574
c NEW SOLUTION FOUND: 13638 @ 343.32 @ #Dec. 126104
c NEW SOLUTION FOUND: 13629 @ 344.25 @ #Dec. 126599
c NEW SOLUTION FOUND: 13624 @ 345.16 @ #Dec. 127093
c NEW SOLUTION FOUND: 13615 @ 346.1 @ #Dec. 127598
c NEW SOLUTION FOUND: 13610 @ 347 @ #Dec. 128098
c NEW SOLUTION FOUND: 13472 @ 348.05 @ #Dec. 128630
c NEW SOLUTION FOUND: 13467 @ 349.04 @ #Dec. 129154
c NEW SOLUTION FOUND: 13466 @ 350.14 @ #Dec. 129671
c NEW SOLUTION FOUND: 13461 @ 351.17 @ #Dec. 130214
c NEW SOLUTION FOUND: 13451 @ 352.38 @ #Dec. 130780
c NEW SOLUTION FOUND: 13446 @ 353.48 @ #Dec. 131330
c NEW SOLUTION FOUND: 13427 @ 354.3 @ #Dec. 131764
c NEW SOLUTION FOUND: 13422 @ 355.29 @ #Dec. 132263
c NEW SOLUTION FOUND: 13421 @ 356.43 @ #Dec. 132829
c NEW SOLUTION FOUND: 13419 @ 357.59 @ #Dec. 133398
c NEW SOLUTION FOUND: 13409 @ 358.61 @ #Dec. 133899
c NEW SOLUTION FOUND: 13404 @ 359.58 @ #Dec. 134400
c NEW SOLUTION FOUND: 13388 @ 361.31 @ #Dec. 135204
c NEW SOLUTION FOUND: 13383 @ 362.27 @ #Dec. 135691
c NEW SOLUTION FOUND: 13364 @ 363.1 @ #Dec. 136125
c NEW SOLUTION FOUND: 13359 @ 364 @ #Dec. 136586
c NEW SOLUTION FOUND: 13357 @ 365.04 @ #Dec. 137115
c NEW SOLUTION FOUND: 13347 @ 366.01 @ #Dec. 137607
c NEW SOLUTION FOUND: 13342 @ 366.89 @ #Dec. 138071
c NEW SOLUTION FOUND: 13331 @ 367.79 @ #Dec. 138525
c NEW SOLUTION FOUND: 13326 @ 368.57 @ #Dec. 138945
c NEW SOLUTION FOUND: 13307 @ 369.36 @ #Dec. 139364
c NEW SOLUTION FOUND: 13302 @ 370.14 @ #Dec. 139789
c NEW SOLUTION FOUND: 13301 @ 371.09 @ #Dec. 140270
c NEW SOLUTION FOUND: 13299 @ 372.05 @ #Dec. 140763
c NEW SOLUTION FOUND: 13289 @ 372.99 @ #Dec. 141244
c NEW SOLUTION FOUND: 13284 @ 373.79 @ #Dec. 141667
c NEW SOLUTION FOUND: 13274 @ 375.37 @ #Dec. 142405
c NEW SOLUTION FOUND: 13269 @ 376.19 @ #Dec. 142840
c NEW SOLUTION FOUND: 13264 @ 377.71 @ #Dec. 143556
c NEW SOLUTION FOUND: 13259 @ 378.54 @ #Dec. 143985
c NEW SOLUTION FOUND: 13223 @ 379.9 @ #Dec. 144624
c NEW SOLUTION FOUND: 13216 @ 380.63 @ #Dec. 145017
c NEW SOLUTION FOUND: 13211 @ 381.44 @ #Dec. 145442
c NEW SOLUTION FOUND: 13187 @ 382.27 @ #Dec. 145877
c NEW SOLUTION FOUND: 13185 @ 383.24 @ #Dec. 146373
c NEW SOLUTION FOUND: 13170 @ 384.2 @ #Dec. 146864
c NEW SOLUTION FOUND: 13161 @ 385.94 @ #Dec. 147654
c NEW SOLUTION FOUND: 13160 @ 387.86 @ #Dec. 148595
c NEW SOLUTION FOUND: 13158 @ 388.71 @ #Dec. 149044
c NEW SOLUTION FOUND: 13152 @ 390.58 @ #Dec. 149917
c NEW SOLUTION FOUND: 13148 @ 392.22 @ #Dec. 150690
c NEW SOLUTION FOUND: 13144 @ 393.99 @ #Dec. 151482
c NEW SOLUTION FOUND: 13141 @ 420.76 @ #Dec. 159145
c NEW SOLUTION FOUND: 13138 @ 421.78 @ #Dec. 159586
c NEW SOLUTION FOUND: 13110 @ 425.2 @ #Dec. 160586
c NEW SOLUTION FOUND: 13098 @ 426.68 @ #Dec. 161138
c NEW SOLUTION FOUND: 12798 @ 428.18 @ #Dec. 161692
c NEW SOLUTION FOUND: 12795 @ 429.97 @ #Dec. 162327
c NEW SOLUTION FOUND: 12790 @ 431.48 @ #Dec. 162886
c NEW SOLUTION FOUND: 12779 @ 433.71 @ #Dec. 163650
c NEW SOLUTION FOUND: 12774 @ 435.3 @ #Dec. 164229
c NEW SOLUTION FOUND: 12769 @ 437.62 @ #Dec. 165017
c NEW SOLUTION FOUND: 12764 @ 439.23 @ #Dec. 165599
c NEW SOLUTION FOUND: 12751 @ 441.52 @ #Dec. 166355
c NEW SOLUTION FOUND: 12746 @ 443.23 @ #Dec. 166971
c NEW SOLUTION FOUND: 12735 @ 444.94 @ #Dec. 167590
c NEW SOLUTION FOUND: 12730 @ 446.4 @ #Dec. 168143
c NEW SOLUTION FOUND: 12727 @ 447.95 @ #Dec. 168716
c NEW SOLUTION FOUND: 12722 @ 449.63 @ #Dec. 169334
c NEW SOLUTION FOUND: 12706 @ 451.43 @ #Dec. 169980
c NEW SOLUTION FOUND: 12703 @ 453.18 @ #Dec. 170611
c NEW SOLUTION FOUND: 12701 @ 454.91 @ #Dec. 171227
c NEW SOLUTION FOUND: 12696 @ 457.42 @ #Dec. 172045
c NEW SOLUTION FOUND: 12692 @ 459.2 @ #Dec. 172676
c NEW SOLUTION FOUND: 12681 @ 463.1 @ #Dec. 173860
c NEW SOLUTION FOUND: 12670 @ 464.73 @ #Dec. 174450
c NEW SOLUTION FOUND: 12666 @ 466.4 @ #Dec. 175053
c NEW SOLUTION FOUND: 12662 @ 468.62 @ #Dec. 175792
c NEW SOLUTION FOUND: 12651 @ 470.25 @ #Dec. 176384
c NEW SOLUTION FOUND: 12647 @ 471.93 @ #Dec. 176985
c NEW SOLUTION FOUND: 12645 @ 476.13 @ #Dec. 178245
c NEW SOLUTION FOUND: 12643 @ 479.81 @ #Dec. 179362
c NEW SOLUTION FOUND: 11300 @ 481.6 @ #Dec. 179982
c NEW SOLUTION FOUND: 11296 @ 483.12 @ #Dec. 180553
c NEW SOLUTION FOUND: 11116 @ 484.98 @ #Dec. 181209
c NEW SOLUTION FOUND: 11112 @ 486.5 @ #Dec. 181777
c NEW SOLUTION FOUND: 11097 @ 488.87 @ #Dec. 182541
c NEW SOLUTION FOUND: 11093 @ 490.38 @ #Dec. 183110
c NEW SOLUTION FOUND: 11091 @ 493.02 @ #Dec. 183922
c NEW SOLUTION FOUND: 10234 @ 494.4 @ #Dec. 184424
c NEW SOLUTION FOUND: 10230 @ 495.47 @ #Dec. 184901
c NEW SOLUTION FOUND: 10091 @ 496.77 @ #Dec. 185435
c NEW SOLUTION FOUND: 10087 @ 497.82 @ #Dec. 185910
c NEW SOLUTION FOUND: 10086 @ 500.83 @ #Dec. 186819
c NEW SOLUTION FOUND: 10083 @ 501.93 @ #Dec. 187294
c NEW SOLUTION FOUND: 10082 @ 503.02 @ #Dec. 187767
c NEW SOLUTION FOUND: 10078 @ 504.16 @ #Dec. 188251
c NEW SOLUTION FOUND: 10069 @ 506.44 @ #Dec. 188854
c NEW SOLUTION FOUND: 10043 @ 507.88 @ #Dec. 189433
c NEW SOLUTION FOUND: 10039 @ 509.02 @ #Dec. 189918
c NEW SOLUTION FOUND: 10019 @ 511.16 @ #Dec. 190524
c NEW SOLUTION FOUND: 9999 @ 512.26 @ #Dec. 190999
c NEW SOLUTION FOUND: 9995 @ 513.4 @ #Dec. 191482
c NEW SOLUTION FOUND: 9958 @ 515.63 @ #Dec. 192103
c NEW SOLUTION FOUND: 9954 @ 516.79 @ #Dec. 192592
c NEW SOLUTION FOUND: 9940 @ 518.95 @ #Dec. 193226
c NEW SOLUTION FOUND: 9926 @ 520.06 @ #Dec. 193704
c NEW SOLUTION FOUND: 9922 @ 521.21 @ #Dec. 194190
c NEW SOLUTION FOUND: 9898 @ 523.58 @ #Dec. 194891
c NEW SOLUTION FOUND: 9878 @ 524.72 @ #Dec. 195372
c NEW SOLUTION FOUND: 9868 @ 527.28 @ #Dec. 196117
c NEW SOLUTION FOUND: 9857 @ 528.41 @ #Dec. 196599
c NEW SOLUTION FOUND: 9853 @ 529.56 @ #Dec. 197089
c NEW SOLUTION FOUND: 9841 @ 532.12 @ #Dec. 197840
c NEW SOLUTION FOUND: 9831 @ 533.26 @ #Dec. 198325
c NEW SOLUTION FOUND: 9827 @ 535.69 @ #Dec. 199077
c NEW SOLUTION FOUND: 9826 @ 538.12 @ #Dec. 199826
c NEW SOLUTION FOUND: 9822 @ 539.32 @ #Dec. 200328
c NEW SOLUTION FOUND: 9818 @ 541.93 @ #Dec. 201113
c NEW SOLUTION FOUND: 9817 @ 546.27 @ #Dec. 202147
c NEW SOLUTION FOUND: 9813 @ 547.53 @ #Dec. 202650
c NEW SOLUTION FOUND: 9811 @ 551.97 @ #Dec. 203723
c NEW SOLUTION FOUND: 9752 @ 562.13 @ #Dec. 206075
c NEW SOLUTION FOUND: 9748 @ 564.72 @ #Dec. 206967
c NEW SOLUTION FOUND: 9737 @ 571.18 @ #Dec. 208534
c NEW SOLUTION FOUND: 9729 @ 571.35 @ #Dec. 208685
c NEW SOLUTION FOUND: 9726 @ 571.62 @ #Dec. 208909
c NEW SOLUTION FOUND: 9706 @ 572.85 @ #Dec. 209415
c NEW SOLUTION FOUND: 9702 @ 574.36 @ #Dec. 209969
c NEW SOLUTION FOUND: 9625 @ 581.04 @ #Dec. 211538
c NEW SOLUTION FOUND: 9621 @ 587.64 @ #Dec. 213083
c NEW SOLUTION FOUND: 9604 @ 589.61 @ #Dec. 213773
c NEW SOLUTION FOUND: 9600 @ 590.96 @ #Dec. 214296
c NEW SOLUTION FOUND: 9583 @ 596.89 @ #Dec. 215749
c NEW SOLUTION FOUND: 9574 @ 597.1 @ #Dec. 215929
c NEW SOLUTION FOUND: 9571 @ 597.38 @ #Dec. 216154
c NEW SOLUTION FOUND: 9548 @ 602.06 @ #Dec. 217841
c NEW SOLUTION FOUND: 9441 @ 607.08 @ #Dec. 219046
c NEW SOLUTION FOUND: 9437 @ 608.55 @ #Dec. 219591
c NEW SOLUTION FOUND: 9397 @ 610.02 @ #Dec. 220142
c NEW SOLUTION FOUND: 9323 @ 614.38 @ #Dec. 221212
c NEW SOLUTION FOUND: 9319 @ 615.87 @ #Dec. 221765
c NEW SOLUTION FOUND: 9284 @ 619.63 @ #Dec. 222721
c NEW SOLUTION FOUND: 9208 @ 621 @ #Dec. 223254
c NEW SOLUTION FOUND: 9204 @ 622.48 @ #Dec. 223804
c NEW SOLUTION FOUND: 9199 @ 626.2 @ #Dec. 224752
c NEW SOLUTION FOUND: 9195 @ 627.77 @ #Dec. 225322
c NEW SOLUTION FOUND: 9182 @ 631.68 @ #Dec. 226311
c NEW SOLUTION FOUND: 9169 @ 635.31 @ #Dec. 227226
c NEW SOLUTION FOUND: 9163 @ 638.62 @ #Dec. 228091
c NEW SOLUTION FOUND: 9159 @ 640.34 @ #Dec. 228711
c NEW SOLUTION FOUND: 9153 @ 643.86 @ #Dec. 229610
c NEW SOLUTION FOUND: 9145 @ 645.26 @ #Dec. 230143
c NEW SOLUTION FOUND: 9141 @ 646.86 @ #Dec. 230714
c NEW SOLUTION FOUND: 9039 @ 651.76 @ #Dec. 231473
c NEW SOLUTION FOUND: 8992 @ 653.43 @ #Dec. 232028
c NEW SOLUTION FOUND: 8977 @ 653.7 @ #Dec. 232241
c NEW SOLUTION FOUND: 8854 @ 655.38 @ #Dec. 232801
c NEW SOLUTION FOUND: 8665 @ 659.38 @ #Dec. 233494
c NEW SOLUTION FOUND: 8654 @ 662.21 @ #Dec. 234223
c NEW SOLUTION FOUND: 8645 @ 664.82 @ #Dec. 235019
c NEW SOLUTION FOUND: 8632 @ 667.65 @ #Dec. 235761
c NEW SOLUTION FOUND: 8611 @ 670.55 @ #Dec. 236521
c NEW SOLUTION FOUND: 8571 @ 673.25 @ #Dec. 237347
c NEW SOLUTION FOUND: 8411 @ 676.17 @ #Dec. 238103
c NEW SOLUTION FOUND: 8382 @ 679.14 @ #Dec. 238873
c NEW SOLUTION FOUND: 8367 @ 680.81 @ #Dec. 239450
c NEW SOLUTION FOUND: 8358 @ 682.48 @ #Dec. 240026
c NEW SOLUTION FOUND: 8350 @ 686.97 @ #Dec. 241154
c NEW SOLUTION FOUND: 8326 @ 692.83 @ #Dec. 242662
c NEW SOLUTION FOUND: 8285 @ 696.53 @ #Dec. 243621
c NEW SOLUTION FOUND: 8204 @ 699.05 @ #Dec. 244400
c NEW SOLUTION FOUND: 7868 @ 702.2 @ #Dec. 245192
c NEW SOLUTION FOUND: 7864 @ 703.84 @ #Dec. 245774
c NEW SOLUTION FOUND: 7592 @ 705.56 @ #Dec. 246357
c NEW SOLUTION FOUND: 7584 @ 709.37 @ #Dec. 247280
c NEW SOLUTION FOUND: 7574 @ 714.17 @ #Dec. 248498
c NEW SOLUTION FOUND: 7547 @ 714.46 @ #Dec. 248716
c NEW SOLUTION FOUND: 7502 @ 716.22 @ #Dec. 249302
c NEW SOLUTION FOUND: 7475 @ 717.97 @ #Dec. 249888
c NEW SOLUTION FOUND: 7345 @ 723.09 @ #Dec. 251121
c NEW SOLUTION FOUND: 7333 @ 724.87 @ #Dec. 251711
c NEW SOLUTION FOUND: 7324 @ 728 @ #Dec. 252485
c NEW SOLUTION FOUND: 7319 @ 732.89 @ #Dec. 253757
c NEW SOLUTION FOUND: 7307 @ 734.69 @ #Dec. 254350
c NEW SOLUTION FOUND: 7306 @ 738 @ #Dec. 255178
c NEW SOLUTION FOUND: 7294 @ 738.23 @ #Dec. 255360
c NEW SOLUTION FOUND: 7290 @ 738.51 @ #Dec. 255580
c NEW SOLUTION FOUND: 7258 @ 746.7 @ #Dec. 257878
c NEW SOLUTION FOUND: 7207 @ 752.63 @ #Dec. 259321
c NEW SOLUTION FOUND: 7162 @ 755.95 @ #Dec. 260122
c NEW SOLUTION FOUND: 7143 @ 756.24 @ #Dec. 260347
c NEW SOLUTION FOUND: 7092 @ 759.48 @ #Dec. 261246
c NEW SOLUTION FOUND: 7052 @ 763.46 @ #Dec. 262187
c NEW SOLUTION FOUND: 7047 @ 767.01 @ #Dec. 263099
c NEW SOLUTION FOUND: 7037 @ 770.48 @ #Dec. 264094
c NEW SOLUTION FOUND: 6940 @ 773.98 @ #Dec. 264916
c NEW SOLUTION FOUND: 6789 @ 775.74 @ #Dec. 265499
c NEW SOLUTION FOUND: 6776 @ 788.1 @ #Dec. 268585
c NEW SOLUTION FOUND: 6760 @ 802.4 @ #Dec. 272171
c NEW SOLUTION FOUND: 6731 @ 824.66 @ #Dec. 277477
c NEW SOLUTION FOUND: 6690 @ 836.45 @ #Dec. 280290
c NEW SOLUTION FOUND: 6630 @ 867.29 @ #Dec. 287284
c NEW SOLUTION FOUND: 6614 @ 880.56 @ #Dec. 290142
c NEW SOLUTION FOUND: 6574 @ 915.15 @ #Dec. 297663
c NEW SOLUTION FOUND: 6546 @ 919.18 @ #Dec. 298627
c NEW SOLUTION FOUND: 6540 @ 925.94 @ #Dec. 300062
c NEW SOLUTION FOUND: 6512 @ 929.61 @ #Dec. 300960
c NEW SOLUTION FOUND: 6511 @ 1006 @ #Dec. 319785
c NEW SOLUTION FOUND: 6510 @ 1021.3 @ #Dec. 323224
c NEW SOLUTION FOUND: 6509 @ 1039.5 @ #Dec. 327295
c NEW SOLUTION FOUND: 6505 @ 1042 @ #Dec. 327948
c NEW SOLUTION FOUND: 6501 @ 1050.6 @ #Dec. 329947
c NEW SOLUTION FOUND: 6493 @ 1053.1 @ #Dec. 330567
c NEW SOLUTION FOUND: 6488 @ 1058.4 @ #Dec. 331798
c NEW SOLUTION FOUND: 6477 @ 1062.8 @ #Dec. 332874
c NEW SOLUTION FOUND: 6470 @ 1068.1 @ #Dec. 334113
c NEW SOLUTION FOUND: 6442 @ 1068.5 @ #Dec. 334346
c NEW SOLUTION FOUND: 6376 @ 1079.9 @ #Dec. 337153
c NEW SOLUTION FOUND: 6351 @ 1081 @ #Dec. 337482
s SATISFIABLE
v -x1_bit0 -x2_bit0 -x3_bit0 -x4_bit0 -x5_bit0 -x6_bit0 -x9_bit0 -x10_bit0 -x11_bit0 -x14_bit0 -x17_bit0 -x19_bit0 -x20_bit0 -x21_bit0 -x22_bit0 -x23_bit0 -x24_bit0 -x27_bit0 -x29_bit0 -x30_bit0 -x31_bit0 -x32_bit0 -x33_bit0 -x34_bit0 x35_bit0 -x36_bit0 -x37_bit0 -x38_bit0 x39_bit0 -x42_bit0 -x44_bit0 -x45_bit0 -x46_bit0 -x47_bit0 -x48_bit0 -x49_bit0 -x50_bit0 -x51_bit0 -x54_bit0 -x56_bit0 -x57_bit0 -x58_bit0 -x59_bit0 -x60_bit0 -x61_bit0 -x62_bit0 -x65_bit0 -x66_bit0 -x67_bit0 -x68_bit0 -x70_bit0 -x73_bit0 -x74_bit0 -x75_bit0 -x76_bit0 -x77_bit0 -x78_bit0 -x79_bit0 -x80_bit0 -x83_bit0 -x85_bit0 -x86_bit0 -x87_bit0 -x88_bit0 -x89_bit0 -x90_bit0 -x91_bit0 -x92_bit0 -x93_bit0 -x94_bit0 -x95_bit0 -x98_bit0 -x100_bit0 -x101_bit0 -x102_bit0 -x103_bit0 -x104_bit0 -x105_bit0 -x106_bit0 -x107_bit0 -x110_bit0 -x112_bit0 -x113_bit0 -x114_bit0 -x115_bit0 -x116_bit0 -x117_bit0 -x119_bit0 -x120_bit0 -x121_bit0 -x122_bit0 x123_bit0 -x124_bit0 -x126_bit0 -x127_bit0 -x128_bit0 -x129_bit0 -x131_bit0 -x132_bit0 -x133_bit0 -x134_bit0 -x135_bit0 -x136_bit0 -x137_bit0 -x139_bit0 -x140_bit0 -x141_bit0 -x142_bit0 -x143_bit0 -x144_bit0 -x145_bit0 -x148_bit0 -x149_bit0 -x150_bit0 -x153_bit0 -x156_bit0 -x158_bit0 -x159_bit0 -x160_bit0 -x161_bit0 -x162_bit0 -x163_bit0 -x166_bit0 -x168_bit0 -x169_bit0 -x170_bit0 -x171_bit0 -x172_bit0 -x173_bit0 -x174_bit0 -x175_bit0 -x176_bit0 -x177_bit0 -x178_bit0 -x181_bit0 -x183_bit0 -x184_bit0 -x185_bit0 -x186_bit0 -x187_bit0 -x188_bit0 -x189_bit0 -x190_bit0 -x193_bit0 -x195_bit0 -x196_bit0 -x197_bit0 -x198_bit0 -x199_bit0 -x200_bit0 x201_bit0 -x204_bit0 -x205_bit0 -x206_bit0 -x207_bit0 -x209_bit0 -x212_bit0 -x213_bit0 -x214_bit0 -x215_bit0 -x216_bit0 -x217_bit0 -x218_bit0 -x219_bit0 -x222_bit0 -x224_bit0 -x225_bit0 -x226_bit0 -x227_bit0 -x228_bit0 -x229_bit0 -x230_bit0 -x231_bit0 -x232_bit0 -x233_bit0 -x234_bit0 -x237_bit0 -x239_bit0 -x240_bit0 -x241_bit0 -x242_bit0 -x243_bit0 -x244_bit0 -x245_bit0 -x246_bit0 -x249_bit0 -x251_bit0 -x252_bit0 -x253_bit0 -x254_bit0 -x255_bit0 -x256_bit0 -x258_bit0 -x259_bit0 -x260_bit0 -x261_bit0 -x262_bit0 -x263_bit0 -x265_bit0 -x266_bit0 -x267_bit0 -x268_bit0 -x270_bit0 -x271_bit0 -x272_bit0 -x273_bit0 -x274_bit0 -x275_bit0 -x276_bit0 -x278_bit0 -x279_bit0 -x280_bit0 -x281_bit0 -x283_bit0 -x284_bit0 -x285_bit0 -x286_bit0 -x289_bit0 -x290_bit0 -x291_bit0 -x292_bit0 -x293_bit0 -x294_bit0 -x295_bit0 -x296_bit0 -x297_bit0 -x298_bit0 -x299_bit0 -x300_bit0 -x303_bit0 -x304_bit0 -x305_bit0 -x306_bit0 -x307_bit0 -x308_bit0 -x309_bit0 -x310_bit0 -x313_bit0 -x314_bit0 -x315_bit0 -x316_bit0 -x317_bit0 -x318_bit0 -x319_bit0 -x320_bit0 -x321_bit0 -x322_bit0 -x323_bit0 -x326_bit0 -x327_bit0 -x328_bit0 -x329_bit0 -x330_bit0 -x331_bit0 -x332_bit0 -x333_bit0 -x335_bit0 -x338_bit0 -x339_bit0 -x340_bit0 -x341_bit0 -x343_bit0 -x344_bit0 -x345_bit0 -x347_bit0 -x348_bit0 -x349_bit0 -x351_bit0 -x352_bit0 -x353_bit0 -x354_bit0 -x356_bit0 -x357_bit0 -x358_bit0 -x359_bit0 -x360_bit0 -x361_bit0 -x362_bit0 -x363_bit0 -x366_bit0 -x367_bit0 -x368_bit0 -x369_bit0 -x370_bit0 -x371_bit0 -x372_bit0 -x373_bit0 -x374_bit0 -x375_bit0 -x376_bit0 -x377_bit0 -x380_bit0 -x381_bit0 -x382_bit0 -x383_bit0 -x384_bit0 -x385_bit0 -x386_bit0 -x387_bit0 -x390_bit0 -x391_bit0 -x392_bit0 -x393_bit0 -x394_bit0 -x395_bit0 -x396_bit0 -x397_bit0 -x398_bit0 -x399_bit0 -x400_bit0 -x403_bit0 -x404_bit0 -x405_bit0 -x406_bit0 -x407_bit0 -x408_bit0 -x409_bit0 -x410_bit0 -x411_bit0 -x412_bit0 -x415_bit0 -x416_bit0 -x417_bit0 -x418_bit0 -x419_bit0 -x420_bit0 -x421_bit0 -x422_bit0 -x423_bit0 -x424_bit0 -x425_bit0 -x426_bit0 -x428_bit0 -x429_bit0 -x430_bit0 -x431_bit0 -x432_bit0 -x433_bit0 -x434_bit0 -x435_bit0 -x436_bit0 -x437_bit0 -x438_bit0 -x439_bit0 -x440_bit0 -x441_bit0 -x442_bit0 -x443_bit0 -x444_bit0 -x445_bit0 -x446_bit0 -x447_bit0 -x448_bit0 -x449_bit0 -x450_bit0 -x451_bit0 -x452_bit0 -x453_bit0 -x454_bit0 -x456_bit0 -x457_bit0 -x458_bit0 -x459_bit0 -x460_bit0 -x461_bit0 -x463_bit0 -x464_bit0 x465_bit0 x466_bit0 -x467_bit0 -x468_bit0 -x469_bit0 -x470_bit0 -x471_bit0 -x472_bit0 -x473_bit0 -x474_bit0 -x475_bit0 -x476_bit0 -x479_bit0 -x480_bit0 -x481_bit0 -x482_bit0 -x483_bit0 -x484_bit0 -x485_bit0 -x486_bit0 -x489_bit0 -x490_bit0 -x491_bit0 -x492_bit0 -x493_bit0 -x494_bit0 -x495_bit0 -x496_bit0 -x497_bit0 -x498_bit0 -x499_bit0 -x500_bit0 -x501_bit0 -x502_bit0 -x503_bit0 -x506_bit0 -x507_bit0 -x508_bit0 -x509_bit0 -x510_bit0 -x511_bit0 -x512_bit0 -x513_bit0 -x514_bit0 -x515_bit0 -x516_bit0 -x517_bit0 -x519_bit0 -x522_bit0 -x523_bit0 -x524_bit0 -x525_bit0 -x526_bit0 -x527_bit0 -x528_bit0 -x529_bit0 -x530_bit0 -x531_bit0 -x532_bit0 -x533_bit0 -x535_bit0 -x536_bit0 -x537_bit0 -x538_bit0 -x539_bit0 -x540_bit0 -x541_bit0 -x542_bit0 -x543_bit0 -x544_bit0 -x545_bit0 -x546_bit0 -x549_bit0 -x550_bit0 -x551_bit0 -x552_bit0 -x553_bit0 -x554_bit0 -x555_bit0 -x556_bit0 -x559_bit0 -x560_bit0 -x561_bit0 -x562_bit0 -x563_bit0 -x564_bit0 -x565_bit0 -x566_bit0 -x567_bit0 -x568_bit0 -x569_bit0 -x570_bit0 -x571_bit0 -x572_bit0 -x573_bit0 -x576_bit0 -x577_bit0 -x578_bit0 -x579_bit0 -x580_bit0 -x581_bit0 -x582_bit0 -x583_bit0 -x584_bit0 -x585_bit0 -x586_bit0 -x587_bit0 -x588_bit0 -x589_bit0 -x592_bit0 -x593_bit0 -x594_bit0 -x595_bit0 -x596_bit0 -x597_bit0 -x598_bit0 -x599_bit0 -x600_bit0 -x601_bit0 -x602_bit0 -x603_bit0 -x605_bit0 -x606_bit0 -x607_bit0 -x608_bit0 -x609_bit0 -x610_bit0 -x611_bit0 -x612_bit0 -x613_bit0 -x614_bit0 -x615_bit0 -x616_bit0 -x617_bit0 -x618_bit0 -x619_bit0 -x620_bit0 -x621_bit0 -x622_bit0 -x623_bit0 -x624_bit0 -x625_bit0 -x626_bit0 -x627_bit0 -x628_bit0 -x629_bit0 -x630_bit0 -x631_bit0 -x633_bit0 -x634_bit0 -x635_bit0 -x636_bit0 -x637_bit0 -x638_bit0 -x639_bit0 -x640_bit0 -x641_bit0 -x642_bit0 -x643_bit0 -x644_bit0 -x645_bit0 -x646_bit0 -x647_bit0 -x648_bit0 -x650_bit0 -x651_bit0 -x652_bit0 -x653_bit0 -x656_bit0 -x657_bit0 -x658_bit0 -x659_bit0 -x660_bit0 -x661_bit0 -x662_bit0 -x663_bit0 -x666_bit0 -x667_bit0 -x668_bit0 -x669_bit0 -x670_bit0 -x671_bit0 -x672_bit0 -x673_bit0 -x674_bit0 -x675_bit0 -x676_bit0 -x677_bit0 -x678_bit0 -x679_bit0 -x680_bit0 -x683_bit0 -x684_bit0 -x685_bit0 -x686_bit0 -x687_bit0 -x688_bit0 -x689_bit0 -x690_bit0 -x691_bit0 -x692_bit0 -x693_bit0 -x694_bit0 -x696_bit0 -x699_bit0 -x700_bit0 -x701_bit0 -x702_bit0 -x703_bit0 -x704_bit0 -x705_bit0 -x706_bit0 -x707_bit0 -x708_bit0 -x709_bit0 -x710_bit0 -x712_bit0 -x713_bit0 -x714_bit0 -x715_bit0 -x716_bit0 -x717_bit0 -x718_bit0 -x719_bit0 -x720_bit0 -x721_bit0 -x722_bit0 -x723_bit0 -x726_bit0 -x727_bit0 -x728_bit0 -x729_bit0 -x730_bit0 -x731_bit0 -x732_bit0 -x733_bit0 -x736_bit0 -x737_bit0 -x738_bit0 -x739_bit0 -x740_bit0 -x741_bit0 -x742_bit0 -x743_bit0 -x744_bit0 -x745_bit0 -x746_bit0 -x747_bit0 -x748_bit0 -x749_bit0 -x750_bit0 -x753_bit0 -x754_bit0 -x755_bit0 -x756_bit0 -x757_bit0 -x758_bit0 -x759_bit0 -x760_bit0 -x761_bit0 -x762_bit0 -x763_bit0 -x764_bit0 -x765_bit0 -x766_bit0 -x769_bit0 -x770_bit0 -x771_bit0 -x772_bit0 -x773_bit0 -x774_bit0 -x775_bit0 -x776_bit0 -x777_bit0 -x778_bit0 -x779_bit0 -x780_bit0 -x782_bit0 -x783_bit0 -x784_bit0 -x785_bit0 -x786_bit0 -x787_bit0 -x788_bit0 -x789_bit0 -x790_bit0 -x791_bit0 -x792_bit0 -x793_bit0 -x796_bit0 -x797_bit0 -x798_bit0 -x799_bit0 -x800_bit0 -x812_bit0 -x813_bit0 -x814_bit0 -x815_bit0 -x816_bit0 -x817_bit0 -x818_bit0 -x821_bit0 -x822_bit0 -x823_bit0 -x824_bit0 -x825_bit0 -x829_bit0 -x833_bit0 -x837_bit0 -x838_bit0 -x839_bit0 -x840_bit0 -x841_bit0 -x842_bit0 -x843_bit0 -x846_bit0 -x847_bit0 -x848_bit0 -x849_bit0 -x850_bit0 -x851_bit0 -x854_bit0 -x856_bit0 -x860_bit0 -x864_bit0 -x865_bit0 -x867_bit0 -x870_bit0 -x871_bit0 -x872_bit0 -x873_bit0 -x875_bit0 -x876_bit0 -x877_bit0 -x878_bit0 -x879_bit0 -x880_bit0 -x882_bit0 -x883_bit0 -x884_bit0 -x885_bit0 -x886_bit0 -x887_bit0 -x888_bit0 -x889_bit0 -x890_bit0 -x891_bit0 -x892_bit0 -x893_bit0 -x896_bit0 -x897_bit0 -x898_bit0 -x899_bit0 -x900_bit0 -x904_bit0 -x908_bit0 -x912_bit0 -x913_bit0 -x914_bit0 -x915_bit0 -x916_bit0 -x917_bit0 -x918_bit0 -x921_bit0 -x922_bit0 -x923_bit0 -x924_bit0 -x925_bit0 -x926_bit0 -x929_bit0 -x933_bit0 -x937_bit0 -x938_bit0 -x939_bit0 -x940_bit0 -x941_bit0 -x942_bit0 -x943_bit0 -x946_bit0 -x947_bit0 -x948_bit0 -x949_bit0 -x950_bit0 -x951_bit0 -x952_bit0 -x954_bit0 -x955_bit0 -x956_bit0 -x959_bit0 -x960_bit0 -x961_bit0 -x962_bit0 -x964_bit0 -x965_bit0 -x967_bit0 -x970_bit0 -x971_bit0 -x972_bit0 -x973_bit0 -x974_bit0 -x975_bit0 -x976_bit0 -x977_bit0 -x978_bit0 -x979_bit0 -x980_bit0 -x982_bit0 -x983_bit0 -x984_bit0 -x985_bit0 -x986_bit0 -x987_bit0 -x988_bit0 -x989_bit0 -x990_bit0 -x991_bit0 -x992_bit0 -x993_bit0 -x994_bit0 -x995_bit0 -x996_bit0 -x997_bit0 -x1000_bit0 -x1001_bit0 -x1002_bit0 -x1003_bit0 -x1004_bit0 -x1005_bit0 -x1008_bit0 -x1011_bit0 -x1012_bit0 -x1013_bit0 -x1014_bit0 -x1016_bit0 -x1017_bit0 -x1018_bit0 -x1019_bit0 -x1020_bit0 -x1021_bit0 -x1022_bit0 -x1023_bit0 -x1024_bit0 -x1025_bit0 -x1026_bit0 -x1029_bit0 -x1030_bit0 -x1031_bit0 -x1032_bit0 x1033_bit0 -x1034_bit0 -x1035_bit0 -x1036_bit0 -x1037_bit0 -x1038_bit0 -x1039_bit0 -x1040_bit0 -x1041_bit0 -x1042_bit0 -x1043_bit0 -x1045_bit0 -x1048_bit0 -x1049_bit0 -x1050_bit0 -x1051_bit0 -x1052_bit0 -x1053_bit0 -x1054_bit0 -x1055_bit0 -x1056_bit0 -x1057_bit0 -x1058_bit0 -x1059_bit0 -x1060_bit0 -x1061_bit0 -x1062_bit0 -x1063_bit0 -x1064_bit0 -x1065_bit0 -x1066_bit0 -x1067_bit0 -x1070_bit0 -x1071_bit0 -x1072_bit0 -x1073_bit0 -x1074_bit0 -x1075_bit0 -x1076_bit0 -x1077_bit0 -x1078_bit0 -x1079_bit0 -x1080_bit0 -x1081_bit0 -x1082_bit0 -x1083_bit0 -x1084_bit0 -x1085_bit0 -x1086_bit0 -x1087_bit0 -x1088_bit0 -x1091_bit0 -x1092_bit0 -x1093_bit0 -x1094_bit0 -x1095_bit0 -x1096_bit0 -x1097_bit0 -x1098_bit0 -x1099_bit0 -x1100_bit0 -x1101_bit0 -x1102_bit0 -x1103_bit0 -x1106_bit0 -x1107_bit0 -x1108_bit0 -x1109_bit0 -x1110_bit0 -x1111_bit0 -x1112_bit0 -x1113_bit0 -x1114_bit0 -x1115_bit0 -x1116_bit0 -x1117_bit0 -x1118_bit0 -x1119_bit0 -x1120_bit0 -x1121_bit0 -x1122_bit0 -x1123_bit0 -x1124_bit0 -x1126_bit0 -x1127_bit0 -x1128_bit0 -x1129_bit0 -x1130_bit0 -x1131_bit0 -x1132_bit0 -x1133_bit0 -x1134_bit0 -x1135_bit0 -x1136_bit0 -x1137_bit0 -x1138_bit0 -x1139_bit0 -x1140_bit0 -x1141_bit0 -x1144_bit0 -x1145_bit0 -x1146_bit0 -x1147_bit0 -x1148_bit0 -x1149_bit0 -x1152_bit0 -x1155_bit0 -x1156_bit0 -x1157_bit0 -x1158_bit0 -x1160_bit0 -x1161_bit0 -x1162_bit0 -x1163_bit0 -x1164_bit0 -x1165_bit0 -x1166_bit0 -x1167_bit0 -x1168_bit0 -x1169_bit0 x1170_bit0 -x1173_bit0 -x1174_bit0 -x1175_bit0 -x1176_bit0 -x1177_bit0 -x1178_bit0 -x1179_bit0 -x1180_bit0 -x1181_bit0 -x1182_bit0 -x1183_bit0 -x1184_bit0 -x1185_bit0 -x1186_bit0 -x1187_bit0 -x1189_bit0 -x1192_bit0 -x1193_bit0 -x1194_bit0 -x1195_bit0 -x1196_bit0 -x1197_bit0 -x1198_bit0 -x1199_bit0 -x1200_bit0 -x1201_bit0 -x1202_bit0 -x1203_bit0 -x1204_bit0 -x1205_bit0 -x1206_bit0 -x1207_bit0 -x1208_bit0 x1209_bit0 -x1210_bit0 -x1211_bit0 -x1214_bit0 -x1215_bit0 -x1216_bit0 -x1217_bit0 -x1218_bit0 -x1219_bit0 -x1220_bit0 -x1221_bit0 -x1222_bit0 -x1223_bit0 -x1224_bit0 -x1225_bit0 -x1226_bit0 -x1227_bit0 -x1228_bit0 -x1229_bit0 -x1230_bit0 -x1231_bit0 -x1232_bit0 -x1235_bit0 -x1236_bit0 -x1237_bit0 -x1238_bit0 -x1239_bit0 -x1240_bit0 -x1241_bit0 -x1242_bit0 -x1243_bit0 -x1244_bit0 -x1245_bit0 -x1246_bit0 -x1247_bit0 -x1250_bit0 -x1251_bit0 -x1252_bit0 -x1253_bit0 -x1254_bit0 -x1255_bit0 -x1256_bit0 -x1257_bit0 -x1258_bit0 -x1259_bit0 -x1260_bit0 -x1261_bit0 -x1262_bit0 -x1263_bit0 -x1264_bit0 -x1265_bit0 -x1266_bit0 -x1267_bit0 -x1268_bit0 -x1270_bit0 -x1271_bit0 -x1272_bit0 -x1273_bit0 -x1274_bit0 -x1275_bit0 -x1276_bit0 -x1277_bit0 -x1278_bit0 -x1279_bit0 -x1280_bit0 -x1281_bit0 -x1282_bit0 -x1283_bit0 -x1284_bit0 -x1285_bit0 -x1286_bit0 x1287_bit0 -x1288_bit0 -x1289_bit0 -x1290_bit0 -x1291_bit0 -x1292_bit0 -x1293_bit0 -x1294_bit0 -x1295_bit0 -x1296_bit0 -x1297_bit0 -x1298_bit0 -x1299_bit0 -x1300_bit0 -x1301_bit0 -x1302_bit0 -x1303_bit0 -x1304_bit0 -x1305_bit0 -x1306_bit0 -x1307_bit0 -x1308_bit0 -x1309_bit0 -x1310_bit0 -x1311_bit0 -x1312_bit0 -x1313_bit0 -x1314_bit0 -x1315_bit0 -x1316_bit0 -x1317_bit0 -x1318_bit0 -x1319_bit0 -x1320_bit0 -x1321_bit0 -x1322_bit0 -x1323_bit0 -x1324_bit0 -x1325_bit0 -x1326_bit0 -x1327_bit0 -x1328_bit0 -x1329_bit0 -x1330_bit0 -x1331_bit0 -x1332_bit0 -x1333_bit0 x1334_bit0 x1335_bit0 -x1336_bit0 -x1337_bit0 -x1338_bit0 -x1339_bit0 -x1340_bit0 -x1341_bit0 -x1342_bit0 -x1343_bit0 -x1344_bit0 -x1345_bit0 -x1346_bit0 -x1348_bit0 -x1349_bit0 -x1351_bit0 -x1352_bit0 -x1353_bit0 -x1354_bit0 -x1355_bit0 -x1356_bit0 -x1357_bit0 -x1358_bit0 -x1359_bit0 -x1360_bit0 -x1361_bit0 -x1362_bit0 -x1363_bit0 -x1364_bit0 -x1365_bit0 -x1366_bit0 -x1367_bit0 -x1369_bit0 -x1370_bit0 -x1371_bit0 -x1372_bit0 -x1373_bit0 -x1374_bit0 -x1375_bit0 -x1376_bit0 -x1377_bit0 -x1378_bit0 -x1379_bit0 -x1380_bit0 -x1381_bit0 -x1382_bit0 -x1384_bit0 -x1386_bit0 -x1387_bit0 -x1391_bit0 -x1392_bit0 -x1393_bit0 -x1394_bit0 -x1395_bit0 -x1396_bit0 -x1397_bit0 -x1398_bit0 -x1399_bit0 -x1401_bit0 -x1402_bit0 -x1404_bit0 -x1405_bit0 -x1406_bit0 -x1407_bit0 -x1408_bit0 -x1409_bit0 -x1410_bit0 -x1411_bit0 -x1412_bit0 -x1413_bit0 -x1414_bit0 -x1415_bit0 -x1416_bit0 -x1417_bit0 -x1418_bit0 -x1419_bit0 -x1420_bit0 -x1422_bit0 -x1423_bit0 -x1424_bit0 -x1425_bit0 -x1426_bit0 -x1427_bit0 -x1428_bit0 -x1429_bit0 -x1430_bit0 -x1431_bit0 -x1432_bit0 -x1433_bit0 -x1434_bit0 -x1435_bit0 -x1436_bit0 -x1437_bit0 -x1438_bit0 -x1440_bit0 -x1441_bit0 -x1442_bit0 -x1443_bit0 -x1444_bit0 -x1445_bit0 -x1446_bit0 -x1447_bit0 -x1448_bit0 -x1449_bit0 -x1450_bit0 -x1451_bit0 -x1452_bit0 -x1453_bit0 -x1455_bit0 -x1457_bit0 -x1458_bit0 -x1459_bit0 -x1460_bit0 -x1461_bit0 -x1462_bit0 -x1463_bit0 -x1464_bit0 -x1465_bit0 -x1466_bit0 -x1467_bit0 -x1468_bit0 -x1469_bit0 -x1470_bit0 -x1471_bit0 -x1472_bit0 -x1473_bit0 -x1475_bit0 -x1476_bit0 -x1477_bit0 -x1478_bit0 -x1479_bit0 -x1480_bit0 -x1481_bit0 -x1482_bit0 -x1483_bit0 -x1484_bit0 -x1485_bit0 -x1486_bit0 -x1487_bit0 -x1488_bit0 -x1489_bit0 -x1490_bit0 -x1491_bit0 -x1493_bit0 -x1494_bit0 -x1495_bit0 -x1496_bit0 -x1497_bit0 -x1498_bit0 -x1499_bit0 -x1500_bit0 -x1501_bit0 -x1502_bit0 -x1503_bit0 -x1504_bit0 -x1505_bit0 -x1506_bit0 -x1507_bit0 -x1508_bit0 -x1509_bit0 -x1511_bit0 -x1512_bit0 -x1513_bit0 -x1514_bit0 -x1515_bit0 -x1516_bit0 -x1517_bit0 -x1518_bit0 -x1519_bit0 -x1520_bit0 -x1521_bit0 -x1522_bit0 -x1524_bit0 -x1525_bit0 -x1526_bit0 -x1527_bit0 -x1528_bit0 -x1529_bit0 -x1530_bit0 -x1531_bit0 -x1532_bit0 -x1533_bit0 -x1534_bit0 -x1535_bit0 -x1536_bit0 -x1537_bit0 -x1538_bit0 -x1539_bit0 -x1540_bit0 -x1542_bit0 -x1543_bit0 -x1544_bit0 -x1545_bit0 -x1546_bit0 -x1547_bit0 -x1548_bit0 -x1549_bit0 -x1550_bit0 -x1551_bit0 -x1552_bit0 -x1553_bit0 -x1554_bit0 -x1555_bit0 -x1556_bit0 -x1557_bit0 -x1558_bit0 -x1560_bit0 -x1561_bit0 -x1562_bit0 -x1563_bit0 -x1564_bit0 -x1565_bit0 -x1566_bit0 -x1567_bit0 -x1568_bit0 -x1569_bit0 -x1570_bit0 -x1571_bit0 -x1572_bit0 -x1573_bit0 -x1574_bit0 -x1575_bit0 x1576_bit0 -x1578_bit0 -x1579_bit0 -x1580_bit0 -x1581_bit0 -x1582_bit0 -x1583_bit0 -x1584_bit0 -x1585_bit0 -x1586_bit0 -x1587_bit0 -x1588_bit0 -x1589_bit0 -x1591_bit0 -x1592_bit0 -x1593_bit0 -x1594_bit0 -x1595_bit0 -x1596_bit0 -x1597_bit0 -x1598_bit0 -x1599_bit0 -x1600_bit0 -x1601_bit0 -x1602_bit0 -x1603_bit0 -x1604_bit0 -x1605_bit0 -x1606_bit0 -x1607_bit0 -x1609_bit0 -x1610_bit0 -x1611_bit0 -x1612_bit0 -x1613_bit0 -x1614_bit0 -x1615_bit0 -x1616_bit0 -x1617_bit0 -x1618_bit0 -x1619_bit0 -x1620_bit0 -x1623_bit0 -x1624_bit0 -x1625_bit0 -x1626_bit0 -x1627_bit0 -x1628_bit0 -x1631_bit0 -x1634_bit0 -x1635_bit0 -x1636_bit0 -x1637_bit0 -x1639_bit0 -x1640_bit0 -x1641_bit0 -x1642_bit0 -x1643_bit0 -x1644_bit0 -x1647_bit0 -x1648_bit0 -x1649_bit0 -x1650_bit0 -x1651_bit0 -x1652_bit0 -x1653_bit0 -x1654_bit0 -x1655_bit0 -x1656_bit0 -x1658_bit0 -x1659_bit0 -x1660_bit0 -x1663_bit0 -x1664_bit0 -x1665_bit0 -x1666_bit0 -x1667_bit0 -x1668_bit0 -x1669_bit0 -x1670_bit0 -x1671_bit0 -x1672_bit0 -x1673_bit0 -x1675_bit0 -x1678_bit0 -x1679_bit0 -x1680_bit0 -x1683_bit0 -x1684_bit0 -x1685_bit0 -x1686_bit0 -x1687_bit0 -x1688_bit0 -x1690_bit0 -x1692_bit0 -x1694_bit0 -x1695_bit0 -x1696_bit0 -x1699_bit0 -x1700_bit0 -x1701_bit0 -x1702_bit0 -x1703_bit0 -x1704_bit0 -x1705_bit0 -x1708_bit0 -x1709_bit0 -x1710_bit0 -x1711_bit0 -x1712_bit0 -x1713_bit0 -x1714_bit0 -x1716_bit0 -x1719_bit0 -x1720_bit0 -x1721_bit0 -x1722_bit0 -x1723_bit0 -x1724_bit0 -x1725_bit0 -x1726_bit0 -x1727_bit0 -x1728_bit0 -x1729_bit0 -x1732_bit0 -x1733_bit0 -x1734_bit0 -x1735_bit0 -x1736_bit0 -x1737_bit0 -x1738_bit0 -x1739_bit0 -x1740_bit0 -x1741_bit0 -x1742_bit0 -x1743_bit0 -x1744_bit0 -x1745_bit0 -x1748_bit0 -x1749_bit0 -x1750_bit0 -x1751_bit0 -x1752_bit0 -x1753_bit0 -x1754_bit0 -x1755_bit0 -x1756_bit0 -x1757_bit0 -x1758_bit0 -x1760_bit0 -x1763_bit0 -x1764_bit0 -x1765_bit0 -x1766_bit0 -x1768_bit0 -x1769_bit0 -x1770_bit0 -x1771_bit0 -x1772_bit0 -x1773_bit0 -x1775_bit0 -x1776_bit0 -x1777_bit0 -x1779_bit0 -x1780_bit0 -x1781_bit0 -x1782_bit0 -x1783_bit0 -x1784_bit0 -x1785_bit0 -x1786_bit0 -x1787_bit0 -x1788_bit0 -x1789_bit0 -x1790_bit0 -x1793_bit0 -x1794_bit0 -x1795_bit0 -x1796_bit0 -x1797_bit0 -x1798_bit0 -x1799_bit0 -x1801_bit0 -x1804_bit0 -x1805_bit0 -x1806_bit0 -x1807_bit0 -x1808_bit0 -x1809_bit0 -x1810_bit0 -x1811_bit0 -x1812_bit0 -x1813_bit0 -x1814_bit0 -x1817_bit0 -x1818_bit0 -x1819_bit0 -x1820_bit0 -x1821_bit0 -x1822_bit0 -x1823_bit0 -x1824_bit0 -x1825_bit0 -x1826_bit0 -x1827_bit0 -x1828_bit0 -x1829_bit0 -x1830_bit0 -x1833_bit0 -x1834_bit0 -x1835_bit0 -x1836_bit0 -x1837_bit0 -x1838_bit0 -x1839_bit0 -x1840_bit0 -x1841_bit0 -x1842_bit0 -x1843_bit0 -x1845_bit0 -x1848_bit0 -x1849_bit0 -x1850_bit0 -x1851_bit0 -x1852_bit0 -x1853_bit0 -x1854_bit0 -x1855_bit0 -x1856_bit0 -x1857_bit0 -x1858_bit0 -x1859_bit0 -x1860_bit0 -x1861_bit0 -x1862_bit0 -x1864_bit0 -x1865_bit0 -x1866_bit0 -x1867_bit0 -x1868_bit0 -x1869_bit0 -x1870_bit0 -x1871_bit0 -x1872_bit0 -x1873_bit0 -x1874_bit0 -x1875_bit0 -x1878_bit0 -x1879_bit0 -x1880_bit0 -x1881_bit0 -x1882_bit0 -x1883_bit0 -x1884_bit0 -x1885_bit0 -x1886_bit0 -x1889_bit0 -x1890_bit0 -x1891_bit0 -x1892_bit0 -x1893_bit0 -x1894_bit0 -x1895_bit0 -x1896_bit0 -x1897_bit0 -x1898_bit0 -x1899_bit0 -x1902_bit0 -x1903_bit0 -x1904_bit0 -x1905_bit0 -x1906_bit0 -x1907_bit0 -x1908_bit0 -x1909_bit0 -x1910_bit0 -x1911_bit0 -x1912_bit0 -x1913_bit0 -x1914_bit0 x1915_bit0 -x1918_bit0 -x1919_bit0 -x1920_bit0 -x1921_bit0 -x1922_bit0 -x1923_bit0 -x1924_bit0 -x1925_bit0 -x1926_bit0 -x1927_bit0 -x1928_bit0 -x1929_bit0 -x1930_bit0 -x1933_bit0 -x1934_bit0 -x1935_bit0 -x1936_bit0 -x1937_bit0 -x1938_bit0 -x1939_bit0 -x1940_bit0 -x1941_bit0 -x1942_bit0 -x1943_bit0 -x1944_bit0 -x1945_bit0 -x1946_bit0 -x1947_bit0 -x1949_bit0 -x1950_bit0 -x1951_bit0 -x1952_bit0 -x1953_bit0 -x1954_bit0 -x1955_bit0 -x1956_bit0 -x1957_bit0 -x1958_bit0 -x1959_bit0 -x1960_bit0 -x1961_bit0 -x1962_bit0 -x1963_bit0 -x1966_bit0 -x1967_bit0 -x1968_bit0 -x1969_bit0 -x1970_bit0 -x1971_bit0 -x1972_bit0 -x1973_bit0 -x1974_bit0 -x1975_bit0 -x1976_bit0 -x1977_bit0 -x1980_bit0 -x1981_bit0 -x1982_bit0 -x1983_bit0 -x1984_bit0 -x1985_bit0 -x1986_bit0 x1987_bit0 -x1988_bit0 -x1989_bit0 -x1990_bit0 -x1991_bit0 -x1992_bit0 -x1993_bit0 -x1994_bit0 -x1995_bit0 -x1996_bit0 -x1997_bit0 -x1998_bit0 -x1999_bit0 -x2000_bit0 -x2001_bit0 -x2003_bit0 -x2004_bit0 -x2005_bit0 -x2006_bit0 -x2007_bit0 -x2008_bit0 -x2009_bit0 -x2010_bit0 -x2011_bit0 -x2012_bit0 -x2013_bit0 -x2014_bit0 -x2015_bit0 -x2016_bit0 -x2017_bit0 -x2018_bit0 -x2019_bit0 -x2020_bit0 -x2021_bit0 -x2022_bit0 -x2023_bit0 -x2024_bit0 -x2025_bit0 -x2027_bit0 -x2028_bit0 -x2029_bit0 -x2030_bit0 -x2031_bit0 -x2032_bit0 -x2033_bit0 -x2034_bit0 -x2035_bit0 -x2038_bit0 -x2040_bit0 -x2041_bit0 -x2042_bit0 -x2043_bit0 -x2045_bit0 -x2046_bit0 -x2047_bit0 -x2048_bit0 -x2049_bit0 -x2050_bit0 -x2051_bit0 -x2053_bit0 -x2054_bit0 -x2055_bit0 -x2056_bit0 -x2057_bit0 -x2058_bit0 -x2059_bit0 -x2060_bit0 -x2061_bit0 -x2062_bit0 -x2064_bit0 -x2066_bit0 -x2067_bit0 -x2068_bit0 -x2071_bit0 -x2072_bit0 -x2073_bit0 -x2074_bit0 -x2075_bit0 -x2076_bit0 -x2077_bit0 -x2078_bit0 -x2080_bit0 -x2081_bit0 -x2082_bit0 -x2083_bit0 -x2084_bit0 -x2085_bit0 -x2086_bit0 -x2087_bit0 -x2088_bit0 -x2089_bit0 -x2090_bit0 -x2091_bit0 -x2092_bit0 -x2094_bit0 -x2095_bit0 -x2096_bit0 -x2097_bit0 -x2098_bit0 -x2099_bit0 -x2100_bit0 -x2101_bit0 -x2102_bit0 -x2105_bit0 -x2107_bit0 -x2108_bit0 -x2109_bit0 -x2110_bit0 -x2112_bit0 -x2113_bit0 -x2114_bit0 -x2115_bit0 -x2116_bit0 -x2117_bit0 -x2118_bit0 -x2120_bit0 -x2121_bit0 -x2122_bit0 -x2123_bit0 -x2124_bit0 -x2125_bit0 -x2126_bit0 -x2127_bit0 -x2128_bit0 -x2129_bit0 -x2131_bit0 -x2133_bit0 -x2134_bit0 -x2135_bit0 -x2138_bit0 -x2139_bit0 -x2140_bit0 -x2141_bit0 -x2142_bit0 -x2143_bit0 -x2144_bit0 -x2145_bit0 -x2147_bit0 -x2148_bit0 -x2149_bit0 -x2150_bit0 -x2151_bit0 -x2152_bit0 -x2153_bit0 -x2154_bit0 -x2155_bit0 -x2156_bit0 -x2157_bit0 -x2158_bit0 -x2159_bit0 -x2161_bit0 -x2162_bit0 -x2163_bit0 -x2164_bit0 -x2165_bit0 -x2166_bit0 -x2167_bit0 -x2168_bit0 -x2169_bit0 -x2170_bit0 -x2172_bit0 -x2174_bit0 -x2175_bit0 -x2176_bit0 -x2177_bit0 -x2178_bit0 -x2179_bit0 -x2180_bit0 -x2181_bit0 -x2182_bit0 -x2183_bit0 -x2184_bit0 -x2185_bit0 -x2187_bit0 -x2188_bit0 -x2189_bit0 -x2190_bit0 -x2191_bit0 -x2192_bit0 -x2193_bit0 -x2194_bit0 -x2195_bit0 -x2196_bit0 -x2198_bit0 -x2200_bit0 -x2201_bit0 -x2202_bit0 -x2203_bit0 -x2204_bit0 -x2205_bit0 -x2206_bit0 -x2207_bit0 -x2208_bit0 -x2209_bit0 -x2210_bit0 -x2211_bit0 -x2212_bit0 -x2214_bit0 -x2215_bit0 -x2216_bit0 -x2217_bit0 -x2218_bit0 -x2219_bit0 -x2220_bit0 -x2221_bit0 -x2222_bit0 -x2223_bit0 -x2224_bit0 -x2225_bit0 -x2226_bit0 -x2228_bit0 -x2229_bit0 -x2230_bit0 -x2231_bit0 -x2232_bit0 -x2233_bit0 -x2234_bit0 -x2235_bit0 -x2236_bit0 -x2237_bit0 -x2239_bit0 -x2241_bit0 -x2242_bit0 -x2243_bit0 -x2244_bit0 -x2245_bit0 -x2246_bit0 -x2247_bit0 -x2248_bit0 -x2249_bit0 -x2250_bit0 -x2251_bit0 -x2252_bit0 -x2254_bit0 -x2255_bit0 -x2256_bit0 -x2257_bit0 -x2258_bit0 -x2259_bit0 -x2260_bit0 -x2261_bit0 -x2262_bit0 -x2263_bit0 -x2265_bit0 -x2267_bit0 -x2268_bit0 -x2269_bit0 -x2270_bit0 -x2271_bit0 -x2272_bit0 -x2273_bit0 -x2274_bit0 -x2275_bit0 -x2276_bit0 -x2277_bit0 -x2278_bit0 -x2279_bit0 -x2281_bit0 -x2282_bit0 -x2283_bit0 -x2284_bit0 -x2285_bit0 -x2286_bit0 -x2287_bit0 -x2288_bit0 -x2289_bit0 -x2290_bit0 -x2291_bit0 -x2292_bit0 -x2293_bit0 -x2295_bit0 -x2296_bit0 -x2297_bit0 -x2298_bit0 -x2299_bit0 -x2300_bit0 -x2301_bit0 -x2302_bit0 -x2303_bit0 -x2306_bit0 -x2308_bit0 -x2309_bit0 -x2310_bit0 -x2311_bit0 -x2313_bit0 -x2314_bit0 -x2315_bit0 -x2316_bit0 -x2317_bit0 -x2318_bit0 -x2319_bit0 -x2321_bit0 -x2322_bit0 -x2323_bit0 -x2324_bit0 -x2325_bit0 -x2326_bit0 -x2327_bit0 -x2328_bit0 -x2329_bit0 -x2330_bit0 -x2332_bit0 -x2334_bit0 -x2335_bit0 -x2336_bit0 -x2337_bit0 -x2339_bit0 -x2340_bit0 -x2341_bit0 -x2342_bit0 -x2343_bit0 -x2345_bit0 -x2346_bit0 -x2348_bit0 -x2349_bit0 -x2350_bit0 -x2351_bit0 -x2352_bit0 -x2353_bit0 -x2354_bit0 -x2355_bit0 -x2356_bit0 -x2357_bit0 -x2358_bit0 -x2359_bit0 -x2360_bit0 -x2362_bit0 -x2363_bit0 -x2364_bit0 -x2365_bit0 -x2366_bit0 -x2367_bit0 -x2368_bit0 -x2369_bit0 -x2370_bit0 -x2373_bit0 -x2375_bit0 -x2376_bit0 -x2377_bit0 -x2378_bit0 -x2380_bit0 -x2381_bit0 -x2382_bit0 -x2383_bit0 -x2384_bit0 -x2385_bit0 -x2386_bit0 -x2388_bit0 -x2389_bit0 -x2390_bit0 -x2391_bit0 -x2392_bit0 -x2393_bit0 -x2394_bit0 -x2395_bit0 -x2396_bit0 -x2397_bit0 -x2399_bit0 -x2401_bit0 -x2402_bit0 -x2403_bit0 -x2404_bit0 -x2406_bit0 -x2407_bit0 -x2408_bit0 -x2409_bit0 -x2410_bit0 -x2411_bit0 -x2412_bit0 -x2413_bit0 -x2415_bit0 -x2416_bit0 -x2417_bit0 -x2418_bit0 -x2419_bit0 -x2420_bit0 -x2421_bit0 -x2422_bit0 -x2423_bit0 -x2424_bit0 -x2425_bit0 -x2426_bit0 -x2427_bit0 -x2428_bit0 -x2429_bit0 -x2430_bit0 -x2432_bit0 -x2433_bit0 -x2434_bit0 -x2435_bit0 -x2436_bit0 -x2437_bit0 -x2438_bit0 -x2439_bit0 -x2440_bit0 -x2441_bit0 -x2442_bit0 -x2443_bit0 -x2444_bit0 -x2445_bit0 -x2446_bit0 -x2448_bit0 -x2449_bit0 -x2450_bit0 -x2451_bit0 -x2452_bit0 -x2453_bit0 -x2454_bit0 -x2455_bit0 -x2456_bit0 -x2457_bit0 -x2458_bit0 -x2459_bit0 -x2460_bit0 -x2461_bit0 -x2462_bit0 -x2463_bit0 -x2464_bit0 -x2466_bit0 -x2467_bit0 -x2468_bit0 -x2469_bit0 -x2470_bit0 -x2471_bit0 -x2472_bit0 -x2473_bit0 -x2474_bit0 -x2475_bit0 -x2476_bit0 -x2477_bit0 -x2478_bit0 -x2479_bit0 -x2480_bit0 -x2481_bit0 -x2483_bit0 -x2484_bit0 -x2485_bit0 -x2486_bit0 -x2487_bit0 -x2488_bit0 -x2489_bit0 -x2490_bit0 -x2491_bit0 -x2492_bit0 -x2493_bit0 -x2494_bit0 -x2495_bit0 -x2496_bit0 -x2497_bit0 -x2499_bit0 -x2500_bit0 -x2501_bit0 -x2502_bit0 -x2503_bit0 -x2504_bit0 -x2505_bit0 -x2506_bit0 -x2507_bit0 -x2508_bit0 -x2509_bit0 -x2510_bit0 -x2511_bit0 -x2512_bit0 -x2513_bit0 -x2514_bit0 -x2515_bit0 -x2517_bit0 -x2518_bit0 -x2519_bit0 -x2520_bit0 -x2521_bit0 -x2522_bit0 -x2523_bit0 -x2524_bit0 -x2526_bit0 -x2527_bit0 -x2528_bit0 -x2529_bit0 -x2530_bit0 -x2531_bit0 -x2532_bit0 -x2534_bit0 -x2535_bit0 -x2536_bit0 -x2537_bit0 -x2538_bit0 -x2539_bit0 -x2540_bit0 -x2541_bit0 -x2542_bit0 -x2544_bit0 -x2545_bit0 -x2546_bit0 -x2547_bit0 -x2548_bit0 x2549_bit0 -x2550_bit0 -x2551_bit0 -x2552_bit0 -x2553_bit0 -x2554_bit0 -x2555_bit0 -x2556_bit0 -x2557_bit0 -x2558_bit0 -x2559_bit0 -x2560_bit0 -x2561_bit0 -x2562_bit0 -x2563_bit0 -x2564_bit0 -x2565_bit0 -x2566_bit0 -x2567_bit0 -x7_bit0 x8_bit0 -x2568_bit0 -x108_bit0 -x109_bit0 -x111_bit0 -x2577_bit0 -x1269_bit0 -x2667_bit0 -x2668_bit0 -x2669_bit0 -x2670_bit0 x2671_bit0 -x1347_bit0 -x1350_bit0 -x2672_bit0 -x1368_bit0 -x2673_bit0 x1383_bit0 -x1385_bit0 -x1388_bit0 -x1389_bit0 x1390_bit0 -x2674_bit0 -x1400_bit0 -x1403_bit0 -x2675_bit0 -x1421_bit0 -x2676_bit0 -x118_bit0 -x2578_bit0 -x1439_bit0 -x2677_bit0 x1454_bit0 -x1456_bit0 -x2678_bit0 x1474_bit0 -x2679_bit0 -x1492_bit0 -x2680_bit0 x1510_bit0 x2681_bit0 -x1523_bit0 -x2682_bit0 -x1541_bit0 -x2683_bit0 -x1559_bit0 -x2684_bit0 -x1577_bit0 -x2685_bit0 -x1590_bit0 -x2686_bit0 -x125_bit0 -x2579_bit0 x1608_bit0 -x2687_bit0 -x1621_bit0 -x1622_bit0 -x2688_bit0 x1629_bit0 x1630_bit0 -x1632_bit0 -x1633_bit0 -x1638_bit0 -x2689_bit0 -x1645_bit0 -x1646_bit0 -x2690_bit0 -x1657_bit0 -x1661_bit0 -x1662_bit0 -x2691_bit0 -x1674_bit0 -x1676_bit0 -x1677_bit0 -x1681_bit0 -x1682_bit0 -x2692_bit0 x1689_bit0 x1691_bit0 -x1693_bit0 -x1697_bit0 -x1698_bit0 -x2693_bit0 -x1706_bit0 -x1707_bit0 -x2694_bit0 -x1715_bit0 -x1717_bit0 -x1718_bit0 -x2695_bit0 -x1730_bit0 -x1731_bit0 -x2696_bit0 x130_bit0 -x2580_bit0 -x1746_bit0 x1747_bit0 -x2697_bit0 x1759_bit0 -x1761_bit0 -x1762_bit0 x1767_bit0 -x2698_bit0 -x1774_bit0 -x1778_bit0 -x2699_bit0 -x1791_bit0 -x1792_bit0 -x2700_bit0 x1800_bit0 -x1802_bit0 -x1803_bit0 -x2701_bit0 -x1815_bit0 -x1816_bit0 -x2702_bit0 -x1831_bit0 -x1832_bit0 -x2703_bit0 -x1844_bit0 -x1846_bit0 -x1847_bit0 -x2704_bit0 -x1863_bit0 -x2705_bit0 -x1876_bit0 -x1877_bit0 -x2706_bit0 -x138_bit0 -x2581_bit0 -x1887_bit0 -x1888_bit0 -x2707_bit0 -x1900_bit0 -x1901_bit0 -x2708_bit0 -x1916_bit0 x1917_bit0 x2709_bit0 -x1931_bit0 x1932_bit0 -x2710_bit0 -x1948_bit0 -x2711_bit0 -x1964_bit0 -x1965_bit0 -x2712_bit0 -x1978_bit0 -x1979_bit0 -x2713_bit0 -x2714_bit0 -x2715_bit0 -x2002_bit0 -x2716_bit0 -x146_bit0 -x147_bit0 -x2582_bit0 -x2717_bit0 -x2026_bit0 -x2718_bit0 -x2036_bit0 x2037_bit0 -x2039_bit0 -x2044_bit0 -x2719_bit0 -x2052_bit0 -x2720_bit0 x2063_bit0 -x2065_bit0 -x2069_bit0 -x2070_bit0 -x2721_bit0 -x2079_bit0 -x2722_bit0 -x2093_bit0 -x2723_bit0 x2103_bit0 -x2104_bit0 -x2106_bit0 -x2111_bit0 -x2724_bit0 -x2119_bit0 -x2725_bit0 x2130_bit0 -x2132_bit0 -x2136_bit0 -x2137_bit0 -x2726_bit0 -x151_bit0 x152_bit0 -x154_bit0 -x155_bit0 -x157_bit0 -x2583_bit0 -x2146_bit0 -x2727_bit0 -x2160_bit0 -x2728_bit0 x2171_bit0 -x2173_bit0 -x2729_bit0 -x2186_bit0 -x2730_bit0 -x2197_bit0 -x2199_bit0 -x2731_bit0 -x2213_bit0 -x2732_bit0 -x2227_bit0 -x2733_bit0 -x2238_bit0 -x2240_bit0 -x2734_bit0 -x2253_bit0 -x2735_bit0 -x2264_bit0 -x2266_bit0 -x2736_bit0 -x164_bit0 x165_bit0 -x167_bit0 x2584_bit0 -x2280_bit0 -x2737_bit0 -x2294_bit0 -x2738_bit0 -x2304_bit0 x2305_bit0 -x2307_bit0 -x2312_bit0 -x2739_bit0 -x2320_bit0 -x2740_bit0 x2331_bit0 -x2333_bit0 -x2338_bit0 -x2741_bit0 -x2344_bit0 -x2347_bit0 -x2742_bit0 -x2361_bit0 -x2743_bit0 x2371_bit0 -x2372_bit0 -x2374_bit0 -x2379_bit0 -x2744_bit0 -x2387_bit0 -x2745_bit0 x2398_bit0 -x2400_bit0 -x2405_bit0 -x2746_bit0 -x179_bit0 -x180_bit0 -x182_bit0 -x2585_bit0 -x2414_bit0 -x2747_bit0 -x2431_bit0 -x2748_bit0 -x2447_bit0 -x2749_bit0 -x2465_bit0 -x2750_bit0 x2482_bit0 -x2751_bit0 x2498_bit0 x2752_bit0 -x2516_bit0 -x2753_bit0 -x2525_bit0 -x2754_bit0 -x2533_bit0 -x2755_bit0 -x2543_bit0 -x2756_bit0 -x191_bit0 -x192_bit0 x194_bit0 -x2586_bit0 -x12_bit0 x13_bit0 -x15_bit0 -x16_bit0 -x18_bit0 -x2569_bit0 -x25_bit0 x26_bit0 -x28_bit0 -x2570_bit0 -x40_bit0 x41_bit0 x43_bit0 x2571_bit0 -x52_bit0 -x53_bit0 x55_bit0 -x2572_bit0 -x63_bit0 x64_bit0 -x2573_bit0 -x69_bit0 -x71_bit0 -x72_bit0 -x2574_bit0 -x81_bit0 x82_bit0 -x84_bit0 -x2575_bit0 -x96_bit0 -x97_bit0 -x99_bit0 -x2576_bit0 -x202_bit0 -x203_bit0 -x2587_bit0 -x208_bit0 -x210_bit0 -x211_bit0 -x2588_bit0 -x220_bit0 -x221_bit0 -x223_bit0 -x2589_bit0 -x235_bit0 -x236_bit0 -x238_bit0 -x2590_bit0 -x247_bit0 -x248_bit0 -x250_bit0 -x2591_bit0 -x264_bit0 -x2593_bit0 x269_bit0 -x2594_bit0 x282_bit0 -x287_bit0 -x288_bit0 -x2596_bit0 -x301_bit0 -x302_bit0 -x2597_bit0 -x311_bit0 -x312_bit0 -x2598_bit0 -x324_bit0 -x325_bit0 -x2599_bit0 -x334_bit0 -x336_bit0 -x337_bit0 -x342_bit0 -x2600_bit0 x346_bit0 -x350_bit0 -x355_bit0 -x2601_bit0 -x364_bit0 -x365_bit0 -x2602_bit0 -x378_bit0 -x379_bit0 -x2603_bit0 -x388_bit0 -x389_bit0 -x2604_bit0 -x401_bit0 -x402_bit0 -x2605_bit0 -x413_bit0 -x414_bit0 -x2606_bit0 -x427_bit0 -x2607_bit0 -x2608_bit0 -x2609_bit0 -x455_bit0 -x2610_bit0 -x462_bit0 -x2611_bit0 -x477_bit0 -x478_bit0 -x2612_bit0 -x487_bit0 -x488_bit0 -x2613_bit0 -x504_bit0 -x505_bit0 -x2614_bit0 -x518_bit0 -x520_bit0 -x521_bit0 -x2615_bit0 -x534_bit0 -x2616_bit0 -x547_bit0 -x548_bit0 -x2617_bit0 -x557_bit0 -x558_bit0 -x2618_bit0 -x574_bit0 x575_bit0 -x2619_bit0 -x590_bit0 x591_bit0 -x2620_bit0 -x604_bit0 -x2621_bit0 -x2622_bit0 -x2623_bit0 -x632_bit0 -x2624_bit0 -x2625_bit0 -x649_bit0 -x654_bit0 -x655_bit0 -x2626_bit0 -x664_bit0 -x665_bit0 -x2627_bit0 x257_bit0 -x2592_bit0 -x681_bit0 -x682_bit0 -x2628_bit0 -x695_bit0 -x697_bit0 -x698_bit0 -x2629_bit0 -x711_bit0 -x2630_bit0 -x724_bit0 -x725_bit0 -x2631_bit0 -x734_bit0 -x735_bit0 -x2632_bit0 -x751_bit0 x752_bit0 -x2633_bit0 -x767_bit0 x768_bit0 -x2634_bit0 -x781_bit0 -x2635_bit0 -x794_bit0 -x795_bit0 -x2636_bit0 -x801_bit0 -x802_bit0 x803_bit0 x804_bit0 -x805_bit0 -x806_bit0 -x807_bit0 -x808_bit0 -x809_bit0 -x810_bit0 -x811_bit0 -x2637_bit0 -x819_bit0 -x820_bit0 -x2638_bit0 -x826_bit0 -x827_bit0 x828_bit0 -x830_bit0 -x831_bit0 -x832_bit0 -x834_bit0 -x835_bit0 -x836_bit0 -x2639_bit0 -x844_bit0 -x845_bit0 -x2640_bit0 -x852_bit0 x853_bit0 x855_bit0 -x857_bit0 -x858_bit0 -x859_bit0 -x861_bit0 -x862_bit0 -x863_bit0 -x2641_bit0 x866_bit0 -x868_bit0 -x869_bit0 x874_bit0 -x2642_bit0 -x881_bit0 -x2643_bit0 -x894_bit0 -x895_bit0 -x2644_bit0 -x901_bit0 -x902_bit0 -x903_bit0 -x905_bit0 -x906_bit0 -x907_bit0 -x909_bit0 -x910_bit0 -x911_bit0 -x2645_bit0 -x919_bit0 -x920_bit0 -x2646_bit0 -x927_bit0 -x928_bit0 -x930_bit0 -x931_bit0 -x932_bit0 -x934_bit0 -x935_bit0 -x936_bit0 -x2647_bit0 -x944_bit0 -x945_bit0 -x2648_bit0 x953_bit0 -x957_bit0 -x958_bit0 -x963_bit0 -x2649_bit0 x966_bit0 -x968_bit0 -x969_bit0 -x2650_bit0 -x981_bit0 -x2651_bit0 -x998_bit0 -x999_bit0 -x2652_bit0 -x1006_bit0 -x1007_bit0 -x1009_bit0 -x1010_bit0 -x1015_bit0 -x2653_bit0 -x1027_bit0 x1028_bit0 x2654_bit0 x1044_bit0 -x1046_bit0 -x1047_bit0 -x2655_bit0 -x1068_bit0 -x1069_bit0 -x2656_bit0 -x1089_bit0 -x1090_bit0 -x2657_bit0 -x277_bit0 -x2595_bit0 -x1104_bit0 -x1105_bit0 -x2658_bit0 -x1125_bit0 -x2659_bit0 -x1142_bit0 -x1143_bit0 -x2660_bit0 x1150_bit0 -x1151_bit0 -x1153_bit0 -x1154_bit0 -x1159_bit0 -x2661_bit0 -x1171_bit0 -x1172_bit0 -x2662_bit0 -x1188_bit0 -x1190_bit0 -x1191_bit0 -x2663_bit0 -x1212_bit0 -x1213_bit0 -x2664_bit0 -x1233_bit0 -x1234_bit0 -x2665_bit0 -x1248_bit0 x1249_bit0 -x2666_bit0 
c Cost: 6351
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/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1841024278 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 107 3 90 68 0 39 0
[pid=18980] 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/wulflinc26/normalized-mps-v2-20-10-p2756.opb

[startup+10.0025 s]
Raw data (loadavg): 0.93 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 18049 0 0 0 928 52 0 0 25 0 1 0 1841024278 77094912 17960 4294967295 134512640 134736556 3221224560 3221223256 134544456 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 18822 17960 1116 68 0 18754 0
[pid=18980] vsize: 75288
Current children cumulated CPU time (s) 9.8
Current children cumulated vsize (Kb) 75288

[startup+20.0032 s]
Raw data (loadavg): 0.94 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 18538 0 0 0 1912 58 0 0 25 0 1 0 1841024278 79122432 18449 4294967295 134512640 134736556 3221224560 3221223132 134560304 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 19317 18449 1116 68 0 19249 0
[pid=18980] vsize: 77268
Current children cumulated CPU time (s) 19.7
Current children cumulated vsize (Kb) 77268

[startup+30.0028 s]
Raw data (loadavg): 0.95 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 18713 0 0 0 2898 63 0 0 25 0 1 0 1841024278 79798272 18624 4294967295 134512640 134736556 3221224560 3221223216 134649499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 19482 18624 1116 68 0 19414 0
[pid=18980] vsize: 77928
Current children cumulated CPU time (s) 29.61
Current children cumulated vsize (Kb) 77928

[startup+40.0035 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 19470 0 0 0 3882 70 0 0 25 0 1 0 1841024278 82907136 19381 4294967295 134512640 134736556 3221224560 3221223200 134648999 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 20241 19381 1116 68 0 20173 0
[pid=18980] vsize: 80964
Current children cumulated CPU time (s) 39.52
Current children cumulated vsize (Kb) 80964

[startup+50.0042 s]
Raw data (loadavg): 0.96 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 22492 0 0 0 4859 82 0 0 25 0 1 0 1841024278 95264768 22403 4294967295 134512640 134736556 3221224560 3221223216 134649499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 23258 22403 1116 68 0 23190 0
[pid=18980] vsize: 93032
Current children cumulated CPU time (s) 49.41
Current children cumulated vsize (Kb) 93032

[startup+60.0039 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 23959 0 0 0 5837 92 0 0 25 0 1 0 1841024278 101224448 23870 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 24713 23870 1116 68 0 24645 0
[pid=18980] vsize: 98852
Current children cumulated CPU time (s) 59.29
Current children cumulated vsize (Kb) 98852

[startup+70.0046 s]
Raw data (loadavg): 0.97 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 23977 0 0 0 6820 98 0 0 25 0 1 0 1841024278 101359616 23888 4294967295 134512640 134736556 3221224560 3221223188 134560244 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 24746 23888 1116 68 0 24678 0
[pid=18980] vsize: 98984
Current children cumulated CPU time (s) 69.18
Current children cumulated vsize (Kb) 98984

[startup+80.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 24375 0 0 0 7803 106 0 0 25 0 1 0 1841024278 102985728 24286 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 25143 24286 1116 68 0 25075 0
[pid=18980] vsize: 100572
Current children cumulated CPU time (s) 79.09
Current children cumulated vsize (Kb) 100572

[startup+90.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 26868 0 0 0 8777 118 0 0 25 0 1 0 1841024278 113147904 26779 4294967295 134512640 134736556 3221224560 3221223120 134543478 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 27624 26779 1116 68 0 27556 0
[pid=18980] vsize: 110496
Current children cumulated CPU time (s) 88.95
Current children cumulated vsize (Kb) 110496

[startup+100.007 s]
Raw data (loadavg): 0.98 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 27481 0 0 0 9758 126 0 0 25 0 1 0 1841024278 115642368 27392 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28233 27392 1116 68 0 28165 0
[pid=18980] vsize: 112932
Current children cumulated CPU time (s) 98.84
Current children cumulated vsize (Kb) 112932

[startup+110.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 27481 0 0 0 10744 132 0 0 25 0 1 0 1841024278 115642368 27392 4294967295 134512640 134736556 3221224560 3221223256 134524891 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28233 27392 1116 68 0 28165 0
[pid=18980] vsize: 112932
Current children cumulated CPU time (s) 108.76
Current children cumulated vsize (Kb) 112932

[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 27481 0 0 0 11729 138 0 0 25 0 1 0 1841024278 115642368 27392 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28233 27392 1116 68 0 28165 0
[pid=18980] vsize: 112932
Current children cumulated CPU time (s) 118.67
Current children cumulated vsize (Kb) 112932

[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 27481 0 0 0 12714 143 0 0 25 0 1 0 1841024278 115642368 27392 4294967295 134512640 134736556 3221224560 3221223216 134649124 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28233 27392 1116 68 0 28165 0
[pid=18980] vsize: 112932
Current children cumulated CPU time (s) 128.57
Current children cumulated vsize (Kb) 112932

[startup+140.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 27481 0 0 0 13699 148 0 0 25 0 1 0 1841024278 115642368 27392 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28233 27392 1116 68 0 28165 0
[pid=18980] vsize: 112932
Current children cumulated CPU time (s) 138.47
Current children cumulated vsize (Kb) 112932

[startup+150.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 27982 0 0 0 14674 159 0 0 25 0 1 0 1841024278 117735424 27893 4294967295 134512640 134736556 3221224560 3221223104 134540761 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 28744 27893 1116 68 0 28676 0
[pid=18980] vsize: 114976
Current children cumulated CPU time (s) 148.33
Current children cumulated vsize (Kb) 114976

[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 27982 0 0 0 15649 168 0 0 25 0 1 0 1841024278 117735424 27893 4294967295 134512640 134736556 3221224560 3221223296 134647929 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28744 27893 1116 68 0 28676 0
[pid=18980] vsize: 114976
Current children cumulated CPU time (s) 158.17
Current children cumulated vsize (Kb) 114976

[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28083 0 0 0 16627 178 0 0 25 0 1 0 1841024278 118034432 27968 4294967295 134512640 134736556 3221224560 3221223084 134536381 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28817 27968 1116 68 0 28749 0
[pid=18980] vsize: 115268
Current children cumulated CPU time (s) 168.05
Current children cumulated vsize (Kb) 115268

[startup+180.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28160 0 0 0 17603 187 0 0 25 0 1 0 1841024278 118312960 28045 4294967295 134512640 134736556 3221224560 3221222848 134717269 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 28885 28045 1116 68 0 28817 0
[pid=18980] vsize: 115540
Current children cumulated CPU time (s) 177.9
Current children cumulated vsize (Kb) 115540

[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28200 0 0 0 18586 192 0 0 25 0 1 0 1841024278 118583296 28085 4294967295 134512640 134736556 3221224560 3221222812 1077379843 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 28951 28085 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 187.78
Current children cumulated vsize (Kb) 115804

[startup+200.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 19563 202 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223100 134536326 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 197.65
Current children cumulated vsize (Kb) 115804

[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 28231 0 0 0 20539 209 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 207.48
Current children cumulated vsize (Kb) 115804

[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 21515 218 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223228 134524324 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 217.33
Current children cumulated vsize (Kb) 115804

[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 22497 225 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221222964 134717263 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 227.22
Current children cumulated vsize (Kb) 115804

[startup+240.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 23479 232 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221222872 1077377765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 237.11
Current children cumulated vsize (Kb) 115804

[startup+250.013 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 28231 0 0 0 24458 240 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 246.98
Current children cumulated vsize (Kb) 115804

[startup+260.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 25439 246 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223184 134535746 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 256.85
Current children cumulated vsize (Kb) 115804

[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 26426 251 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223100 134536340 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 266.77
Current children cumulated vsize (Kb) 115804

[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 27411 257 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223196 134558024 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 276.68
Current children cumulated vsize (Kb) 115804

[startup+290.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 28378 270 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223216 134649659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 286.48
Current children cumulated vsize (Kb) 115804

[startup+300.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 29340 283 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221222812 1077379843 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 296.23
Current children cumulated vsize (Kb) 115804

[startup+310.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 30300 298 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223104 134541160 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 305.98
Current children cumulated vsize (Kb) 115804

[startup+320.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 31270 310 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223004 1076999581 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 315.8
Current children cumulated vsize (Kb) 115804

[startup+330.014 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 28231 0 0 0 32244 318 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 325.62
Current children cumulated vsize (Kb) 115804

[startup+340.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 28231 0 0 0 33213 329 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 335.42
Current children cumulated vsize (Kb) 115804

[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28231 0 0 0 34185 341 0 0 25 0 1 0 1841024278 118583296 28112 4294967295 134512640 134736556 3221224560 3221223028 1077374485 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 28951 28112 1116 68 0 28883 0
[pid=18980] vsize: 115804
Current children cumulated CPU time (s) 345.26
Current children cumulated vsize (Kb) 115804

[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28275 0 0 0 35159 350 0 0 25 0 1 0 1841024278 118853632 28156 4294967295 134512640 134736556 3221224560 3221223176 134537597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 29017 28156 1116 68 0 28949 0
[pid=18980] vsize: 116068
Current children cumulated CPU time (s) 355.09
Current children cumulated vsize (Kb) 116068

[startup+370.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28466 0 0 0 36134 359 0 0 25 0 1 0 1841024278 119664640 28347 4294967295 134512640 134736556 3221224560 3221223228 134524324 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 29215 28347 1116 68 0 29147 0
[pid=18980] vsize: 116860
Current children cumulated CPU time (s) 364.93
Current children cumulated vsize (Kb) 116860

[startup+380.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28622 0 0 0 37108 369 0 0 25 0 1 0 1841024278 120205312 28503 4294967295 134512640 134736556 3221224560 3221223032 1076648037 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 29347 28503 1116 68 0 29279 0
[pid=18980] vsize: 117388
Current children cumulated CPU time (s) 374.77
Current children cumulated vsize (Kb) 117388

[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 28853 0 0 0 38078 380 0 0 25 0 1 0 1841024278 121151488 28734 4294967295 134512640 134736556 3221224560 3221223180 134544624 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 29578 28734 1116 68 0 29510 0
[pid=18980] vsize: 118312
Current children cumulated CPU time (s) 384.58
Current children cumulated vsize (Kb) 118312

[startup+400.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 29133 0 0 0 39052 389 0 0 25 0 1 0 1841024278 122368000 29014 4294967295 134512640 134736556 3221224560 3221223216 134649103 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 29875 29014 1116 68 0 29807 0
[pid=18980] vsize: 119500
Current children cumulated CPU time (s) 394.41
Current children cumulated vsize (Kb) 119500

[startup+410.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 29287 0 0 0 40036 396 0 0 25 0 1 0 1841024278 123060224 29168 4294967295 134512640 134736556 3221224560 3221223296 134645968 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 30044 29168 1116 68 0 29976 0
[pid=18980] vsize: 120176
Current children cumulated CPU time (s) 404.32
Current children cumulated vsize (Kb) 120176

[startup+420.016 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 29724 0 0 0 41020 402 0 0 25 0 1 0 1841024278 125194240 29605 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 30565 29605 1116 68 0 30497 0
[pid=18980] vsize: 122260
Current children cumulated CPU time (s) 414.22
Current children cumulated vsize (Kb) 122260

[startup+430.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 31236 0 0 0 42000 411 0 0 25 0 1 0 1841024278 131411968 31117 4294967295 134512640 134736556 3221224560 3221223052 134536348 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 32083 31117 1116 68 0 32015 0
[pid=18980] vsize: 128332
Current children cumulated CPU time (s) 424.11
Current children cumulated vsize (Kb) 128332

[startup+440.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 31570 0 0 0 42978 419 0 0 25 0 1 0 1841024278 132763648 31451 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 32413 31451 1116 68 0 32345 0
[pid=18980] vsize: 129652
Current children cumulated CPU time (s) 433.97
Current children cumulated vsize (Kb) 129652

[startup+450.017 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 31674 0 0 0 43958 427 0 0 25 0 1 0 1841024278 133169152 31555 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/18980/statm): 32512 31555 1116 68 0 32444 0
[pid=18980] vsize: 130048
Current children cumulated CPU time (s) 443.85
Current children cumulated vsize (Kb) 130048

[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 31727 0 0 0 44935 435 0 0 25 0 1 0 1841024278 133439488 31608 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 32578 31608 1116 68 0 32510 0
[pid=18980] vsize: 130312
Current children cumulated CPU time (s) 453.7
Current children cumulated vsize (Kb) 130312

[startup+470.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 31956 0 0 0 45914 442 0 0 25 0 1 0 1841024278 134250496 31837 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 32776 31837 1116 68 0 32708 0
[pid=18980] vsize: 131104
Current children cumulated CPU time (s) 463.56
Current children cumulated vsize (Kb) 131104

[startup+480.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 32022 0 0 0 46894 449 0 0 25 0 1 0 1841024278 134520832 31903 4294967295 134512640 134736556 3221224560 3221223192 134544024 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 32842 31903 1116 68 0 32774 0
[pid=18980] vsize: 131368
Current children cumulated CPU time (s) 473.43
Current children cumulated vsize (Kb) 131368

[startup+490.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 32465 0 0 0 47872 458 0 0 25 0 1 0 1841024278 136413184 32346 4294967295 134512640 134736556 3221224560 3221223100 134536369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 33304 32346 1116 68 0 33236 0
[pid=18980] vsize: 133216
Current children cumulated CPU time (s) 483.3
Current children cumulated vsize (Kb) 133216

[startup+500.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 32864 0 0 0 48851 466 0 0 25 0 1 0 1841024278 137900032 32745 4294967295 134512640 134736556 3221224560 3221223100 134536340 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 33667 32745 1116 68 0 33599 0
[pid=18980] vsize: 134668
Current children cumulated CPU time (s) 493.17
Current children cumulated vsize (Kb) 134668

[startup+510.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 32869 0 0 0 49831 473 0 0 25 0 1 0 1841024278 137900032 32750 4294967295 134512640 134736556 3221224560 3221223100 134536254 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 33667 32750 1116 68 0 33599 0
[pid=18980] vsize: 134668
Current children cumulated CPU time (s) 503.04
Current children cumulated vsize (Kb) 134668

[startup+520.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 32872 0 0 0 50814 478 0 0 25 0 1 0 1841024278 137900032 32753 4294967295 134512640 134736556 3221224560 3221223296 134646175 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 33667 32753 1116 68 0 33599 0
[pid=18980] vsize: 134668
Current children cumulated CPU time (s) 512.92
Current children cumulated vsize (Kb) 134668

[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 32876 0 0 0 51792 486 0 0 25 0 1 0 1841024278 137900032 32757 4294967295 134512640 134736556 3221224560 3221223192 134558025 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 33667 32757 1116 68 0 33599 0
[pid=18980] vsize: 134668
Current children cumulated CPU time (s) 522.78
Current children cumulated vsize (Kb) 134668

[startup+540.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 33296 0 0 0 52771 495 0 0 25 0 1 0 1841024278 139657216 33177 4294967295 134512640 134736556 3221224560 3221223296 134645976 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 34096 33177 1116 68 0 34028 0
[pid=18980] vsize: 136384
Current children cumulated CPU time (s) 532.66
Current children cumulated vsize (Kb) 136384

[startup+550.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 34092 0 0 0 53752 501 0 0 25 0 1 0 1841024278 143171584 33934 4294967295 134512640 134736556 3221224560 3221223208 134649637 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 34954 33934 1116 68 0 34886 0
[pid=18980] vsize: 139816
Current children cumulated CPU time (s) 542.53
Current children cumulated vsize (Kb) 139816

[startup+560.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 34411 0 0 0 54733 508 0 0 25 0 1 0 1841024278 144388096 34253 4294967295 134512640 134736556 3221224560 3221223120 134538149 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 35251 34253 1116 68 0 35183 0
[pid=18980] vsize: 141004
Current children cumulated CPU time (s) 552.41
Current children cumulated vsize (Kb) 141004

[startup+570.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 34821 0 0 0 55719 515 0 0 25 0 1 0 1841024278 146145280 34663 4294967295 134512640 134736556 3221224560 3221223132 134560372 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 35680 34663 1116 68 0 35612 0
[pid=18980] vsize: 142720
Current children cumulated CPU time (s) 562.34
Current children cumulated vsize (Kb) 142720

[startup+580.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 35087 0 0 0 56699 522 0 0 25 0 1 0 1841024278 147226624 34929 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 35944 34929 1116 68 0 35876 0
[pid=18980] vsize: 143776
Current children cumulated CPU time (s) 572.21
Current children cumulated vsize (Kb) 143776

[startup+590.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 35440 0 0 0 57681 530 0 0 25 0 1 0 1841024278 148578304 35282 4294967295 134512640 134736556 3221224560 3221223296 134645976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 36274 35282 1116 68 0 36206 0
[pid=18980] vsize: 145096
Current children cumulated CPU time (s) 582.11
Current children cumulated vsize (Kb) 145096

[startup+600.022 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 35700 0 0 0 58664 536 0 0 25 0 1 0 1841024278 149659648 35541 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 36538 35541 1116 68 0 36470 0
[pid=18980] vsize: 146152
Current children cumulated CPU time (s) 592
Current children cumulated vsize (Kb) 146152

[startup+610.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 35953 0 0 0 59646 544 0 0 25 0 1 0 1841024278 150740992 35794 4294967295 134512640 134736556 3221224560 3221223168 134536162 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 36802 35794 1116 68 0 36734 0
[pid=18980] vsize: 147208
Current children cumulated CPU time (s) 601.9
Current children cumulated vsize (Kb) 147208

[startup+620.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 36195 0 0 0 60630 550 0 0 25 0 1 0 1841024278 151687168 36036 4294967295 134512640 134736556 3221224560 3221223180 134558581 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 37033 36036 1116 68 0 36965 0
[pid=18980] vsize: 148132
Current children cumulated CPU time (s) 611.8
Current children cumulated vsize (Kb) 148132

[startup+630.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 36512 0 0 0 61611 557 0 0 25 0 1 0 1841024278 152903680 36353 4294967295 134512640 134736556 3221224560 3221223172 1077374142 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 37330 36353 1116 68 0 37262 0
[pid=18980] vsize: 149320
Current children cumulated CPU time (s) 621.68
Current children cumulated vsize (Kb) 149320

[startup+640.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 36661 0 0 0 62590 565 0 0 25 0 1 0 1841024278 153579520 36502 4294967295 134512640 134736556 3221224560 3221223196 1076530932 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 37495 36502 1116 68 0 37427 0
[pid=18980] vsize: 149980
Current children cumulated CPU time (s) 631.55
Current children cumulated vsize (Kb) 149980

[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37062 0 0 0 63573 571 0 0 25 0 1 0 1841024278 155111424 36903 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 37869 36903 1116 68 0 37801 0
[pid=18980] vsize: 151476
Current children cumulated CPU time (s) 641.44
Current children cumulated vsize (Kb) 151476

[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37184 0 0 0 64558 576 0 0 25 0 1 0 1841024278 155652096 37025 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 38001 37025 1116 68 0 37933 0
[pid=18980] vsize: 152004
Current children cumulated CPU time (s) 651.34
Current children cumulated vsize (Kb) 152004

[startup+670.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37316 0 0 0 65542 582 0 0 25 0 1 0 1841024278 156192768 37157 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 38133 37157 1116 68 0 38065 0
[pid=18980] vsize: 152532
Current children cumulated CPU time (s) 661.24
Current children cumulated vsize (Kb) 152532

[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 37384 0 0 0 66525 589 0 0 25 0 1 0 1841024278 156463104 37225 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 38199 37225 1116 68 0 38131 0
[pid=18980] vsize: 152796
Current children cumulated CPU time (s) 671.14
Current children cumulated vsize (Kb) 152796

[startup+690.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37426 0 0 0 67510 595 0 0 25 0 1 0 1841024278 156598272 37267 4294967295 134512640 134736556 3221224560 3221223132 134560372 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 38232 37267 1116 68 0 38164 0
[pid=18980] vsize: 152928
Current children cumulated CPU time (s) 681.05
Current children cumulated vsize (Kb) 152928

[startup+700.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 37449 0 0 0 68493 601 0 0 25 0 1 0 1841024278 156733440 37290 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 38265 37290 1116 68 0 38197 0
[pid=18980] vsize: 153060
Current children cumulated CPU time (s) 690.94
Current children cumulated vsize (Kb) 153060

[startup+710.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37492 0 0 0 69476 607 0 0 25 0 1 0 1841024278 156868608 37333 4294967295 134512640 134736556 3221224560 3221223204 134648992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 38298 37333 1116 68 0 38230 0
[pid=18980] vsize: 153192
Current children cumulated CPU time (s) 700.83
Current children cumulated vsize (Kb) 153192

[startup+720.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37576 0 0 0 70460 611 0 0 25 0 1 0 1841024278 157274112 37417 4294967295 134512640 134736556 3221224560 3221223148 134555083 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 38397 37417 1116 68 0 38329 0
[pid=18980] vsize: 153588
Current children cumulated CPU time (s) 710.71
Current children cumulated vsize (Kb) 153588

[startup+730.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37585 0 0 0 71444 619 0 0 25 0 1 0 1841024278 157274112 37426 4294967295 134512640 134736556 3221224560 3221223236 134534852 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 38397 37426 1116 68 0 38329 0
[pid=18980] vsize: 153588
Current children cumulated CPU time (s) 720.63
Current children cumulated vsize (Kb) 153588

[startup+740.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37653 0 0 0 72429 624 0 0 25 0 1 0 1841024278 157544448 37494 4294967295 134512640 134736556 3221224560 3221223132 134560304 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 38463 37494 1116 68 0 38395 0
[pid=18980] vsize: 153852
Current children cumulated CPU time (s) 730.53
Current children cumulated vsize (Kb) 153852

[startup+750.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37737 0 0 0 73408 632 0 0 25 0 1 0 1841024278 157949952 37578 4294967295 134512640 134736556 3221224560 3221222828 1077379843 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 38562 37578 1116 68 0 38494 0
[pid=18980] vsize: 154248
Current children cumulated CPU time (s) 740.4
Current children cumulated vsize (Kb) 154248

[startup+760.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37737 0 0 0 74392 638 0 0 25 0 1 0 1841024278 157949952 37578 4294967295 134512640 134736556 3221224560 3221223180 134544483 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 38562 37578 1116 68 0 38494 0
[pid=18980] vsize: 154248
Current children cumulated CPU time (s) 750.3
Current children cumulated vsize (Kb) 154248

[startup+770.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37848 0 0 0 75376 644 0 0 25 0 1 0 1841024278 158355456 37689 4294967295 134512640 134736556 3221224560 3221223188 134649151 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 38661 37689 1116 68 0 38593 0
[pid=18980] vsize: 154644
Current children cumulated CPU time (s) 760.2
Current children cumulated vsize (Kb) 154644

[startup+780.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 37907 0 0 0 76361 649 0 0 25 0 1 0 1841024278 158625792 37748 4294967295 134512640 134736556 3221224560 3221223196 134558024 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 38727 37748 1116 68 0 38659 0
[pid=18980] vsize: 154908
Current children cumulated CPU time (s) 770.1
Current children cumulated vsize (Kb) 154908

[startup+790.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38015 0 0 0 77346 654 0 0 25 0 1 0 1841024278 159031296 37856 4294967295 134512640 134736556 3221224560 3221223132 134560372 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 38826 37856 1116 68 0 38758 0
[pid=18980] vsize: 155304
Current children cumulated CPU time (s) 780
Current children cumulated vsize (Kb) 155304

[startup+800.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38097 0 0 0 78328 661 0 0 25 0 1 0 1841024278 159301632 37938 4294967295 134512640 134736556 3221224560 3221223192 134544456 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 38892 37938 1116 68 0 38824 0
[pid=18980] vsize: 155568
Current children cumulated CPU time (s) 789.89
Current children cumulated vsize (Kb) 155568

[startup+810.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38097 0 0 0 79310 668 0 0 25 0 1 0 1841024278 159301632 37938 4294967295 134512640 134736556 3221224560 3221223152 134558298 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 38892 37938 1116 68 0 38824 0
[pid=18980] vsize: 155568
Current children cumulated CPU time (s) 799.78
Current children cumulated vsize (Kb) 155568

[startup+820.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38318 0 0 0 80296 672 0 0 25 0 1 0 1841024278 160247808 38159 4294967295 134512640 134736556 3221224560 3221223148 134560372 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39123 38159 1116 68 0 39055 0
[pid=18980] vsize: 156492
Current children cumulated CPU time (s) 809.68
Current children cumulated vsize (Kb) 156492

[startup+830.031 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 38318 0 0 0 81279 677 0 0 25 0 1 0 1841024278 160247808 38159 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39123 38159 1116 68 0 39055 0
[pid=18980] vsize: 156492
Current children cumulated CPU time (s) 819.56
Current children cumulated vsize (Kb) 156492

[startup+840.032 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 38453 0 0 0 82263 683 0 0 25 0 1 0 1841024278 160788480 38294 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39255 38294 1116 68 0 39187 0
[pid=18980] vsize: 157020
Current children cumulated CPU time (s) 829.46
Current children cumulated vsize (Kb) 157020

[startup+850.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38584 0 0 0 83248 689 0 0 25 0 1 0 1841024278 161329152 38425 4294967295 134512640 134736556 3221224560 3221223192 134544456 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39387 38425 1116 68 0 39319 0
[pid=18980] vsize: 157548
Current children cumulated CPU time (s) 839.37
Current children cumulated vsize (Kb) 157548

[startup+860.032 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 38584 0 0 0 84231 695 0 0 25 0 1 0 1841024278 161329152 38425 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/18980/statm): 39387 38425 1116 68 0 39319 0
[pid=18980] vsize: 157548
Current children cumulated CPU time (s) 849.26
Current children cumulated vsize (Kb) 157548

[startup+870.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38584 0 0 0 85217 700 0 0 25 0 1 0 1841024278 161329152 38425 4294967295 134512640 134736556 3221224560 3221223052 134536326 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39387 38425 1116 68 0 39319 0
[pid=18980] vsize: 157548
Current children cumulated CPU time (s) 859.17
Current children cumulated vsize (Kb) 157548

[startup+880.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38598 0 0 0 86203 705 0 0 25 0 1 0 1841024278 161464320 38439 4294967295 134512640 134736556 3221224560 3221223216 134649038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39420 38439 1116 68 0 39352 0
[pid=18980] vsize: 157680
Current children cumulated CPU time (s) 869.08
Current children cumulated vsize (Kb) 157680

[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38598 0 0 0 87188 711 0 0 25 0 1 0 1841024278 161464320 38439 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39420 38439 1116 68 0 39352 0
[pid=18980] vsize: 157680
Current children cumulated CPU time (s) 878.99
Current children cumulated vsize (Kb) 157680

[startup+900.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38703 0 0 0 88175 714 0 0 25 0 1 0 1841024278 161869824 38544 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39519 38544 1116 68 0 39451 0
[pid=18980] vsize: 158076
Current children cumulated CPU time (s) 888.89
Current children cumulated vsize (Kb) 158076

[startup+910.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38703 0 0 0 89160 719 0 0 25 0 1 0 1841024278 161869824 38544 4294967295 134512640 134736556 3221224560 3221223192 134544048 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39519 38544 1116 68 0 39451 0
[pid=18980] vsize: 158076
Current children cumulated CPU time (s) 898.79
Current children cumulated vsize (Kb) 158076

[startup+920.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38703 0 0 0 90144 725 0 0 25 0 1 0 1841024278 161869824 38544 4294967295 134512640 134736556 3221224560 3221222828 1077379843 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 39519 38544 1116 68 0 39451 0
[pid=18980] vsize: 158076
Current children cumulated CPU time (s) 908.69
Current children cumulated vsize (Kb) 158076

[startup+930.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 38860 0 0 0 91130 730 0 0 25 0 1 0 1841024278 162410496 38699 4294967295 134512640 134736556 3221224560 3221223296 134646172 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39651 38699 1116 68 0 39583 0
[pid=18980] vsize: 158604
Current children cumulated CPU time (s) 918.6
Current children cumulated vsize (Kb) 158604

[startup+940.036 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 39052 0 0 0 92116 735 0 0 25 0 1 0 1841024278 163221504 38891 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39849 38891 1116 68 0 39781 0
[pid=18980] vsize: 159396
Current children cumulated CPU time (s) 928.51
Current children cumulated vsize (Kb) 159396

[startup+950.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 39100 0 0 0 93102 741 0 0 25 0 1 0 1841024278 163356672 38939 4294967295 134512640 134736556 3221224560 3221223088 134543513 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 39882 38939 1116 68 0 39814 0
[pid=18980] vsize: 159528
Current children cumulated CPU time (s) 938.43
Current children cumulated vsize (Kb) 159528

[startup+960.037 s]
Raw data (loadavg): 0.99 0.98 0.99 1/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) T 18979 18980 16528 0 -1 0 39752 0 0 0 94085 748 0 0 25 0 1 0 1841024278 166060032 39591 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/18980/statm): 40542 39591 1116 68 0 40474 0
[pid=18980] vsize: 162168
Current children cumulated CPU time (s) 948.33
Current children cumulated vsize (Kb) 162168

[startup+970.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 39752 0 0 0 95067 755 0 0 25 0 1 0 1841024278 166060032 39591 4294967295 134512640 134736556 3221224560 3221223192 134544456 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 40542 39591 1116 68 0 40474 0
[pid=18980] vsize: 162168
Current children cumulated CPU time (s) 958.22
Current children cumulated vsize (Kb) 162168

[startup+980.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 39752 0 0 0 96050 760 0 0 25 0 1 0 1841024278 166060032 39591 4294967295 134512640 134736556 3221224560 3221223216 134649103 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 40542 39591 1116 68 0 40474 0
[pid=18980] vsize: 162168
Current children cumulated CPU time (s) 968.1
Current children cumulated vsize (Kb) 162168

[startup+990.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 39752 0 0 0 97035 765 0 0 25 0 1 0 1841024278 166060032 39591 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 40542 39591 1116 68 0 40474 0
[pid=18980] vsize: 162168
Current children cumulated CPU time (s) 978
Current children cumulated vsize (Kb) 162168

[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 39752 0 0 0 98021 770 0 0 25 0 1 0 1841024278 166060032 39591 4294967295 134512640 134736556 3221224560 3221223168 134536168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 40542 39591 1116 68 0 40474 0
[pid=18980] vsize: 162168
Current children cumulated CPU time (s) 987.91
Current children cumulated vsize (Kb) 162168

[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 39753 0 0 0 99006 777 0 0 25 0 1 0 1841024278 166060032 39592 4294967295 134512640 134736556 3221224560 3221223296 134646172 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 40542 39592 1116 68 0 40474 0
[pid=18980] vsize: 162168
Current children cumulated CPU time (s) 997.83
Current children cumulated vsize (Kb) 162168

[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 39755 0 0 0 99990 782 0 0 25 0 1 0 1841024278 166060032 39594 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 40542 39594 1116 68 0 40474 0
[pid=18980] vsize: 162168
Current children cumulated CPU time (s) 1007.72
Current children cumulated vsize (Kb) 162168

[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 39755 0 0 0 100976 788 0 0 25 0 1 0 1841024278 166060032 39594 4294967295 134512640 134736556 3221224560 3221223180 134544483 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 40542 39594 1116 68 0 40474 0
[pid=18980] vsize: 162168
Current children cumulated CPU time (s) 1017.64
Current children cumulated vsize (Kb) 162168

[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 41281 0 0 0 101957 796 0 0 25 0 1 0 1841024278 172474368 41120 4294967295 134512640 134736556 3221224560 3221223168 134558040 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 42108 41120 1116 68 0 42040 0
[pid=18980] vsize: 168432
Current children cumulated CPU time (s) 1027.53
Current children cumulated vsize (Kb) 168432

[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 41281 0 0 0 102944 801 0 0 25 0 1 0 1841024278 172474368 41120 4294967295 134512640 134736556 3221224560 3221223104 134541330 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 42108 41120 1116 68 0 42040 0
[pid=18980] vsize: 168432
Current children cumulated CPU time (s) 1037.45
Current children cumulated vsize (Kb) 168432

[startup+1060.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 41706 0 0 0 103928 807 0 0 25 0 1 0 1841024278 174235648 41545 4294967295 134512640 134736556 3221224560 3221223052 134536220 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 42538 41545 1116 68 0 42470 0
[pid=18980] vsize: 170152
Current children cumulated CPU time (s) 1047.35
Current children cumulated vsize (Kb) 170152

[startup+1070.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 41985 0 0 0 104913 814 0 0 25 0 1 0 1841024278 175403008 41824 4294967295 134512640 134736556 3221224560 3221223200 134648974 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 42823 41824 1116 68 0 42755 0
[pid=18980] vsize: 171292
Current children cumulated CPU time (s) 1057.27
Current children cumulated vsize (Kb) 171292

[startup+1080.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42008 0 0 0 105898 820 0 0 25 0 1 0 1841024278 175489024 41847 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 42844 41847 1116 68 0 42776 0
[pid=18980] vsize: 171376
Current children cumulated CPU time (s) 1067.18
Current children cumulated vsize (Kb) 171376

[startup+1090.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42209 0 0 0 106882 826 0 0 25 0 1 0 1841024278 176308224 42048 4294967295 134512640 134736556 3221224560 3221223112 1077377168 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 43044 42048 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1077.08
Current children cumulated vsize (Kb) 172176

[startup+1100.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42209 0 0 0 107866 832 0 0 25 0 1 0 1841024278 176308224 42048 4294967295 134512640 134736556 3221224560 3221223072 134543478 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 43044 42048 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1086.98
Current children cumulated vsize (Kb) 172176

[startup+1110.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42209 0 0 0 108853 837 0 0 25 0 1 0 1841024278 176308224 42048 4294967295 134512640 134736556 3221224560 3221223216 134649499 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 43044 42048 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1096.9
Current children cumulated vsize (Kb) 172176

[startup+1120.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42209 0 0 0 109834 844 0 0 25 0 1 0 1841024278 176308224 42048 4294967295 134512640 134736556 3221224560 3221223216 134649103 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 43044 42048 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1106.78
Current children cumulated vsize (Kb) 172176

[startup+1130.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42211 0 0 0 110809 854 0 0 25 0 1 0 1841024278 176308224 42050 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 43044 42050 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1116.63
Current children cumulated vsize (Kb) 172176

[startup+1140.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42211 0 0 0 111791 860 0 0 25 0 1 0 1841024278 176308224 42050 4294967295 134512640 134736556 3221224560 3221223296 134645968 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 43044 42050 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1126.51
Current children cumulated vsize (Kb) 172176

[startup+1150.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42211 0 0 0 112778 863 0 0 25 0 1 0 1841024278 176308224 42050 4294967295 134512640 134736556 3221224560 3221223184 134539561 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 43044 42050 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1136.41
Current children cumulated vsize (Kb) 172176

[startup+1160.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42211 0 0 0 113763 869 0 0 25 0 1 0 1841024278 176308224 42050 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 43044 42050 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1146.32
Current children cumulated vsize (Kb) 172176

[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42211 0 0 0 114749 873 0 0 25 0 1 0 1841024278 176308224 42050 4294967295 134512640 134736556 3221224560 3221223216 134649038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 43044 42050 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1156.22
Current children cumulated vsize (Kb) 172176

[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42211 0 0 0 115735 878 0 0 25 0 1 0 1841024278 176308224 42050 4294967295 134512640 134736556 3221224560 3221223104 134540717 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 43044 42050 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1166.13
Current children cumulated vsize (Kb) 172176

[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42211 0 0 0 116721 883 0 0 25 0 1 0 1841024278 176308224 42050 4294967295 134512640 134736556 3221224560 3221223280 134645796 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/18980/statm): 43044 42050 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1176.04
Current children cumulated vsize (Kb) 172176

[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/56 18980
Raw data (/proc/18980/stat): 18980 (bsolo) R 18979 18980 16528 0 -1 0 42211 0 0 0 117706 888 0 0 25 0 1 0 1841024278 176308224 42050 4294967295 134512640 134736556 3221224560 3221223176 134537597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/18980/statm): 43044 42050 1116 68 0 42976 0
[pid=18980] vsize: 172176
Current children cumulated CPU time (s) 1185.94
Current children cumulated vsize (Kb) 172176
One traced child (pid=18980) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1209.28
CPU time (s): 1195.1
CPU user time (s): 1186.1
CPU system time (s): 9.00263
CPU usage (%): 98.8275
Max. virtual memory (cumulated for all children) (Kb): 172176

Verifier Data

Verifier:	OK	6351