Some explanations

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

General information on the benchmark

Namemps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-ran10x10c.opb
MD5SUMda5013babdadf38e39e51a27df2c50f3
Bench Categoryoptimization, big integers (OPTBIGINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 23566654
Optimality of the best value was proved NO
Number of terms in the objective function 3100
Biggest coefficient in the objective function 4831838208
Number of bits for the biggest coefficient in the objective function 33
Sum of the numbers in the objective function 515495338528
Number of bits of the sum of numbers in the objective function 39
Biggest number in a constraint 4831838208
Number of bits of the biggest number in a constraint 33
Biggest sum of numbers in a constraint 515495338528
Number of bits of the biggest sum of numbers39
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1236.44
Number of variables3100
Total number of constraints120
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint31
Maximum length of a constraint300

Trace number 2160

Launcher Data

LAUNCH ON wulflinc10 THE 2005-09-18 17:50:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=694 boxname=wulflinc10 idbench=694 idsolver=1 numberseed=0
MD5SUM SOLVER: 38f99674050b34630888bf623b924b59  /oldhome/oroussel/solvers/bsolo
MD5SUM BENCH:  da5013babdadf38e39e51a27df2c50f3  /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-ran10x10c.opb
REAL COMMAND:  bsolo /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-20-10-ran10x10c.opb
IDLAUNCH: 694
/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:        923284 kB
Buffers:         35016 kB
Cached:          49892 kB
SwapCached:        228 kB
Active:          66412 kB
Inactive:        21460 kB
HighTotal:      131008 kB
HighFree:        77336 kB
LowTotal:       903652 kB
LowFree:        845948 kB
SwapTotal:     2097136 kB
SwapFree:      2096756 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           6272 kB
Slab:            18056 kB
Committed_AS:    64164 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-18 18:10:22 (client local time) WITH STATUS 10 IN 1195.07 SECONDS
stats: 694 0 1195.07 10

Solver Data

c INFO: OSL Context initialized.
c BIG Int formula...
c Initial problem consists of 3100 variables and 140 constraints.
c No problem reductions applied in OPT. instance.
c	preprocess terminated. Elapsed time: 0.907
c After prepocess the problem consists of 1387 variables and 140 constraints.
c Initial Lower Bound: 0
c Restart #1 #Var: 1387 #Dec: 2666 LB: 0 @ 1.5
c Restart #2 #Var: 1387 #Dec: 7039 LB: 0 @ 2.689
c Restart #3 #Var: 1387 #Dec: 13579 LB: 0 @ 4.569
c Restart #4 #Var: 1387 #Dec: 22720 LB: 0 @ 7.005
c Restart #5 #Var: 1387 #Dec: 33635 LB: 0 @ 9.879
c Restart #6 #Var: 1387 #Dec: 47484 LB: 0 @ 13.442
c Restart #7 #Var: 1387 #Dec: 57917 LB: 0 @ 17.092
c Restart #8 #Var: 1387 #Dec: 60590 LB: 0 @ 21.619
c Restart #9 #Var: 1387 #Dec: 62647 LB: 0 @ 25.891
c Restart #10 #Var: 1387 #Dec: 64962 LB: 0 @ 30.508
c Restart #11 #Var: 1387 #Dec: 68069 LB: 0 @ 35.787
c Restart #12 #Var: 1387 #Dec: 70909 LB: 0 @ 40.878
c Restart #13 #Var: 1387 #Dec: 73729 LB: 0 @ 46.844
c Restart #14 #Var: 1387 #Dec: 76906 LB: 0 @ 53.916
c Restart #15 #Var: 1387 #Dec: 80053 LB: 0 @ 61.221
c Restart #16 #Var: 1387 #Dec: 83861 LB: 0 @ 68.455
c Restart #17 #Var: 1387 #Dec: 87420 LB: 0 @ 77.07
c Restart #18 #Var: 1387 #Dec: 91177 LB: 0 @ 86.24
c Restart #19 #Var: 1387 #Dec: 95119 LB: 0 @ 95.856
c Restart #20 #Var: 1387 #Dec: 99229 LB: 0 @ 106.35
c Restart #21 #Var: 1387 #Dec: 103544 LB: 0 @ 117.72
c Restart #22 #Var: 1387 #Dec: 108038 LB: 0 @ 128.73
c Restart #23 #Var: 1387 #Dec: 112741 LB: 0 @ 141.46
c Restart #24 #Var: 1387 #Dec: 117626 LB: 0 @ 153.68
c NEW SOLUTION FOUND: 77648319 @ 155.45 @ #Dec. 118656
c NEW SOLUTION FOUND: 76529107 @ 155.48 @ #Dec. 118657
c NEW SOLUTION FOUND: 76529087 @ 155.5 @ #Dec. 118657
c NEW SOLUTION FOUND: 75568595 @ 155.52 @ #Dec. 118659
c NEW SOLUTION FOUND: 75568575 @ 155.53 @ #Dec. 118659
c NEW SOLUTION FOUND: 74494399 @ 155.56 @ #Dec. 118662
c NEW SOLUTION FOUND: 74494387 @ 155.63 @ #Dec. 118667
c NEW SOLUTION FOUND: 73612723 @ 155.72 @ #Dec. 118673
c NEW SOLUTION FOUND: 71517160 @ 156.08 @ #Dec. 118707
c NEW SOLUTION FOUND: 71516760 @ 158.89 @ #Dec. 118845
c NEW SOLUTION FOUND: 71516740 @ 158.9 @ #Dec. 118845
c NEW SOLUTION FOUND: 71516732 @ 159.88 @ #Dec. 118893
c NEW SOLUTION FOUND: 71516723 @ 159.94 @ #Dec. 118898
c NEW SOLUTION FOUND: 71516715 @ 160.42 @ #Dec. 118917
c NEW SOLUTION FOUND: 71516712 @ 160.51 @ #Dec. 118919
c NEW SOLUTION FOUND: 71516632 @ 160.73 @ #Dec. 118925
c NEW SOLUTION FOUND: 71516612 @ 160.74 @ #Dec. 118925
c NEW SOLUTION FOUND: 71516604 @ 161.59 @ #Dec. 118952
c NEW SOLUTION FOUND: 71516595 @ 161.75 @ #Dec. 118956
c NEW SOLUTION FOUND: 71516248 @ 162.54 @ #Dec. 119011
c NEW SOLUTION FOUND: 71516228 @ 162.55 @ #Dec. 119011
c NEW SOLUTION FOUND: 71516220 @ 163.61 @ #Dec. 119040
c NEW SOLUTION FOUND: 71516211 @ 163.81 @ #Dec. 119045
c NEW SOLUTION FOUND: 71515738 @ 167.5 @ #Dec. 119171
c NEW SOLUTION FOUND: 71515718 @ 167.53 @ #Dec. 119171
c NEW SOLUTION FOUND: 71515716 @ 167.56 @ #Dec. 119172
c NEW SOLUTION FOUND: 71515708 @ 168.56 @ #Dec. 119202
c NEW SOLUTION FOUND: 71515699 @ 168.74 @ #Dec. 119207
c NEW SOLUTION FOUND: 71515670 @ 187.8 @ #Dec. 119767
c NEW SOLUTION FOUND: 71515668 @ 187.89 @ #Dec. 119768
c NEW SOLUTION FOUND: 71515654 @ 188.17 @ #Dec. 119775
c NEW SOLUTION FOUND: 71515652 @ 188.28 @ #Dec. 119777
c NEW SOLUTION FOUND: 71515651 @ 189.34 @ #Dec. 119810
c NEW SOLUTION FOUND: 71515649 @ 189.45 @ #Dec. 119812
c NEW SOLUTION FOUND: 71515422 @ 189.71 @ #Dec. 119821
c NEW SOLUTION FOUND: 71515420 @ 189.83 @ #Dec. 119826
c NEW SOLUTION FOUND: 71515418 @ 190.26 @ #Dec. 119837
c NEW SOLUTION FOUND: 71515407 @ 190.35 @ #Dec. 119839
c NEW SOLUTION FOUND: 71515405 @ 205.48 @ #Dec. 120334
c NEW SOLUTION FOUND: 71515403 @ 205.93 @ #Dec. 120344
c NEW SOLUTION FOUND: 71515401 @ 206.36 @ #Dec. 120357
c NEW SOLUTION FOUND: 71515399 @ 206.48 @ #Dec. 120358
c NEW SOLUTION FOUND: 71515397 @ 206.95 @ #Dec. 120370
c NEW SOLUTION FOUND: 71515384 @ 210.25 @ #Dec. 120475
c NEW SOLUTION FOUND: 71515370 @ 210.34 @ #Dec. 120476
c NEW SOLUTION FOUND: 71515369 @ 210.61 @ #Dec. 120487
c NEW SOLUTION FOUND: 71515364 @ 210.61 @ #Dec. 120487
c NEW SOLUTION FOUND: 71515362 @ 211.84 @ #Dec. 120521
c NEW SOLUTION FOUND: 71515361 @ 212.02 @ #Dec. 120528
c NEW SOLUTION FOUND: 71515356 @ 212.03 @ #Dec. 120528
c NEW SOLUTION FOUND: 71515351 @ 237.43 @ #Dec. 121594
c NEW SOLUTION FOUND: 71515347 @ 237.52 @ #Dec. 121596
c NEW SOLUTION FOUND: 70426135 @ 240.47 @ #Dec. 121806
c NEW SOLUTION FOUND: 70426133 @ 240.52 @ #Dec. 121806
c NEW SOLUTION FOUND: 70425785 @ 249.09 @ #Dec. 122039
c NEW SOLUTION FOUND: 70425783 @ 249.1 @ #Dec. 122039
c NEW SOLUTION FOUND: 70425781 @ 249.38 @ #Dec. 122044
c NEW SOLUTION FOUND: 70425775 @ 273.77 @ #Dec. 122802
c NEW SOLUTION FOUND: 70425760 @ 275.82 @ #Dec. 122873
c NEW SOLUTION FOUND: 70425749 @ 276.11 @ #Dec. 122881
c NEW SOLUTION FOUND: 70425747 @ 276.97 @ #Dec. 122905
c NEW SOLUTION FOUND: 70425745 @ 276.99 @ #Dec. 122905
c NEW SOLUTION FOUND: 70425744 @ 277.38 @ #Dec. 122916
c NEW SOLUTION FOUND: 70425741 @ 277.61 @ #Dec. 122920
c NEW SOLUTION FOUND: 70425736 @ 362.82 @ #Dec. 126327
c NEW SOLUTION FOUND: 70425735 @ 474.68 @ #Dec. 130135
c NEW SOLUTION FOUND: 70425731 @ 475.16 @ #Dec. 130148
c NEW SOLUTION FOUND: 70425724 @ 475.43 @ #Dec. 130155
c NEW SOLUTION FOUND: 70425431 @ 592.43 @ #Dec. 134029
c NEW SOLUTION FOUND: 70425414 @ 595.24 @ #Dec. 134114
c NEW SOLUTION FOUND: 70425396 @ 595.92 @ #Dec. 134134
c NEW SOLUTION FOUND: 70425392 @ 601.48 @ #Dec. 134329
c NEW SOLUTION FOUND: 70425373 @ 605.01 @ #Dec. 134454
c NEW SOLUTION FOUND: 70425371 @ 605.33 @ #Dec. 134463
c NEW SOLUTION FOUND: 70425364 @ 605.46 @ #Dec. 134467
c NEW SOLUTION FOUND: 70425363 @ 606.14 @ #Dec. 134490
c NEW SOLUTION FOUND: 70425359 @ 606.37 @ #Dec. 134494
c NEW SOLUTION FOUND: 70425308 @ 609.34 @ #Dec. 134594
c NEW SOLUTION FOUND: 70425259 @ 648.07 @ #Dec. 135957
c NEW SOLUTION FOUND: 70425251 @ 656.22 @ #Dec. 136174
c NEW SOLUTION FOUND: 70425247 @ 719.07 @ #Dec. 138130
c NEW SOLUTION FOUND: 70425235 @ 719.5 @ #Dec. 138137
c NEW SOLUTION FOUND: 70425206 @ 724.58 @ #Dec. 138345
c NEW SOLUTION FOUND: 70425205 @ 724.86 @ #Dec. 138352
c NEW SOLUTION FOUND: 70425202 @ 730.66 @ #Dec. 138482
c NEW SOLUTION FOUND: 70425190 @ 730.67 @ #Dec. 138482
c NEW SOLUTION FOUND: 70425187 @ 730.9 @ #Dec. 138489
c NEW SOLUTION FOUND: 70425185 @ 730.99 @ #Dec. 138493
c NEW SOLUTION FOUND: 70425183 @ 731.47 @ #Dec. 138508
c NEW SOLUTION FOUND: 70425181 @ 731.83 @ #Dec. 138519
c NEW SOLUTION FOUND: 70425164 @ 732.45 @ #Dec. 138536
c NEW SOLUTION FOUND: 70425152 @ 732.46 @ #Dec. 138536
c NEW SOLUTION FOUND: 70425145 @ 732.68 @ #Dec. 138544
c NEW SOLUTION FOUND: 70425144 @ 733.77 @ #Dec. 138574
c NEW SOLUTION FOUND: 70425141 @ 736.23 @ #Dec. 138636
c NEW SOLUTION FOUND: 70425139 @ 744.91 @ #Dec. 138888
c NEW SOLUTION FOUND: 70425132 @ 745.23 @ #Dec. 138896
c NEW SOLUTION FOUND: 70425129 @ 766.17 @ #Dec. 139499
c NEW SOLUTION FOUND: 70425128 @ 768.75 @ #Dec. 139568
c NEW SOLUTION FOUND: 70425125 @ 769.71 @ #Dec. 139592
c NEW SOLUTION FOUND: 70425114 @ 791.2 @ #Dec. 140454
c NEW SOLUTION FOUND: 70425102 @ 791.21 @ #Dec. 140454
c NEW SOLUTION FOUND: 70425090 @ 791.37 @ #Dec. 140460
c NEW SOLUTION FOUND: 70425078 @ 791.39 @ #Dec. 140460
c NEW SOLUTION FOUND: 70425067 @ 791.62 @ #Dec. 140465
c NEW SOLUTION FOUND: 70425059 @ 791.91 @ #Dec. 140474
c NEW SOLUTION FOUND: 70425043 @ 792.55 @ #Dec. 140491
c NEW SOLUTION FOUND: 70425035 @ 792.78 @ #Dec. 140497
c NEW SOLUTION FOUND: 70425027 @ 795.54 @ #Dec. 140606
c NEW SOLUTION FOUND: 70425019 @ 795.77 @ #Dec. 140615
c NEW SOLUTION FOUND: 70425011 @ 802.35 @ #Dec. 140852
c NEW SOLUTION FOUND: 70424999 @ 878.43 @ #Dec. 143414
c NEW SOLUTION FOUND: 70424988 @ 878.47 @ #Dec. 143415
c NEW SOLUTION FOUND: 70424986 @ 881.44 @ #Dec. 143510
c NEW SOLUTION FOUND: 70424984 @ 881.68 @ #Dec. 143518
c NEW SOLUTION FOUND: 70424979 @ 881.91 @ #Dec. 143523
c NEW SOLUTION FOUND: 70424975 @ 882.09 @ #Dec. 143529
c NEW SOLUTION FOUND: 70424964 @ 882.13 @ #Dec. 143530
c NEW SOLUTION FOUND: 70424955 @ 888.05 @ #Dec. 143702
c NEW SOLUTION FOUND: 70424948 @ 888.12 @ #Dec. 143704
c NEW SOLUTION FOUND: 70424947 @ 890.9 @ #Dec. 143793
c NEW SOLUTION FOUND: 70424944 @ 891.09 @ #Dec. 143802
c NEW SOLUTION FOUND: 70424941 @ 892.63 @ #Dec. 143853
c NEW SOLUTION FOUND: 70424935 @ 908.66 @ #Dec. 144319
c NEW SOLUTION FOUND: 70424931 @ 908.95 @ #Dec. 144327
c NEW SOLUTION FOUND: 70424924 @ 909.16 @ #Dec. 144337
c NEW SOLUTION FOUND: 70424923 @ 913.46 @ #Dec. 144463
c NEW SOLUTION FOUND: 70424922 @ 913.8 @ #Dec. 144472
c NEW SOLUTION FOUND: 70424920 @ 913.95 @ #Dec. 144477
c NEW SOLUTION FOUND: 70424917 @ 914.16 @ #Dec. 144483
c NEW SOLUTION FOUND: 70424916 @ 922.95 @ #Dec. 144785
c NEW SOLUTION FOUND: 70424913 @ 931.89 @ #Dec. 145099
c NEW SOLUTION FOUND: 70424912 @ 932.79 @ #Dec. 145123
c NEW SOLUTION FOUND: 70424911 @ 932.97 @ #Dec. 145131
c NEW SOLUTION FOUND: 70424909 @ 933.53 @ #Dec. 145145
c NEW SOLUTION FOUND: 70424727 @ 983.26 @ #Dec. 147644
c NEW SOLUTION FOUND: 70424692 @ 985.55 @ #Dec. 147714
c NEW SOLUTION FOUND: 70424685 @ 986.37 @ #Dec. 147737
c NEW SOLUTION FOUND: 70424677 @ 987.17 @ #Dec. 147763
c NEW SOLUTION FOUND: 70424657 @ 989.6 @ #Dec. 147843
c NEW SOLUTION FOUND: 70424655 @ 990.11 @ #Dec. 147858
c NEW SOLUTION FOUND: 70424653 @ 990.14 @ #Dec. 147858
c NEW SOLUTION FOUND: 70424639 @ 992.94 @ #Dec. 147941
c NEW SOLUTION FOUND: 70424637 @ 992.97 @ #Dec. 147942
c NEW SOLUTION FOUND: 70424631 @ 992.99 @ #Dec. 147942
c NEW SOLUTION FOUND: 70424629 @ 993.09 @ #Dec. 147943
c NEW SOLUTION FOUND: 70424627 @ 993.11 @ #Dec. 147946
c NEW SOLUTION FOUND: 70424625 @ 993.17 @ #Dec. 147947
c NEW SOLUTION FOUND: 70424623 @ 993.29 @ #Dec. 147949
c NEW SOLUTION FOUND: 70424622 @ 993.82 @ #Dec. 147967
c NEW SOLUTION FOUND: 70424620 @ 993.83 @ #Dec. 147967
c NEW SOLUTION FOUND: 70424616 @ 996.47 @ #Dec. 148049
c NEW SOLUTION FOUND: 70424613 @ 998.68 @ #Dec. 148123
c NEW SOLUTION FOUND: 70424611 @ 1037 @ #Dec. 149656
c NEW SOLUTION FOUND: 70424607 @ 1037.5 @ #Dec. 149672
c NEW SOLUTION FOUND: 70424605 @ 1038.4 @ #Dec. 149697
c NEW SOLUTION FOUND: 70424591 @ 1038.9 @ #Dec. 149716
c NEW SOLUTION FOUND: 70424587 @ 1039 @ #Dec. 149718
c NEW SOLUTION FOUND: 70424583 @ 1039.1 @ #Dec. 149720
c NEW SOLUTION FOUND: 70424581 @ 1039.7 @ #Dec. 149735
c NEW SOLUTION FOUND: 70424580 @ 1041.8 @ #Dec. 149803
c NEW SOLUTION FOUND: 70424578 @ 1042.1 @ #Dec. 149811
c NEW SOLUTION FOUND: 70424576 @ 1042.3 @ #Dec. 149816
c NEW SOLUTION FOUND: 70424573 @ 1044.1 @ #Dec. 149869
c NEW SOLUTION FOUND: 70424572 @ 1045.1 @ #Dec. 149904
c NEW SOLUTION FOUND: 70424570 @ 1048.6 @ #Dec. 150012
c NEW SOLUTION FOUND: 70424569 @ 1050.2 @ #Dec. 150057
c NEW SOLUTION FOUND: 70424568 @ 1050.8 @ #Dec. 150075
c NEW SOLUTION FOUND: 70424565 @ 1051.6 @ #Dec. 150099
c NEW SOLUTION FOUND: 70424563 @ 1055.9 @ #Dec. 150244
c NEW SOLUTION FOUND: 70424560 @ 1056.3 @ #Dec. 150253
c NEW SOLUTION FOUND: 70424559 @ 1056.4 @ #Dec. 150257
c NEW SOLUTION FOUND: 70424558 @ 1056.7 @ #Dec. 150265
c NEW SOLUTION FOUND: 70424556 @ 1056.8 @ #Dec. 150266
c NEW SOLUTION FOUND: 70424554 @ 1062 @ #Dec. 150433
c NEW SOLUTION FOUND: 70424553 @ 1063.7 @ #Dec. 150479
c NEW SOLUTION FOUND: 70424552 @ 1064 @ #Dec. 150490
c NEW SOLUTION FOUND: 70424551 @ 1065 @ #Dec. 150520
c NEW SOLUTION FOUND: 70424549 @ 1065.2 @ #Dec. 150525
c NEW SOLUTION FOUND: 70424498 @ 1186.7 @ #Dec. 155049
c NEW SOLUTION FOUND: 70424486 @ 1186.7 @ #Dec. 155049
c NEW SOLUTION FOUND: 70424458 @ 1186.9 @ #Dec. 155059
c NEW SOLUTION FOUND: 70424455 @ 1187 @ #Dec. 155063
c NEW SOLUTION FOUND: 70424453 @ 1187.2 @ #Dec. 155071
c NEW SOLUTION FOUND: 70424452 @ 1187.4 @ #Dec. 155074
c NEW SOLUTION FOUND: 70424450 @ 1187.4 @ #Dec. 155077
c NEW SOLUTION FOUND: 70424445 @ 1187.6 @ #Dec. 155083
c NEW SOLUTION FOUND: 70424444 @ 1191.7 @ #Dec. 155214
c NEW SOLUTION FOUND: 70424443 @ 1192.6 @ #Dec. 155240
c NEW SOLUTION FOUND: 70424441 @ 1192.7 @ #Dec. 155241
c NEW SOLUTION FOUND: 70424440 @ 1193.5 @ #Dec. 155267
c NEW SOLUTION FOUND: 70424439 @ 1193.5 @ #Dec. 155270
c NEW SOLUTION FOUND: 70424437 @ 1193.7 @ #Dec. 155277
s SATISFIABLE
v -X0_bit_10 -X0_bit_9 -X0_bit_8 -X0_bit_7 -X0_bit_6 -X0_bit_5 -X0_bit_4 -X0_bit_3 -X0_bit_2 -X0_bit_1 -X0_bit0 -X0_bit1 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit10 -X0_bit11 -X0_bit12 -X0_bit13 -X0_bit14 -X0_bit15 -X0_bit16 -X0_bit17 -X0_bit18 -X0_bit19 -X1_bit_10 -X1_bit_9 -X1_bit_8 -X1_bit_7 -X1_bit_6 X1_bit_5 X1_bit_4 X1_bit_3 X1_bit_2 X1_bit_1 -X1_bit0 -X1_bit1 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit10 -X1_bit11 -X1_bit12 -X1_bit13 -X1_bit14 -X1_bit15 -X1_bit16 -X1_bit17 -X1_bit18 -X1_bit19 X2_bit_10 -X2_bit_9 X2_bit_8 X2_bit_7 -X2_bit_6 -X2_bit_5 -X2_bit_4 X2_bit_3 -X2_bit_2 -X2_bit_1 -X2_bit0 -X2_bit1 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit10 -X2_bit11 -X2_bit12 -X2_bit13 -X2_bit14 -X2_bit15 -X2_bit16 -X2_bit17 -X2_bit18 -X2_bit19 -X3_bit_10 -X3_bit_9 -X3_bit_8 -X3_bit_7 -X3_bit_6 -X3_bit_5 -X3_bit_4 -X3_bit_3 -X3_bit_2 -X3_bit_1 -X3_bit0 -X3_bit1 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit10 -X3_bit11 -X3_bit12 -X3_bit13 -X3_bit14 -X3_bit15 -X3_bit16 -X3_bit17 -X3_bit18 -X3_bit19 -X4_bit_10 X4_bit_9 -X4_bit_8 X4_bit_7 X4_bit_6 -X4_bit_5 X4_bit_4 -X4_bit_3 -X4_bit_2 X4_bit_1 -X4_bit0 -X4_bit1 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit10 -X4_bit11 -X4_bit12 -X4_bit13 -X4_bit14 -X4_bit15 -X4_bit16 -X4_bit17 -X4_bit18 -X4_bit19 -X5_bit_10 X5_bit_9 -X5_bit_8 X5_bit_7 -X5_bit_6 X5_bit_5 X5_bit_4 -X5_bit_3 -X5_bit_2 -X5_bit_1 -X5_bit0 -X5_bit1 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit10 -X5_bit11 -X5_bit12 -X5_bit13 -X5_bit14 -X5_bit15 -X5_bit16 -X5_bit17 -X5_bit18 -X5_bit19 X6_bit_10 X6_bit_9 -X6_bit_8 -X6_bit_7 -X6_bit_6 -X6_bit_5 -X6_bit_4 -X6_bit_3 -X6_bit_2 -X6_bit_1 X6_bit0 -X6_bit1 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit10 -X6_bit11 -X6_bit12 -X6_bit13 -X6_bit14 -X6_bit15 -X6_bit16 -X6_bit17 -X6_bit18 -X6_bit19 -X7_bit_10 -X7_bit_9 -X7_bit_8 -X7_bit_7 -X7_bit_6 -X7_bit_5 -X7_bit_4 -X7_bit_3 -X7_bit_2 -X7_bit_1 -X7_bit0 -X7_bit1 -X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit10 -X7_bit11 -X7_bit12 -X7_bit13 -X7_bit14 -X7_bit15 -X7_bit16 -X7_bit17 -X7_bit18 -X7_bit19 -X8_bit_10 -X8_bit_9 X8_bit_8 X8_bit_7 -X8_bit_6 X8_bit_5 X8_bit_4 -X8_bit_3 -X8_bit_2 -X8_bit_1 -X8_bit0 -X8_bit1 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit10 -X8_bit11 -X8_bit12 -X8_bit13 -X8_bit14 -X8_bit15 -X8_bit16 -X8_bit17 -X8_bit18 -X8_bit19 -X9_bit_10 -X9_bit_9 -X9_bit_8 -X9_bit_7 -X9_bit_6 X9_bit_5 X9_bit_4 -X9_bit_3 -X9_bit_2 -X9_bit_1 -X9_bit0 -X9_bit1 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit10 -X9_bit11 -X9_bit12 -X9_bit13 -X9_bit14 -X9_bit15 -X9_bit16 -X9_bit17 -X9_bit18 -X9_bit19 -X10_bit_10 -X10_bit_9 -X10_bit_8 -X10_bit_7 -X10_bit_6 -X10_bit_5 -X10_bit_4 -X10_bit_3 -X10_bit_2 -X10_bit_1 -X10_bit0 X10_bit1 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit13 -X10_bit14 -X10_bit15 -X10_bit16 -X10_bit17 -X10_bit18 -X10_bit19 -X11_bit_10 -X11_bit_9 -X11_bit_8 -X11_bit_7 -X11_bit_6 -X11_bit_5 X11_bit_4 X11_bit_3 X11_bit_2 -X11_bit_1 -X11_bit0 -X11_bit1 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit13 -X11_bit14 -X11_bit15 -X11_bit16 -X11_bit17 -X11_bit18 -X11_bit19 X12_bit_10 X12_bit_9 X12_bit_8 X12_bit_7 X12_bit_6 -X12_bit_5 -X12_bit_4 X12_bit_3 -X12_bit_2 -X12_bit_1 X12_bit0 -X12_bit1 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit13 -X12_bit14 -X12_bit15 -X12_bit16 -X12_bit17 -X12_bit18 -X12_bit19 -X13_bit_10 -X13_bit_9 -X13_bit_8 -X13_bit_7 -X13_bit_6 -X13_bit_5 -X13_bit_4 -X13_bit_3 -X13_bit_2 -X13_bit_1 -X13_bit0 -X13_bit1 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit13 -X13_bit14 -X13_bit15 -X13_bit16 -X13_bit17 -X13_bit18 -X13_bit19 -X14_bit_10 -X14_bit_9 -X14_bit_8 X14_bit_7 -X14_bit_6 -X14_bit_5 -X14_bit_4 -X14_bit_3 -X14_bit_2 -X14_bit_1 -X14_bit0 -X14_bit1 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit13 -X14_bit14 -X14_bit15 -X14_bit16 -X14_bit17 -X14_bit18 -X14_bit19 -X15_bit_10 -X15_bit_9 -X15_bit_8 -X15_bit_7 -X15_bit_6 -X15_bit_5 -X15_bit_4 -X15_bit_3 -X15_bit_2 -X15_bit_1 -X15_bit0 -X15_bit1 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit13 -X15_bit14 -X15_bit15 -X15_bit16 -X15_bit17 -X15_bit18 -X15_bit19 X16_bit_10 X16_bit_9 X16_bit_8 X16_bit_7 X16_bit_6 X16_bit_5 X16_bit_4 -X16_bit_3 -X16_bit_2 -X16_bit_1 X16_bit0 -X16_bit1 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit13 -X16_bit14 -X16_bit15 -X16_bit16 -X16_bit17 -X16_bit18 -X16_bit19 X17_bit_10 X17_bit_9 X17_bit_8 X17_bit_7 X17_bit_6 X17_bit_5 X17_bit_4 X17_bit_3 -X17_bit_2 -X17_bit_1 -X17_bit0 -X17_bit1 X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit10 -X17_bit11 -X17_bit12 -X17_bit13 -X17_bit14 -X17_bit15 -X17_bit16 -X17_bit17 -X17_bit18 -X17_bit19 X18_bit_10 X18_bit_9 X18_bit_8 X18_bit_7 -X18_bit_6 -X18_bit_5 -X18_bit_4 -X18_bit_3 -X18_bit_2 -X18_bit_1 -X18_bit0 -X18_bit1 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit10 -X18_bit11 -X18_bit12 -X18_bit13 -X18_bit14 -X18_bit15 -X18_bit16 -X18_bit17 -X18_bit18 -X18_bit19 -X19_bit_10 -X19_bit_9 X19_bit_8 X19_bit_7 -X19_bit_6 -X19_bit_5 -X19_bit_4 -X19_bit_3 -X19_bit_2 -X19_bit_1 -X19_bit0 -X19_bit1 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit10 -X19_bit11 -X19_bit12 -X19_bit13 -X19_bit14 -X19_bit15 -X19_bit16 -X19_bit17 -X19_bit18 -X19_bit19 -X20_bit_10 -X20_bit_9 -X20_bit_8 -X20_bit_7 -X20_bit_6 -X20_bit_5 -X20_bit_4 -X20_bit_3 -X20_bit_2 -X20_bit_1 -X20_bit0 -X20_bit1 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit10 -X20_bit11 -X20_bit12 -X20_bit13 -X20_bit14 -X20_bit15 -X20_bit16 -X20_bit17 -X20_bit18 -X20_bit19 -X21_bit_10 -X21_bit_9 -X21_bit_8 -X21_bit_7 -X21_bit_6 -X21_bit_5 X21_bit_4 -X21_bit_3 -X21_bit_2 X21_bit_1 -X21_bit0 -X21_bit1 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit10 -X21_bit11 -X21_bit12 -X21_bit13 -X21_bit14 -X21_bit15 -X21_bit16 -X21_bit17 -X21_bit18 -X21_bit19 X22_bit_10 -X22_bit_9 -X22_bit_8 -X22_bit_7 -X22_bit_6 X22_bit_5 -X22_bit_4 -X22_bit_3 -X22_bit_2 -X22_bit_1 -X22_bit0 -X22_bit1 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit13 -X22_bit14 -X22_bit15 -X22_bit16 -X22_bit17 -X22_bit18 -X22_bit19 -X23_bit_10 -X23_bit_9 -X23_bit_8 -X23_bit_7 -X23_bit_6 -X23_bit_5 -X23_bit_4 -X23_bit_3 -X23_bit_2 -X23_bit_1 -X23_bit0 -X23_bit1 -X23_bit2 X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit13 -X23_bit14 -X23_bit15 -X23_bit16 -X23_bit17 -X23_bit18 -X23_bit19 -X24_bit_10 -X24_bit_9 X24_bit_8 -X24_bit_7 -X24_bit_6 -X24_bit_5 -X24_bit_4 X24_bit_3 -X24_bit_2 X24_bit_1 X24_bit0 -X24_bit1 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit13 -X24_bit14 -X24_bit15 -X24_bit16 -X24_bit17 -X24_bit18 -X24_bit19 -X25_bit_10 X25_bit_9 -X25_bit_8 X25_bit_7 -X25_bit_6 X25_bit_5 X25_bit_4 X25_bit_3 -X25_bit_2 X25_bit_1 -X25_bit0 -X25_bit1 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit13 -X25_bit14 -X25_bit15 -X25_bit16 -X25_bit17 -X25_bit18 -X25_bit19 X26_bit_10 X26_bit_9 -X26_bit_8 -X26_bit_7 -X26_bit_6 -X26_bit_5 -X26_bit_4 -X26_bit_3 -X26_bit_2 -X26_bit_1 X26_bit0 -X26_bit1 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit10 -X26_bit11 -X26_bit12 -X26_bit13 -X26_bit14 -X26_bit15 -X26_bit16 -X26_bit17 -X26_bit18 -X26_bit19 -X27_bit_10 -X27_bit_9 -X27_bit_8 -X27_bit_7 -X27_bit_6 -X27_bit_5 -X27_bit_4 -X27_bit_3 -X27_bit_2 -X27_bit_1 -X27_bit0 -X27_bit1 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit10 -X27_bit11 -X27_bit12 -X27_bit13 -X27_bit14 -X27_bit15 -X27_bit16 -X27_bit17 -X27_bit18 -X27_bit19 -X28_bit_10 -X28_bit_9 X28_bit_8 X28_bit_7 -X28_bit_6 X28_bit_5 X28_bit_4 X28_bit_3 X28_bit_2 X28_bit_1 X28_bit0 X28_bit1 -X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit10 -X28_bit11 -X28_bit12 -X28_bit13 -X28_bit14 -X28_bit15 -X28_bit16 -X28_bit17 -X28_bit18 -X28_bit19 -X29_bit_10 X29_bit_9 -X29_bit_8 -X29_bit_7 -X29_bit_6 -X29_bit_5 X29_bit_4 -X29_bit_3 -X29_bit_2 -X29_bit_1 -X29_bit0 -X29_bit1 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit10 -X29_bit11 -X29_bit12 -X29_bit13 -X29_bit14 -X29_bit15 -X29_bit16 -X29_bit17 -X29_bit18 -X29_bit19 -X30_bit_10 -X30_bit_9 -X30_bit_8 -X30_bit_7 -X30_bit_6 -X30_bit_5 -X30_bit_4 -X30_bit_3 -X30_bit_2 -X30_bit_1 -X30_bit0 -X30_bit1 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit10 -X30_bit11 -X30_bit12 -X30_bit13 -X30_bit14 -X30_bit15 -X30_bit16 -X30_bit17 -X30_bit18 -X30_bit19 -X31_bit_10 -X31_bit_9 -X31_bit_8 -X31_bit_7 -X31_bit_6 X31_bit_5 X31_bit_4 -X31_bit_3 X31_bit_2 X31_bit_1 -X31_bit0 -X31_bit1 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit13 -X31_bit14 -X31_bit15 -X31_bit16 -X31_bit17 -X31_bit18 -X31_bit19 -X32_bit_10 -X32_bit_9 -X32_bit_8 -X32_bit_7 -X32_bit_6 -X32_bit_5 -X32_bit_4 X32_bit_3 -X32_bit_2 -X32_bit_1 -X32_bit0 -X32_bit1 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit13 -X32_bit14 -X32_bit15 -X32_bit16 -X32_bit17 -X32_bit18 -X32_bit19 -X33_bit_10 -X33_bit_9 -X33_bit_8 -X33_bit_7 -X33_bit_6 -X33_bit_5 -X33_bit_4 -X33_bit_3 -X33_bit_2 -X33_bit_1 -X33_bit0 -X33_bit1 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit13 -X33_bit14 -X33_bit15 -X33_bit16 -X33_bit17 -X33_bit18 -X33_bit19 -X34_bit_10 -X34_bit_9 X34_bit_8 -X34_bit_7 -X34_bit_6 X34_bit_5 X34_bit_4 X34_bit_3 X34_bit_2 -X34_bit_1 -X34_bit0 -X34_bit1 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit13 -X34_bit14 -X34_bit15 -X34_bit16 -X34_bit17 -X34_bit18 -X34_bit19 -X35_bit_10 -X35_bit_9 X35_bit_8 X35_bit_7 -X35_bit_6 -X35_bit_5 -X35_bit_4 -X35_bit_3 X35_bit_2 X35_bit_1 X35_bit0 -X35_bit1 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit13 -X35_bit14 -X35_bit15 -X35_bit16 -X35_bit17 -X35_bit18 -X35_bit19 X36_bit_10 X36_bit_9 X36_bit_8 -X36_bit_7 X36_bit_6 -X36_bit_5 -X36_bit_4 -X36_bit_3 -X36_bit_2 -X36_bit_1 -X36_bit0 -X36_bit1 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 -X36_bit10 -X36_bit11 -X36_bit12 -X36_bit13 -X36_bit14 -X36_bit15 -X36_bit16 -X36_bit17 -X36_bit18 -X36_bit19 -X37_bit_10 -X37_bit_9 -X37_bit_8 -X37_bit_7 -X37_bit_6 -X37_bit_5 -X37_bit_4 -X37_bit_3 -X37_bit_2 -X37_bit_1 -X37_bit0 -X37_bit1 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit10 -X37_bit11 -X37_bit12 -X37_bit13 -X37_bit14 -X37_bit15 -X37_bit16 -X37_bit17 -X37_bit18 -X37_bit19 X38_bit_10 -X38_bit_9 -X38_bit_8 X38_bit_7 X38_bit_6 -X38_bit_5 -X38_bit_4 -X38_bit_3 X38_bit_2 X38_bit_1 X38_bit0 X38_bit1 X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit10 -X38_bit11 -X38_bit12 -X38_bit13 -X38_bit14 -X38_bit15 -X38_bit16 -X38_bit17 -X38_bit18 -X38_bit19 -X39_bit_10 -X39_bit_9 -X39_bit_8 -X39_bit_7 -X39_bit_6 -X39_bit_5 -X39_bit_4 -X39_bit_3 -X39_bit_2 -X39_bit_1 -X39_bit0 -X39_bit1 -X39_bit2 -X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 -X39_bit10 -X39_bit11 -X39_bit12 -X39_bit13 -X39_bit14 -X39_bit15 -X39_bit16 -X39_bit17 -X39_bit18 -X39_bit19 -X40_bit_10 -X40_bit_9 -X40_bit_8 -X40_bit_7 -X40_bit_6 -X40_bit_5 -X40_bit_4 -X40_bit_3 -X40_bit_2 -X40_bit_1 -X40_bit0 -X40_bit1 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit10 -X40_bit11 -X40_bit12 -X40_bit13 -X40_bit14 -X40_bit15 -X40_bit16 -X40_bit17 -X40_bit18 -X40_bit19 -X41_bit_10 -X41_bit_9 -X41_bit_8 -X41_bit_7 -X41_bit_6 X41_bit_5 X41_bit_4 -X41_bit_3 X41_bit_2 X41_bit_1 -X41_bit0 -X41_bit1 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit10 -X41_bit11 -X41_bit12 -X41_bit13 -X41_bit14 -X41_bit15 -X41_bit16 -X41_bit17 -X41_bit18 -X41_bit19 -X42_bit_10 X42_bit_9 -X42_bit_8 -X42_bit_7 -X42_bit_6 -X42_bit_5 -X42_bit_4 -X42_bit_3 -X42_bit_2 -X42_bit_1 -X42_bit0 -X42_bit1 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit10 -X42_bit11 -X42_bit12 -X42_bit13 -X42_bit14 -X42_bit15 -X42_bit16 -X42_bit17 -X42_bit18 -X42_bit19 -X43_bit_10 -X43_bit_9 -X43_bit_8 -X43_bit_7 -X43_bit_6 -X43_bit_5 -X43_bit_4 -X43_bit_3 -X43_bit_2 -X43_bit_1 -X43_bit0 -X43_bit1 -X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 -X43_bit10 -X43_bit11 -X43_bit12 -X43_bit13 -X43_bit14 -X43_bit15 -X43_bit16 -X43_bit17 -X43_bit18 -X43_bit19 -X44_bit_10 -X44_bit_9 -X44_bit_8 -X44_bit_7 -X44_bit_6 X44_bit_5 X44_bit_4 -X44_bit_3 X44_bit_2 -X44_bit_1 -X44_bit0 -X44_bit1 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit10 -X44_bit11 -X44_bit12 -X44_bit13 -X44_bit14 -X44_bit15 -X44_bit16 -X44_bit17 -X44_bit18 -X44_bit19 X45_bit_10 X45_bit_9 X45_bit_8 -X45_bit_7 X45_bit_6 -X45_bit_5 X45_bit_4 -X45_bit_3 -X45_bit_2 -X45_bit_1 -X45_bit0 -X45_bit1 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit10 -X45_bit11 -X45_bit12 -X45_bit13 -X45_bit14 -X45_bit15 -X45_bit16 -X45_bit17 -X45_bit18 -X45_bit19 X46_bit_10 X46_bit_9 -X46_bit_8 -X46_bit_7 -X46_bit_6 -X46_bit_5 -X46_bit_4 -X46_bit_3 -X46_bit_2 X46_bit_1 X46_bit0 -X46_bit1 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit10 -X46_bit11 -X46_bit12 -X46_bit13 -X46_bit14 -X46_bit15 -X46_bit16 -X46_bit17 -X46_bit18 -X46_bit19 X47_bit_10 -X47_bit_9 -X47_bit_8 -X47_bit_7 -X47_bit_6 -X47_bit_5 -X47_bit_4 -X47_bit_3 -X47_bit_2 -X47_bit_1 -X47_bit0 -X47_bit1 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit10 -X47_bit11 -X47_bit12 -X47_bit13 -X47_bit14 -X47_bit15 -X47_bit16 -X47_bit17 -X47_bit18 -X47_bit19 -X48_bit_10 -X48_bit_9 X48_bit_8 X48_bit_7 X48_bit_6 -X48_bit_5 X48_bit_4 X48_bit_3 -X48_bit_2 -X48_bit_1 X48_bit0 X48_bit1 X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit10 -X48_bit11 -X48_bit12 -X48_bit13 -X48_bit14 -X48_bit15 -X48_bit16 -X48_bit17 -X48_bit18 -X48_bit19 X49_bit_10 X49_bit_9 X49_bit_8 -X49_bit_7 -X49_bit_6 -X49_bit_5 -X49_bit_4 -X49_bit_3 -X49_bit_2 -X49_bit_1 -X49_bit0 -X49_bit1 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit10 -X49_bit11 -X49_bit12 -X49_bit13 -X49_bit14 -X49_bit15 -X49_bit16 -X49_bit17 -X49_bit18 -X49_bit19 -X50_bit_10 -X50_bit_9 -X50_bit_8 -X50_bit_7 -X50_bit_6 -X50_bit_5 -X50_bit_4 -X50_bit_3 -X50_bit_2 -X50_bit_1 -X50_bit0 -X50_bit1 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit10 -X50_bit11 -X50_bit12 -X50_bit13 -X50_bit14 -X50_bit15 -X50_bit16 -X50_bit17 -X50_bit18 -X50_bit19 -X51_bit_10 -X51_bit_9 -X51_bit_8 -X51_bit_7 -X51_bit_6 -X51_bit_5 -X51_bit_4 -X51_bit_3 -X51_bit_2 -X51_bit_1 -X51_bit0 -X51_bit1 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit10 -X51_bit11 -X51_bit12 -X51_bit13 -X51_bit14 -X51_bit15 -X51_bit16 -X51_bit17 -X51_bit18 -X51_bit19 -X52_bit_10 -X52_bit_9 -X52_bit_8 -X52_bit_7 -X52_bit_6 -X52_bit_5 -X52_bit_4 -X52_bit_3 -X52_bit_2 -X52_bit_1 -X52_bit0 -X52_bit1 -X52_bit2 -X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 -X52_bit10 -X52_bit11 -X52_bit12 -X52_bit13 -X52_bit14 -X52_bit15 -X52_bit16 -X52_bit17 -X52_bit18 -X52_bit19 -X53_bit_10 -X53_bit_9 -X53_bit_8 -X53_bit_7 -X53_bit_6 -X53_bit_5 -X53_bit_4 -X53_bit_3 -X53_bit_2 -X53_bit_1 -X53_bit0 -X53_bit1 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit10 -X53_bit11 -X53_bit12 -X53_bit13 -X53_bit14 -X53_bit15 -X53_bit16 -X53_bit17 -X53_bit18 -X53_bit19 -X54_bit_10 -X54_bit_9 -X54_bit_8 -X54_bit_7 -X54_bit_6 -X54_bit_5 -X54_bit_4 -X54_bit_3 -X54_bit_2 -X54_bit_1 -X54_bit0 -X54_bit1 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit10 -X54_bit11 -X54_bit12 -X54_bit13 -X54_bit14 -X54_bit15 -X54_bit16 -X54_bit17 -X54_bit18 -X54_bit19 -X55_bit_10 -X55_bit_9 -X55_bit_8 -X55_bit_7 -X55_bit_6 -X55_bit_5 -X55_bit_4 -X55_bit_3 -X55_bit_2 -X55_bit_1 -X55_bit0 -X55_bit1 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit10 -X55_bit11 -X55_bit12 -X55_bit13 -X55_bit14 -X55_bit15 -X55_bit16 -X55_bit17 -X55_bit18 -X55_bit19 -X56_bit_10 -X56_bit_9 -X56_bit_8 -X56_bit_7 -X56_bit_6 -X56_bit_5 -X56_bit_4 -X56_bit_3 -X56_bit_2 -X56_bit_1 X56_bit0 -X56_bit1 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit10 -X56_bit11 -X56_bit12 -X56_bit13 -X56_bit14 -X56_bit15 -X56_bit16 -X56_bit17 -X56_bit18 -X56_bit19 -X57_bit_10 -X57_bit_9 -X57_bit_8 -X57_bit_7 -X57_bit_6 -X57_bit_5 -X57_bit_4 -X57_bit_3 -X57_bit_2 -X57_bit_1 -X57_bit0 -X57_bit1 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit10 -X57_bit11 -X57_bit12 -X57_bit13 -X57_bit14 -X57_bit15 -X57_bit16 -X57_bit17 -X57_bit18 -X57_bit19 -X58_bit_10 -X58_bit_9 -X58_bit_8 -X58_bit_7 -X58_bit_6 -X58_bit_5 -X58_bit_4 -X58_bit_3 -X58_bit_2 -X58_bit_1 -X58_bit0 -X58_bit1 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit10 -X58_bit11 -X58_bit12 -X58_bit13 -X58_bit14 -X58_bit15 -X58_bit16 -X58_bit17 -X58_bit18 -X58_bit19 -X59_bit_10 -X59_bit_9 -X59_bit_8 -X59_bit_7 -X59_bit_6 -X59_bit_5 -X59_bit_4 -X59_bit_3 -X59_bit_2 -X59_bit_1 -X59_bit0 -X59_bit1 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit10 -X59_bit11 -X59_bit12 -X59_bit13 -X59_bit14 -X59_bit15 -X59_bit16 -X59_bit17 -X59_bit18 -X59_bit19 -X60_bit_10 -X60_bit_9 -X60_bit_8 -X60_bit_7 -X60_bit_6 -X60_bit_5 -X60_bit_4 -X60_bit_3 -X60_bit_2 -X60_bit_1 -X60_bit0 -X60_bit1 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit10 -X60_bit11 -X60_bit12 -X60_bit13 -X60_bit14 -X60_bit15 -X60_bit16 -X60_bit17 -X60_bit18 -X60_bit19 X61_bit_10 X61_bit_9 X61_bit_8 X61_bit_7 X61_bit_6 X61_bit_5 X61_bit_4 X61_bit_3 X61_bit_2 X61_bit_1 -X61_bit0 -X61_bit1 X61_bit2 X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit10 -X61_bit11 -X61_bit12 -X61_bit13 -X61_bit14 -X61_bit15 -X61_bit16 -X61_bit17 -X61_bit18 -X61_bit19 -X62_bit_10 -X62_bit_9 -X62_bit_8 -X62_bit_7 -X62_bit_6 -X62_bit_5 -X62_bit_4 -X62_bit_3 -X62_bit_2 -X62_bit_1 -X62_bit0 -X62_bit1 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 -X62_bit10 -X62_bit11 -X62_bit12 -X62_bit13 -X62_bit14 -X62_bit15 -X62_bit16 -X62_bit17 -X62_bit18 -X62_bit19 -X63_bit_10 -X63_bit_9 -X63_bit_8 -X63_bit_7 -X63_bit_6 -X63_bit_5 -X63_bit_4 -X63_bit_3 -X63_bit_2 -X63_bit_1 -X63_bit0 -X63_bit1 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit10 -X63_bit11 -X63_bit12 -X63_bit13 -X63_bit14 -X63_bit15 -X63_bit16 -X63_bit17 -X63_bit18 -X63_bit19 -X64_bit_10 -X64_bit_9 -X64_bit_8 -X64_bit_7 -X64_bit_6 -X64_bit_5 -X64_bit_4 -X64_bit_3 -X64_bit_2 -X64_bit_1 -X64_bit0 -X64_bit1 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit10 -X64_bit11 -X64_bit12 -X64_bit13 -X64_bit14 -X64_bit15 -X64_bit16 -X64_bit17 -X64_bit18 -X64_bit19 X65_bit_10 X65_bit_9 X65_bit_8 X65_bit_7 X65_bit_6 X65_bit_5 X65_bit_4 X65_bit_3 X65_bit_2 -X65_bit_1 -X65_bit0 -X65_bit1 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit10 -X65_bit11 -X65_bit12 -X65_bit13 -X65_bit14 -X65_bit15 -X65_bit16 -X65_bit17 -X65_bit18 -X65_bit19 -X66_bit_10 -X66_bit_9 -X66_bit_8 -X66_bit_7 -X66_bit_6 -X66_bit_5 -X66_bit_4 -X66_bit_3 -X66_bit_2 X66_bit_1 X66_bit0 -X66_bit1 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 -X66_bit10 -X66_bit11 -X66_bit12 -X66_bit13 -X66_bit14 -X66_bit15 -X66_bit16 -X66_bit17 -X66_bit18 -X66_bit19 -X67_bit_10 -X67_bit_9 -X67_bit_8 -X67_bit_7 -X67_bit_6 -X67_bit_5 -X67_bit_4 -X67_bit_3 -X67_bit_2 -X67_bit_1 -X67_bit0 -X67_bit1 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit10 -X67_bit11 -X67_bit12 -X67_bit13 -X67_bit14 -X67_bit15 -X67_bit16 -X67_bit17 -X67_bit18 -X67_bit19 -X68_bit_10 X68_bit_9 -X68_bit_8 -X68_bit_7 -X68_bit_6 -X68_bit_5 -X68_bit_4 -X68_bit_3 -X68_bit_2 -X68_bit_1 -X68_bit0 -X68_bit1 -X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit10 -X68_bit11 -X68_bit12 -X68_bit13 -X68_bit14 -X68_bit15 -X68_bit16 -X68_bit17 -X68_bit18 -X68_bit19 -X69_bit_10 -X69_bit_9 -X69_bit_8 -X69_bit_7 -X69_bit_6 -X69_bit_5 -X69_bit_4 -X69_bit_3 -X69_bit_2 -X69_bit_1 -X69_bit0 -X69_bit1 -X69_bit2 -X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 -X69_bit10 -X69_bit11 -X69_bit12 -X69_bit13 -X69_bit14 -X69_bit15 -X69_bit16 -X69_bit17 -X69_bit18 -X69_bit19 -X70_bit_10 -X70_bit_9 -X70_bit_8 -X70_bit_7 -X70_bit_6 -X70_bit_5 -X70_bit_4 -X70_bit_3 -X70_bit_2 -X70_bit_1 -X70_bit0 -X70_bit1 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit10 -X70_bit11 -X70_bit12 -X70_bit13 -X70_bit14 -X70_bit15 -X70_bit16 -X70_bit17 -X70_bit18 -X70_bit19 -X71_bit_10 -X71_bit_9 -X71_bit_8 -X71_bit_7 -X71_bit_6 -X71_bit_5 -X71_bit_4 -X71_bit_3 -X71_bit_2 -X71_bit_1 -X71_bit0 -X71_bit1 -X71_bit2 -X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit10 -X71_bit11 -X71_bit12 -X71_bit13 -X71_bit14 -X71_bit15 -X71_bit16 -X71_bit17 -X71_bit18 -X71_bit19 -X72_bit_10 X72_bit_9 -X72_bit_8 -X72_bit_7 X72_bit_6 -X72_bit_5 -X72_bit_4 -X72_bit_3 -X72_bit_2 -X72_bit_1 -X72_bit0 -X72_bit1 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit10 -X72_bit11 -X72_bit12 -X72_bit13 -X72_bit14 -X72_bit15 -X72_bit16 -X72_bit17 -X72_bit18 -X72_bit19 -X73_bit_10 -X73_bit_9 -X73_bit_8 -X73_bit_7 -X73_bit_6 -X73_bit_5 -X73_bit_4 -X73_bit_3 -X73_bit_2 -X73_bit_1 -X73_bit0 -X73_bit1 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit10 -X73_bit11 -X73_bit12 -X73_bit13 -X73_bit14 -X73_bit15 -X73_bit16 -X73_bit17 -X73_bit18 -X73_bit19 X74_bit_10 X74_bit_9 -X74_bit_8 -X74_bit_7 -X74_bit_6 -X74_bit_5 X74_bit_4 -X74_bit_3 -X74_bit_2 -X74_bit_1 -X74_bit0 -X74_bit1 -X74_bit2 -X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit10 -X74_bit11 -X74_bit12 -X74_bit13 -X74_bit14 -X74_bit15 -X74_bit16 -X74_bit17 -X74_bit18 -X74_bit19 -X75_bit_10 X75_bit_9 -X75_bit_8 X75_bit_7 -X75_bit_6 -X75_bit_5 X75_bit_4 -X75_bit_3 X75_bit_2 -X75_bit_1 -X75_bit0 -X75_bit1 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit10 -X75_bit11 -X75_bit12 -X75_bit13 -X75_bit14 -X75_bit15 -X75_bit16 -X75_bit17 -X75_bit18 -X75_bit19 X76_bit_10 X76_bit_9 X76_bit_8 X76_bit_7 X76_bit_6 -X76_bit_5 -X76_bit_4 -X76_bit_3 -X76_bit_2 -X76_bit_1 X76_bit0 -X76_bit1 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit10 -X76_bit11 -X76_bit12 -X76_bit13 -X76_bit14 -X76_bit15 -X76_bit16 -X76_bit17 -X76_bit18 -X76_bit19 X77_bit_10 X77_bit_9 X77_bit_8 X77_bit_7 X77_bit_6 X77_bit_5 X77_bit_4 X77_bit_3 X77_bit_2 X77_bit_1 -X77_bit0 -X77_bit1 X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit10 -X77_bit11 -X77_bit12 -X77_bit13 -X77_bit14 -X77_bit15 -X77_bit16 -X77_bit17 -X77_bit18 -X77_bit19 X78_bit_10 X78_bit_9 -X78_bit_8 -X78_bit_7 -X78_bit_6 -X78_bit_5 -X78_bit_4 -X78_bit_3 -X78_bit_2 -X78_bit_1 -X78_bit0 -X78_bit1 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit10 -X78_bit11 -X78_bit12 -X78_bit13 -X78_bit14 -X78_bit15 -X78_bit16 -X78_bit17 -X78_bit18 -X78_bit19 -X79_bit_10 -X79_bit_9 -X79_bit_8 -X79_bit_7 -X79_bit_6 -X79_bit_5 X79_bit_4 -X79_bit_3 -X79_bit_2 X79_bit_1 -X79_bit0 -X79_bit1 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit10 -X79_bit11 -X79_bit12 -X79_bit13 -X79_bit14 -X79_bit15 -X79_bit16 -X79_bit17 -X79_bit18 -X79_bit19 -X80_bit_10 -X80_bit_9 -X80_bit_8 -X80_bit_7 -X80_bit_6 -X80_bit_5 -X80_bit_4 -X80_bit_3 -X80_bit_2 -X80_bit_1 -X80_bit0 -X80_bit1 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit10 -X80_bit11 -X80_bit12 -X80_bit13 -X80_bit14 -X80_bit15 -X80_bit16 -X80_bit17 -X80_bit18 -X80_bit19 X81_bit_10 -X81_bit_9 -X81_bit_8 -X81_bit_7 -X81_bit_6 -X81_bit_5 -X81_bit_4 -X81_bit_3 -X81_bit_2 -X81_bit_1 -X81_bit0 -X81_bit1 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit10 -X81_bit11 -X81_bit12 -X81_bit13 -X81_bit14 -X81_bit15 -X81_bit16 -X81_bit17 -X81_bit18 -X81_bit19 X82_bit_10 -X82_bit_9 X82_bit_8 X82_bit_7 X82_bit_6 X82_bit_5 X82_bit_4 X82_bit_3 X82_bit_2 -X82_bit_1 -X82_bit0 -X82_bit1 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit10 -X82_bit11 -X82_bit12 -X82_bit13 -X82_bit14 -X82_bit15 -X82_bit16 -X82_bit17 -X82_bit18 -X82_bit19 -X83_bit_10 -X83_bit_9 -X83_bit_8 -X83_bit_7 -X83_bit_6 -X83_bit_5 -X83_bit_4 -X83_bit_3 -X83_bit_2 -X83_bit_1 -X83_bit0 -X83_bit1 -X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 -X83_bit10 -X83_bit11 -X83_bit12 -X83_bit13 -X83_bit14 -X83_bit15 -X83_bit16 -X83_bit17 -X83_bit18 -X83_bit19 X84_bit_10 X84_bit_9 X84_bit_8 X84_bit_7 X84_bit_6 -X84_bit_5 X84_bit_4 -X84_bit_3 -X84_bit_2 X84_bit_1 -X84_bit0 X84_bit1 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit10 -X84_bit11 -X84_bit12 -X84_bit13 -X84_bit14 -X84_bit15 -X84_bit16 -X84_bit17 -X84_bit18 -X84_bit19 -X85_bit_10 -X85_bit_9 -X85_bit_8 -X85_bit_7 -X85_bit_6 -X85_bit_5 -X85_bit_4 -X85_bit_3 -X85_bit_2 X85_bit_1 -X85_bit0 -X85_bit1 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit10 -X85_bit11 -X85_bit12 -X85_bit13 -X85_bit14 -X85_bit15 -X85_bit16 -X85_bit17 -X85_bit18 -X85_bit19 X86_bit_10 X86_bit_9 X86_bit_8 X86_bit_7 X86_bit_6 -X86_bit_5 -X86_bit_4 -X86_bit_3 X86_bit_2 X86_bit_1 X86_bit0 -X86_bit1 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit10 -X86_bit11 -X86_bit12 -X86_bit13 -X86_bit14 -X86_bit15 -X86_bit16 -X86_bit17 -X86_bit18 -X86_bit19 X87_bit_10 -X87_bit_9 -X87_bit_8 -X87_bit_7 -X87_bit_6 -X87_bit_5 -X87_bit_4 -X87_bit_3 X87_bit_2 X87_bit_1 -X87_bit0 X87_bit1 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit10 -X87_bit11 -X87_bit12 -X87_bit13 -X87_bit14 -X87_bit15 -X87_bit16 -X87_bit17 -X87_bit18 -X87_bit19 X88_bit_10 -X88_bit_9 -X88_bit_8 -X88_bit_7 -X88_bit_6 -X88_bit_5 -X88_bit_4 X88_bit_3 X88_bit_2 X88_bit_1 -X88_bit0 X88_bit1 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit10 -X88_bit11 -X88_bit12 -X88_bit13 -X88_bit14 -X88_bit15 -X88_bit16 -X88_bit17 -X88_bit18 -X88_bit19 -X89_bit_10 X89_bit_9 -X89_bit_8 -X89_bit_7 -X89_bit_6 -X89_bit_5 -X89_bit_4 -X89_bit_3 -X89_bit_2 -X89_bit_1 -X89_bit0 -X89_bit1 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit10 -X89_bit11 -X89_bit12 -X89_bit13 -X89_bit14 -X89_bit15 -X89_bit16 -X89_bit17 -X89_bit18 -X89_bit19 -X90_bit_10 -X90_bit_9 -X90_bit_8 -X90_bit_7 -X90_bit_6 -X90_bit_5 -X90_bit_4 -X90_bit_3 -X90_bit_2 -X90_bit_1 -X90_bit0 -X90_bit1 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 -X90_bit10 -X90_bit11 -X90_bit12 -X90_bit13 -X90_bit14 -X90_bit15 -X90_bit16 -X90_bit17 -X90_bit18 -X90_bit19 -X91_bit_10 -X91_bit_9 -X91_bit_8 -X91_bit_7 -X91_bit_6 X91_bit_5 X91_bit_4 -X91_bit_3 X91_bit_2 -X91_bit_1 -X91_bit0 -X91_bit1 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit10 -X91_bit11 -X91_bit12 -X91_bit13 -X91_bit14 -X91_bit15 -X91_bit16 -X91_bit17 -X91_bit18 -X91_bit19 -X92_bit_10 X92_bit_9 -X92_bit_8 -X92_bit_7 -X92_bit_6 X92_bit_5 -X92_bit_4 -X92_bit_3 -X92_bit_2 -X92_bit_1 -X92_bit0 -X92_bit1 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit10 -X92_bit11 -X92_bit12 -X92_bit13 -X92_bit14 -X92_bit15 -X92_bit16 -X92_bit17 -X92_bit18 -X92_bit19 -X93_bit_10 -X93_bit_9 -X93_bit_8 -X93_bit_7 -X93_bit_6 -X93_bit_5 -X93_bit_4 -X93_bit_3 -X93_bit_2 -X93_bit_1 -X93_bit0 -X93_bit1 X93_bit2 X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit10 -X93_bit11 -X93_bit12 -X93_bit13 -X93_bit14 -X93_bit15 -X93_bit16 -X93_bit17 -X93_bit18 -X93_bit19 -X94_bit_10 -X94_bit_9 X94_bit_8 -X94_bit_7 X94_bit_6 X94_bit_5 -X94_bit_4 -X94_bit_3 X94_bit_2 -X94_bit_1 -X94_bit0 -X94_bit1 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit10 -X94_bit11 -X94_bit12 -X94_bit13 -X94_bit14 -X94_bit15 -X94_bit16 -X94_bit17 -X94_bit18 -X94_bit19 -X95_bit_10 -X95_bit_9 -X95_bit_8 -X95_bit_7 -X95_bit_6 -X95_bit_5 -X95_bit_4 -X95_bit_3 -X95_bit_2 -X95_bit_1 -X95_bit0 -X95_bit1 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit10 -X95_bit11 -X95_bit12 -X95_bit13 -X95_bit14 -X95_bit15 -X95_bit16 -X95_bit17 -X95_bit18 -X95_bit19 X96_bit_10 X96_bit_9 -X96_bit_8 -X96_bit_7 -X96_bit_6 X96_bit_5 -X96_bit_4 -X96_bit_3 -X96_bit_2 -X96_bit_1 X96_bit0 -X96_bit1 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 -X96_bit10 -X96_bit11 -X96_bit12 -X96_bit13 -X96_bit14 -X96_bit15 -X96_bit16 -X96_bit17 -X96_bit18 -X96_bit19 -X97_bit_10 -X97_bit_9 -X97_bit_8 -X97_bit_7 -X97_bit_6 -X97_bit_5 -X97_bit_4 -X97_bit_3 -X97_bit_2 -X97_bit_1 -X97_bit0 -X97_bit1 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit10 -X97_bit11 -X97_bit12 -X97_bit13 -X97_bit14 -X97_bit15 -X97_bit16 -X97_bit17 -X97_bit18 -X97_bit19 -X98_bit_10 X98_bit_9 X98_bit_8 X98_bit_7 X98_bit_6 -X98_bit_5 -X98_bit_4 -X98_bit_3 -X98_bit_2 -X98_bit_1 -X98_bit0 X98_bit1 -X98_bit2 -X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 -X98_bit10 -X98_bit11 -X98_bit12 -X98_bit13 -X98_bit14 -X98_bit15 -X98_bit16 -X98_bit17 -X98_bit18 -X98_bit19 X99_bit_10 -X99_bit_9 -X99_bit_8 X99_bit_7 -X99_bit_6 -X99_bit_5 -X99_bit_4 -X99_bit_3 X99_bit_2 -X99_bit_1 X99_bit0 -X99_bit1 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit10 -X99_bit11 -X99_bit12 -X99_bit13 -X99_bit14 -X99_bit15 -X99_bit16 -X99_bit17 -X99_bit18 -X99_bit19 -Y0_bit0 Y1_bit0 Y2_bit0 -Y3_bit0 Y4_bit0 Y5_bit0 Y6_bit0 -Y7_bit0 Y8_bit0 Y9_bit0 Y10_bit0 Y11_bit0 Y12_bit0 -Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 Y17_bit0 Y18_bit0 Y19_bit0 -Y20_bit0 Y21_bit0 Y22_bit0 Y23_bit0 Y24_bit0 Y25_bit0 Y26_bit0 -Y27_bit0 Y28_bit0 Y29_bit0 Y30_bit0 Y31_bit0 Y32_bit0 Y33_bit0 Y34_bit0 Y35_bit0 Y36_bit0 -Y37_bit0 Y38_bit0 -Y39_bit0 Y40_bit0 Y41_bit0 Y42_bit0 -Y43_bit0 Y44_bit0 Y45_bit0 Y46_bit0 Y47_bit0 Y48_bit0 Y49_bit0 -Y50_bit0 Y51_bit0 -Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 Y56_bit0 -Y57_bit0 -Y58_bit0 -Y59_bit0 -Y60_bit0 Y61_bit0 -Y62_bit0 -Y63_bit0 -Y64_bit0 Y65_bit0 Y66_bit0 -Y67_bit0 Y68_bit0 -Y69_bit0 -Y70_bit0 -Y71_bit0 Y72_bit0 Y73_bit0 Y74_bit0 Y75_bit0 Y76_bit0 Y77_bit0 Y78_bit0 Y79_bit0 Y80_bit0 Y81_bit0 Y82_bit0 -Y83_bit0 Y84_bit0 Y85_bit0 Y86_bit0 Y87_bit0 Y88_bit0 Y89_bit0 -Y90_bit0 Y91_bit0 Y92_bit0 Y93_bit0 Y94_bit0 -Y95_bit0 Y96_bit0 Y97_bit0 Y98_bit0 Y99_bit0 
c Cost: 70424437
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/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1784996806 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 107 3 90 68 0 39 0
[pid=30642] 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/wulflinc10/normalized-mps-v2-20-10-ran10x10c.opb

[startup+10.0044 s]
Raw data (loadavg): 0.94 0.99 0.99 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3240 0 0 0 861 52 0 0 25 0 1 0 1784996806 16359424 3149 4294967295 134512640 134736556 3221224560 3221223204 1077374471 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 3994 3149 1116 68 0 3926 0
[pid=30642] vsize: 15976
Current children cumulated CPU time (s) 9.13
Current children cumulated vsize (Kb) 15976

[startup+20.0049 s]
Raw data (loadavg): 0.95 0.99 0.99 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3281 0 0 0 1749 89 0 0 25 0 1 0 1784996806 16596992 3182 4294967295 134512640 134736556 3221224560 3221223192 134553060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4052 3182 1116 68 0 3984 0
[pid=30642] vsize: 16208
Current children cumulated CPU time (s) 18.38
Current children cumulated vsize (Kb) 16208

[startup+30.0055 s]
Raw data (loadavg): 0.95 0.99 0.99 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3318 0 0 0 2727 99 0 0 25 0 1 0 1784996806 16687104 3210 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3210 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 28.26
Current children cumulated vsize (Kb) 16296

[startup+40.0061 s]
Raw data (loadavg): 0.96 0.99 0.99 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3321 0 0 0 3700 108 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 38.08
Current children cumulated vsize (Kb) 16296

[startup+50.0076 s]
Raw data (loadavg): 0.97 0.99 0.99 1/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) T 30641 30642 22582 0 -1 0 3321 0 0 0 4676 116 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 47.92
Current children cumulated vsize (Kb) 16296

[startup+60.0082 s]
Raw data (loadavg): 0.97 0.99 0.99 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3321 0 0 0 5655 122 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 57.77
Current children cumulated vsize (Kb) 16296

[startup+70.0088 s]
Raw data (loadavg): 0.97 0.99 0.99 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3321 0 0 0 6634 130 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 67.64
Current children cumulated vsize (Kb) 16296

[startup+80.0093 s]
Raw data (loadavg): 0.98 0.99 0.99 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3321 0 0 0 7614 138 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223256 134560540 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 77.52
Current children cumulated vsize (Kb) 16296

[startup+90.0099 s]
Raw data (loadavg): 0.98 0.99 0.99 1/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) T 30641 30642 22582 0 -1 0 3321 0 0 0 8595 144 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 87.39
Current children cumulated vsize (Kb) 16296

[startup+100.01 s]
Raw data (loadavg): 0.98 0.99 0.99 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3321 0 0 0 9574 152 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223296 134605567 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 97.26
Current children cumulated vsize (Kb) 16296

[startup+110.012 s]
Raw data (loadavg): 0.99 0.99 0.99 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3321 0 0 0 10554 159 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 107.13
Current children cumulated vsize (Kb) 16296

[startup+120.013 s]
Raw data (loadavg): 1.14 1.02 1.01 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3321 0 0 0 11537 165 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 117.02
Current children cumulated vsize (Kb) 16296

[startup+130.012 s]
Raw data (loadavg): 1.12 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3321 0 0 0 12519 171 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 126.9
Current children cumulated vsize (Kb) 16296

[startup+140.013 s]
Raw data (loadavg): 1.10 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3321 0 0 0 13502 176 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223168 134634152 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 136.78
Current children cumulated vsize (Kb) 16296

[startup+150.013 s]
Raw data (loadavg): 1.16 1.03 1.01 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3321 0 0 0 14484 182 0 0 25 0 1 0 1784996806 16687104 3213 4294967295 134512640 134736556 3221224560 3221223272 134560233 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3213 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 146.66
Current children cumulated vsize (Kb) 16296

[startup+160.014 s]
Raw data (loadavg): 1.13 1.03 1.01 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3330 0 0 0 15466 188 0 0 25 0 1 0 1784996806 16687104 3222 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4074 3222 1116 68 0 4006 0
[pid=30642] vsize: 16296
Current children cumulated CPU time (s) 156.54
Current children cumulated vsize (Kb) 16296

[startup+170.014 s]
Raw data (loadavg): 1.11 1.03 1.01 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3472 0 0 0 16462 189 0 0 25 0 1 0 1784996806 17301504 3358 4294967295 134512640 134736556 3221224560 3221223088 134550735 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4224 3358 1116 68 0 4156 0
[pid=30642] vsize: 16896
Current children cumulated CPU time (s) 166.51
Current children cumulated vsize (Kb) 16896

[startup+180.015 s]
Raw data (loadavg): 1.10 1.03 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3580 0 0 0 17459 191 0 0 25 0 1 0 1784996806 17444864 3416 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4259 3416 1116 68 0 4191 0
[pid=30642] vsize: 17036
Current children cumulated CPU time (s) 176.5
Current children cumulated vsize (Kb) 17036

[startup+190.016 s]
Raw data (loadavg): 1.08 1.03 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3580 0 0 0 18456 193 0 0 25 0 1 0 1784996806 17444864 3416 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4259 3416 1116 68 0 4191 0
[pid=30642] vsize: 17036
Current children cumulated CPU time (s) 186.49
Current children cumulated vsize (Kb) 17036

[startup+200.016 s]
Raw data (loadavg): 1.07 1.03 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3623 0 0 0 19454 194 0 0 25 0 1 0 1784996806 17698816 3459 4294967295 134512640 134736556 3221224560 3221223048 1077377218 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4321 3459 1116 68 0 4253 0
[pid=30642] vsize: 17284
Current children cumulated CPU time (s) 196.48
Current children cumulated vsize (Kb) 17284

[startup+210.017 s]
Raw data (loadavg): 1.06 1.03 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3664 0 0 0 20451 195 0 0 25 0 1 0 1784996806 17563648 3445 4294967295 134512640 134736556 3221224560 3221223088 134550888 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4288 3445 1116 68 0 4220 0
[pid=30642] vsize: 17152
Current children cumulated CPU time (s) 206.46
Current children cumulated vsize (Kb) 17152

[startup+220.017 s]
Raw data (loadavg): 1.05 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3810 0 0 0 21447 197 0 0 25 0 1 0 1784996806 17899520 3516 4294967295 134512640 134736556 3221224560 3221223088 134550865 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4370 3516 1116 68 0 4302 0
[pid=30642] vsize: 17480
Current children cumulated CPU time (s) 216.44
Current children cumulated vsize (Kb) 17480

[startup+230.018 s]
Raw data (loadavg): 1.04 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3810 0 0 0 22444 197 0 0 25 0 1 0 1784996806 17809408 3505 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4348 3505 1116 68 0 4280 0
[pid=30642] vsize: 17392
Current children cumulated CPU time (s) 226.41
Current children cumulated vsize (Kb) 17392

[startup+240.018 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3810 0 0 0 23442 198 0 0 25 0 1 0 1784996806 17809408 3505 4294967295 134512640 134736556 3221224560 3221223224 134694468 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4348 3505 1116 68 0 4280 0
[pid=30642] vsize: 17392
Current children cumulated CPU time (s) 236.4
Current children cumulated vsize (Kb) 17392

[startup+250.019 s]
Raw data (loadavg): 1.03 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3810 0 0 0 24440 199 0 0 25 0 1 0 1784996806 17444864 3416 4294967295 134512640 134736556 3221224560 3221223136 134550875 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4259 3416 1116 68 0 4191 0
[pid=30642] vsize: 17036
Current children cumulated CPU time (s) 246.39
Current children cumulated vsize (Kb) 17036

[startup+260.019 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3810 0 0 0 25438 200 0 0 25 0 1 0 1784996806 17444864 3416 4294967295 134512640 134736556 3221224560 3221223088 134550871 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4259 3416 1116 68 0 4191 0
[pid=30642] vsize: 17036
Current children cumulated CPU time (s) 256.38
Current children cumulated vsize (Kb) 17036

[startup+270.02 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3810 0 0 0 26436 201 0 0 25 0 1 0 1784996806 17444864 3416 4294967295 134512640 134736556 3221224560 3221223092 134550909 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4259 3416 1116 68 0 4191 0
[pid=30642] vsize: 17036
Current children cumulated CPU time (s) 266.37
Current children cumulated vsize (Kb) 17036

[startup+280.02 s]
Raw data (loadavg): 1.02 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3864 0 0 0 27434 202 0 0 25 0 1 0 1784996806 17506304 3431 4294967295 134512640 134736556 3221224560 3221223136 134550713 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4274 3431 1116 68 0 4206 0
[pid=30642] vsize: 17096
Current children cumulated CPU time (s) 276.36
Current children cumulated vsize (Kb) 17096

[startup+290.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3928 0 0 0 28431 204 0 0 25 0 1 0 1784996806 17604608 3454 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4298 3454 1116 68 0 4230 0
[pid=30642] vsize: 17192
Current children cumulated CPU time (s) 286.35
Current children cumulated vsize (Kb) 17192

[startup+300.021 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3971 0 0 0 29428 205 0 0 25 0 1 0 1784996806 17874944 3497 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4364 3497 1116 68 0 4296 0
[pid=30642] vsize: 17456
Current children cumulated CPU time (s) 296.33
Current children cumulated vsize (Kb) 17456

[startup+310.02 s]
Raw data (loadavg): 1.01 1.02 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3974 0 0 0 30425 206 0 0 25 0 1 0 1784996806 17678336 3473 4294967295 134512640 134736556 3221224560 3221223088 134550888 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4316 3473 1116 68 0 4248 0
[pid=30642] vsize: 17264
Current children cumulated CPU time (s) 306.31
Current children cumulated vsize (Kb) 17264

[startup+320.021 s]
Raw data (loadavg): 1.01 1.01 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3974 0 0 0 31423 207 0 0 25 0 1 0 1784996806 17678336 3473 4294967295 134512640 134736556 3221224560 3221223060 1077378596 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4316 3473 1116 68 0 4248 0
[pid=30642] vsize: 17264
Current children cumulated CPU time (s) 316.3
Current children cumulated vsize (Kb) 17264

[startup+330.021 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3974 0 0 0 32421 208 0 0 25 0 1 0 1784996806 17678336 3473 4294967295 134512640 134736556 3221224560 3221223088 134550875 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4316 3473 1116 68 0 4248 0
[pid=30642] vsize: 17264
Current children cumulated CPU time (s) 326.29
Current children cumulated vsize (Kb) 17264

[startup+340.022 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3983 0 0 0 33418 210 0 0 25 0 1 0 1784996806 17735680 3482 4294967295 134512640 134736556 3221224560 3221223088 134550742 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4330 3482 1116 68 0 4262 0
[pid=30642] vsize: 17320
Current children cumulated CPU time (s) 336.28
Current children cumulated vsize (Kb) 17320

[startup+350.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3983 0 0 0 34414 212 0 0 25 0 1 0 1784996806 17444864 3416 4294967295 134512640 134736556 3221224560 3221223088 134550878 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4259 3416 1116 68 0 4191 0
[pid=30642] vsize: 17036
Current children cumulated CPU time (s) 346.26
Current children cumulated vsize (Kb) 17036

[startup+360.023 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 3983 0 0 0 35411 213 0 0 25 0 1 0 1784996806 17444864 3416 4294967295 134512640 134736556 3221224560 3221223088 134550882 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4259 3416 1116 68 0 4191 0
[pid=30642] vsize: 17036
Current children cumulated CPU time (s) 356.24
Current children cumulated vsize (Kb) 17036

[startup+370.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4007 0 0 0 36409 214 0 0 25 0 1 0 1784996806 17580032 3440 4294967295 134512640 134736556 3221224560 3221223268 134560258 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4292 3440 1116 68 0 4224 0
[pid=30642] vsize: 17168
Current children cumulated CPU time (s) 366.23
Current children cumulated vsize (Kb) 17168

[startup+380.024 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4007 0 0 0 37406 215 0 0 25 0 1 0 1784996806 17444864 3416 4294967295 134512640 134736556 3221224560 3221223088 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4259 3416 1116 68 0 4191 0
[pid=30642] vsize: 17036
Current children cumulated CPU time (s) 376.21
Current children cumulated vsize (Kb) 17036

[startup+390.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4007 0 0 0 38405 215 0 0 25 0 1 0 1784996806 17444864 3416 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4259 3416 1116 68 0 4191 0
[pid=30642] vsize: 17036
Current children cumulated CPU time (s) 386.2
Current children cumulated vsize (Kb) 17036

[startup+400.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4018 0 0 0 39403 216 0 0 25 0 1 0 1784996806 17580032 3427 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4292 3427 1116 68 0 4224 0
[pid=30642] vsize: 17168
Current children cumulated CPU time (s) 396.19
Current children cumulated vsize (Kb) 17168

[startup+410.025 s]
Raw data (loadavg): 1.00 1.01 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4073 0 0 0 40400 217 0 0 25 0 1 0 1784996806 17707008 3474 4294967295 134512640 134736556 3221224560 3221223136 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4323 3474 1116 68 0 4255 0
[pid=30642] vsize: 17292
Current children cumulated CPU time (s) 406.17
Current children cumulated vsize (Kb) 17292

[startup+420.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4117 0 0 0 41399 218 0 0 25 0 1 0 1784996806 17768448 3495 4294967295 134512640 134736556 3221224560 3221223216 134605059 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4338 3495 1116 68 0 4270 0
[pid=30642] vsize: 17352
Current children cumulated CPU time (s) 416.17
Current children cumulated vsize (Kb) 17352

[startup+430.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4125 0 0 0 42396 219 0 0 25 0 1 0 1784996806 17666048 3470 4294967295 134512640 134736556 3221224560 3221223088 134550882 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4313 3470 1116 68 0 4245 0
[pid=30642] vsize: 17252
Current children cumulated CPU time (s) 426.15
Current children cumulated vsize (Kb) 17252

[startup+440.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4260 0 0 0 43394 220 0 0 25 0 1 0 1784996806 17899520 3520 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4370 3520 1116 68 0 4302 0
[pid=30642] vsize: 17480
Current children cumulated CPU time (s) 436.14
Current children cumulated vsize (Kb) 17480

[startup+450.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4260 0 0 0 44391 221 0 0 25 0 1 0 1784996806 17866752 3519 4294967295 134512640 134736556 3221224560 3221223136 134550721 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4362 3519 1116 68 0 4294 0
[pid=30642] vsize: 17448
Current children cumulated CPU time (s) 446.12
Current children cumulated vsize (Kb) 17448

[startup+460.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4265 0 0 0 45390 221 0 0 25 0 1 0 1784996806 17993728 3522 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4393 3522 1116 68 0 4325 0
[pid=30642] vsize: 17572
Current children cumulated CPU time (s) 456.11
Current children cumulated vsize (Kb) 17572

[startup+470.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4282 0 0 0 46389 222 0 0 25 0 1 0 1784996806 17858560 3517 4294967295 134512640 134736556 3221224560 3221223088 134550868 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4360 3517 1116 68 0 4292 0
[pid=30642] vsize: 17440
Current children cumulated CPU time (s) 466.11
Current children cumulated vsize (Kb) 17440

[startup+480.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4286 0 0 0 47387 222 0 0 25 0 1 0 1784996806 17862656 3518 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4361 3518 1116 68 0 4293 0
[pid=30642] vsize: 17444
Current children cumulated CPU time (s) 476.09
Current children cumulated vsize (Kb) 17444

[startup+490.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4286 0 0 0 48385 223 0 0 25 0 1 0 1784996806 17862656 3518 4294967295 134512640 134736556 3221224560 3221223088 134550713 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4361 3518 1116 68 0 4293 0
[pid=30642] vsize: 17444
Current children cumulated CPU time (s) 486.08
Current children cumulated vsize (Kb) 17444

[startup+500.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4286 0 0 0 49382 224 0 0 25 0 1 0 1784996806 17862656 3518 4294967295 134512640 134736556 3221224560 3221223088 134550882 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4361 3518 1116 68 0 4293 0
[pid=30642] vsize: 17444
Current children cumulated CPU time (s) 496.06
Current children cumulated vsize (Kb) 17444

[startup+510.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4286 0 0 0 50381 225 0 0 25 0 1 0 1784996806 17862656 3518 4294967295 134512640 134736556 3221224560 3221223088 134550868 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4361 3518 1116 68 0 4293 0
[pid=30642] vsize: 17444
Current children cumulated CPU time (s) 506.06
Current children cumulated vsize (Kb) 17444

[startup+520.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4286 0 0 0 51379 226 0 0 25 0 1 0 1784996806 17862656 3518 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4361 3518 1116 68 0 4293 0
[pid=30642] vsize: 17444
Current children cumulated CPU time (s) 516.05
Current children cumulated vsize (Kb) 17444

[startup+530.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4393 0 0 0 52377 228 0 0 25 0 1 0 1784996806 18178048 3584 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4438 3584 1116 68 0 4370 0
[pid=30642] vsize: 17752
Current children cumulated CPU time (s) 526.05
Current children cumulated vsize (Kb) 17752

[startup+540.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4393 0 0 0 53375 229 0 0 25 0 1 0 1784996806 18178048 3584 4294967295 134512640 134736556 3221224560 3221223088 134550704 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4438 3584 1116 68 0 4370 0
[pid=30642] vsize: 17752
Current children cumulated CPU time (s) 536.04
Current children cumulated vsize (Kb) 17752

[startup+550.03 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) T 30641 30642 22582 0 -1 0 4393 0 0 0 54373 229 0 0 25 0 1 0 1784996806 18178048 3584 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4438 3584 1116 68 0 4370 0
[pid=30642] vsize: 17752
Current children cumulated CPU time (s) 546.02
Current children cumulated vsize (Kb) 17752

[startup+560.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4393 0 0 0 55371 230 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 556.01
Current children cumulated vsize (Kb) 17584

[startup+570.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4393 0 0 0 56369 232 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 566.01
Current children cumulated vsize (Kb) 17584

[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4393 0 0 0 57367 233 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223104 134716017 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 576
Current children cumulated vsize (Kb) 17584

[startup+590.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4393 0 0 0 58363 234 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223088 134550888 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 585.97
Current children cumulated vsize (Kb) 17584

[startup+600.031 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) T 30641 30642 22582 0 -1 0 4393 0 0 0 59360 236 0 0 25 0 1 0 1784996806 17481728 3425 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4268 3425 1116 68 0 4200 0
[pid=30642] vsize: 17072
Current children cumulated CPU time (s) 595.96
Current children cumulated vsize (Kb) 17072

[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4393 0 0 0 60358 237 0 0 25 0 1 0 1784996806 17481728 3425 4294967295 134512640 134736556 3221224560 3221223136 134550888 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4268 3425 1116 68 0 4200 0
[pid=30642] vsize: 17072
Current children cumulated CPU time (s) 605.95
Current children cumulated vsize (Kb) 17072

[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4428 0 0 0 61355 238 0 0 25 0 1 0 1784996806 17481728 3425 4294967295 134512640 134736556 3221224560 3221223088 134550713 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/30642/statm): 4268 3425 1116 68 0 4200 0
[pid=30642] vsize: 17072
Current children cumulated CPU time (s) 615.93
Current children cumulated vsize (Kb) 17072

[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4432 0 0 0 62353 239 0 0 24 0 1 0 1784996806 17526784 3429 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4279 3429 1116 68 0 4211 0
[pid=30642] vsize: 17116
Current children cumulated CPU time (s) 625.92
Current children cumulated vsize (Kb) 17116

[startup+640.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4508 0 0 0 63350 240 0 0 25 0 1 0 1784996806 17481728 3425 4294967295 134512640 134736556 3221224560 3221223048 1077378350 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4268 3425 1116 68 0 4200 0
[pid=30642] vsize: 17072
Current children cumulated CPU time (s) 635.9
Current children cumulated vsize (Kb) 17072

[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4615 0 0 0 64347 242 0 0 25 0 1 0 1784996806 17580032 3449 4294967295 134512640 134736556 3221224560 3221223088 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4292 3449 1116 68 0 4224 0
[pid=30642] vsize: 17168
Current children cumulated CPU time (s) 645.89
Current children cumulated vsize (Kb) 17168

[startup+660.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4615 0 0 0 65346 243 0 0 25 0 1 0 1784996806 17580032 3449 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4292 3449 1116 68 0 4224 0
[pid=30642] vsize: 17168
Current children cumulated CPU time (s) 655.89
Current children cumulated vsize (Kb) 17168

[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4615 0 0 0 66343 244 0 0 25 0 1 0 1784996806 17580032 3449 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4292 3449 1116 68 0 4224 0
[pid=30642] vsize: 17168
Current children cumulated CPU time (s) 665.87
Current children cumulated vsize (Kb) 17168

[startup+680.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4625 0 0 0 67342 244 0 0 25 0 1 0 1784996806 17715200 3459 4294967295 134512640 134736556 3221224560 3221223088 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4325 3459 1116 68 0 4257 0
[pid=30642] vsize: 17300
Current children cumulated CPU time (s) 675.86
Current children cumulated vsize (Kb) 17300

[startup+690.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4643 0 0 0 68341 245 0 0 25 0 1 0 1784996806 17715200 3477 4294967295 134512640 134736556 3221224560 3221223248 134605558 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4325 3477 1116 68 0 4257 0
[pid=30642] vsize: 17300
Current children cumulated CPU time (s) 685.86
Current children cumulated vsize (Kb) 17300

[startup+700.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4668 0 0 0 69339 246 0 0 25 0 1 0 1784996806 17846272 3502 4294967295 134512640 134736556 3221224560 3221223088 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4357 3502 1116 68 0 4289 0
[pid=30642] vsize: 17428
Current children cumulated CPU time (s) 695.85
Current children cumulated vsize (Kb) 17428

[startup+710.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4679 0 0 0 70337 247 0 0 25 0 1 0 1784996806 17838080 3512 4294967295 134512640 134736556 3221224560 3221223088 134550713 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4355 3512 1116 68 0 4287 0
[pid=30642] vsize: 17420
Current children cumulated CPU time (s) 705.84
Current children cumulated vsize (Kb) 17420

[startup+720.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4679 0 0 0 71336 248 0 0 25 0 1 0 1784996806 17838080 3512 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4355 3512 1116 68 0 4287 0
[pid=30642] vsize: 17420
Current children cumulated CPU time (s) 715.84
Current children cumulated vsize (Kb) 17420

[startup+730.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4690 0 0 0 72334 248 0 0 25 0 1 0 1784996806 17973248 3523 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4388 3523 1116 68 0 4320 0
[pid=30642] vsize: 17552
Current children cumulated CPU time (s) 725.82
Current children cumulated vsize (Kb) 17552

[startup+740.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4690 0 0 0 73331 249 0 0 25 0 1 0 1784996806 17838080 3512 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4355 3512 1116 68 0 4287 0
[pid=30642] vsize: 17420
Current children cumulated CPU time (s) 735.8
Current children cumulated vsize (Kb) 17420

[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4690 0 0 0 74329 250 0 0 25 0 1 0 1784996806 17838080 3512 4294967295 134512640 134736556 3221224560 3221223088 134550875 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4355 3512 1116 68 0 4287 0
[pid=30642] vsize: 17420
Current children cumulated CPU time (s) 745.79
Current children cumulated vsize (Kb) 17420

[startup+760.033 s]
Raw data (loadavg): 1.00 1.00 1.00 1/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) T 30641 30642 22582 0 -1 0 4690 0 0 0 75327 251 0 0 25 0 1 0 1784996806 17838080 3512 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4355 3512 1116 68 0 4287 0
[pid=30642] vsize: 17420
Current children cumulated CPU time (s) 755.78
Current children cumulated vsize (Kb) 17420

[startup+770.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4690 0 0 0 76326 252 0 0 25 0 1 0 1784996806 17838080 3512 4294967295 134512640 134736556 3221224560 3221223136 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4355 3512 1116 68 0 4287 0
[pid=30642] vsize: 17420
Current children cumulated CPU time (s) 765.78
Current children cumulated vsize (Kb) 17420

[startup+780.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4707 0 0 0 77324 253 0 0 25 0 1 0 1784996806 17965056 3529 4294967295 134512640 134736556 3221224560 3221223136 134550882 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4386 3529 1116 68 0 4318 0
[pid=30642] vsize: 17544
Current children cumulated CPU time (s) 775.77
Current children cumulated vsize (Kb) 17544

[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4707 0 0 0 78322 254 0 0 25 0 1 0 1784996806 17965056 3529 4294967295 134512640 134736556 3221224560 3221223088 134550721 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4386 3529 1116 68 0 4318 0
[pid=30642] vsize: 17544
Current children cumulated CPU time (s) 785.76
Current children cumulated vsize (Kb) 17544

[startup+800.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4707 0 0 0 79319 254 0 0 25 0 1 0 1784996806 17965056 3529 4294967295 134512640 134736556 3221224560 3221223092 134550909 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4386 3529 1116 68 0 4318 0
[pid=30642] vsize: 17544
Current children cumulated CPU time (s) 795.73
Current children cumulated vsize (Kb) 17544

[startup+810.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4707 0 0 0 80317 256 0 0 25 0 1 0 1784996806 17965056 3529 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4386 3529 1116 68 0 4318 0
[pid=30642] vsize: 17544
Current children cumulated CPU time (s) 805.73
Current children cumulated vsize (Kb) 17544

[startup+820.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4707 0 0 0 81316 256 0 0 25 0 1 0 1784996806 17965056 3529 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4386 3529 1116 68 0 4318 0
[pid=30642] vsize: 17544
Current children cumulated CPU time (s) 815.72
Current children cumulated vsize (Kb) 17544

[startup+830.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4707 0 0 0 82314 257 0 0 25 0 1 0 1784996806 17965056 3529 4294967295 134512640 134736556 3221224560 3221223088 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4386 3529 1116 68 0 4318 0
[pid=30642] vsize: 17544
Current children cumulated CPU time (s) 825.71
Current children cumulated vsize (Kb) 17544

[startup+840.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4730 0 0 0 83312 258 0 0 25 0 1 0 1784996806 18006016 3552 4294967295 134512640 134736556 3221224560 3221223088 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3552 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 835.7
Current children cumulated vsize (Kb) 17584

[startup+850.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4730 0 0 0 84310 259 0 0 25 0 1 0 1784996806 18006016 3552 4294967295 134512640 134736556 3221224560 3221223088 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3552 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 845.69
Current children cumulated vsize (Kb) 17584

[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4739 0 0 0 85309 260 0 0 25 0 1 0 1784996806 18116608 3561 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4423 3561 1116 68 0 4355 0
[pid=30642] vsize: 17692
Current children cumulated CPU time (s) 855.69
Current children cumulated vsize (Kb) 17692

[startup+870.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4739 0 0 0 86307 260 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223136 134550878 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 865.67
Current children cumulated vsize (Kb) 17584

[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4742 0 0 0 87305 261 0 0 25 0 1 0 1784996806 18141184 3556 4294967295 134512640 134736556 3221224560 3221223088 134550888 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4429 3556 1116 68 0 4361 0
[pid=30642] vsize: 17716
Current children cumulated CPU time (s) 875.66
Current children cumulated vsize (Kb) 17716

[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 88303 262 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 885.65
Current children cumulated vsize (Kb) 17584

[startup+900.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 89302 263 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 895.65
Current children cumulated vsize (Kb) 17584

[startup+910.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 90300 264 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223088 134550878 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 905.64
Current children cumulated vsize (Kb) 17584

[startup+920.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 91299 265 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223088 134550875 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 915.64
Current children cumulated vsize (Kb) 17584

[startup+930.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 92298 265 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223136 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 925.63
Current children cumulated vsize (Kb) 17584

[startup+940.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 93296 266 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 935.62
Current children cumulated vsize (Kb) 17584

[startup+950.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 94293 267 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223136 134550882 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 945.6
Current children cumulated vsize (Kb) 17584

[startup+960.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 95289 269 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 955.58
Current children cumulated vsize (Kb) 17584

[startup+970.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 96286 271 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223088 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 965.57
Current children cumulated vsize (Kb) 17584

[startup+980.037 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 97284 272 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 975.56
Current children cumulated vsize (Kb) 17584

[startup+990.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 98282 273 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223136 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 985.55
Current children cumulated vsize (Kb) 17584

[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 99280 274 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223088 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 995.54
Current children cumulated vsize (Kb) 17584

[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 100278 275 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223104 1077377192 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 1005.53
Current children cumulated vsize (Kb) 17584

[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 101276 276 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 1015.52
Current children cumulated vsize (Kb) 17584

[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 102275 276 0 0 25 0 1 0 1784996806 18006016 3553 4294967295 134512640 134736556 3221224560 3221223088 134550735 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3553 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 1025.51
Current children cumulated vsize (Kb) 17584

[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 103271 278 0 0 25 0 1 0 1784996806 17870848 3520 4294967295 134512640 134736556 3221224560 3221223096 1077377401 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4363 3520 1116 68 0 4295 0
[pid=30642] vsize: 17452
Current children cumulated CPU time (s) 1035.49
Current children cumulated vsize (Kb) 17452

[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 104269 278 0 0 25 0 1 0 1784996806 17870848 3520 4294967295 134512640 134736556 3221224560 3221223048 1077378421 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4363 3520 1116 68 0 4295 0
[pid=30642] vsize: 17452
Current children cumulated CPU time (s) 1045.47
Current children cumulated vsize (Kb) 17452

[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4756 0 0 0 105267 279 0 0 25 0 1 0 1784996806 17870848 3520 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4363 3520 1116 68 0 4295 0
[pid=30642] vsize: 17452
Current children cumulated CPU time (s) 1055.46
Current children cumulated vsize (Kb) 17452

[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4757 0 0 0 106265 280 0 0 25 0 1 0 1784996806 18006016 3521 4294967295 134512640 134736556 3221224560 3221222988 1077379843 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3521 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 1065.45
Current children cumulated vsize (Kb) 17584

[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4757 0 0 0 107264 280 0 0 25 0 1 0 1784996806 18006016 3521 4294967295 134512640 134736556 3221224560 3221223136 134550713 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4396 3521 1116 68 0 4328 0
[pid=30642] vsize: 17584
Current children cumulated CPU time (s) 1075.44
Current children cumulated vsize (Kb) 17584

[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4757 0 0 0 108262 281 0 0 25 0 1 0 1784996806 17952768 3521 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4383 3521 1116 68 0 4315 0
[pid=30642] vsize: 17532
Current children cumulated CPU time (s) 1085.43
Current children cumulated vsize (Kb) 17532

[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4757 0 0 0 109260 281 0 0 25 0 1 0 1784996806 17952768 3521 4294967295 134512640 134736556 3221224560 3221223088 134550713 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4383 3521 1116 68 0 4315 0
[pid=30642] vsize: 17532
Current children cumulated CPU time (s) 1095.41
Current children cumulated vsize (Kb) 17532

[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4769 0 0 0 110258 282 0 0 25 0 1 0 1784996806 17952768 3533 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4383 3533 1116 68 0 4315 0
[pid=30642] vsize: 17532
Current children cumulated CPU time (s) 1105.4
Current children cumulated vsize (Kb) 17532

[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4769 0 0 0 111256 283 0 0 25 0 1 0 1784996806 17920000 3532 4294967295 134512640 134736556 3221224560 3221223088 134550878 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4375 3532 1116 68 0 4307 0
[pid=30642] vsize: 17500
Current children cumulated CPU time (s) 1115.39
Current children cumulated vsize (Kb) 17500

[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4769 0 0 0 112254 284 0 0 25 0 1 0 1784996806 17920000 3532 4294967295 134512640 134736556 3221224560 3221222924 1077379908 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4375 3532 1116 68 0 4307 0
[pid=30642] vsize: 17500
Current children cumulated CPU time (s) 1125.38
Current children cumulated vsize (Kb) 17500

[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4769 0 0 0 113253 285 0 0 25 0 1 0 1784996806 17920000 3532 4294967295 134512640 134736556 3221224560 3221223088 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4375 3532 1116 68 0 4307 0
[pid=30642] vsize: 17500
Current children cumulated CPU time (s) 1135.38
Current children cumulated vsize (Kb) 17500

[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4769 0 0 0 114251 286 0 0 25 0 1 0 1784996806 17920000 3532 4294967295 134512640 134736556 3221224560 3221223136 134550742 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4375 3532 1116 68 0 4307 0
[pid=30642] vsize: 17500
Current children cumulated CPU time (s) 1145.37
Current children cumulated vsize (Kb) 17500

[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4769 0 0 0 115248 286 0 0 25 0 1 0 1784996806 17920000 3532 4294967295 134512640 134736556 3221224560 3221223088 134550713 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4375 3532 1116 68 0 4307 0
[pid=30642] vsize: 17500
Current children cumulated CPU time (s) 1155.34
Current children cumulated vsize (Kb) 17500

[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4769 0 0 0 116247 287 0 0 25 0 1 0 1784996806 17920000 3532 4294967295 134512640 134736556 3221224560 3221223088 134550871 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4375 3532 1116 68 0 4307 0
[pid=30642] vsize: 17500
Current children cumulated CPU time (s) 1165.34
Current children cumulated vsize (Kb) 17500

[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4769 0 0 0 117245 287 0 0 25 0 1 0 1784996806 17920000 3532 4294967295 134512640 134736556 3221224560 3221223088 134550724 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4375 3532 1116 68 0 4307 0
[pid=30642] vsize: 17500
Current children cumulated CPU time (s) 1175.32
Current children cumulated vsize (Kb) 17500

[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/56 30642
Raw data (/proc/30642/stat): 30642 (bsolo) R 30641 30642 22582 0 -1 0 4769 0 0 0 118244 289 0 0 25 0 1 0 1784996806 17920000 3532 4294967295 134512640 134736556 3221224560 3221223296 134605570 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/30642/statm): 4375 3532 1116 68 0 4307 0
[pid=30642] vsize: 17500
Current children cumulated CPU time (s) 1185.33
Current children cumulated vsize (Kb) 17500
One traced child (pid=30642) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1199.81
CPU time (s): 1195.07
CPU user time (s): 1192.16
CPU system time (s): 2.90756
CPU usage (%): 99.6049
Max. virtual memory (cumulated for all children) (Kb): 17752

Verifier Data

Verifier:	OK	70424437