Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-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 benchmark1227.23
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 5211

Launcher Data

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        911512 kB
Buffers:           112 kB
Cached:          93320 kB
SwapCached:        612 kB
Active:          37416 kB
Inactive:        58396 kB
HighTotal:      131008 kB
HighFree:        33908 kB
LowTotal:       903652 kB
LowFree:        877604 kB
SwapTotal:     2097136 kB
SwapFree:      2095848 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5656 kB
Slab:            21512 kB
Committed_AS:    64168 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-19 23:40:57 (client local time) WITH STATUS 10 IN 1195.1 SECONDS
stats: 973 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.553
c After prepocess the problem consists of 2731 variables and 736 constraints.
c Initial Lower Bound: 0
c NEW SOLUTION FOUND: 74085 @ 81.669 @ #Dec. 19233
c NEW SOLUTION FOUND: 74083 @ 81.702 @ #Dec. 19241
c NEW SOLUTION FOUND: 74080 @ 81.746 @ #Dec. 19251
c NEW SOLUTION FOUND: 74079 @ 81.803 @ #Dec. 19263
c NEW SOLUTION FOUND: 74078 @ 81.873 @ #Dec. 19278
c NEW SOLUTION FOUND: 74076 @ 81.955 @ #Dec. 19293
c NEW SOLUTION FOUND: 74074 @ 82.09 @ #Dec. 19322
c NEW SOLUTION FOUND: 74015 @ 82.24 @ #Dec. 19371
c NEW SOLUTION FOUND: 74014 @ 82.4 @ #Dec. 19420
c NEW SOLUTION FOUND: 74011 @ 82.549 @ #Dec. 19468
c NEW SOLUTION FOUND: 73992 @ 82.713 @ #Dec. 19524
c NEW SOLUTION FOUND: 73989 @ 82.87 @ #Dec. 19579
c NEW SOLUTION FOUND: 73987 @ 83.08 @ #Dec. 19645
c NEW SOLUTION FOUND: 73984 @ 83.242 @ #Dec. 19708
c NEW SOLUTION FOUND: 69439 @ 90.623 @ #Dec. 22161
c NEW SOLUTION FOUND: 69436 @ 90.769 @ #Dec. 22224
c NEW SOLUTION FOUND: 69341 @ 91.013 @ #Dec. 22307
c NEW SOLUTION FOUND: 69336 @ 91.407 @ #Dec. 22432
c NEW SOLUTION FOUND: 69314 @ 91.608 @ #Dec. 22505
c NEW SOLUTION FOUND: 69311 @ 91.929 @ #Dec. 22612
c NEW SOLUTION FOUND: 69297 @ 92.187 @ #Dec. 22702
c NEW SOLUTION FOUND: 69275 @ 92.411 @ #Dec. 22783
c NEW SOLUTION FOUND: 69238 @ 92.665 @ #Dec. 22871
c NEW SOLUTION FOUND: 69216 @ 92.891 @ #Dec. 22952
c NEW SOLUTION FOUND: 69213 @ 93.307 @ #Dec. 23077
c NEW SOLUTION FOUND: 69206 @ 93.857 @ #Dec. 23250
c NEW SOLUTION FOUND: 69150 @ 94.119 @ #Dec. 23342
c NEW SOLUTION FOUND: 69147 @ 94.38 @ #Dec. 23433
c NEW SOLUTION FOUND: 69146 @ 94.649 @ #Dec. 23525
c NEW SOLUTION FOUND: 69143 @ 94.91 @ #Dec. 23616
c Restart #1 #Var: 2719 #Dec: 23900 LB: 0 @ 96.8
c NEW SOLUTION FOUND: 62255 @ 141.26 @ #Dec. 34274
c NEW SOLUTION FOUND: 62238 @ 141.42 @ #Dec. 34335
c NEW SOLUTION FOUND: 62214 @ 141.63 @ #Dec. 34426
c NEW SOLUTION FOUND: 62197 @ 141.79 @ #Dec. 34487
c NEW SOLUTION FOUND: 62165 @ 142.33 @ #Dec. 34723
c NEW SOLUTION FOUND: 62159 @ 142.67 @ #Dec. 34873
c NEW SOLUTION FOUND: 62138 @ 143.04 @ #Dec. 35039
c NEW SOLUTION FOUND: 62121 @ 143.29 @ #Dec. 35148
c NEW SOLUTION FOUND: 62120 @ 143.55 @ #Dec. 35258
c NEW SOLUTION FOUND: 62118 @ 143.82 @ #Dec. 35380
c NEW SOLUTION FOUND: 62095 @ 144.86 @ #Dec. 35760
c NEW SOLUTION FOUND: 62094 @ 145.12 @ #Dec. 35879
c NEW SOLUTION FOUND: 62088 @ 145.39 @ #Dec. 36000
c NEW SOLUTION FOUND: 62067 @ 145.67 @ #Dec. 36124
c NEW SOLUTION FOUND: 62050 @ 145.93 @ #Dec. 36240
c NEW SOLUTION FOUND: 62049 @ 146.19 @ #Dec. 36357
c NEW SOLUTION FOUND: 62048 @ 146.46 @ #Dec. 36482
c NEW SOLUTION FOUND: 62047 @ 146.71 @ #Dec. 36599
c NEW SOLUTION FOUND: 62043 @ 147.02 @ #Dec. 36738
c NEW SOLUTION FOUND: 62042 @ 147.41 @ #Dec. 36898
c NEW SOLUTION FOUND: 62041 @ 147.67 @ #Dec. 37020
c NEW SOLUTION FOUND: 62040 @ 147.93 @ #Dec. 37137
c NEW SOLUTION FOUND: 61724 @ 148.76 @ #Dec. 37465
c NEW SOLUTION FOUND: 61701 @ 149.02 @ #Dec. 37581
c NEW SOLUTION FOUND: 61655 @ 149.28 @ #Dec. 37699
c NEW SOLUTION FOUND: 61654 @ 149.54 @ #Dec. 37817
c NEW SOLUTION FOUND: 61648 @ 149.81 @ #Dec. 37939
c NEW SOLUTION FOUND: 61627 @ 150.1 @ #Dec. 38064
c NEW SOLUTION FOUND: 61610 @ 150.36 @ #Dec. 38179
c NEW SOLUTION FOUND: 61609 @ 150.62 @ #Dec. 38295
c NEW SOLUTION FOUND: 61608 @ 150.9 @ #Dec. 38423
c NEW SOLUTION FOUND: 61607 @ 151.15 @ #Dec. 38539
c NEW SOLUTION FOUND: 61605 @ 151.44 @ #Dec. 38667
c NEW SOLUTION FOUND: 61604 @ 151.69 @ #Dec. 38783
c NEW SOLUTION FOUND: 61600 @ 152.03 @ #Dec. 38933
c NEW SOLUTION FOUND: 61597 @ 152.43 @ #Dec. 39115
c NEW SOLUTION FOUND: 61596 @ 152.71 @ #Dec. 39240
c NEW SOLUTION FOUND: 61595 @ 152.97 @ #Dec. 39358
c NEW SOLUTION FOUND: 61594 @ 154.06 @ #Dec. 39831
c NEW SOLUTION FOUND: 61593 @ 155.32 @ #Dec. 40364
c NEW SOLUTION FOUND: 61592 @ 155.69 @ #Dec. 40534
c NEW SOLUTION FOUND: 61591 @ 155.97 @ #Dec. 40665
c NEW SOLUTION FOUND: 61590 @ 156.26 @ #Dec. 40807
c NEW SOLUTION FOUND: 61589 @ 156.52 @ #Dec. 40928
c NEW SOLUTION FOUND: 61588 @ 157.91 @ #Dec. 41561
c NEW SOLUTION FOUND: 61491 @ 158.81 @ #Dec. 42112
c NEW SOLUTION FOUND: 61054 @ 159.07 @ #Dec. 42228
c NEW SOLUTION FOUND: 61037 @ 159.33 @ #Dec. 42345
c NEW SOLUTION FOUND: 61008 @ 159.59 @ #Dec. 42464
c NEW SOLUTION FOUND: 60990 @ 159.87 @ #Dec. 42585
c NEW SOLUTION FOUND: 60978 @ 160.13 @ #Dec. 42704
c NEW SOLUTION FOUND: 60961 @ 160.4 @ #Dec. 42822
c NEW SOLUTION FOUND: 60958 @ 160.72 @ #Dec. 42964
c NEW SOLUTION FOUND: 60957 @ 160.99 @ #Dec. 43085
c NEW SOLUTION FOUND: 60951 @ 161.28 @ #Dec. 43211
c NEW SOLUTION FOUND: 60950 @ 161.61 @ #Dec. 43362
c NEW SOLUTION FOUND: 60949 @ 161.88 @ #Dec. 43484
c NEW SOLUTION FOUND: 60947 @ 162.25 @ #Dec. 43646
c NEW SOLUTION FOUND: 60945 @ 162.6 @ #Dec. 43792
c NEW SOLUTION FOUND: 60942 @ 162.97 @ #Dec. 43950
c NEW SOLUTION FOUND: 60941 @ 163.24 @ #Dec. 44071
c NEW SOLUTION FOUND: 60940 @ 164.04 @ #Dec. 44354
c NEW SOLUTION FOUND: 60938 @ 164.4 @ #Dec. 44511
c NEW SOLUTION FOUND: 60936 @ 164.95 @ #Dec. 44763
c NEW SOLUTION FOUND: 60935 @ 165.67 @ #Dec. 45117
c NEW SOLUTION FOUND: 60933 @ 165.94 @ #Dec. 45237
c NEW SOLUTION FOUND: 60714 @ 166.46 @ #Dec. 45505
c NEW SOLUTION FOUND: 60697 @ 166.75 @ #Dec. 45631
c NEW SOLUTION FOUND: 60687 @ 167.03 @ #Dec. 45758
c NEW SOLUTION FOUND: 60685 @ 167.32 @ #Dec. 45893
c NEW SOLUTION FOUND: 60683 @ 167.63 @ #Dec. 46040
c NEW SOLUTION FOUND: 60681 @ 167.91 @ #Dec. 46165
c NEW SOLUTION FOUND: 60668 @ 168.21 @ #Dec. 46307
c NEW SOLUTION FOUND: 60651 @ 168.49 @ #Dec. 46433
c NEW SOLUTION FOUND: 60641 @ 168.78 @ #Dec. 46560
c NEW SOLUTION FOUND: 60639 @ 169.06 @ #Dec. 46695
c NEW SOLUTION FOUND: 60638 @ 169.37 @ #Dec. 46842
c NEW SOLUTION FOUND: 60636 @ 169.68 @ #Dec. 46992
c NEW SOLUTION FOUND: 60634 @ 169.96 @ #Dec. 47118
c NEW SOLUTION FOUND: 60632 @ 170.32 @ #Dec. 47295
c NEW SOLUTION FOUND: 60630 @ 170.6 @ #Dec. 47421
c NEW SOLUTION FOUND: 60627 @ 171.03 @ #Dec. 47643
c NEW SOLUTION FOUND: 60626 @ 171.51 @ #Dec. 47911
c NEW SOLUTION FOUND: 60625 @ 171.89 @ #Dec. 48105
c NEW SOLUTION FOUND: 60623 @ 172.27 @ #Dec. 48289
c NEW SOLUTION FOUND: 60622 @ 172.66 @ #Dec. 48475
c NEW SOLUTION FOUND: 60621 @ 174.47 @ #Dec. 49266
c NEW SOLUTION FOUND: 60620 @ 174.94 @ #Dec. 49470
c NEW SOLUTION FOUND: 60619 @ 175.96 @ #Dec. 49900
c NEW SOLUTION FOUND: 60617 @ 177.15 @ #Dec. 50465
c NEW SOLUTION FOUND: 60616 @ 177.5 @ #Dec. 50643
c NEW SOLUTION FOUND: 60614 @ 182.58 @ #Dec. 51544
c NEW SOLUTION FOUND: 60613 @ 183.14 @ #Dec. 51711
c NEW SOLUTION FOUND: 60373 @ 183.5 @ #Dec. 51864
c NEW SOLUTION FOUND: 60371 @ 183.87 @ #Dec. 52015
c NEW SOLUTION FOUND: 60369 @ 184.19 @ #Dec. 52158
c NEW SOLUTION FOUND: 60367 @ 184.57 @ #Dec. 52309
c NEW SOLUTION FOUND: 60365 @ 184.9 @ #Dec. 52452
c NEW SOLUTION FOUND: 60339 @ 185.25 @ #Dec. 52603
c NEW SOLUTION FOUND: 60329 @ 185.57 @ #Dec. 52745
c NEW SOLUTION FOUND: 60327 @ 185.9 @ #Dec. 52886
c NEW SOLUTION FOUND: 60323 @ 186.23 @ #Dec. 53032
c NEW SOLUTION FOUND: 60321 @ 186.61 @ #Dec. 53182
c NEW SOLUTION FOUND: 60319 @ 186.93 @ #Dec. 53326
c NEW SOLUTION FOUND: 60318 @ 187.43 @ #Dec. 53497
c NEW SOLUTION FOUND: 60316 @ 187.84 @ #Dec. 53657
c NEW SOLUTION FOUND: 60314 @ 188.22 @ #Dec. 53808
c NEW SOLUTION FOUND: 60312 @ 188.54 @ #Dec. 53950
c NEW SOLUTION FOUND: 60310 @ 188.91 @ #Dec. 54102
c NEW SOLUTION FOUND: 60308 @ 189.24 @ #Dec. 54244
c NEW SOLUTION FOUND: 60307 @ 189.76 @ #Dec. 54419
c NEW SOLUTION FOUND: 60305 @ 190.36 @ #Dec. 54630
c NEW SOLUTION FOUND: 60304 @ 190.72 @ #Dec. 54797
c NEW SOLUTION FOUND: 60302 @ 191.22 @ #Dec. 55025
c NEW SOLUTION FOUND: 60301 @ 191.58 @ #Dec. 55190
c NEW SOLUTION FOUND: 60299 @ 192.1 @ #Dec. 55427
c NEW SOLUTION FOUND: 60298 @ 192.45 @ #Dec. 55587
c NEW SOLUTION FOUND: 60297 @ 193.35 @ #Dec. 56004
c NEW SOLUTION FOUND: 60296 @ 193.7 @ #Dec. 56161
c NEW SOLUTION FOUND: 60294 @ 194.6 @ #Dec. 56558
c NEW SOLUTION FOUND: 60293 @ 194.99 @ #Dec. 56727
c NEW SOLUTION FOUND: 60108 @ 195.41 @ #Dec. 56905
c NEW SOLUTION FOUND: 60098 @ 195.74 @ #Dec. 57055
c NEW SOLUTION FOUND: 60096 @ 196.07 @ #Dec. 57204
c NEW SOLUTION FOUND: 60090 @ 196.41 @ #Dec. 57359
c NEW SOLUTION FOUND: 60088 @ 196.73 @ #Dec. 57508
c NEW SOLUTION FOUND: 60049 @ 197.09 @ #Dec. 57671
c NEW SOLUTION FOUND: 60047 @ 197.42 @ #Dec. 57828
c NEW SOLUTION FOUND: 60045 @ 197.74 @ #Dec. 57978
c NEW SOLUTION FOUND: 60043 @ 198.08 @ #Dec. 58134
c NEW SOLUTION FOUND: 60041 @ 198.4 @ #Dec. 58283
c NEW SOLUTION FOUND: 60039 @ 198.79 @ #Dec. 58474
c NEW SOLUTION FOUND: 60037 @ 199.13 @ #Dec. 58631
c NEW SOLUTION FOUND: 60035 @ 199.45 @ #Dec. 58779
c NEW SOLUTION FOUND: 60031 @ 199.79 @ #Dec. 58930
c NEW SOLUTION FOUND: 60030 @ 200.15 @ #Dec. 59103
c NEW SOLUTION FOUND: 60028 @ 200.61 @ #Dec. 59315
c NEW SOLUTION FOUND: 60027 @ 200.98 @ #Dec. 59498
c NEW SOLUTION FOUND: 60025 @ 201.64 @ #Dec. 59799
c NEW SOLUTION FOUND: 60024 @ 202.04 @ #Dec. 59986
c NEW SOLUTION FOUND: 60022 @ 202.4 @ #Dec. 60155
c NEW SOLUTION FOUND: 60021 @ 202.79 @ #Dec. 60341
c NEW SOLUTION FOUND: 60020 @ 203.65 @ #Dec. 60702
c NEW SOLUTION FOUND: 60019 @ 204.03 @ #Dec. 60877
c NEW SOLUTION FOUND: 60017 @ 204.93 @ #Dec. 61246
c NEW SOLUTION FOUND: 60016 @ 205.29 @ #Dec. 61410
c NEW SOLUTION FOUND: 48977 @ 205.67 @ #Dec. 61577
c NEW SOLUTION FOUND: 48975 @ 206 @ #Dec. 61728
c NEW SOLUTION FOUND: 48973 @ 206.34 @ #Dec. 61886
c NEW SOLUTION FOUND: 48971 @ 206.67 @ #Dec. 62036
c NEW SOLUTION FOUND: 48969 @ 207.01 @ #Dec. 62193
c NEW SOLUTION FOUND: 48967 @ 207.35 @ #Dec. 62342
c NEW SOLUTION FOUND: 48928 @ 207.69 @ #Dec. 62497
c NEW SOLUTION FOUND: 48922 @ 208.03 @ #Dec. 62655
c NEW SOLUTION FOUND: 48920 @ 208.36 @ #Dec. 62806
c NEW SOLUTION FOUND: 48918 @ 208.8 @ #Dec. 63020
c NEW SOLUTION FOUND: 48917 @ 209.2 @ #Dec. 63208
c NEW SOLUTION FOUND: 48911 @ 209.57 @ #Dec. 63377
c NEW SOLUTION FOUND: 48909 @ 209.9 @ #Dec. 63528
c NEW SOLUTION FOUND: 48907 @ 210.34 @ #Dec. 63742
c NEW SOLUTION FOUND: 48906 @ 210.73 @ #Dec. 63930
c NEW SOLUTION FOUND: 48904 @ 211.31 @ #Dec. 64217
c NEW SOLUTION FOUND: 48903 @ 211.68 @ #Dec. 64391
c NEW SOLUTION FOUND: 48902 @ 212.09 @ #Dec. 64579
c NEW SOLUTION FOUND: 48900 @ 212.41 @ #Dec. 64729
c NEW SOLUTION FOUND: 48899 @ 213.74 @ #Dec. 65343
c NEW SOLUTION FOUND: 48897 @ 214.07 @ #Dec. 65495
c NEW SOLUTION FOUND: 48817 @ 214.96 @ #Dec. 65906
c NEW SOLUTION FOUND: 48815 @ 215.34 @ #Dec. 66074
c NEW SOLUTION FOUND: 48793 @ 215.77 @ #Dec. 66258
c NEW SOLUTION FOUND: 48783 @ 216.15 @ #Dec. 66425
c NEW SOLUTION FOUND: 48781 @ 216.53 @ #Dec. 66594
c NEW SOLUTION FOUND: 48775 @ 216.99 @ #Dec. 66787
c NEW SOLUTION FOUND: 48773 @ 217.37 @ #Dec. 66953
c NEW SOLUTION FOUND: 48771 @ 217.98 @ #Dec. 67174
c NEW SOLUTION FOUND: 48769 @ 218.39 @ #Dec. 67344
c NEW SOLUTION FOUND: 48765 @ 218.82 @ #Dec. 67525
c NEW SOLUTION FOUND: 48763 @ 219.31 @ #Dec. 67716
c NEW SOLUTION FOUND: 48761 @ 219.72 @ #Dec. 67889
c NEW SOLUTION FOUND: 48760 @ 220.85 @ #Dec. 68192
c NEW SOLUTION FOUND: 48759 @ 221.94 @ #Dec. 68484
c NEW SOLUTION FOUND: 48757 @ 222.34 @ #Dec. 68653
c NEW SOLUTION FOUND: 48753 @ 223.79 @ #Dec. 69042
c NEW SOLUTION FOUND: 48751 @ 224.25 @ #Dec. 69224
c NEW SOLUTION FOUND: 48749 @ 224.66 @ #Dec. 69393
c NEW SOLUTION FOUND: 48745 @ 226.13 @ #Dec. 69874
c NEW SOLUTION FOUND: 48743 @ 226.53 @ #Dec. 70042
c NEW SOLUTION FOUND: 48740 @ 228.05 @ #Dec. 70631
c Restart #2 #Var: 2719 #Dec: 71332 LB: 0 @ 230.56
c NEW SOLUTION FOUND: 39010 @ 239.27 @ #Dec. 73935
c NEW SOLUTION FOUND: 39000 @ 239.54 @ #Dec. 74073
c NEW SOLUTION FOUND: 38989 @ 239.95 @ #Dec. 74295
c NEW SOLUTION FOUND: 38948 @ 240.24 @ #Dec. 74444
c NEW SOLUTION FOUND: 38816 @ 240.51 @ #Dec. 74591
c NEW SOLUTION FOUND: 38671 @ 240.97 @ #Dec. 74796
c NEW SOLUTION FOUND: 38628 @ 241.4 @ #Dec. 74986
c NEW SOLUTION FOUND: 38570 @ 241.8 @ #Dec. 75165
c NEW SOLUTION FOUND: 38533 @ 242.24 @ #Dec. 75363
c NEW SOLUTION FOUND: 38481 @ 242.67 @ #Dec. 75562
c NEW SOLUTION FOUND: 38411 @ 243.17 @ #Dec. 75777
c NEW SOLUTION FOUND: 38353 @ 243.59 @ #Dec. 75967
c NEW SOLUTION FOUND: 38301 @ 244.08 @ #Dec. 76180
c NEW SOLUTION FOUND: 38298 @ 246.68 @ #Dec. 77214
c NEW SOLUTION FOUND: 38295 @ 247.02 @ #Dec. 77378
c NEW SOLUTION FOUND: 38152 @ 247.35 @ #Dec. 77547
c NEW SOLUTION FOUND: 38142 @ 247.8 @ #Dec. 77747
c NEW SOLUTION FOUND: 38019 @ 248.16 @ #Dec. 77924
c NEW SOLUTION FOUND: 37928 @ 248.53 @ #Dec. 78106
c NEW SOLUTION FOUND: 37890 @ 249.69 @ #Dec. 78544
c NEW SOLUTION FOUND: 37883 @ 250.88 @ #Dec. 78987
c NEW SOLUTION FOUND: 37819 @ 251.42 @ #Dec. 79209
c NEW SOLUTION FOUND: 37786 @ 255.6 @ #Dec. 80299
c Restart #3 #Var: 2719 #Dec: 81654 LB: 0 @ 263.01
c NEW SOLUTION FOUND: 34012 @ 277.94 @ #Dec. 86350
c NEW SOLUTION FOUND: 33962 @ 278.07 @ #Dec. 86496
c NEW SOLUTION FOUND: 33812 @ 278.18 @ #Dec. 86609
c NEW SOLUTION FOUND: 33796 @ 278.29 @ #Dec. 86725
c NEW SOLUTION FOUND: 33730 @ 278.42 @ #Dec. 86841
c NEW SOLUTION FOUND: 33646 @ 278.55 @ #Dec. 86960
c NEW SOLUTION FOUND: 33635 @ 278.7 @ #Dec. 87090
c NEW SOLUTION FOUND: 33319 @ 278.83 @ #Dec. 87210
c NEW SOLUTION FOUND: 33269 @ 278.95 @ #Dec. 87329
c NEW SOLUTION FOUND: 33119 @ 279.08 @ #Dec. 87450
c NEW SOLUTION FOUND: 33105 @ 279.26 @ #Dec. 87585
c NEW SOLUTION FOUND: 33102 @ 279.45 @ #Dec. 87721
c NEW SOLUTION FOUND: 33097 @ 279.64 @ #Dec. 87864
c NEW SOLUTION FOUND: 33092 @ 279.83 @ #Dec. 88009
c NEW SOLUTION FOUND: 33087 @ 280.07 @ #Dec. 88170
c NEW SOLUTION FOUND: 33082 @ 280.27 @ #Dec. 88331
c NEW SOLUTION FOUND: 33079 @ 280.47 @ #Dec. 88490
c NEW SOLUTION FOUND: 33076 @ 280.71 @ #Dec. 88661
c NEW SOLUTION FOUND: 33068 @ 280.93 @ #Dec. 88822
c NEW SOLUTION FOUND: 33060 @ 281.18 @ #Dec. 88997
c NEW SOLUTION FOUND: 33052 @ 281.35 @ #Dec. 89133
c NEW SOLUTION FOUND: 33050 @ 281.63 @ #Dec. 89324
c NEW SOLUTION FOUND: 33024 @ 281.95 @ #Dec. 89549
c NEW SOLUTION FOUND: 32983 @ 282.22 @ #Dec. 89725
c NEW SOLUTION FOUND: 32977 @ 282.57 @ #Dec. 89942
c NEW SOLUTION FOUND: 32832 @ 282.89 @ #Dec. 90143
c NEW SOLUTION FOUND: 32713 @ 283.23 @ #Dec. 90367
c NEW SOLUTION FOUND: 32710 @ 283.59 @ #Dec. 90617
c NEW SOLUTION FOUND: 32695 @ 283.87 @ #Dec. 90823
c NEW SOLUTION FOUND: 32688 @ 284.15 @ #Dec. 91035
c NEW SOLUTION FOUND: 32684 @ 284.29 @ #Dec. 91150
c NEW SOLUTION FOUND: 32680 @ 284.49 @ #Dec. 91301
c NEW SOLUTION FOUND: 32666 @ 284.89 @ #Dec. 91571
c NEW SOLUTION FOUND: 32658 @ 285.23 @ #Dec. 91833
c NEW SOLUTION FOUND: 32639 @ 285.49 @ #Dec. 92021
c NEW SOLUTION FOUND: 32638 @ 285.82 @ #Dec. 92275
c NEW SOLUTION FOUND: 32620 @ 286.2 @ #Dec. 92536
c NEW SOLUTION FOUND: 32598 @ 286.6 @ #Dec. 92799
c NEW SOLUTION FOUND: 32584 @ 287.05 @ #Dec. 93099
c NEW SOLUTION FOUND: 32578 @ 287.46 @ #Dec. 93378
c NEW SOLUTION FOUND: 32559 @ 287.73 @ #Dec. 93580
c NEW SOLUTION FOUND: 32558 @ 288.81 @ #Dec. 94406
c NEW SOLUTION FOUND: 32464 @ 290.27 @ #Dec. 95536
c NEW SOLUTION FOUND: 32445 @ 290.57 @ #Dec. 95742
c NEW SOLUTION FOUND: 32432 @ 290.93 @ #Dec. 95996
c NEW SOLUTION FOUND: 32413 @ 291.24 @ #Dec. 96214
c NEW SOLUTION FOUND: 32373 @ 291.8 @ #Dec. 96625
c NEW SOLUTION FOUND: 32368 @ 292.28 @ #Dec. 96971
c NEW SOLUTION FOUND: 31660 @ 292.88 @ #Dec. 97402
c NEW SOLUTION FOUND: 31647 @ 293.23 @ #Dec. 97646
c NEW SOLUTION FOUND: 31628 @ 293.54 @ #Dec. 97864
c NEW SOLUTION FOUND: 31515 @ 294.17 @ #Dec. 98303
c NEW SOLUTION FOUND: 31502 @ 294.49 @ #Dec. 98525
c NEW SOLUTION FOUND: 31483 @ 294.81 @ #Dec. 98746
c NEW SOLUTION FOUND: 31443 @ 295.32 @ #Dec. 99110
c NEW SOLUTION FOUND: 26418 @ 296.92 @ #Dec. 100153
c NEW SOLUTION FOUND: 26266 @ 297.17 @ #Dec. 100350
c NEW SOLUTION FOUND: 26237 @ 297.42 @ #Dec. 100553
c NEW SOLUTION FOUND: 26184 @ 297.81 @ #Dec. 100826
c NEW SOLUTION FOUND: 15118 @ 298.08 @ #Dec. 101032
c NEW SOLUTION FOUND: 15041 @ 298.37 @ #Dec. 101242
c NEW SOLUTION FOUND: 14324 @ 298.65 @ #Dec. 101457
c NEW SOLUTION FOUND: 14316 @ 298.93 @ #Dec. 101669
c NEW SOLUTION FOUND: 14265 @ 299.23 @ #Dec. 101891
c NEW SOLUTION FOUND: 14263 @ 299.55 @ #Dec. 102128
c NEW SOLUTION FOUND: 14262 @ 299.92 @ #Dec. 102397
c NEW SOLUTION FOUND: 14253 @ 300.25 @ #Dec. 102641
c NEW SOLUTION FOUND: 14248 @ 300.74 @ #Dec. 102992
c NEW SOLUTION FOUND: 14241 @ 301.56 @ #Dec. 103524
c NEW SOLUTION FOUND: 14231 @ 301.89 @ #Dec. 103766
c NEW SOLUTION FOUND: 14222 @ 302.22 @ #Dec. 104006
c NEW SOLUTION FOUND: 14221 @ 302.58 @ #Dec. 104272
c NEW SOLUTION FOUND: 14212 @ 302.91 @ #Dec. 104516
c NEW SOLUTION FOUND: 14207 @ 303.41 @ #Dec. 104850
c NEW SOLUTION FOUND: 14202 @ 304.36 @ #Dec. 105418
c NEW SOLUTION FOUND: 14055 @ 305.24 @ #Dec. 105926
c NEW SOLUTION FOUND: 14045 @ 305.57 @ #Dec. 106170
c NEW SOLUTION FOUND: 14036 @ 305.93 @ #Dec. 106431
c NEW SOLUTION FOUND: 14026 @ 306.26 @ #Dec. 106677
c NEW SOLUTION FOUND: 14021 @ 306.74 @ #Dec. 106996
c NEW SOLUTION FOUND: 14016 @ 307.61 @ #Dec. 107492
c NEW SOLUTION FOUND: 13963 @ 308.52 @ #Dec. 107989
c NEW SOLUTION FOUND: 13953 @ 308.85 @ #Dec. 108237
c NEW SOLUTION FOUND: 13945 @ 309.2 @ #Dec. 108507
c NEW SOLUTION FOUND: 13944 @ 309.56 @ #Dec. 108767
c NEW SOLUTION FOUND: 13934 @ 309.88 @ #Dec. 109016
c NEW SOLUTION FOUND: 13930 @ 310.38 @ #Dec. 109348
c NEW SOLUTION FOUND: 13929 @ 311.05 @ #Dec. 109741
c NEW SOLUTION FOUND: 13924 @ 311.76 @ #Dec. 110159
c NEW SOLUTION FOUND: 13923 @ 313.07 @ #Dec. 110827
c NEW SOLUTION FOUND: 13919 @ 314.04 @ #Dec. 111353
c NEW SOLUTION FOUND: 13918 @ 314.55 @ #Dec. 111675
c NEW SOLUTION FOUND: 13916 @ 317.34 @ #Dec. 112983
c NEW SOLUTION FOUND: 13915 @ 318.01 @ #Dec. 113373
c NEW SOLUTION FOUND: 13913 @ 318.7 @ #Dec. 113769
c NEW SOLUTION FOUND: 13912 @ 320.7 @ #Dec. 114723
c NEW SOLUTION FOUND: 13911 @ 321.3 @ #Dec. 115085
c NEW SOLUTION FOUND: 13910 @ 323.25 @ #Dec. 116032
c NEW SOLUTION FOUND: 13908 @ 323.9 @ #Dec. 116419
c NEW SOLUTION FOUND: 13906 @ 324.88 @ #Dec. 116946
c NEW SOLUTION FOUND: 13905 @ 325.53 @ #Dec. 117333
c NEW SOLUTION FOUND: 13903 @ 326.18 @ #Dec. 117716
c NEW SOLUTION FOUND: 13902 @ 328.64 @ #Dec. 118881
c NEW SOLUTION FOUND: 13901 @ 329.28 @ #Dec. 119260
c NEW SOLUTION FOUND: 13900 @ 330.25 @ #Dec. 119773
c NEW SOLUTION FOUND: 13899 @ 330.68 @ #Dec. 120060
c NEW SOLUTION FOUND: 13898 @ 331.11 @ #Dec. 120347
c NEW SOLUTION FOUND: 13897 @ 331.58 @ #Dec. 120642
c NEW SOLUTION FOUND: 13895 @ 332 @ #Dec. 120928
c NEW SOLUTION FOUND: 13894 @ 332.44 @ #Dec. 121218
c NEW SOLUTION FOUND: 13893 @ 332.87 @ #Dec. 121504
c NEW SOLUTION FOUND: 13888 @ 333.51 @ #Dec. 121873
c NEW SOLUTION FOUND: 13883 @ 334.12 @ #Dec. 122235
c NEW SOLUTION FOUND: 13857 @ 334.59 @ #Dec. 122531
c NEW SOLUTION FOUND: 13854 @ 335.03 @ #Dec. 122827
c NEW SOLUTION FOUND: 13839 @ 335.48 @ #Dec. 123121
c NEW SOLUTION FOUND: 13834 @ 336.1 @ #Dec. 123489
c NEW SOLUTION FOUND: 13769 @ 336.57 @ #Dec. 123788
c NEW SOLUTION FOUND: 13764 @ 337.03 @ #Dec. 124088
c NEW SOLUTION FOUND: 13713 @ 337.93 @ #Dec. 124609
c NEW SOLUTION FOUND: 13708 @ 338.66 @ #Dec. 125039
c NEW SOLUTION FOUND: 13643 @ 339.59 @ #Dec. 125574
c NEW SOLUTION FOUND: 13638 @ 340.5 @ #Dec. 126104
c NEW SOLUTION FOUND: 13629 @ 341.44 @ #Dec. 126599
c NEW SOLUTION FOUND: 13624 @ 342.35 @ #Dec. 127093
c NEW SOLUTION FOUND: 13615 @ 343.29 @ #Dec. 127598
c NEW SOLUTION FOUND: 13610 @ 344.19 @ #Dec. 128098
c NEW SOLUTION FOUND: 13472 @ 345.22 @ #Dec. 128630
c NEW SOLUTION FOUND: 13467 @ 346.2 @ #Dec. 129154
c NEW SOLUTION FOUND: 13466 @ 347.29 @ #Dec. 129671
c NEW SOLUTION FOUND: 13461 @ 348.31 @ #Dec. 130214
c NEW SOLUTION FOUND: 13451 @ 349.5 @ #Dec. 130780
c NEW SOLUTION FOUND: 13446 @ 350.57 @ #Dec. 131330
c NEW SOLUTION FOUND: 13427 @ 351.38 @ #Dec. 131764
c NEW SOLUTION FOUND: 13422 @ 352.36 @ #Dec. 132263
c NEW SOLUTION FOUND: 13421 @ 353.49 @ #Dec. 132829
c NEW SOLUTION FOUND: 13419 @ 354.65 @ #Dec. 133398
c NEW SOLUTION FOUND: 13409 @ 355.67 @ #Dec. 133899
c NEW SOLUTION FOUND: 13404 @ 356.64 @ #Dec. 134400
c NEW SOLUTION FOUND: 13388 @ 358.39 @ #Dec. 135204
c NEW SOLUTION FOUND: 13383 @ 359.34 @ #Dec. 135691
c NEW SOLUTION FOUND: 13364 @ 360.17 @ #Dec. 136125
c NEW SOLUTION FOUND: 13359 @ 361.06 @ #Dec. 136586
c NEW SOLUTION FOUND: 13357 @ 362.11 @ #Dec. 137115
c NEW SOLUTION FOUND: 13347 @ 363.08 @ #Dec. 137607
c NEW SOLUTION FOUND: 13342 @ 363.97 @ #Dec. 138071
c NEW SOLUTION FOUND: 13331 @ 364.88 @ #Dec. 138525
c NEW SOLUTION FOUND: 13326 @ 365.67 @ #Dec. 138945
c NEW SOLUTION FOUND: 13307 @ 366.47 @ #Dec. 139364
c NEW SOLUTION FOUND: 13302 @ 367.27 @ #Dec. 139789
c NEW SOLUTION FOUND: 13301 @ 368.22 @ #Dec. 140270
c NEW SOLUTION FOUND: 13299 @ 369.18 @ #Dec. 140763
c NEW SOLUTION FOUND: 13289 @ 370.12 @ #Dec. 141244
c NEW SOLUTION FOUND: 13284 @ 370.92 @ #Dec. 141667
c NEW SOLUTION FOUND: 13274 @ 372.51 @ #Dec. 142405
c NEW SOLUTION FOUND: 13269 @ 373.33 @ #Dec. 142840
c NEW SOLUTION FOUND: 13264 @ 374.85 @ #Dec. 143556
c NEW SOLUTION FOUND: 13259 @ 375.67 @ #Dec. 143985
c NEW SOLUTION FOUND: 13223 @ 377.01 @ #Dec. 144624
c NEW SOLUTION FOUND: 13216 @ 377.75 @ #Dec. 145017
c NEW SOLUTION FOUND: 13211 @ 378.56 @ #Dec. 145442
c NEW SOLUTION FOUND: 13187 @ 379.39 @ #Dec. 145877
c NEW SOLUTION FOUND: 13185 @ 380.37 @ #Dec. 146373
c NEW SOLUTION FOUND: 13170 @ 381.35 @ #Dec. 146864
c NEW SOLUTION FOUND: 13161 @ 383.09 @ #Dec. 147654
c NEW SOLUTION FOUND: 13160 @ 385.02 @ #Dec. 148595
c NEW SOLUTION FOUND: 13158 @ 385.87 @ #Dec. 149044
c NEW SOLUTION FOUND: 13152 @ 387.76 @ #Dec. 149917
c NEW SOLUTION FOUND: 13148 @ 389.4 @ #Dec. 150690
c NEW SOLUTION FOUND: 13144 @ 391.17 @ #Dec. 151482
c NEW SOLUTION FOUND: 13141 @ 417.59 @ #Dec. 159145
c NEW SOLUTION FOUND: 13138 @ 418.61 @ #Dec. 159586
c NEW SOLUTION FOUND: 13110 @ 422 @ #Dec. 160586
c NEW SOLUTION FOUND: 13098 @ 423.47 @ #Dec. 161138
c NEW SOLUTION FOUND: 12798 @ 424.96 @ #Dec. 161692
c NEW SOLUTION FOUND: 12795 @ 426.73 @ #Dec. 162327
c NEW SOLUTION FOUND: 12790 @ 428.21 @ #Dec. 162886
c NEW SOLUTION FOUND: 12779 @ 430.42 @ #Dec. 163650
c NEW SOLUTION FOUND: 12774 @ 431.98 @ #Dec. 164229
c NEW SOLUTION FOUND: 12769 @ 434.26 @ #Dec. 165017
c NEW SOLUTION FOUND: 12764 @ 435.82 @ #Dec. 165599
c NEW SOLUTION FOUND: 12751 @ 438.08 @ #Dec. 166355
c NEW SOLUTION FOUND: 12746 @ 439.76 @ #Dec. 166971
c NEW SOLUTION FOUND: 12735 @ 441.46 @ #Dec. 167590
c NEW SOLUTION FOUND: 12730 @ 442.95 @ #Dec. 168143
c NEW SOLUTION FOUND: 12727 @ 444.5 @ #Dec. 168716
c NEW SOLUTION FOUND: 12722 @ 446.18 @ #Dec. 169334
c NEW SOLUTION FOUND: 12706 @ 447.99 @ #Dec. 169980
c NEW SOLUTION FOUND: 12703 @ 449.75 @ #Dec. 170611
c NEW SOLUTION FOUND: 12701 @ 451.47 @ #Dec. 171227
c NEW SOLUTION FOUND: 12696 @ 453.95 @ #Dec. 172045
c NEW SOLUTION FOUND: 12692 @ 455.69 @ #Dec. 172676
c NEW SOLUTION FOUND: 12681 @ 459.54 @ #Dec. 173860
c NEW SOLUTION FOUND: 12670 @ 461.14 @ #Dec. 174450
c NEW SOLUTION FOUND: 12666 @ 462.78 @ #Dec. 175053
c NEW SOLUTION FOUND: 12662 @ 464.95 @ #Dec. 175792
c NEW SOLUTION FOUND: 12651 @ 466.57 @ #Dec. 176384
c NEW SOLUTION FOUND: 12647 @ 468.24 @ #Dec. 176985
c NEW SOLUTION FOUND: 12645 @ 472.42 @ #Dec. 178245
c NEW SOLUTION FOUND: 12643 @ 476.12 @ #Dec. 179362
c NEW SOLUTION FOUND: 11300 @ 477.92 @ #Dec. 179982
c NEW SOLUTION FOUND: 11296 @ 479.44 @ #Dec. 180553
c NEW SOLUTION FOUND: 11116 @ 481.3 @ #Dec. 181209
c NEW SOLUTION FOUND: 11112 @ 482.81 @ #Dec. 181777
c NEW SOLUTION FOUND: 11097 @ 485.17 @ #Dec. 182541
c NEW SOLUTION FOUND: 11093 @ 486.67 @ #Dec. 183110
c NEW SOLUTION FOUND: 11091 @ 489.31 @ #Dec. 183922
c NEW SOLUTION FOUND: 10234 @ 490.69 @ #Dec. 184424
c NEW SOLUTION FOUND: 10230 @ 491.76 @ #Dec. 184901
c NEW SOLUTION FOUND: 10091 @ 493.07 @ #Dec. 185435
c NEW SOLUTION FOUND: 10087 @ 494.13 @ #Dec. 185910
c NEW SOLUTION FOUND: 10086 @ 497.15 @ #Dec. 186819
c NEW SOLUTION FOUND: 10083 @ 498.23 @ #Dec. 187294
c NEW SOLUTION FOUND: 10082 @ 499.31 @ #Dec. 187767
c NEW SOLUTION FOUND: 10078 @ 500.42 @ #Dec. 188251
c NEW SOLUTION FOUND: 10069 @ 502.65 @ #Dec. 188854
c NEW SOLUTION FOUND: 10043 @ 504.07 @ #Dec. 189433
c NEW SOLUTION FOUND: 10039 @ 505.19 @ #Dec. 189918
c NEW SOLUTION FOUND: 10019 @ 507.29 @ #Dec. 190524
c NEW SOLUTION FOUND: 9999 @ 508.38 @ #Dec. 190999
c NEW SOLUTION FOUND: 9995 @ 509.52 @ #Dec. 191482
c NEW SOLUTION FOUND: 9958 @ 511.73 @ #Dec. 192103
c NEW SOLUTION FOUND: 9954 @ 512.89 @ #Dec. 192592
c NEW SOLUTION FOUND: 9940 @ 515.04 @ #Dec. 193226
c NEW SOLUTION FOUND: 9926 @ 516.14 @ #Dec. 193704
c NEW SOLUTION FOUND: 9922 @ 517.29 @ #Dec. 194190
c NEW SOLUTION FOUND: 9898 @ 519.63 @ #Dec. 194891
c NEW SOLUTION FOUND: 9878 @ 520.76 @ #Dec. 195372
c NEW SOLUTION FOUND: 9868 @ 523.35 @ #Dec. 196117
c NEW SOLUTION FOUND: 9857 @ 524.48 @ #Dec. 196599
c NEW SOLUTION FOUND: 9853 @ 525.64 @ #Dec. 197089
c NEW SOLUTION FOUND: 9841 @ 528.21 @ #Dec. 197840
c NEW SOLUTION FOUND: 9831 @ 529.36 @ #Dec. 198325
c NEW SOLUTION FOUND: 9827 @ 531.79 @ #Dec. 199077
c NEW SOLUTION FOUND: 9826 @ 534.17 @ #Dec. 199826
c NEW SOLUTION FOUND: 9822 @ 535.35 @ #Dec. 200328
c NEW SOLUTION FOUND: 9818 @ 537.95 @ #Dec. 201113
c NEW SOLUTION FOUND: 9817 @ 542.23 @ #Dec. 202147
c NEW SOLUTION FOUND: 9813 @ 543.46 @ #Dec. 202650
c NEW SOLUTION FOUND: 9811 @ 547.84 @ #Dec. 203723
c NEW SOLUTION FOUND: 9752 @ 557.86 @ #Dec. 206075
c NEW SOLUTION FOUND: 9748 @ 560.43 @ #Dec. 206967
c NEW SOLUTION FOUND: 9737 @ 566.86 @ #Dec. 208534
c NEW SOLUTION FOUND: 9729 @ 567.03 @ #Dec. 208685
c NEW SOLUTION FOUND: 9726 @ 567.31 @ #Dec. 208909
c NEW SOLUTION FOUND: 9706 @ 568.53 @ #Dec. 209415
c NEW SOLUTION FOUND: 9702 @ 570.05 @ #Dec. 209969
c NEW SOLUTION FOUND: 9625 @ 576.73 @ #Dec. 211538
c NEW SOLUTION FOUND: 9621 @ 583.29 @ #Dec. 213083
c NEW SOLUTION FOUND: 9604 @ 585.25 @ #Dec. 213773
c NEW SOLUTION FOUND: 9600 @ 586.59 @ #Dec. 214296
c NEW SOLUTION FOUND: 9583 @ 592.46 @ #Dec. 215749
c NEW SOLUTION FOUND: 9574 @ 592.67 @ #Dec. 215929
c NEW SOLUTION FOUND: 9571 @ 592.94 @ #Dec. 216154
c NEW SOLUTION FOUND: 9548 @ 597.58 @ #Dec. 217841
c NEW SOLUTION FOUND: 9441 @ 602.57 @ #Dec. 219046
c NEW SOLUTION FOUND: 9437 @ 604.02 @ #Dec. 219591
c NEW SOLUTION FOUND: 9397 @ 605.48 @ #Dec. 220142
c NEW SOLUTION FOUND: 9323 @ 609.81 @ #Dec. 221212
c NEW SOLUTION FOUND: 9319 @ 611.26 @ #Dec. 221765
c NEW SOLUTION FOUND: 9284 @ 614.95 @ #Dec. 222721
c NEW SOLUTION FOUND: 9208 @ 616.29 @ #Dec. 223254
c NEW SOLUTION FOUND: 9204 @ 617.74 @ #Dec. 223804
c NEW SOLUTION FOUND: 9199 @ 621.42 @ #Dec. 224752
c NEW SOLUTION FOUND: 9195 @ 622.98 @ #Dec. 225322
c NEW SOLUTION FOUND: 9182 @ 626.88 @ #Dec. 226311
c NEW SOLUTION FOUND: 9169 @ 630.5 @ #Dec. 227226
c NEW SOLUTION FOUND: 9163 @ 633.78 @ #Dec. 228091
c NEW SOLUTION FOUND: 9159 @ 635.5 @ #Dec. 228711
c NEW SOLUTION FOUND: 9153 @ 639.01 @ #Dec. 229610
c NEW SOLUTION FOUND: 9145 @ 640.4 @ #Dec. 230143
c NEW SOLUTION FOUND: 9141 @ 642 @ #Dec. 230714
c NEW SOLUTION FOUND: 9039 @ 646.88 @ #Dec. 231473
c NEW SOLUTION FOUND: 8992 @ 648.54 @ #Dec. 232028
c NEW SOLUTION FOUND: 8977 @ 648.81 @ #Dec. 232241
c NEW SOLUTION FOUND: 8854 @ 650.47 @ #Dec. 232801
c NEW SOLUTION FOUND: 8665 @ 654.44 @ #Dec. 233494
c NEW SOLUTION FOUND: 8654 @ 657.25 @ #Dec. 234223
c NEW SOLUTION FOUND: 8645 @ 659.83 @ #Dec. 235019
c NEW SOLUTION FOUND: 8632 @ 662.63 @ #Dec. 235761
c NEW SOLUTION FOUND: 8611 @ 665.51 @ #Dec. 236521
c NEW SOLUTION FOUND: 8571 @ 668.17 @ #Dec. 237347
c NEW SOLUTION FOUND: 8411 @ 671.07 @ #Dec. 238103
c NEW SOLUTION FOUND: 8382 @ 674.02 @ #Dec. 238873
c NEW SOLUTION FOUND: 8367 @ 675.68 @ #Dec. 239450
c NEW SOLUTION FOUND: 8358 @ 677.33 @ #Dec. 240026
c NEW SOLUTION FOUND: 8350 @ 681.78 @ #Dec. 241154
c NEW SOLUTION FOUND: 8326 @ 687.58 @ #Dec. 242662
c NEW SOLUTION FOUND: 8285 @ 691.26 @ #Dec. 243621
c NEW SOLUTION FOUND: 8204 @ 693.74 @ #Dec. 244400
c NEW SOLUTION FOUND: 7868 @ 696.88 @ #Dec. 245192
c NEW SOLUTION FOUND: 7864 @ 698.5 @ #Dec. 245774
c NEW SOLUTION FOUND: 7592 @ 700.21 @ #Dec. 246357
c NEW SOLUTION FOUND: 7584 @ 703.99 @ #Dec. 247280
c NEW SOLUTION FOUND: 7574 @ 708.74 @ #Dec. 248498
c NEW SOLUTION FOUND: 7547 @ 709.03 @ #Dec. 248716
c NEW SOLUTION FOUND: 7502 @ 710.78 @ #Dec. 249302
c NEW SOLUTION FOUND: 7475 @ 712.51 @ #Dec. 249888
c NEW SOLUTION FOUND: 7345 @ 717.6 @ #Dec. 251121
c NEW SOLUTION FOUND: 7333 @ 719.35 @ #Dec. 251711
c NEW SOLUTION FOUND: 7324 @ 722.42 @ #Dec. 252485
c NEW SOLUTION FOUND: 7319 @ 727.25 @ #Dec. 253757
c NEW SOLUTION FOUND: 7307 @ 729.04 @ #Dec. 254350
c NEW SOLUTION FOUND: 7306 @ 732.33 @ #Dec. 255178
c NEW SOLUTION FOUND: 7294 @ 732.55 @ #Dec. 255360
c NEW SOLUTION FOUND: 7290 @ 732.83 @ #Dec. 255580
c NEW SOLUTION FOUND: 7258 @ 741.04 @ #Dec. 257878
c NEW SOLUTION FOUND: 7207 @ 746.97 @ #Dec. 259321
c NEW SOLUTION FOUND: 7162 @ 750.31 @ #Dec. 260122
c NEW SOLUTION FOUND: 7143 @ 750.61 @ #Dec. 260347
c NEW SOLUTION FOUND: 7092 @ 753.85 @ #Dec. 261246
c NEW SOLUTION FOUND: 7052 @ 757.85 @ #Dec. 262187
c NEW SOLUTION FOUND: 7047 @ 761.42 @ #Dec. 263099
c NEW SOLUTION FOUND: 7037 @ 764.89 @ #Dec. 264094
c NEW SOLUTION FOUND: 6940 @ 768.42 @ #Dec. 264916
c NEW SOLUTION FOUND: 6789 @ 770.19 @ #Dec. 265499
c NEW SOLUTION FOUND: 6776 @ 782.64 @ #Dec. 268585
c NEW SOLUTION FOUND: 6760 @ 796.89 @ #Dec. 272171
c NEW SOLUTION FOUND: 6731 @ 818.97 @ #Dec. 277477
c NEW SOLUTION FOUND: 6690 @ 830.67 @ #Dec. 280290
c NEW SOLUTION FOUND: 6630 @ 861.35 @ #Dec. 287284
c NEW SOLUTION FOUND: 6614 @ 874.53 @ #Dec. 290142
c NEW SOLUTION FOUND: 6574 @ 908.92 @ #Dec. 297663
c NEW SOLUTION FOUND: 6546 @ 912.92 @ #Dec. 298627
c NEW SOLUTION FOUND: 6540 @ 919.64 @ #Dec. 300062
c NEW SOLUTION FOUND: 6512 @ 923.28 @ #Dec. 300960
c NEW SOLUTION FOUND: 6511 @ 999.16 @ #Dec. 319785
c NEW SOLUTION FOUND: 6510 @ 1014.3 @ #Dec. 323224
c NEW SOLUTION FOUND: 6509 @ 1032.5 @ #Dec. 327295
c NEW SOLUTION FOUND: 6505 @ 1034.9 @ #Dec. 327948
c NEW SOLUTION FOUND: 6501 @ 1043.5 @ #Dec. 329947
c NEW SOLUTION FOUND: 6493 @ 1046 @ #Dec. 330567
c NEW SOLUTION FOUND: 6488 @ 1051.2 @ #Dec. 331798
c NEW SOLUTION FOUND: 6477 @ 1055.6 @ #Dec. 332874
c NEW SOLUTION FOUND: 6470 @ 1060.9 @ #Dec. 334113
c NEW SOLUTION FOUND: 6442 @ 1061.3 @ #Dec. 334346
c NEW SOLUTION FOUND: 6376 @ 1072.9 @ #Dec. 337153
c NEW SOLUTION FOUND: 6351 @ 1074 @ #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/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1795574760 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 107 3 90 68 0 39 0
[pid=28873] vsize: 428
open syscall for file /etc/ld.so.preload
open syscall for file tls/i686/mmx/libosl.so
open syscall for file tls/i686/libosl.so
open syscall for file tls/mmx/libosl.so
open syscall for file tls/libosl.so
open syscall for file i686/mmx/libosl.so
open syscall for file i686/libosl.so
open syscall for file mmx/libosl.so
open syscall for file libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/tls/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/i686/libosl.so
open syscall for file /oldhome/oroussel/lib/mmx/libosl.so
open syscall for file /oldhome/oroussel/lib/libosl.so
open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/libstdc++-libc6.2-2.so.3
open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3
open syscall for file tls/libstdc++-libc6.2-2.so.3
open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3
open syscall for file i686/libstdc++-libc6.2-2.so.3
open syscall for file mmx/libstdc++-libc6.2-2.so.3
open syscall for file libstdc++-libc6.2-2.so.3
open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3
open syscall for file /etc/ld.so.cache
open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3
open syscall for file tls/i686/mmx/libm.so.6
open syscall for file tls/i686/libm.so.6
open syscall for file tls/mmx/libm.so.6
open syscall for file tls/libm.so.6
open syscall for file i686/mmx/libm.so.6
open syscall for file i686/libm.so.6
open syscall for file mmx/libm.so.6
open syscall for file libm.so.6
open syscall for file /oldhome/oroussel/lib/libm.so.6
open syscall for file /lib/tls/libm.so.6
open syscall for file tls/i686/mmx/libpthread.so.0
open syscall for file tls/i686/libpthread.so.0
open syscall for file tls/mmx/libpthread.so.0
open syscall for file tls/libpthread.so.0
open syscall for file i686/mmx/libpthread.so.0
open syscall for file i686/libpthread.so.0
open syscall for file mmx/libpthread.so.0
open syscall for file libpthread.so.0
open syscall for file /oldhome/oroussel/lib/libpthread.so.0
open syscall for file /lib/tls/libpthread.so.0
open syscall for file tls/i686/mmx/libc.so.6
open syscall for file tls/i686/libc.so.6
open syscall for file tls/mmx/libc.so.6
open syscall for file tls/libc.so.6
open syscall for file i686/mmx/libc.so.6
open syscall for file i686/libc.so.6
open syscall for file mmx/libc.so.6
open syscall for file libc.so.6
open syscall for file /oldhome/oroussel/lib/libc.so.6
open syscall for file /lib/tls/libc.so.6
open syscall for file tls/i686/mmx/libgcc_s.so.1
open syscall for file tls/i686/libgcc_s.so.1
open syscall for file tls/mmx/libgcc_s.so.1
open syscall for file tls/libgcc_s.so.1
open syscall for file i686/mmx/libgcc_s.so.1
open syscall for file i686/libgcc_s.so.1
open syscall for file mmx/libgcc_s.so.1
open syscall for file libgcc_s.so.1
open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1
open syscall for file /lib/libgcc_s.so.1
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /etc/localtime
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock
open syscall for file /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-p2756.opb

[startup+10.0034 s]
Raw data (loadavg): 0.93 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 18049 0 0 0 932 50 0 0 25 0 1 0 1795574760 77094912 17960 4294967295 134512640 134736556 3221224560 3221223192 134544067 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 18822 17960 1116 68 0 18754 0
[pid=28873] vsize: 75288
Current children cumulated CPU time (s) 9.82
Current children cumulated vsize (Kb) 75288

[startup+20.0042 s]
Raw data (loadavg): 0.94 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 18538 0 0 0 1915 56 0 0 25 0 1 0 1795574760 79122432 18449 4294967295 134512640 134736556 3221224560 3221223204 134648992 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 19317 18449 1116 68 0 19249 0
[pid=28873] vsize: 77268
Current children cumulated CPU time (s) 19.71
Current children cumulated vsize (Kb) 77268

[startup+30.004 s]
Raw data (loadavg): 0.95 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 18886 0 0 0 2900 62 0 0 25 0 1 0 1795574760 80474112 18797 4294967295 134512640 134736556 3221224560 3221223008 1077378571 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 19647 18797 1116 68 0 19579 0
[pid=28873] vsize: 78588
Current children cumulated CPU time (s) 29.62
Current children cumulated vsize (Kb) 78588

[startup+40.0048 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 19470 0 0 0 3884 69 0 0 25 0 1 0 1795574760 82907136 19381 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 20241 19381 1116 68 0 20173 0
[pid=28873] vsize: 80964
Current children cumulated CPU time (s) 39.53
Current children cumulated vsize (Kb) 80964

[startup+50.0057 s]
Raw data (loadavg): 0.96 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 22908 0 0 0 4862 81 0 0 25 0 1 0 1795574760 97026048 22819 4294967295 134512640 134736556 3221224560 3221223004 1076999581 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 23688 22819 1116 68 0 23620 0
[pid=28873] vsize: 94752
Current children cumulated CPU time (s) 49.43
Current children cumulated vsize (Kb) 94752

[startup+60.0065 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 23959 0 0 0 5845 88 0 0 25 0 1 0 1795574760 101224448 23870 4294967295 134512640 134736556 3221224560 3221223168 134558480 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 24713 23870 1116 68 0 24645 0
[pid=28873] vsize: 98852
Current children cumulated CPU time (s) 59.33
Current children cumulated vsize (Kb) 98852

[startup+70.0073 s]
Raw data (loadavg): 0.97 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 23977 0 0 0 6830 93 0 0 25 0 1 0 1795574760 101359616 23888 4294967295 134512640 134736556 3221224560 3221223184 134539531 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 24746 23888 1116 68 0 24678 0
[pid=28873] vsize: 98984
Current children cumulated CPU time (s) 69.23
Current children cumulated vsize (Kb) 98984

[startup+80.0081 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 24375 0 0 0 7814 100 0 0 25 0 1 0 1795574760 102985728 24286 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 25143 24286 1116 68 0 25075 0
[pid=28873] vsize: 100572
Current children cumulated CPU time (s) 79.14
Current children cumulated vsize (Kb) 100572

[startup+90.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 26868 0 0 0 8789 112 0 0 25 0 1 0 1795574760 113147904 26779 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 27624 26779 1116 68 0 27556 0
[pid=28873] vsize: 110496
Current children cumulated CPU time (s) 89.01
Current children cumulated vsize (Kb) 110496

[startup+100.009 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 27481 0 0 0 9770 120 0 0 25 0 1 0 1795574760 115642368 27392 4294967295 134512640 134736556 3221224560 3221223176 134537597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28233 27392 1116 68 0 28165 0
[pid=28873] vsize: 112932
Current children cumulated CPU time (s) 98.9
Current children cumulated vsize (Kb) 112932

[startup+110.01 s]
Raw data (loadavg): 0.98 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 27481 0 0 0 10756 125 0 0 25 0 1 0 1795574760 115642368 27392 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28233 27392 1116 68 0 28165 0
[pid=28873] vsize: 112932
Current children cumulated CPU time (s) 108.81
Current children cumulated vsize (Kb) 112932

[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 27481 0 0 0 11742 130 0 0 25 0 1 0 1795574760 115642368 27392 4294967295 134512640 134736556 3221224560 3221223144 134560381 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28233 27392 1116 68 0 28165 0
[pid=28873] vsize: 112932
Current children cumulated CPU time (s) 118.72
Current children cumulated vsize (Kb) 112932

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 27481 0 0 0 12726 136 0 0 25 0 1 0 1795574760 115642368 27392 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28233 27392 1116 68 0 28165 0
[pid=28873] vsize: 112932
Current children cumulated CPU time (s) 128.62
Current children cumulated vsize (Kb) 112932

[startup+140.01 s]
Raw data (loadavg): 1.06 0.99 0.99 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 27481 0 0 0 13707 142 0 0 25 0 1 0 1795574760 115642368 27392 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28233 27392 1116 68 0 28165 0
[pid=28873] vsize: 112932
Current children cumulated CPU time (s) 138.49
Current children cumulated vsize (Kb) 112932

[startup+150.011 s]
Raw data (loadavg): 1.05 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 27982 0 0 0 14680 154 0 0 25 0 1 0 1795574760 117735424 27893 4294967295 134512640 134736556 3221224560 3221223264 134597699 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 28744 27893 1116 68 0 28676 0
[pid=28873] vsize: 114976
Current children cumulated CPU time (s) 148.34
Current children cumulated vsize (Kb) 114976

[startup+160.012 s]
Raw data (loadavg): 1.04 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 27982 0 0 0 15657 162 0 0 25 0 1 0 1795574760 117735424 27893 4294967295 134512640 134736556 3221224560 3221223424 134643870 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28744 27893 1116 68 0 28676 0
[pid=28873] vsize: 114976
Current children cumulated CPU time (s) 158.19
Current children cumulated vsize (Kb) 114976

[startup+170.012 s]
Raw data (loadavg): 1.04 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28083 0 0 0 16633 171 0 0 25 0 1 0 1795574760 118034432 27968 4294967295 134512640 134736556 3221224560 3221223168 1076999581 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28817 27968 1116 68 0 28749 0
[pid=28873] vsize: 115268
Current children cumulated CPU time (s) 168.04
Current children cumulated vsize (Kb) 115268

[startup+180.012 s]
Raw data (loadavg): 1.03 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28160 0 0 0 17608 180 0 0 25 0 1 0 1795574760 118312960 28045 4294967295 134512640 134736556 3221224560 3221222980 1077374494 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28885 28045 1116 68 0 28817 0
[pid=28873] vsize: 115540
Current children cumulated CPU time (s) 177.88
Current children cumulated vsize (Kb) 115540

[startup+190.013 s]
Raw data (loadavg): 1.03 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28200 0 0 0 18593 184 0 0 25 0 1 0 1795574760 118583296 28085 4294967295 134512640 134736556 3221224560 3221223112 1077377416 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28951 28085 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 187.77
Current children cumulated vsize (Kb) 115804

[startup+200.013 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28231 0 0 0 19570 192 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223168 134536125 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 197.62
Current children cumulated vsize (Kb) 115804

[startup+210.014 s]
Raw data (loadavg): 1.02 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28231 0 0 0 20542 202 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221222932 1077378605 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 207.44
Current children cumulated vsize (Kb) 115804

[startup+220.015 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28231 0 0 0 21517 211 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223104 134540903 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 217.28
Current children cumulated vsize (Kb) 115804

[startup+230.014 s]
Raw data (loadavg): 1.01 0.99 0.99 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 28231 0 0 0 22497 218 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 227.15
Current children cumulated vsize (Kb) 115804

[startup+240.015 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28231 0 0 0 23482 223 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223196 134558024 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 237.05
Current children cumulated vsize (Kb) 115804

[startup+250.015 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28231 0 0 0 24460 230 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223196 1076530932 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 246.9
Current children cumulated vsize (Kb) 115804

[startup+260.016 s]
Raw data (loadavg): 1.01 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28231 0 0 0 25443 237 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223112 1077378431 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 256.8
Current children cumulated vsize (Kb) 115804

[startup+270.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28231 0 0 0 26429 241 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223176 134537597 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 266.7
Current children cumulated vsize (Kb) 115804

[startup+280.017 s]
Raw data (loadavg): 1.00 0.99 0.99 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28231 0 0 0 27410 248 0 0 20 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223052 134536223 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 276.58
Current children cumulated vsize (Kb) 115804

[startup+290.017 s]
Raw data (loadavg): 1.00 0.99 0.99 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 28231 0 0 0 28375 262 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 286.37
Current children cumulated vsize (Kb) 115804

[startup+300.018 s]
Raw data (loadavg): 1.08 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28231 0 0 0 29340 275 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221222828 1077379908 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 296.15
Current children cumulated vsize (Kb) 115804

[startup+310.019 s]
Raw data (loadavg): 1.07 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28231 0 0 0 30306 287 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223104 134541330 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 305.93
Current children cumulated vsize (Kb) 115804

[startup+320.019 s]
Raw data (loadavg): 1.06 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 28231 0 0 0 31274 297 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 315.71
Current children cumulated vsize (Kb) 115804

[startup+330.02 s]
Raw data (loadavg): 1.05 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 28231 0 0 0 32246 308 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 325.54
Current children cumulated vsize (Kb) 115804

[startup+340.02 s]
Raw data (loadavg): 1.04 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28231 0 0 0 33215 318 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223248 134524977 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 335.33
Current children cumulated vsize (Kb) 115804

[startup+350.02 s]
Raw data (loadavg): 1.03 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 28231 0 0 0 34185 330 0 0 25 0 1 0 1795574760 118583296 28112 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28873/statm): 28951 28112 1116 68 0 28883 0
[pid=28873] vsize: 115804
Current children cumulated CPU time (s) 345.15
Current children cumulated vsize (Kb) 115804

[startup+360.022 s]
Raw data (loadavg): 1.03 1.00 1.00 3/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28315 0 0 0 35154 342 0 0 25 0 1 0 1795574760 118988800 28196 4294967295 134512640 134736556 3221224560 3221223152 134558146 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 29050 28196 1116 68 0 28982 0
[pid=28873] vsize: 116200
Current children cumulated CPU time (s) 354.96
Current children cumulated vsize (Kb) 116200

[startup+370.022 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28520 0 0 0 36126 354 0 0 25 0 1 0 1795574760 119799808 28401 4294967295 134512640 134736556 3221224560 3221223116 134541364 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 29248 28401 1116 68 0 29180 0
[pid=28873] vsize: 116992
Current children cumulated CPU time (s) 364.8
Current children cumulated vsize (Kb) 116992

[startup+380.022 s]
Raw data (loadavg): 1.02 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 28669 0 0 0 37098 365 0 0 25 0 1 0 1795574760 120475648 28550 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28873/statm): 29413 28550 1116 68 0 29345 0
[pid=28873] vsize: 117652
Current children cumulated CPU time (s) 374.63
Current children cumulated vsize (Kb) 117652

[startup+390.023 s]
Raw data (loadavg): 1.02 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 28913 0 0 0 38074 373 0 0 25 0 1 0 1795574760 121421824 28794 4294967295 134512640 134736556 3221224560 3221223232 134524956 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 29644 28794 1116 68 0 29576 0
[pid=28873] vsize: 118576
Current children cumulated CPU time (s) 384.47
Current children cumulated vsize (Kb) 118576

[startup+400.023 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 29133 0 0 0 39051 382 0 0 25 0 1 0 1795574760 122368000 29014 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 29875 29014 1116 68 0 29807 0
[pid=28873] vsize: 119500
Current children cumulated CPU time (s) 394.33
Current children cumulated vsize (Kb) 119500

[startup+410.024 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 29368 0 0 0 40033 389 0 0 25 0 1 0 1795574760 123346944 29249 4294967295 134512640 134736556 3221224560 3221223132 134543056 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 30114 29249 1116 68 0 30046 0
[pid=28873] vsize: 120456
Current children cumulated CPU time (s) 404.22
Current children cumulated vsize (Kb) 120456

[startup+420.025 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 29810 0 0 0 41015 397 0 0 25 0 1 0 1795574760 125599744 29691 4294967295 134512640 134736556 3221224560 3221223192 134544024 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 30664 29691 1116 68 0 30596 0
[pid=28873] vsize: 122656
Current children cumulated CPU time (s) 414.12
Current children cumulated vsize (Kb) 122656

[startup+430.026 s]
Raw data (loadavg): 1.01 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 31510 0 0 0 41988 408 0 0 25 0 1 0 1795574760 132493312 31391 4294967295 134512640 134736556 3221224560 3221223180 134544464 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 32347 31391 1116 68 0 32279 0
[pid=28873] vsize: 129388
Current children cumulated CPU time (s) 423.96
Current children cumulated vsize (Kb) 129388

[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 31570 0 0 0 42968 415 0 0 25 0 1 0 1795574760 132763648 31451 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28873/statm): 32413 31451 1116 68 0 32345 0
[pid=28873] vsize: 129652
Current children cumulated CPU time (s) 433.83
Current children cumulated vsize (Kb) 129652

[startup+450.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 31683 0 0 0 43949 423 0 0 25 0 1 0 1795574760 133169152 31564 4294967295 134512640 134736556 3221224560 3221223192 134544456 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 32512 31564 1116 68 0 32444 0
[pid=28873] vsize: 130048
Current children cumulated CPU time (s) 443.72
Current children cumulated vsize (Kb) 130048

[startup+460.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 31735 0 0 0 44925 433 0 0 20 0 1 0 1795574760 133439488 31616 4294967295 134512640 134736556 3221224560 3221223136 134544698 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 32578 31616 1116 68 0 32510 0
[pid=28873] vsize: 130312
Current children cumulated CPU time (s) 453.58
Current children cumulated vsize (Kb) 130312

[startup+470.029 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 31957 0 0 0 45905 440 0 0 25 0 1 0 1795574760 134250496 31838 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/28873/statm): 32776 31838 1116 68 0 32708 0
[pid=28873] vsize: 131104
Current children cumulated CPU time (s) 463.45
Current children cumulated vsize (Kb) 131104

[startup+480.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 32246 0 0 0 46885 449 0 0 25 0 1 0 1795574760 135467008 32127 4294967295 134512640 134736556 3221224560 3221223132 134560382 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 33073 32127 1116 68 0 33005 0
[pid=28873] vsize: 132292
Current children cumulated CPU time (s) 473.34
Current children cumulated vsize (Kb) 132292

[startup+490.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 32465 0 0 0 47866 455 0 0 25 0 1 0 1795574760 136413184 32346 4294967295 134512640 134736556 3221224560 3221223156 134558145 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 33304 32346 1116 68 0 33236 0
[pid=28873] vsize: 133216
Current children cumulated CPU time (s) 483.21
Current children cumulated vsize (Kb) 133216

[startup+500.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 32864 0 0 0 48846 462 0 0 25 0 1 0 1795574760 137900032 32745 4294967295 134512640 134736556 3221224560 3221223100 134536340 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 33667 32745 1116 68 0 33599 0
[pid=28873] vsize: 134668
Current children cumulated CPU time (s) 493.08
Current children cumulated vsize (Kb) 134668

[startup+510.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 32871 0 0 0 49825 470 0 0 25 0 1 0 1795574760 137900032 32752 4294967295 134512640 134736556 3221224560 3221223216 134649499 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 33667 32752 1116 68 0 33599 0
[pid=28873] vsize: 134668
Current children cumulated CPU time (s) 502.95
Current children cumulated vsize (Kb) 134668

[startup+520.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 32873 0 0 0 50804 476 0 0 25 0 1 0 1795574760 137900032 32754 4294967295 134512640 134736556 3221224560 3221223228 134524883 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 33667 32754 1116 68 0 33599 0
[pid=28873] vsize: 134668
Current children cumulated CPU time (s) 512.8
Current children cumulated vsize (Kb) 134668

[startup+530.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 32973 0 0 0 51785 482 0 0 25 0 1 0 1795574760 138305536 32854 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 33766 32854 1116 68 0 33698 0
[pid=28873] vsize: 135064
Current children cumulated CPU time (s) 522.67
Current children cumulated vsize (Kb) 135064

[startup+540.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 33412 0 0 0 52763 490 0 0 25 0 1 0 1795574760 140062720 33293 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 34195 33293 1116 68 0 34127 0
[pid=28873] vsize: 136780
Current children cumulated CPU time (s) 532.53
Current children cumulated vsize (Kb) 136780

[startup+550.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 34259 0 0 0 53743 497 0 0 25 0 1 0 1795574760 143847424 34101 4294967295 134512640 134736556 3221224560 3221223100 134536226 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 35119 34101 1116 68 0 35051 0
[pid=28873] vsize: 140476
Current children cumulated CPU time (s) 542.4
Current children cumulated vsize (Kb) 140476

[startup+560.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 34411 0 0 0 54728 503 0 0 25 0 1 0 1795574760 144388096 34253 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 35251 34253 1116 68 0 35183 0
[pid=28873] vsize: 141004
Current children cumulated CPU time (s) 552.31
Current children cumulated vsize (Kb) 141004

[startup+570.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 34828 0 0 0 55709 510 0 0 25 0 1 0 1795574760 146145280 34670 4294967295 134512640 134736556 3221224560 3221223160 134558144 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 35680 34670 1116 68 0 35612 0
[pid=28873] vsize: 142720
Current children cumulated CPU time (s) 562.19
Current children cumulated vsize (Kb) 142720

[startup+580.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 35141 0 0 0 56690 518 0 0 25 0 1 0 1795574760 147361792 34983 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 35977 34983 1116 68 0 35909 0
[pid=28873] vsize: 143908
Current children cumulated CPU time (s) 572.08
Current children cumulated vsize (Kb) 143908

[startup+590.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 35443 0 0 0 57674 524 0 0 25 0 1 0 1795574760 148578304 35284 4294967295 134512640 134736556 3221224560 3221223296 134645976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 36274 35284 1116 68 0 36206 0
[pid=28873] vsize: 145096
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (Kb) 145096

[startup+600.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 35700 0 0 0 58659 529 0 0 25 0 1 0 1795574760 149659648 35541 4294967295 134512640 134736556 3221224560 3221223216 134649067 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 36538 35541 1116 68 0 36470 0
[pid=28873] vsize: 146152
Current children cumulated CPU time (s) 591.88
Current children cumulated vsize (Kb) 146152

[startup+610.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 35955 0 0 0 59638 536 0 0 25 0 1 0 1795574760 150740992 35796 4294967295 134512640 134736556 3221224560 3221223204 134649050 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 36802 35796 1116 68 0 36734 0
[pid=28873] vsize: 147208
Current children cumulated CPU time (s) 601.74
Current children cumulated vsize (Kb) 147208

[startup+620.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 36379 0 0 0 60618 544 0 0 25 0 1 0 1795574760 152363008 36220 4294967295 134512640 134736556 3221224560 3221223408 134644049 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 37198 36220 1116 68 0 37130 0
[pid=28873] vsize: 148792
Current children cumulated CPU time (s) 611.62
Current children cumulated vsize (Kb) 148792

[startup+630.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 36649 0 0 0 61597 551 0 0 25 0 1 0 1795574760 153444352 36490 4294967295 134512640 134736556 3221224560 3221223100 134536381 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 37462 36490 1116 68 0 37394 0
[pid=28873] vsize: 149848
Current children cumulated CPU time (s) 621.48
Current children cumulated vsize (Kb) 149848

[startup+640.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 36991 0 0 0 62582 558 0 0 25 0 1 0 1795574760 154841088 36832 4294967295 134512640 134736556 3221224560 3221223008 134543910 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 37803 36832 1116 68 0 37735 0
[pid=28873] vsize: 151212
Current children cumulated CPU time (s) 631.4
Current children cumulated vsize (Kb) 151212

[startup+650.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 37165 0 0 0 63564 566 0 0 25 0 1 0 1795574760 155516928 37006 4294967295 134512640 134736556 3221224560 3221223296 134645968 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 37968 37006 1116 68 0 37900 0
[pid=28873] vsize: 151872
Current children cumulated CPU time (s) 641.3
Current children cumulated vsize (Kb) 151872

[startup+660.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 37316 0 0 0 64551 570 0 0 25 0 1 0 1795574760 156192768 37157 4294967295 134512640 134736556 3221224560 3221223152 134536465 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38133 37157 1116 68 0 38065 0
[pid=28873] vsize: 152532
Current children cumulated CPU time (s) 651.21
Current children cumulated vsize (Kb) 152532

[startup+670.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 37353 0 0 0 65537 576 0 0 25 0 1 0 1795574760 156327936 37194 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38166 37194 1116 68 0 38098 0
[pid=28873] vsize: 152664
Current children cumulated CPU time (s) 661.13
Current children cumulated vsize (Kb) 152664

[startup+680.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 37384 0 0 0 66519 582 0 0 25 0 1 0 1795574760 156463104 37225 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38199 37225 1116 68 0 38131 0
[pid=28873] vsize: 152796
Current children cumulated CPU time (s) 671.01
Current children cumulated vsize (Kb) 152796

[startup+690.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 37426 0 0 0 67503 589 0 0 25 0 1 0 1795574760 156598272 37267 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38232 37267 1116 68 0 38164 0
[pid=28873] vsize: 152928
Current children cumulated CPU time (s) 680.92
Current children cumulated vsize (Kb) 152928

[startup+700.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 37452 0 0 0 68485 594 0 0 25 0 1 0 1795574760 156733440 37293 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38265 37293 1116 68 0 38197 0
[pid=28873] vsize: 153060
Current children cumulated CPU time (s) 690.79
Current children cumulated vsize (Kb) 153060

[startup+710.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 37548 0 0 0 69467 601 0 0 25 0 1 0 1795574760 157138944 37389 4294967295 134512640 134736556 3221224560 3221223056 134543910 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38364 37389 1116 68 0 38296 0
[pid=28873] vsize: 153456
Current children cumulated CPU time (s) 700.68
Current children cumulated vsize (Kb) 153456

[startup+720.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 37583 0 0 0 70450 607 0 0 25 0 1 0 1795574760 157274112 37424 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38397 37424 1116 68 0 38329 0
[pid=28873] vsize: 153588
Current children cumulated CPU time (s) 710.57
Current children cumulated vsize (Kb) 153588

[startup+730.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 37629 0 0 0 71435 613 0 0 25 0 1 0 1795574760 157409280 37470 4294967295 134512640 134736556 3221224560 3221223216 134649038 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 38430 37470 1116 68 0 38362 0
[pid=28873] vsize: 153720
Current children cumulated CPU time (s) 720.48
Current children cumulated vsize (Kb) 153720

[startup+740.041 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 37685 0 0 0 72420 617 0 0 25 0 1 0 1795574760 157679616 37526 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38496 37526 1116 68 0 38428 0
[pid=28873] vsize: 153984
Current children cumulated CPU time (s) 730.37
Current children cumulated vsize (Kb) 153984

[startup+750.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 37737 0 0 0 73401 624 0 0 25 0 1 0 1795574760 157949952 37578 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 38562 37578 1116 68 0 38494 0
[pid=28873] vsize: 154248
Current children cumulated CPU time (s) 740.25
Current children cumulated vsize (Kb) 154248

[startup+760.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 37781 0 0 0 74386 629 0 0 25 0 1 0 1795574760 158085120 37622 4294967295 134512640 134736556 3221224560 3221223112 1077377272 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38595 37622 1116 68 0 38527 0
[pid=28873] vsize: 154380
Current children cumulated CPU time (s) 750.15
Current children cumulated vsize (Kb) 154380

[startup+770.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 37879 0 0 0 75370 635 0 0 25 0 1 0 1795574760 158490624 37720 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38694 37720 1116 68 0 38626 0
[pid=28873] vsize: 154776
Current children cumulated CPU time (s) 760.05
Current children cumulated vsize (Kb) 154776

[startup+780.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38015 0 0 0 76354 640 0 0 25 0 1 0 1795574760 159031296 37856 4294967295 134512640 134736556 3221224560 3221223168 134536153 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38826 37856 1116 68 0 38758 0
[pid=28873] vsize: 155304
Current children cumulated CPU time (s) 769.94
Current children cumulated vsize (Kb) 155304

[startup+790.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38015 0 0 0 77340 644 0 0 25 0 1 0 1795574760 159031296 37856 4294967295 134512640 134736556 3221224560 3221223296 134646172 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38826 37856 1116 68 0 38758 0
[pid=28873] vsize: 155304
Current children cumulated CPU time (s) 779.84
Current children cumulated vsize (Kb) 155304

[startup+800.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38097 0 0 0 78325 651 0 0 25 0 1 0 1795574760 159301632 37938 4294967295 134512640 134736556 3221224560 3221223296 134645976 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 38892 37938 1116 68 0 38824 0
[pid=28873] vsize: 155568
Current children cumulated CPU time (s) 789.76
Current children cumulated vsize (Kb) 155568

[startup+810.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38318 0 0 0 79307 658 0 0 25 0 1 0 1795574760 160247808 38159 4294967295 134512640 134736556 3221224560 3221223232 134534851 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39123 38159 1116 68 0 39055 0
[pid=28873] vsize: 156492
Current children cumulated CPU time (s) 799.65
Current children cumulated vsize (Kb) 156492

[startup+820.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38318 0 0 0 80294 663 0 0 25 0 1 0 1795574760 160247808 38159 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39123 38159 1116 68 0 39055 0
[pid=28873] vsize: 156492
Current children cumulated CPU time (s) 809.57
Current children cumulated vsize (Kb) 156492

[startup+830.046 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38453 0 0 0 81279 668 0 0 25 0 1 0 1795574760 160788480 38294 4294967295 134512640 134736556 3221224560 3221223216 134649110 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39255 38294 1116 68 0 39187 0
[pid=28873] vsize: 157020
Current children cumulated CPU time (s) 819.47
Current children cumulated vsize (Kb) 157020

[startup+840.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38453 0 0 0 82265 674 0 0 25 0 1 0 1795574760 160788480 38294 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39255 38294 1116 68 0 39187 0
[pid=28873] vsize: 157020
Current children cumulated CPU time (s) 829.39
Current children cumulated vsize (Kb) 157020

[startup+850.047 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38584 0 0 0 83248 680 0 0 25 0 1 0 1795574760 161329152 38425 4294967295 134512640 134736556 3221224560 3221223052 134536369 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39387 38425 1116 68 0 39319 0
[pid=28873] vsize: 157548
Current children cumulated CPU time (s) 839.28
Current children cumulated vsize (Kb) 157548

[startup+860.048 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38584 0 0 0 84234 684 0 0 25 0 1 0 1795574760 161329152 38425 4294967295 134512640 134736556 3221224560 3221223104 134541150 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39387 38425 1116 68 0 39319 0
[pid=28873] vsize: 157548
Current children cumulated CPU time (s) 849.18
Current children cumulated vsize (Kb) 157548

[startup+870.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38584 0 0 0 85220 690 0 0 25 0 1 0 1795574760 161329152 38425 4294967295 134512640 134736556 3221224560 3221223212 134539468 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39387 38425 1116 68 0 39319 0
[pid=28873] vsize: 157548
Current children cumulated CPU time (s) 859.1
Current children cumulated vsize (Kb) 157548

[startup+880.049 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38598 0 0 0 86206 694 0 0 25 0 1 0 1795574760 161464320 38439 4294967295 134512640 134736556 3221224560 3221223200 134649074 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39420 38439 1116 68 0 39352 0
[pid=28873] vsize: 157680
Current children cumulated CPU time (s) 869
Current children cumulated vsize (Kb) 157680

[startup+890.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38703 0 0 0 87192 700 0 0 25 0 1 0 1795574760 161869824 38544 4294967295 134512640 134736556 3221224560 3221223196 134558384 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39519 38544 1116 68 0 39451 0
[pid=28873] vsize: 158076
Current children cumulated CPU time (s) 878.92
Current children cumulated vsize (Kb) 158076

[startup+900.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 38703 0 0 0 88178 705 0 0 25 0 1 0 1795574760 161869824 38544 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39519 38544 1116 68 0 39451 0
[pid=28873] vsize: 158076
Current children cumulated CPU time (s) 888.83
Current children cumulated vsize (Kb) 158076

[startup+910.051 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38703 0 0 0 89165 709 0 0 25 0 1 0 1795574760 161869824 38544 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39519 38544 1116 68 0 39451 0
[pid=28873] vsize: 158076
Current children cumulated CPU time (s) 898.74
Current children cumulated vsize (Kb) 158076

[startup+920.052 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 38703 0 0 0 90151 714 0 0 25 0 1 0 1795574760 161869824 38544 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39519 38544 1116 68 0 39451 0
[pid=28873] vsize: 158076
Current children cumulated CPU time (s) 908.65
Current children cumulated vsize (Kb) 158076

[startup+930.052 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 38992 0 0 0 91136 719 0 0 25 0 1 0 1795574760 162951168 38831 4294967295 134512640 134736556 3221224560 3221223176 134537599 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39783 38831 1116 68 0 39715 0
[pid=28873] vsize: 159132
Current children cumulated CPU time (s) 918.55
Current children cumulated vsize (Kb) 159132

[startup+940.053 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 39100 0 0 0 92122 725 0 0 25 0 1 0 1795574760 163356672 38939 4294967295 134512640 134736556 3221224560 3221223216 134649038 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39882 38939 1116 68 0 39814 0
[pid=28873] vsize: 159528
Current children cumulated CPU time (s) 928.47
Current children cumulated vsize (Kb) 159528

[startup+950.053 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 39101 0 0 0 93108 731 0 0 25 0 1 0 1795574760 163356672 38940 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 39882 38940 1116 68 0 39814 0
[pid=28873] vsize: 159528
Current children cumulated CPU time (s) 938.39
Current children cumulated vsize (Kb) 159528

[startup+960.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 39752 0 0 0 94088 738 0 0 25 0 1 0 1795574760 166060032 39591 4294967295 134512640 134736556 3221224560 3221223132 134560304 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 40542 39591 1116 68 0 40474 0
[pid=28873] vsize: 162168
Current children cumulated CPU time (s) 948.26
Current children cumulated vsize (Kb) 162168

[startup+970.054 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 39752 0 0 0 95071 745 0 0 25 0 1 0 1795574760 166060032 39591 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 40542 39591 1116 68 0 40474 0
[pid=28873] vsize: 162168
Current children cumulated CPU time (s) 958.16
Current children cumulated vsize (Kb) 162168

[startup+980.054 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 39752 0 0 0 96054 752 0 0 25 0 1 0 1795574760 166060032 39591 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 40542 39591 1116 68 0 40474 0
[pid=28873] vsize: 162168
Current children cumulated CPU time (s) 968.06
Current children cumulated vsize (Kb) 162168

[startup+990.055 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 39752 0 0 0 97038 758 0 0 25 0 1 0 1795574760 166060032 39591 4294967295 134512640 134736556 3221224560 3221223168 134558180 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 40542 39591 1116 68 0 40474 0
[pid=28873] vsize: 162168
Current children cumulated CPU time (s) 977.96
Current children cumulated vsize (Kb) 162168

[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 39753 0 0 0 98023 764 0 0 25 0 1 0 1795574760 166060032 39592 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 40542 39592 1116 68 0 40474 0
[pid=28873] vsize: 162168
Current children cumulated CPU time (s) 987.87
Current children cumulated vsize (Kb) 162168

[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 39754 0 0 0 99007 770 0 0 25 0 1 0 1795574760 166060032 39593 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 40542 39593 1116 68 0 40474 0
[pid=28873] vsize: 162168
Current children cumulated CPU time (s) 997.77
Current children cumulated vsize (Kb) 162168

[startup+1020.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 39755 0 0 0 99993 776 0 0 25 0 1 0 1795574760 166060032 39594 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 40542 39594 1116 68 0 40474 0
[pid=28873] vsize: 162168
Current children cumulated CPU time (s) 1007.69
Current children cumulated vsize (Kb) 162168

[startup+1030.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 41281 0 0 0 100971 786 0 0 25 0 1 0 1795574760 172474368 41120 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 42108 41120 1116 68 0 42040 0
[pid=28873] vsize: 168432
Current children cumulated CPU time (s) 1017.57
Current children cumulated vsize (Kb) 168432

[startup+1040.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 41281 0 0 0 101957 790 0 0 25 0 1 0 1795574760 172474368 41120 4294967295 134512640 134736556 3221224560 3221223152 134558411 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 42108 41120 1116 68 0 42040 0
[pid=28873] vsize: 168432
Current children cumulated CPU time (s) 1027.47
Current children cumulated vsize (Kb) 168432

[startup+1050.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 41706 0 0 0 102942 797 0 0 25 0 1 0 1795574760 174235648 41545 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 42538 41545 1116 68 0 42470 0
[pid=28873] vsize: 170152
Current children cumulated CPU time (s) 1037.39
Current children cumulated vsize (Kb) 170152

[startup+1060.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 41985 0 0 0 103928 801 0 0 25 0 1 0 1795574760 175403008 41824 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 42823 41824 1116 68 0 42755 0
[pid=28873] vsize: 171292
Current children cumulated CPU time (s) 1047.29
Current children cumulated vsize (Kb) 171292

[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 42008 0 0 0 104914 806 0 0 25 0 1 0 1795574760 175489024 41847 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 42844 41847 1116 68 0 42776 0
[pid=28873] vsize: 171376
Current children cumulated CPU time (s) 1057.2
Current children cumulated vsize (Kb) 171376

[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 42209 0 0 0 105900 812 0 0 25 0 1 0 1795574760 176308224 42048 4294967295 134512640 134736556 3221224560 3221223072 134543478 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42048 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1067.12
Current children cumulated vsize (Kb) 172176

[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 42209 0 0 0 106886 816 0 0 25 0 1 0 1795574760 176308224 42048 4294967295 134512640 134736556 3221224560 3221223296 134645965 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42048 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1077.02
Current children cumulated vsize (Kb) 172176

[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 42209 0 0 0 107872 822 0 0 25 0 1 0 1795574760 176308224 42048 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42048 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1086.94
Current children cumulated vsize (Kb) 172176

[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 42209 0 0 0 108854 828 0 0 25 0 1 0 1795574760 176308224 42048 4294967295 134512640 134736556 3221224560 3221223176 134537597 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42048 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1096.82
Current children cumulated vsize (Kb) 172176

[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 42211 0 0 0 109831 837 0 0 25 0 1 0 1795574760 176308224 42050 4294967295 134512640 134736556 3221224560 3221223176 134537586 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/28873/statm): 43044 42050 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1106.68
Current children cumulated vsize (Kb) 172176

[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 42211 0 0 0 110809 844 0 0 25 0 1 0 1795574760 176308224 42050 4294967295 134512640 134736556 3221224560 3221223168 134558509 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42050 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1116.53
Current children cumulated vsize (Kb) 172176

[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 42211 0 0 0 111797 848 0 0 25 0 1 0 1795574760 176308224 42050 4294967295 134512640 134736556 3221224560 3221222884 1077378601 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42050 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1126.45
Current children cumulated vsize (Kb) 172176

[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 42211 0 0 0 112785 852 0 0 25 0 1 0 1795574760 176308224 42050 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42050 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1136.37
Current children cumulated vsize (Kb) 172176

[startup+1160.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 42211 0 0 0 113771 858 0 0 25 0 1 0 1795574760 176308224 42050 4294967295 134512640 134736556 3221224560 3221223176 134558391 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42050 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1146.29
Current children cumulated vsize (Kb) 172176

[startup+1170.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 42211 0 0 0 114758 862 0 0 25 0 1 0 1795574760 176308224 42050 4294967295 134512640 134736556 3221224560 3221223216 134649034 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42050 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1156.2
Current children cumulated vsize (Kb) 172176

[startup+1180.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 42211 0 0 0 115745 866 0 0 25 0 1 0 1795574760 176308224 42050 4294967295 134512640 134736556 3221224560 3221223132 134544556 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42050 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1166.11
Current children cumulated vsize (Kb) 172176

[startup+1190.06 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) T 28872 28873 31778 0 -1 0 42211 0 0 0 116733 871 0 0 25 0 1 0 1795574760 176308224 42050 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42050 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1176.04
Current children cumulated vsize (Kb) 172176

[startup+1200.06 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 28873
Raw data (/proc/28873/stat): 28873 (bsolo) R 28872 28873 31778 0 -1 0 42212 0 0 0 117719 877 0 0 25 0 1 0 1795574760 176308224 42051 4294967295 134512640 134736556 3221224560 3221223052 134536223 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/28873/statm): 43044 42051 1116 68 0 42976 0
[pid=28873] vsize: 172176
Current children cumulated CPU time (s) 1185.96
Current children cumulated vsize (Kb) 172176
One traced child (pid=28873) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1209.31
CPU time (s): 1195.1
CPU user time (s): 1186.18
CPU system time (s): 8.92064
CPU usage (%): 98.8253
Max. virtual memory (cumulated for all children) (Kb): 172176

Verifier Data

Verifier:	OK	6351