Some explanations

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

General information on the benchmark

Namemps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-protfold.opb
MD5SUMc5ca7819a7dcae16ff6045242cdd1f87
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function -21
Optimality of the best value was proved NO
Number of terms in the objective function 120
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 120
Number of bits of the sum of numbers in the objective function 7
Biggest number in a constraint 18
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 900
Number of bits of the biggest sum of numbers10
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1195.11
Number of variables1835
Total number of constraints3947
Number of constraints which are clauses1906
Number of constraints which are cardinality constraints (but not clauses)1921
Number of constraints which are nor clauses,nor cardinality constraints120
Minimum length of a constraint1
Maximum length of a constraint882

Trace number 10475

Launcher Data

LAUNCH ON wulflinc19 THE 2005-09-23 18:16:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=9181 boxname=wulflinc19 idbench=977 idsolver=8 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  c5ca7819a7dcae16ff6045242cdd1f87  /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-protfold.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-protfold.opb
IDLAUNCH: 9181
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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:        900908 kB
Buffers:         16264 kB
Cached:          97500 kB
SwapCached:          0 kB
Active:          46520 kB
Inactive:        70160 kB
HighTotal:      131008 kB
HighFree:        37408 kB
LowTotal:       903652 kB
LowFree:        863500 kB
SwapTotal:     2097892 kB
SwapFree:      2097892 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11440 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-09-23 18:36:42 (client local time) WITH STATUS 10 IN 1209.4 SECONDS
stats: 9181 0 1209.4 10

Solver Data

c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 101
c small objective detected

c Decision: 12484/88151	Time: 120.3/86400
c Decision: 12484/88151	Time: 131.257/86400
c Decision: 12484/88151	Time: 145.78/86400
c Decision: 12484/88151	Time: 159.151/86400
c Decision: 12484/88151	Time: 167.053/86400
c Decision: 12484/88151	Time: 174.206/86400
c Decision: 12484/88151	Time: 187.767/86400
c Decision: 12484/88151	Time: 202.243/86400
c Decision: 12484/88151	Time: 212.596/86400
c Decision: 12484/88151	Time: 224.471/86400
c Decision: 12484/88151	Time: 239.246/86400
c Decision: 12484/88151	Time: 255.013/86400
c Decision: 12484/88151	Time: 267.108/86400
c Decision: 12484/88151	Time: 280.938/86400
c Decision: 12484/88151	Time: 299.121/86400
c Decision: 12484/88151	Time: 316.804/86400
c Decision: 12484/88151	Time: 332.801/86400
c Decision: 12484/88151	Time: 348.969/86400
c Decision: 12484/88151	Time: 361.539/86400
c Decision: 12484/88151	Time: 370.064/86400
c Decision: 12484/88151	Time: 385.526/86400
c Decision: 12484/88151	Time: 401.698/86400
c Decision: 12484/88151	Time: 413.868/86400
c Decision: 12484/88151	Time: 429.764/86400
c Decision: 12484/88151	Time: 445.503/86400
c Decision: 12484/88151	Time: 457.089/86400
c Decision: 12484/88151	Time: 473.619/86400
c Decision: 12484/88151	Time: 481.91/86400
c Decision: 12484/88151	Time: 491.272/86400
c Decision: 12484/88151	Time: 501.665/86400
c Decision: 12484/88151	Time: 518.666/86400
c Decision: 12484/88151	Time: 534.519/86400
c Decision: 12484/88151	Time: 549.209/86400
c Decision: 12484/88151	Time: 566.345/86400
c Decision: 12484/88151	Time: 581.468/86400
c Decision: 12484/88151	Time: 590.972/86400
c Decision: 12484/88151	Time: 599.827/86400
c Decision: 12484/88151	Time: 607.867/86400
c Decision: 12484/88151	Time: 617.248/86400
c Decision: 12484/88151	Time: 625.653/86400
c Decision: 12484/88151	Time: 634.08/86400
c Decision: 12484/88151	Time: 644.532/86400
c Decision: 12484/88151	Time: 655.809/86400
c Decision: 12484/88151	Time: 671.022/86400
c Decision: 12484/88151	Time: 688.712/86400
c Decision: 12484/88151	Time: 706.169/86400
c Decision: 12484/88151	Time: 718.295/86400
c Decision: 12484/88151	Time: 729.457/86400
c Decision: 12484/88151	Time: 743.973/86400
c Decision: 12484/88151	Time: 757.038/86400
c Decision: 12484/88151	Time: 772.322/86400
c Decision: 12484/88151	Time: 787.725/86400
c Decision: 12484/88151	Time: 803.844/86400
c Decision: 12484/88151	Time: 822.182/86400
c Decision: 12484/88151	Time: 839.655/86400
c Decision: 12484/88151	Time: 858.162/86400
c Decision: 12484/88151	Time: 874.271/86400
c Decision: 12484/88151	Time: 892.075/86400
c Decision: 12484/88151	Time: 909.759/86400
c Decision: 12484/88151	Time: 921.9/86400
c Decision: 12484/88151	Time: 937.157/86400
c Decision: 12484/88151	Time: 950.785/86400
c Decision: 12484/88151	Time: 970.085/86400
c Decision: 12484/88151	Time: 986.9/86400
c Decision: 12484/88151	Time: 995.473/86400
c Decision: 12484/88151	Time: 1004.94/86400
c Decision: 12484/88151	Time: 1018.22/86400
c Decision: 12484/88151	Time: 1034.47/86400
c Decision: 12484/88151	Time: 1052.78/86400
c Decision: 12484/88151	Time: 1067.68/86400
c Decision: 12484/88151	Time: 1080.61/86400
c Decision: 12484/88151	Time: 1098.77/86400
c Decision: 12484/88151	Time: 1108.51/86400
c Decision: 12484/88151	Time: 1121.37/86400
c Decision: 12484/88151	Time: 1138.76/86400
c Decision: 12484/88151	Time: 1152.78/86400
c Decision: 12484/88151	Time: 1164.08/86400
c Decision: 12484/88151	Time: 1172.83/86400
c Decision: 12484/88151	Time: 1184.72/86400
c Decision: 12484/88151	Time: 1200.32/86400s SATISFIABLE
v N_0x23_10_0x23_11_bit0 -N_0x23_10_0x23_17_bit0 N_0x23_10_0x23_18_bit0 N_0x23_11_0x23_12_bit0 N_0x23_11_0x23_18_bit0 -N_0x23_11_0x23_19_bit0 N_0x23_12_0x23_13_bit0 -N_0x23_12_0x23_19_bit0 -N_0x23_12_0x23_20_bit0 -N_0x23_13_0x23_14_bit0 -N_0x23_13_0x23_20_bit0 -N_0x23_13_0x23_21_bit0 -N_0x23_14_0x23_21_bit0 -N_0x23_15_0x23_16_bit0 -N_0x23_15_0x23_22_bit0 -N_0x23_15_0x23_23_bit0 -N_0x23_16_0x23_17_bit0 -N_0x23_16_0x23_23_bit0 -N_0x23_16_0x23_24_bit0 -N_0x23_17_0x23_18_bit0 -N_0x23_17_0x23_24_bit0 -N_0x23_17_0x23_25_bit0 -N_0x23_18_0x23_19_bit0 -N_0x23_18_0x23_25_bit0 -N_0x23_18_0x23_26_bit0 -N_0x23_19_0x23_20_bit0 -N_0x23_19_0x23_26_bit0 -N_0x23_19_0x23_27_bit0 -N_0x23_1_0x23_2_bit0 -N_0x23_1_0x23_8_bit0 -N_0x23_1_0x23_9_bit0 -N_0x23_20_0x23_21_bit0 -N_0x23_20_0x23_27_bit0 -N_0x23_20_0x23_28_bit0 -N_0x23_21_0x23_28_bit0 -N_0x23_22_0x23_23_bit0 -N_0x23_22_0x23_29_bit0 -N_0x23_22_0x23_30_bit0 -N_0x23_23_0x23_24_bit0 -N_0x23_23_0x23_30_bit0 -N_0x23_23_0x23_31_bit0 -N_0x23_24_0x23_25_bit0 -N_0x23_24_0x23_31_bit0 -N_0x23_24_0x23_32_bit0 -N_0x23_25_0x23_26_bit0 -N_0x23_25_0x23_32_bit0 -N_0x23_25_0x23_33_bit0 -N_0x23_26_0x23_27_bit0 -N_0x23_26_0x23_33_bit0 -N_0x23_26_0x23_34_bit0 -N_0x23_27_0x23_28_bit0 -N_0x23_27_0x23_34_bit0 -N_0x23_27_0x23_35_bit0 -N_0x23_28_0x23_35_bit0 -N_0x23_29_0x23_30_bit0 -N_0x23_29_0x23_36_bit0 -N_0x23_29_0x23_37_bit0 -N_0x23_2_0x23_10_bit0 -N_0x23_2_0x23_3_bit0 -N_0x23_2_0x23_9_bit0 N_0x23_30_0x23_31_bit0 N_0x23_30_0x23_37_bit0 N_0x23_30_0x23_38_bit0 -N_0x23_31_0x23_32_bit0 N_0x23_31_0x23_38_bit0 -N_0x23_31_0x23_39_bit0 -N_0x23_32_0x23_33_bit0 -N_0x23_32_0x23_39_bit0 -N_0x23_32_0x23_40_bit0 N_0x23_33_0x23_34_bit0 N_0x23_33_0x23_40_bit0 N_0x23_33_0x23_41_bit0 -N_0x23_34_0x23_35_bit0 N_0x23_34_0x23_41_bit0 -N_0x23_34_0x23_42_bit0 -N_0x23_35_0x23_42_bit0 -N_0x23_36_0x23_37_bit0 -N_0x23_36_0x23_43_bit0 -N_0x23_36_0x23_44_bit0 N_0x23_37_0x23_38_bit0 N_0x23_37_0x23_44_bit0 -N_0x23_37_0x23_45_bit0 -N_0x23_38_0x23_39_bit0 -N_0x23_38_0x23_45_bit0 N_0x23_38_0x23_46_bit0 -N_0x23_39_0x23_40_bit0 -N_0x23_39_0x23_46_bit0 -N_0x23_39_0x23_47_bit0 -N_0x23_3_0x23_10_bit0 -N_0x23_3_0x23_11_bit0 -N_0x23_3_0x23_4_bit0 N_0x23_40_0x23_41_bit0 -N_0x23_40_0x23_47_bit0 -N_0x23_40_0x23_48_bit0 -N_0x23_41_0x23_42_bit0 -N_0x23_41_0x23_48_bit0 -N_0x23_41_0x23_49_bit0 -N_0x23_42_0x23_49_bit0 -N_0x23_43_0x23_44_bit0 -N_0x23_44_0x23_45_bit0 -N_0x23_45_0x23_46_bit0 -N_0x23_46_0x23_47_bit0 -N_0x23_47_0x23_48_bit0 -N_0x23_48_0x23_49_bit0 -N_0x23_4_0x23_11_bit0 -N_0x23_4_0x23_12_bit0 -N_0x23_4_0x23_5_bit0 -N_0x23_5_0x23_12_bit0 -N_0x23_5_0x23_13_bit0 -N_0x23_5_0x23_6_bit0 -N_0x23_6_0x23_13_bit0 -N_0x23_6_0x23_14_bit0 -N_0x23_6_0x23_7_bit0 -N_0x23_7_0x23_14_bit0 -N_0x23_8_0x23_15_bit0 -N_0x23_8_0x23_16_bit0 -N_0x23_8_0x23_9_bit0 N_0x23_9_0x23_10_bit0 N_0x23_9_0x23_16_bit0 -N_0x23_9_0x23_17_bit0 -x_0x23_10_0x23_10_bit0 -x_0x23_10_0x23_11_bit0 -x_0x23_10_0x23_12_bit0 -x_0x23_10_0x23_13_bit0 -x_0x23_10_0x23_14_bit0 -x_0x23_10_0x23_15_bit0 -x_0x23_10_0x23_16_bit0 -x_0x23_10_0x23_17_bit0 -x_0x23_10_0x23_18_bit0 -x_0x23_10_0x23_19_bit0 -x_0x23_10_0x23_1_bit0 -x_0x23_10_0x23_20_bit0 -x_0x23_10_0x23_21_bit0 -x_0x23_10_0x23_22_bit0 -x_0x23_10_0x23_23_bit0 -x_0x23_10_0x23_24_bit0 -x_0x23_10_0x23_25_bit0 -x_0x23_10_0x23_26_bit0 -x_0x23_10_0x23_27_bit0 -x_0x23_10_0x23_28_bit0 -x_0x23_10_0x23_29_bit0 -x_0x23_10_0x23_2_bit0 -x_0x23_10_0x23_30_bit0 -x_0x23_10_0x23_31_bit0 -x_0x23_10_0x23_32_bit0 -x_0x23_10_0x23_33_bit0 -x_0x23_10_0x23_34_bit0 -x_0x23_10_0x23_35_bit0 -x_0x23_10_0x23_3_bit0 -x_0x23_10_0x23_4_bit0 -x_0x23_10_0x23_5_bit0 -x_0x23_10_0x23_6_bit0 -x_0x23_10_0x23_7_bit0 x_0x23_10_0x23_8_bit0 -x_0x23_10_0x23_9_bit0 -x_0x23_11_0x23_10_bit0 -x_0x23_11_0x23_11_bit0 -x_0x23_11_0x23_12_bit0 -x_0x23_11_0x23_13_bit0 -x_0x23_11_0x23_14_bit0 -x_0x23_11_0x23_15_bit0 -x_0x23_11_0x23_16_bit0 -x_0x23_11_0x23_17_bit0 -x_0x23_11_0x23_18_bit0 -x_0x23_11_0x23_19_bit0 -x_0x23_11_0x23_1_bit0 -x_0x23_11_0x23_20_bit0 -x_0x23_11_0x23_21_bit0 -x_0x23_11_0x23_22_bit0 -x_0x23_11_0x23_23_bit0 -x_0x23_11_0x23_24_bit0 -x_0x23_11_0x23_25_bit0 -x_0x23_11_0x23_26_bit0 -x_0x23_11_0x23_27_bit0 -x_0x23_11_0x23_28_bit0 -x_0x23_11_0x23_29_bit0 -x_0x23_11_0x23_2_bit0 -x_0x23_11_0x23_30_bit0 -x_0x23_11_0x23_31_bit0 -x_0x23_11_0x23_32_bit0 -x_0x23_11_0x23_33_bit0 -x_0x23_11_0x23_34_bit0 -x_0x23_11_0x23_35_bit0 -x_0x23_11_0x23_3_bit0 -x_0x23_11_0x23_4_bit0 -x_0x23_11_0x23_5_bit0 -x_0x23_11_0x23_6_bit0 -x_0x23_11_0x23_7_bit0 -x_0x23_11_0x23_8_bit0 x_0x23_11_0x23_9_bit0 -x_0x23_12_0x23_10_bit0 x_0x23_12_0x23_11_bit0 -x_0x23_12_0x23_12_bit0 -x_0x23_12_0x23_13_bit0 -x_0x23_12_0x23_14_bit0 -x_0x23_12_0x23_15_bit0 -x_0x23_12_0x23_16_bit0 -x_0x23_12_0x23_17_bit0 -x_0x23_12_0x23_18_bit0 -x_0x23_12_0x23_19_bit0 -x_0x23_12_0x23_1_bit0 -x_0x23_12_0x23_20_bit0 -x_0x23_12_0x23_21_bit0 -x_0x23_12_0x23_22_bit0 -x_0x23_12_0x23_23_bit0 -x_0x23_12_0x23_24_bit0 -x_0x23_12_0x23_25_bit0 -x_0x23_12_0x23_26_bit0 -x_0x23_12_0x23_27_bit0 -x_0x23_12_0x23_28_bit0 -x_0x23_12_0x23_29_bit0 -x_0x23_12_0x23_2_bit0 -x_0x23_12_0x23_30_bit0 -x_0x23_12_0x23_31_bit0 -x_0x23_12_0x23_32_bit0 -x_0x23_12_0x23_33_bit0 -x_0x23_12_0x23_34_bit0 -x_0x23_12_0x23_35_bit0 -x_0x23_12_0x23_3_bit0 -x_0x23_12_0x23_4_bit0 -x_0x23_12_0x23_5_bit0 -x_0x23_12_0x23_6_bit0 -x_0x23_12_0x23_7_bit0 -x_0x23_12_0x23_8_bit0 -x_0x23_12_0x23_9_bit0 -x_0x23_13_0x23_10_bit0 -x_0x23_13_0x23_11_bit0 -x_0x23_13_0x23_12_bit0 x_0x23_13_0x23_13_bit0 -x_0x23_13_0x23_14_bit0 -x_0x23_13_0x23_15_bit0 -x_0x23_13_0x23_16_bit0 -x_0x23_13_0x23_17_bit0 -x_0x23_13_0x23_18_bit0 -x_0x23_13_0x23_19_bit0 -x_0x23_13_0x23_1_bit0 -x_0x23_13_0x23_20_bit0 -x_0x23_13_0x23_21_bit0 -x_0x23_13_0x23_22_bit0 -x_0x23_13_0x23_23_bit0 -x_0x23_13_0x23_24_bit0 -x_0x23_13_0x23_25_bit0 -x_0x23_13_0x23_26_bit0 -x_0x23_13_0x23_27_bit0 -x_0x23_13_0x23_28_bit0 -x_0x23_13_0x23_29_bit0 -x_0x23_13_0x23_2_bit0 -x_0x23_13_0x23_30_bit0 -x_0x23_13_0x23_31_bit0 -x_0x23_13_0x23_32_bit0 -x_0x23_13_0x23_33_bit0 -x_0x23_13_0x23_34_bit0 -x_0x23_13_0x23_35_bit0 -x_0x23_13_0x23_3_bit0 -x_0x23_13_0x23_4_bit0 -x_0x23_13_0x23_5_bit0 -x_0x23_13_0x23_6_bit0 -x_0x23_13_0x23_7_bit0 -x_0x23_13_0x23_8_bit0 -x_0x23_13_0x23_9_bit0 -x_0x23_14_0x23_10_bit0 -x_0x23_14_0x23_11_bit0 -x_0x23_14_0x23_12_bit0 -x_0x23_14_0x23_13_bit0 -x_0x23_14_0x23_14_bit0 -x_0x23_14_0x23_15_bit0 -x_0x23_14_0x23_16_bit0 -x_0x23_14_0x23_17_bit0 -x_0x23_14_0x23_18_bit0 -x_0x23_14_0x23_19_bit0 -x_0x23_14_0x23_1_bit0 -x_0x23_14_0x23_20_bit0 -x_0x23_14_0x23_21_bit0 -x_0x23_14_0x23_22_bit0 -x_0x23_14_0x23_23_bit0 -x_0x23_14_0x23_24_bit0 -x_0x23_14_0x23_25_bit0 -x_0x23_14_0x23_26_bit0 -x_0x23_14_0x23_27_bit0 -x_0x23_14_0x23_28_bit0 -x_0x23_14_0x23_29_bit0 -x_0x23_14_0x23_2_bit0 -x_0x23_14_0x23_30_bit0 -x_0x23_14_0x23_31_bit0 -x_0x23_14_0x23_32_bit0 -x_0x23_14_0x23_33_bit0 -x_0x23_14_0x23_34_bit0 -x_0x23_14_0x23_35_bit0 -x_0x23_14_0x23_3_bit0 -x_0x23_14_0x23_4_bit0 -x_0x23_14_0x23_5_bit0 -x_0x23_14_0x23_6_bit0 -x_0x23_14_0x23_7_bit0 -x_0x23_14_0x23_8_bit0 -x_0x23_14_0x23_9_bit0 -x_0x23_15_0x23_10_bit0 -x_0x23_15_0x23_11_bit0 -x_0x23_15_0x23_12_bit0 -x_0x23_15_0x23_13_bit0 -x_0x23_15_0x23_14_bit0 -x_0x23_15_0x23_15_bit0 -x_0x23_15_0x23_16_bit0 -x_0x23_15_0x23_17_bit0 -x_0x23_15_0x23_18_bit0 -x_0x23_15_0x23_19_bit0 -x_0x23_15_0x23_1_bit0 -x_0x23_15_0x23_20_bit0 -x_0x23_15_0x23_21_bit0 -x_0x23_15_0x23_22_bit0 -x_0x23_15_0x23_23_bit0 x_0x23_15_0x23_24_bit0 -x_0x23_15_0x23_25_bit0 -x_0x23_15_0x23_26_bit0 -x_0x23_15_0x23_27_bit0 -x_0x23_15_0x23_28_bit0 -x_0x23_15_0x23_29_bit0 -x_0x23_15_0x23_2_bit0 -x_0x23_15_0x23_30_bit0 -x_0x23_15_0x23_31_bit0 -x_0x23_15_0x23_32_bit0 -x_0x23_15_0x23_33_bit0 -x_0x23_15_0x23_34_bit0 -x_0x23_15_0x23_35_bit0 -x_0x23_15_0x23_3_bit0 -x_0x23_15_0x23_4_bit0 -x_0x23_15_0x23_5_bit0 -x_0x23_15_0x23_6_bit0 -x_0x23_15_0x23_7_bit0 -x_0x23_15_0x23_8_bit0 -x_0x23_15_0x23_9_bit0 -x_0x23_16_0x23_10_bit0 -x_0x23_16_0x23_11_bit0 -x_0x23_16_0x23_12_bit0 -x_0x23_16_0x23_13_bit0 -x_0x23_16_0x23_14_bit0 -x_0x23_16_0x23_15_bit0 -x_0x23_16_0x23_16_bit0 -x_0x23_16_0x23_17_bit0 -x_0x23_16_0x23_18_bit0 -x_0x23_16_0x23_19_bit0 -x_0x23_16_0x23_1_bit0 -x_0x23_16_0x23_20_bit0 -x_0x23_16_0x23_21_bit0 -x_0x23_16_0x23_22_bit0 x_0x23_16_0x23_23_bit0 -x_0x23_16_0x23_24_bit0 -x_0x23_16_0x23_25_bit0 -x_0x23_16_0x23_26_bit0 -x_0x23_16_0x23_27_bit0 -x_0x23_16_0x23_28_bit0 -x_0x23_16_0x23_29_bit0 -x_0x23_16_0x23_2_bit0 -x_0x23_16_0x23_30_bit0 -x_0x23_16_0x23_31_bit0 -x_0x23_16_0x23_32_bit0 -x_0x23_16_0x23_33_bit0 -x_0x23_16_0x23_34_bit0 -x_0x23_16_0x23_35_bit0 -x_0x23_16_0x23_3_bit0 -x_0x23_16_0x23_4_bit0 -x_0x23_16_0x23_5_bit0 -x_0x23_16_0x23_6_bit0 -x_0x23_16_0x23_7_bit0 -x_0x23_16_0x23_8_bit0 -x_0x23_16_0x23_9_bit0 -x_0x23_17_0x23_10_bit0 -x_0x23_17_0x23_11_bit0 -x_0x23_17_0x23_12_bit0 -x_0x23_17_0x23_13_bit0 -x_0x23_17_0x23_14_bit0 -x_0x23_17_0x23_15_bit0 -x_0x23_17_0x23_16_bit0 -x_0x23_17_0x23_17_bit0 -x_0x23_17_0x23_18_bit0 -x_0x23_17_0x23_19_bit0 -x_0x23_17_0x23_1_bit0 -x_0x23_17_0x23_20_bit0 -x_0x23_17_0x23_21_bit0 -x_0x23_17_0x23_22_bit0 -x_0x23_17_0x23_23_bit0 -x_0x23_17_0x23_24_bit0 -x_0x23_17_0x23_25_bit0 -x_0x23_17_0x23_26_bit0 -x_0x23_17_0x23_27_bit0 -x_0x23_17_0x23_28_bit0 -x_0x23_17_0x23_29_bit0 -x_0x23_17_0x23_2_bit0 -x_0x23_17_0x23_30_bit0 -x_0x23_17_0x23_31_bit0 -x_0x23_17_0x23_32_bit0 -x_0x23_17_0x23_33_bit0 -x_0x23_17_0x23_34_bit0 -x_0x23_17_0x23_35_bit0 -x_0x23_17_0x23_3_bit0 -x_0x23_17_0x23_4_bit0 x_0x23_17_0x23_5_bit0 -x_0x23_17_0x23_6_bit0 -x_0x23_17_0x23_7_bit0 -x_0x23_17_0x23_8_bit0 -x_0x23_17_0x23_9_bit0 -x_0x23_18_0x23_10_bit0 -x_0x23_18_0x23_11_bit0 -x_0x23_18_0x23_12_bit0 -x_0x23_18_0x23_13_bit0 -x_0x23_18_0x23_14_bit0 -x_0x23_18_0x23_15_bit0 -x_0x23_18_0x23_16_bit0 -x_0x23_18_0x23_17_bit0 -x_0x23_18_0x23_18_bit0 -x_0x23_18_0x23_19_bit0 -x_0x23_18_0x23_1_bit0 -x_0x23_18_0x23_20_bit0 -x_0x23_18_0x23_21_bit0 -x_0x23_18_0x23_22_bit0 -x_0x23_18_0x23_23_bit0 -x_0x23_18_0x23_24_bit0 -x_0x23_18_0x23_25_bit0 -x_0x23_18_0x23_26_bit0 -x_0x23_18_0x23_27_bit0 -x_0x23_18_0x23_28_bit0 -x_0x23_18_0x23_29_bit0 -x_0x23_18_0x23_2_bit0 -x_0x23_18_0x23_30_bit0 -x_0x23_18_0x23_31_bit0 -x_0x23_18_0x23_32_bit0 -x_0x23_18_0x23_33_bit0 -x_0x23_18_0x23_34_bit0 -x_0x23_18_0x23_35_bit0 x_0x23_18_0x23_3_bit0 -x_0x23_18_0x23_4_bit0 -x_0x23_18_0x23_5_bit0 -x_0x23_18_0x23_6_bit0 -x_0x23_18_0x23_7_bit0 -x_0x23_18_0x23_8_bit0 -x_0x23_18_0x23_9_bit0 x_0x23_19_0x23_10_bit0 -x_0x23_19_0x23_11_bit0 -x_0x23_19_0x23_12_bit0 -x_0x23_19_0x23_13_bit0 -x_0x23_19_0x23_14_bit0 -x_0x23_19_0x23_15_bit0 -x_0x23_19_0x23_16_bit0 -x_0x23_19_0x23_17_bit0 -x_0x23_19_0x23_18_bit0 -x_0x23_19_0x23_19_bit0 -x_0x23_19_0x23_1_bit0 -x_0x23_19_0x23_20_bit0 -x_0x23_19_0x23_21_bit0 -x_0x23_19_0x23_22_bit0 -x_0x23_19_0x23_23_bit0 -x_0x23_19_0x23_24_bit0 -x_0x23_19_0x23_25_bit0 -x_0x23_19_0x23_26_bit0 -x_0x23_19_0x23_27_bit0 -x_0x23_19_0x23_28_bit0 -x_0x23_19_0x23_29_bit0 -x_0x23_19_0x23_2_bit0 -x_0x23_19_0x23_30_bit0 -x_0x23_19_0x23_31_bit0 -x_0x23_19_0x23_32_bit0 -x_0x23_19_0x23_33_bit0 -x_0x23_19_0x23_34_bit0 -x_0x23_19_0x23_35_bit0 -x_0x23_19_0x23_3_bit0 -x_0x23_19_0x23_4_bit0 -x_0x23_19_0x23_5_bit0 -x_0x23_19_0x23_6_bit0 -x_0x23_19_0x23_7_bit0 -x_0x23_19_0x23_8_bit0 -x_0x23_19_0x23_9_bit0 -x_0x23_1_0x23_10_bit0 -x_0x23_1_0x23_11_bit0 -x_0x23_1_0x23_12_bit0 -x_0x23_1_0x23_13_bit0 -x_0x23_1_0x23_14_bit0 -x_0x23_1_0x23_15_bit0 -x_0x23_1_0x23_16_bit0 -x_0x23_1_0x23_17_bit0 -x_0x23_1_0x23_18_bit0 -x_0x23_1_0x23_19_bit0 -x_0x23_1_0x23_1_bit0 -x_0x23_1_0x23_20_bit0 -x_0x23_1_0x23_21_bit0 -x_0x23_1_0x23_22_bit0 -x_0x23_1_0x23_23_bit0 -x_0x23_1_0x23_24_bit0 -x_0x23_1_0x23_25_bit0 -x_0x23_1_0x23_26_bit0 -x_0x23_1_0x23_27_bit0 -x_0x23_1_0x23_28_bit0 -x_0x23_1_0x23_29_bit0 -x_0x23_1_0x23_2_bit0 -x_0x23_1_0x23_30_bit0 -x_0x23_1_0x23_31_bit0 -x_0x23_1_0x23_32_bit0 -x_0x23_1_0x23_33_bit0 -x_0x23_1_0x23_34_bit0 -x_0x23_1_0x23_35_bit0 -x_0x23_1_0x23_3_bit0 -x_0x23_1_0x23_4_bit0 -x_0x23_1_0x23_5_bit0 -x_0x23_1_0x23_6_bit0 -x_0x23_1_0x23_7_bit0 -x_0x23_1_0x23_8_bit0 -x_0x23_1_0x23_9_bit0 -x_0x23_20_0x23_10_bit0 -x_0x23_20_0x23_11_bit0 -x_0x23_20_0x23_12_bit0 -x_0x23_20_0x23_13_bit0 x_0x23_20_0x23_14_bit0 -x_0x23_20_0x23_15_bit0 -x_0x23_20_0x23_16_bit0 -x_0x23_20_0x23_17_bit0 -x_0x23_20_0x23_18_bit0 -x_0x23_20_0x23_19_bit0 -x_0x23_20_0x23_1_bit0 -x_0x23_20_0x23_20_bit0 -x_0x23_20_0x23_21_bit0 -x_0x23_20_0x23_22_bit0 -x_0x23_20_0x23_23_bit0 -x_0x23_20_0x23_24_bit0 -x_0x23_20_0x23_25_bit0 -x_0x23_20_0x23_26_bit0 -x_0x23_20_0x23_27_bit0 -x_0x23_20_0x23_28_bit0 -x_0x23_20_0x23_29_bit0 -x_0x23_20_0x23_2_bit0 -x_0x23_20_0x23_30_bit0 -x_0x23_20_0x23_31_bit0 -x_0x23_20_0x23_32_bit0 -x_0x23_20_0x23_33_bit0 -x_0x23_20_0x23_34_bit0 -x_0x23_20_0x23_35_bit0 -x_0x23_20_0x23_3_bit0 -x_0x23_20_0x23_4_bit0 -x_0x23_20_0x23_5_bit0 -x_0x23_20_0x23_6_bit0 -x_0x23_20_0x23_7_bit0 -x_0x23_20_0x23_8_bit0 -x_0x23_20_0x23_9_bit0 -x_0x23_21_0x23_10_bit0 -x_0x23_21_0x23_11_bit0 -x_0x23_21_0x23_12_bit0 -x_0x23_21_0x23_13_bit0 -x_0x23_21_0x23_14_bit0 -x_0x23_21_0x23_15_bit0 -x_0x23_21_0x23_16_bit0 -x_0x23_21_0x23_17_bit0 -x_0x23_21_0x23_18_bit0 -x_0x23_21_0x23_19_bit0 -x_0x23_21_0x23_1_bit0 -x_0x23_21_0x23_20_bit0 -x_0x23_21_0x23_21_bit0 -x_0x23_21_0x23_22_bit0 -x_0x23_21_0x23_23_bit0 -x_0x23_21_0x23_24_bit0 -x_0x23_21_0x23_25_bit0 -x_0x23_21_0x23_26_bit0 -x_0x23_21_0x23_27_bit0 -x_0x23_21_0x23_28_bit0 -x_0x23_21_0x23_29_bit0 -x_0x23_21_0x23_2_bit0 -x_0x23_21_0x23_30_bit0 -x_0x23_21_0x23_31_bit0 -x_0x23_21_0x23_32_bit0 -x_0x23_21_0x23_33_bit0 -x_0x23_21_0x23_34_bit0 -x_0x23_21_0x23_35_bit0 -x_0x23_21_0x23_3_bit0 -x_0x23_21_0x23_4_bit0 -x_0x23_21_0x23_5_bit0 -x_0x23_21_0x23_6_bit0 -x_0x23_21_0x23_7_bit0 -x_0x23_21_0x23_8_bit0 -x_0x23_21_0x23_9_bit0 -x_0x23_22_0x23_10_bit0 -x_0x23_22_0x23_11_bit0 -x_0x23_22_0x23_12_bit0 -x_0x23_22_0x23_13_bit0 -x_0x23_22_0x23_14_bit0 -x_0x23_22_0x23_15_bit0 -x_0x23_22_0x23_16_bit0 -x_0x23_22_0x23_17_bit0 -x_0x23_22_0x23_18_bit0 -x_0x23_22_0x23_19_bit0 -x_0x23_22_0x23_1_bit0 -x_0x23_22_0x23_20_bit0 -x_0x23_22_0x23_21_bit0 -x_0x23_22_0x23_22_bit0 -x_0x23_22_0x23_23_bit0 -x_0x23_22_0x23_24_bit0 -x_0x23_22_0x23_25_bit0 -x_0x23_22_0x23_26_bit0 -x_0x23_22_0x23_27_bit0 -x_0x23_22_0x23_28_bit0 -x_0x23_22_0x23_29_bit0 -x_0x23_22_0x23_2_bit0 -x_0x23_22_0x23_30_bit0 -x_0x23_22_0x23_31_bit0 -x_0x23_22_0x23_32_bit0 -x_0x23_22_0x23_33_bit0 -x_0x23_22_0x23_34_bit0 -x_0x23_22_0x23_35_bit0 -x_0x23_22_0x23_3_bit0 -x_0x23_22_0x23_4_bit0 -x_0x23_22_0x23_5_bit0 -x_0x23_22_0x23_6_bit0 -x_0x23_22_0x23_7_bit0 -x_0x23_22_0x23_8_bit0 -x_0x23_22_0x23_9_bit0 -x_0x23_23_0x23_10_bit0 -x_0x23_23_0x23_11_bit0 -x_0x23_23_0x23_12_bit0 -x_0x23_23_0x23_13_bit0 -x_0x23_23_0x23_14_bit0 -x_0x23_23_0x23_15_bit0 -x_0x23_23_0x23_16_bit0 -x_0x23_23_0x23_17_bit0 -x_0x23_23_0x23_18_bit0 -x_0x23_23_0x23_19_bit0 -x_0x23_23_0x23_1_bit0 -x_0x23_23_0x23_20_bit0 -x_0x23_23_0x23_21_bit0 -x_0x23_23_0x23_22_bit0 -x_0x23_23_0x23_23_bit0 -x_0x23_23_0x23_24_bit0 x_0x23_23_0x23_25_bit0 -x_0x23_23_0x23_26_bit0 -x_0x23_23_0x23_27_bit0 -x_0x23_23_0x23_28_bit0 -x_0x23_23_0x23_29_bit0 -x_0x23_23_0x23_2_bit0 -x_0x23_23_0x23_30_bit0 -x_0x23_23_0x23_31_bit0 -x_0x23_23_0x23_32_bit0 -x_0x23_23_0x23_33_bit0 -x_0x23_23_0x23_34_bit0 -x_0x23_23_0x23_35_bit0 -x_0x23_23_0x23_3_bit0 -x_0x23_23_0x23_4_bit0 -x_0x23_23_0x23_5_bit0 -x_0x23_23_0x23_6_bit0 -x_0x23_23_0x23_7_bit0 -x_0x23_23_0x23_8_bit0 -x_0x23_23_0x23_9_bit0 -x_0x23_24_0x23_10_bit0 -x_0x23_24_0x23_11_bit0 -x_0x23_24_0x23_12_bit0 -x_0x23_24_0x23_13_bit0 -x_0x23_24_0x23_14_bit0 -x_0x23_24_0x23_15_bit0 -x_0x23_24_0x23_16_bit0 -x_0x23_24_0x23_17_bit0 -x_0x23_24_0x23_18_bit0 -x_0x23_24_0x23_19_bit0 -x_0x23_24_0x23_1_bit0 -x_0x23_24_0x23_20_bit0 -x_0x23_24_0x23_21_bit0 x_0x23_24_0x23_22_bit0 -x_0x23_24_0x23_23_bit0 -x_0x23_24_0x23_24_bit0 -x_0x23_24_0x23_25_bit0 -x_0x23_24_0x23_26_bit0 -x_0x23_24_0x23_27_bit0 -x_0x23_24_0x23_28_bit0 -x_0x23_24_0x23_29_bit0 -x_0x23_24_0x23_2_bit0 -x_0x23_24_0x23_30_bit0 -x_0x23_24_0x23_31_bit0 -x_0x23_24_0x23_32_bit0 -x_0x23_24_0x23_33_bit0 -x_0x23_24_0x23_34_bit0 -x_0x23_24_0x23_35_bit0 -x_0x23_24_0x23_3_bit0 -x_0x23_24_0x23_4_bit0 -x_0x23_24_0x23_5_bit0 -x_0x23_24_0x23_6_bit0 -x_0x23_24_0x23_7_bit0 -x_0x23_24_0x23_8_bit0 -x_0x23_24_0x23_9_bit0 -x_0x23_25_0x23_10_bit0 -x_0x23_25_0x23_11_bit0 -x_0x23_25_0x23_12_bit0 -x_0x23_25_0x23_13_bit0 -x_0x23_25_0x23_14_bit0 -x_0x23_25_0x23_15_bit0 -x_0x23_25_0x23_16_bit0 -x_0x23_25_0x23_17_bit0 -x_0x23_25_0x23_18_bit0 -x_0x23_25_0x23_19_bit0 -x_0x23_25_0x23_1_bit0 -x_0x23_25_0x23_20_bit0 -x_0x23_25_0x23_21_bit0 -x_0x23_25_0x23_22_bit0 -x_0x23_25_0x23_23_bit0 -x_0x23_25_0x23_24_bit0 -x_0x23_25_0x23_25_bit0 -x_0x23_25_0x23_26_bit0 -x_0x23_25_0x23_27_bit0 -x_0x23_25_0x23_28_bit0 -x_0x23_25_0x23_29_bit0 -x_0x23_25_0x23_2_bit0 -x_0x23_25_0x23_30_bit0 -x_0x23_25_0x23_31_bit0 -x_0x23_25_0x23_32_bit0 -x_0x23_25_0x23_33_bit0 -x_0x23_25_0x23_34_bit0 -x_0x23_25_0x23_35_bit0 -x_0x23_25_0x23_3_bit0 x_0x23_25_0x23_4_bit0 -x_0x23_25_0x23_5_bit0 -x_0x23_25_0x23_6_bit0 -x_0x23_25_0x23_7_bit0 -x_0x23_25_0x23_8_bit0 -x_0x23_25_0x23_9_bit0 -x_0x23_26_0x23_10_bit0 -x_0x23_26_0x23_11_bit0 -x_0x23_26_0x23_12_bit0 -x_0x23_26_0x23_13_bit0 -x_0x23_26_0x23_14_bit0 -x_0x23_26_0x23_15_bit0 -x_0x23_26_0x23_16_bit0 -x_0x23_26_0x23_17_bit0 -x_0x23_26_0x23_18_bit0 -x_0x23_26_0x23_19_bit0 -x_0x23_26_0x23_1_bit0 -x_0x23_26_0x23_20_bit0 -x_0x23_26_0x23_21_bit0 -x_0x23_26_0x23_22_bit0 -x_0x23_26_0x23_23_bit0 -x_0x23_26_0x23_24_bit0 -x_0x23_26_0x23_25_bit0 -x_0x23_26_0x23_26_bit0 -x_0x23_26_0x23_27_bit0 -x_0x23_26_0x23_28_bit0 -x_0x23_26_0x23_29_bit0 x_0x23_26_0x23_2_bit0 -x_0x23_26_0x23_30_bit0 -x_0x23_26_0x23_31_bit0 -x_0x23_26_0x23_32_bit0 -x_0x23_26_0x23_33_bit0 -x_0x23_26_0x23_34_bit0 -x_0x23_26_0x23_35_bit0 -x_0x23_26_0x23_3_bit0 -x_0x23_26_0x23_4_bit0 -x_0x23_26_0x23_5_bit0 -x_0x23_26_0x23_6_bit0 -x_0x23_26_0x23_7_bit0 -x_0x23_26_0x23_8_bit0 -x_0x23_26_0x23_9_bit0 -x_0x23_27_0x23_10_bit0 -x_0x23_27_0x23_11_bit0 -x_0x23_27_0x23_12_bit0 -x_0x23_27_0x23_13_bit0 -x_0x23_27_0x23_14_bit0 x_0x23_27_0x23_15_bit0 -x_0x23_27_0x23_16_bit0 -x_0x23_27_0x23_17_bit0 -x_0x23_27_0x23_18_bit0 -x_0x23_27_0x23_19_bit0 -x_0x23_27_0x23_1_bit0 -x_0x23_27_0x23_20_bit0 -x_0x23_27_0x23_21_bit0 -x_0x23_27_0x23_22_bit0 -x_0x23_27_0x23_23_bit0 -x_0x23_27_0x23_24_bit0 -x_0x23_27_0x23_25_bit0 -x_0x23_27_0x23_26_bit0 -x_0x23_27_0x23_27_bit0 -x_0x23_27_0x23_28_bit0 -x_0x23_27_0x23_29_bit0 -x_0x23_27_0x23_2_bit0 -x_0x23_27_0x23_30_bit0 -x_0x23_27_0x23_31_bit0 -x_0x23_27_0x23_32_bit0 -x_0x23_27_0x23_33_bit0 -x_0x23_27_0x23_34_bit0 -x_0x23_27_0x23_35_bit0 -x_0x23_27_0x23_3_bit0 -x_0x23_27_0x23_4_bit0 -x_0x23_27_0x23_5_bit0 -x_0x23_27_0x23_6_bit0 -x_0x23_27_0x23_7_bit0 -x_0x23_27_0x23_8_bit0 -x_0x23_27_0x23_9_bit0 -x_0x23_28_0x23_10_bit0 -x_0x23_28_0x23_11_bit0 -x_0x23_28_0x23_12_bit0 -x_0x23_28_0x23_13_bit0 -x_0x23_28_0x23_14_bit0 -x_0x23_28_0x23_15_bit0 -x_0x23_28_0x23_16_bit0 -x_0x23_28_0x23_17_bit0 -x_0x23_28_0x23_18_bit0 -x_0x23_28_0x23_19_bit0 -x_0x23_28_0x23_1_bit0 -x_0x23_28_0x23_20_bit0 -x_0x23_28_0x23_21_bit0 -x_0x23_28_0x23_22_bit0 -x_0x23_28_0x23_23_bit0 -x_0x23_28_0x23_24_bit0 -x_0x23_28_0x23_25_bit0 -x_0x23_28_0x23_26_bit0 -x_0x23_28_0x23_27_bit0 -x_0x23_28_0x23_28_bit0 -x_0x23_28_0x23_29_bit0 -x_0x23_28_0x23_2_bit0 -x_0x23_28_0x23_30_bit0 -x_0x23_28_0x23_31_bit0 -x_0x23_28_0x23_32_bit0 -x_0x23_28_0x23_33_bit0 -x_0x23_28_0x23_34_bit0 -x_0x23_28_0x23_35_bit0 -x_0x23_28_0x23_3_bit0 -x_0x23_28_0x23_4_bit0 -x_0x23_28_0x23_5_bit0 -x_0x23_28_0x23_6_bit0 -x_0x23_28_0x23_7_bit0 -x_0x23_28_0x23_8_bit0 -x_0x23_28_0x23_9_bit0 -x_0x23_29_0x23_10_bit0 -x_0x23_29_0x23_11_bit0 -x_0x23_29_0x23_12_bit0 -x_0x23_29_0x23_13_bit0 -x_0x23_29_0x23_14_bit0 -x_0x23_29_0x23_15_bit0 -x_0x23_29_0x23_16_bit0 -x_0x23_29_0x23_17_bit0 -x_0x23_29_0x23_18_bit0 -x_0x23_29_0x23_19_bit0 -x_0x23_29_0x23_1_bit0 -x_0x23_29_0x23_20_bit0 -x_0x23_29_0x23_21_bit0 -x_0x23_29_0x23_22_bit0 -x_0x23_29_0x23_23_bit0 -x_0x23_29_0x23_24_bit0 -x_0x23_29_0x23_25_bit0 -x_0x23_29_0x23_26_bit0 -x_0x23_29_0x23_27_bit0 -x_0x23_29_0x23_28_bit0 -x_0x23_29_0x23_29_bit0 -x_0x23_29_0x23_2_bit0 -x_0x23_29_0x23_30_bit0 -x_0x23_29_0x23_31_bit0 -x_0x23_29_0x23_32_bit0 -x_0x23_29_0x23_33_bit0 -x_0x23_29_0x23_34_bit0 -x_0x23_29_0x23_35_bit0 -x_0x23_29_0x23_3_bit0 -x_0x23_29_0x23_4_bit0 -x_0x23_29_0x23_5_bit0 -x_0x23_29_0x23_6_bit0 -x_0x23_29_0x23_7_bit0 -x_0x23_29_0x23_8_bit0 -x_0x23_29_0x23_9_bit0 -x_0x23_2_0x23_10_bit0 -x_0x23_2_0x23_11_bit0 -x_0x23_2_0x23_12_bit0 -x_0x23_2_0x23_13_bit0 -x_0x23_2_0x23_14_bit0 -x_0x23_2_0x23_15_bit0 -x_0x23_2_0x23_16_bit0 -x_0x23_2_0x23_17_bit0 -x_0x23_2_0x23_18_bit0 -x_0x23_2_0x23_19_bit0 -x_0x23_2_0x23_1_bit0 -x_0x23_2_0x23_20_bit0 -x_0x23_2_0x23_21_bit0 -x_0x23_2_0x23_22_bit0 -x_0x23_2_0x23_23_bit0 -x_0x23_2_0x23_24_bit0 -x_0x23_2_0x23_25_bit0 -x_0x23_2_0x23_26_bit0 -x_0x23_2_0x23_27_bit0 -x_0x23_2_0x23_28_bit0 -x_0x23_2_0x23_29_bit0 -x_0x23_2_0x23_2_bit0 -x_0x23_2_0x23_30_bit0 -x_0x23_2_0x23_31_bit0 -x_0x23_2_0x23_32_bit0 -x_0x23_2_0x23_33_bit0 -x_0x23_2_0x23_34_bit0 -x_0x23_2_0x23_35_bit0 -x_0x23_2_0x23_3_bit0 -x_0x23_2_0x23_4_bit0 -x_0x23_2_0x23_5_bit0 -x_0x23_2_0x23_6_bit0 x_0x23_2_0x23_7_bit0 -x_0x23_2_0x23_8_bit0 -x_0x23_2_0x23_9_bit0 -x_0x23_30_0x23_10_bit0 -x_0x23_30_0x23_11_bit0 -x_0x23_30_0x23_12_bit0 -x_0x23_30_0x23_13_bit0 -x_0x23_30_0x23_14_bit0 -x_0x23_30_0x23_15_bit0 -x_0x23_30_0x23_16_bit0 -x_0x23_30_0x23_17_bit0 -x_0x23_30_0x23_18_bit0 -x_0x23_30_0x23_19_bit0 -x_0x23_30_0x23_1_bit0 -x_0x23_30_0x23_20_bit0 -x_0x23_30_0x23_21_bit0 -x_0x23_30_0x23_22_bit0 -x_0x23_30_0x23_23_bit0 -x_0x23_30_0x23_24_bit0 -x_0x23_30_0x23_25_bit0 x_0x23_30_0x23_26_bit0 -x_0x23_30_0x23_27_bit0 -x_0x23_30_0x23_28_bit0 -x_0x23_30_0x23_29_bit0 -x_0x23_30_0x23_2_bit0 -x_0x23_30_0x23_30_bit0 -x_0x23_30_0x23_31_bit0 -x_0x23_30_0x23_32_bit0 -x_0x23_30_0x23_33_bit0 -x_0x23_30_0x23_34_bit0 -x_0x23_30_0x23_35_bit0 -x_0x23_30_0x23_3_bit0 -x_0x23_30_0x23_4_bit0 -x_0x23_30_0x23_5_bit0 -x_0x23_30_0x23_6_bit0 -x_0x23_30_0x23_7_bit0 -x_0x23_30_0x23_8_bit0 -x_0x23_30_0x23_9_bit0 -x_0x23_31_0x23_10_bit0 -x_0x23_31_0x23_11_bit0 -x_0x23_31_0x23_12_bit0 -x_0x23_31_0x23_13_bit0 -x_0x23_31_0x23_14_bit0 -x_0x23_31_0x23_15_bit0 -x_0x23_31_0x23_16_bit0 -x_0x23_31_0x23_17_bit0 -x_0x23_31_0x23_18_bit0 -x_0x23_31_0x23_19_bit0 -x_0x23_31_0x23_1_bit0 -x_0x23_31_0x23_20_bit0 -x_0x23_31_0x23_21_bit0 -x_0x23_31_0x23_22_bit0 -x_0x23_31_0x23_23_bit0 -x_0x23_31_0x23_24_bit0 -x_0x23_31_0x23_25_bit0 -x_0x23_31_0x23_26_bit0 x_0x23_31_0x23_27_bit0 -x_0x23_31_0x23_28_bit0 -x_0x23_31_0x23_29_bit0 -x_0x23_31_0x23_2_bit0 -x_0x23_31_0x23_30_bit0 -x_0x23_31_0x23_31_bit0 -x_0x23_31_0x23_32_bit0 -x_0x23_31_0x23_33_bit0 -x_0x23_31_0x23_34_bit0 -x_0x23_31_0x23_35_bit0 -x_0x23_31_0x23_3_bit0 -x_0x23_31_0x23_4_bit0 -x_0x23_31_0x23_5_bit0 -x_0x23_31_0x23_6_bit0 -x_0x23_31_0x23_7_bit0 -x_0x23_31_0x23_8_bit0 -x_0x23_31_0x23_9_bit0 -x_0x23_32_0x23_10_bit0 -x_0x23_32_0x23_11_bit0 -x_0x23_32_0x23_12_bit0 -x_0x23_32_0x23_13_bit0 -x_0x23_32_0x23_14_bit0 -x_0x23_32_0x23_15_bit0 -x_0x23_32_0x23_16_bit0 -x_0x23_32_0x23_17_bit0 -x_0x23_32_0x23_18_bit0 -x_0x23_32_0x23_19_bit0 -x_0x23_32_0x23_1_bit0 -x_0x23_32_0x23_20_bit0 x_0x23_32_0x23_21_bit0 -x_0x23_32_0x23_22_bit0 -x_0x23_32_0x23_23_bit0 -x_0x23_32_0x23_24_bit0 -x_0x23_32_0x23_25_bit0 -x_0x23_32_0x23_26_bit0 -x_0x23_32_0x23_27_bit0 -x_0x23_32_0x23_28_bit0 -x_0x23_32_0x23_29_bit0 -x_0x23_32_0x23_2_bit0 -x_0x23_32_0x23_30_bit0 -x_0x23_32_0x23_31_bit0 -x_0x23_32_0x23_32_bit0 -x_0x23_32_0x23_33_bit0 -x_0x23_32_0x23_34_bit0 -x_0x23_32_0x23_35_bit0 -x_0x23_32_0x23_3_bit0 -x_0x23_32_0x23_4_bit0 -x_0x23_32_0x23_5_bit0 -x_0x23_32_0x23_6_bit0 -x_0x23_32_0x23_7_bit0 -x_0x23_32_0x23_8_bit0 -x_0x23_32_0x23_9_bit0 -x_0x23_33_0x23_10_bit0 -x_0x23_33_0x23_11_bit0 -x_0x23_33_0x23_12_bit0 -x_0x23_33_0x23_13_bit0 -x_0x23_33_0x23_14_bit0 -x_0x23_33_0x23_15_bit0 -x_0x23_33_0x23_16_bit0 -x_0x23_33_0x23_17_bit0 -x_0x23_33_0x23_18_bit0 -x_0x23_33_0x23_19_bit0 x_0x23_33_0x23_1_bit0 -x_0x23_33_0x23_20_bit0 -x_0x23_33_0x23_21_bit0 -x_0x23_33_0x23_22_bit0 -x_0x23_33_0x23_23_bit0 -x_0x23_33_0x23_24_bit0 -x_0x23_33_0x23_25_bit0 -x_0x23_33_0x23_26_bit0 -x_0x23_33_0x23_27_bit0 -x_0x23_33_0x23_28_bit0 -x_0x23_33_0x23_29_bit0 -x_0x23_33_0x23_2_bit0 -x_0x23_33_0x23_30_bit0 -x_0x23_33_0x23_31_bit0 -x_0x23_33_0x23_32_bit0 -x_0x23_33_0x23_33_bit0 -x_0x23_33_0x23_34_bit0 -x_0x23_33_0x23_35_bit0 -x_0x23_33_0x23_3_bit0 -x_0x23_33_0x23_4_bit0 -x_0x23_33_0x23_5_bit0 -x_0x23_33_0x23_6_bit0 -x_0x23_33_0x23_7_bit0 -x_0x23_33_0x23_8_bit0 -x_0x23_33_0x23_9_bit0 -x_0x23_34_0x23_10_bit0 -x_0x23_34_0x23_11_bit0 -x_0x23_34_0x23_12_bit0 -x_0x23_34_0x23_13_bit0 -x_0x23_34_0x23_14_bit0 -x_0x23_34_0x23_15_bit0 x_0x23_34_0x23_16_bit0 -x_0x23_34_0x23_17_bit0 -x_0x23_34_0x23_18_bit0 -x_0x23_34_0x23_19_bit0 -x_0x23_34_0x23_1_bit0 -x_0x23_34_0x23_20_bit0 -x_0x23_34_0x23_21_bit0 -x_0x23_34_0x23_22_bit0 -x_0x23_34_0x23_23_bit0 -x_0x23_34_0x23_24_bit0 -x_0x23_34_0x23_25_bit0 -x_0x23_34_0x23_26_bit0 -x_0x23_34_0x23_27_bit0 -x_0x23_34_0x23_28_bit0 -x_0x23_34_0x23_29_bit0 -x_0x23_34_0x23_2_bit0 -x_0x23_34_0x23_30_bit0 -x_0x23_34_0x23_31_bit0 -x_0x23_34_0x23_32_bit0 -x_0x23_34_0x23_33_bit0 -x_0x23_34_0x23_34_bit0 -x_0x23_34_0x23_35_bit0 -x_0x23_34_0x23_3_bit0 -x_0x23_34_0x23_4_bit0 -x_0x23_34_0x23_5_bit0 -x_0x23_34_0x23_6_bit0 -x_0x23_34_0x23_7_bit0 -x_0x23_34_0x23_8_bit0 -x_0x23_34_0x23_9_bit0 -x_0x23_35_0x23_10_bit0 -x_0x23_35_0x23_11_bit0 -x_0x23_35_0x23_12_bit0 -x_0x23_35_0x23_13_bit0 -x_0x23_35_0x23_14_bit0 -x_0x23_35_0x23_15_bit0 -x_0x23_35_0x23_16_bit0 -x_0x23_35_0x23_17_bit0 -x_0x23_35_0x23_18_bit0 -x_0x23_35_0x23_19_bit0 -x_0x23_35_0x23_1_bit0 -x_0x23_35_0x23_20_bit0 -x_0x23_35_0x23_21_bit0 -x_0x23_35_0x23_22_bit0 -x_0x23_35_0x23_23_bit0 -x_0x23_35_0x23_24_bit0 -x_0x23_35_0x23_25_bit0 -x_0x23_35_0x23_26_bit0 -x_0x23_35_0x23_27_bit0 -x_0x23_35_0x23_28_bit0 -x_0x23_35_0x23_29_bit0 -x_0x23_35_0x23_2_bit0 -x_0x23_35_0x23_30_bit0 -x_0x23_35_0x23_31_bit0 -x_0x23_35_0x23_32_bit0 -x_0x23_35_0x23_33_bit0 -x_0x23_35_0x23_34_bit0 -x_0x23_35_0x23_35_bit0 -x_0x23_35_0x23_3_bit0 -x_0x23_35_0x23_4_bit0 -x_0x23_35_0x23_5_bit0 -x_0x23_35_0x23_6_bit0 -x_0x23_35_0x23_7_bit0 -x_0x23_35_0x23_8_bit0 -x_0x23_35_0x23_9_bit0 -x_0x23_36_0x23_10_bit0 -x_0x23_36_0x23_11_bit0 -x_0x23_36_0x23_12_bit0 -x_0x23_36_0x23_13_bit0 -x_0x23_36_0x23_14_bit0 -x_0x23_36_0x23_15_bit0 -x_0x23_36_0x23_16_bit0 -x_0x23_36_0x23_17_bit0 -x_0x23_36_0x23_18_bit0 -x_0x23_36_0x23_19_bit0 -x_0x23_36_0x23_1_bit0 -x_0x23_36_0x23_20_bit0 -x_0x23_36_0x23_21_bit0 -x_0x23_36_0x23_22_bit0 -x_0x23_36_0x23_23_bit0 -x_0x23_36_0x23_24_bit0 -x_0x23_36_0x23_25_bit0 -x_0x23_36_0x23_26_bit0 -x_0x23_36_0x23_27_bit0 -x_0x23_36_0x23_28_bit0 -x_0x23_36_0x23_29_bit0 -x_0x23_36_0x23_2_bit0 -x_0x23_36_0x23_30_bit0 -x_0x23_36_0x23_31_bit0 -x_0x23_36_0x23_32_bit0 x_0x23_36_0x23_33_bit0 -x_0x23_36_0x23_34_bit0 -x_0x23_36_0x23_35_bit0 -x_0x23_36_0x23_3_bit0 -x_0x23_36_0x23_4_bit0 -x_0x23_36_0x23_5_bit0 -x_0x23_36_0x23_6_bit0 -x_0x23_36_0x23_7_bit0 -x_0x23_36_0x23_8_bit0 -x_0x23_36_0x23_9_bit0 -x_0x23_37_0x23_10_bit0 -x_0x23_37_0x23_11_bit0 -x_0x23_37_0x23_12_bit0 -x_0x23_37_0x23_13_bit0 -x_0x23_37_0x23_14_bit0 -x_0x23_37_0x23_15_bit0 -x_0x23_37_0x23_16_bit0 -x_0x23_37_0x23_17_bit0 -x_0x23_37_0x23_18_bit0 -x_0x23_37_0x23_19_bit0 -x_0x23_37_0x23_1_bit0 -x_0x23_37_0x23_20_bit0 -x_0x23_37_0x23_21_bit0 -x_0x23_37_0x23_22_bit0 -x_0x23_37_0x23_23_bit0 -x_0x23_37_0x23_24_bit0 -x_0x23_37_0x23_25_bit0 -x_0x23_37_0x23_26_bit0 -x_0x23_37_0x23_27_bit0 -x_0x23_37_0x23_28_bit0 -x_0x23_37_0x23_29_bit0 -x_0x23_37_0x23_2_bit0 -x_0x23_37_0x23_30_bit0 -x_0x23_37_0x23_31_bit0 x_0x23_37_0x23_32_bit0 -x_0x23_37_0x23_33_bit0 -x_0x23_37_0x23_34_bit0 -x_0x23_37_0x23_35_bit0 -x_0x23_37_0x23_3_bit0 -x_0x23_37_0x23_4_bit0 -x_0x23_37_0x23_5_bit0 -x_0x23_37_0x23_6_bit0 -x_0x23_37_0x23_7_bit0 -x_0x23_37_0x23_8_bit0 -x_0x23_37_0x23_9_bit0 -x_0x23_38_0x23_10_bit0 -x_0x23_38_0x23_11_bit0 -x_0x23_38_0x23_12_bit0 -x_0x23_38_0x23_13_bit0 -x_0x23_38_0x23_14_bit0 -x_0x23_38_0x23_15_bit0 -x_0x23_38_0x23_16_bit0 -x_0x23_38_0x23_17_bit0 -x_0x23_38_0x23_18_bit0 -x_0x23_38_0x23_19_bit0 -x_0x23_38_0x23_1_bit0 -x_0x23_38_0x23_20_bit0 -x_0x23_38_0x23_21_bit0 -x_0x23_38_0x23_22_bit0 -x_0x23_38_0x23_23_bit0 -x_0x23_38_0x23_24_bit0 -x_0x23_38_0x23_25_bit0 -x_0x23_38_0x23_26_bit0 -x_0x23_38_0x23_27_bit0 -x_0x23_38_0x23_28_bit0 -x_0x23_38_0x23_29_bit0 -x_0x23_38_0x23_2_bit0 x_0x23_38_0x23_30_bit0 -x_0x23_38_0x23_31_bit0 -x_0x23_38_0x23_32_bit0 -x_0x23_38_0x23_33_bit0 -x_0x23_38_0x23_34_bit0 -x_0x23_38_0x23_35_bit0 -x_0x23_38_0x23_3_bit0 -x_0x23_38_0x23_4_bit0 -x_0x23_38_0x23_5_bit0 -x_0x23_38_0x23_6_bit0 -x_0x23_38_0x23_7_bit0 -x_0x23_38_0x23_8_bit0 -x_0x23_38_0x23_9_bit0 -x_0x23_39_0x23_10_bit0 -x_0x23_39_0x23_11_bit0 -x_0x23_39_0x23_12_bit0 -x_0x23_39_0x23_13_bit0 -x_0x23_39_0x23_14_bit0 -x_0x23_39_0x23_15_bit0 -x_0x23_39_0x23_16_bit0 -x_0x23_39_0x23_17_bit0 -x_0x23_39_0x23_18_bit0 -x_0x23_39_0x23_19_bit0 -x_0x23_39_0x23_1_bit0 -x_0x23_39_0x23_20_bit0 -x_0x23_39_0x23_21_bit0 -x_0x23_39_0x23_22_bit0 -x_0x23_39_0x23_23_bit0 -x_0x23_39_0x23_24_bit0 -x_0x23_39_0x23_25_bit0 -x_0x23_39_0x23_26_bit0 -x_0x23_39_0x23_27_bit0 x_0x23_39_0x23_28_bit0 -x_0x23_39_0x23_29_bit0 -x_0x23_39_0x23_2_bit0 -x_0x23_39_0x23_30_bit0 -x_0x23_39_0x23_31_bit0 -x_0x23_39_0x23_32_bit0 -x_0x23_39_0x23_33_bit0 -x_0x23_39_0x23_34_bit0 -x_0x23_39_0x23_35_bit0 -x_0x23_39_0x23_3_bit0 -x_0x23_39_0x23_4_bit0 -x_0x23_39_0x23_5_bit0 -x_0x23_39_0x23_6_bit0 -x_0x23_39_0x23_7_bit0 -x_0x23_39_0x23_8_bit0 -x_0x23_39_0x23_9_bit0 -x_0x23_3_0x23_10_bit0 -x_0x23_3_0x23_11_bit0 -x_0x23_3_0x23_12_bit0 -x_0x23_3_0x23_13_bit0 -x_0x23_3_0x23_14_bit0 -x_0x23_3_0x23_15_bit0 -x_0x23_3_0x23_16_bit0 -x_0x23_3_0x23_17_bit0 -x_0x23_3_0x23_18_bit0 -x_0x23_3_0x23_19_bit0 -x_0x23_3_0x23_1_bit0 -x_0x23_3_0x23_20_bit0 -x_0x23_3_0x23_21_bit0 -x_0x23_3_0x23_22_bit0 -x_0x23_3_0x23_23_bit0 -x_0x23_3_0x23_24_bit0 -x_0x23_3_0x23_25_bit0 -x_0x23_3_0x23_26_bit0 -x_0x23_3_0x23_27_bit0 -x_0x23_3_0x23_28_bit0 -x_0x23_3_0x23_29_bit0 -x_0x23_3_0x23_2_bit0 -x_0x23_3_0x23_30_bit0 -x_0x23_3_0x23_31_bit0 -x_0x23_3_0x23_32_bit0 -x_0x23_3_0x23_33_bit0 -x_0x23_3_0x23_34_bit0 -x_0x23_3_0x23_35_bit0 -x_0x23_3_0x23_3_bit0 -x_0x23_3_0x23_4_bit0 -x_0x23_3_0x23_5_bit0 -x_0x23_3_0x23_6_bit0 -x_0x23_3_0x23_7_bit0 -x_0x23_3_0x23_8_bit0 -x_0x23_3_0x23_9_bit0 -x_0x23_40_0x23_10_bit0 -x_0x23_40_0x23_11_bit0 -x_0x23_40_0x23_12_bit0 -x_0x23_40_0x23_13_bit0 -x_0x23_40_0x23_14_bit0 -x_0x23_40_0x23_15_bit0 -x_0x23_40_0x23_16_bit0 -x_0x23_40_0x23_17_bit0 -x_0x23_40_0x23_18_bit0 -x_0x23_40_0x23_19_bit0 -x_0x23_40_0x23_1_bit0 x_0x23_40_0x23_20_bit0 -x_0x23_40_0x23_21_bit0 -x_0x23_40_0x23_22_bit0 -x_0x23_40_0x23_23_bit0 -x_0x23_40_0x23_24_bit0 -x_0x23_40_0x23_25_bit0 -x_0x23_40_0x23_26_bit0 -x_0x23_40_0x23_27_bit0 -x_0x23_40_0x23_28_bit0 -x_0x23_40_0x23_29_bit0 -x_0x23_40_0x23_2_bit0 -x_0x23_40_0x23_30_bit0 -x_0x23_40_0x23_31_bit0 -x_0x23_40_0x23_32_bit0 -x_0x23_40_0x23_33_bit0 -x_0x23_40_0x23_34_bit0 -x_0x23_40_0x23_35_bit0 -x_0x23_40_0x23_3_bit0 -x_0x23_40_0x23_4_bit0 -x_0x23_40_0x23_5_bit0 -x_0x23_40_0x23_6_bit0 -x_0x23_40_0x23_7_bit0 -x_0x23_40_0x23_8_bit0 -x_0x23_40_0x23_9_bit0 -x_0x23_41_0x23_10_bit0 -x_0x23_41_0x23_11_bit0 -x_0x23_41_0x23_12_bit0 -x_0x23_41_0x23_13_bit0 -x_0x23_41_0x23_14_bit0 -x_0x23_41_0x23_15_bit0 -x_0x23_41_0x23_16_bit0 -x_0x23_41_0x23_17_bit0 x_0x23_41_0x23_18_bit0 -x_0x23_41_0x23_19_bit0 -x_0x23_41_0x23_1_bit0 -x_0x23_41_0x23_20_bit0 -x_0x23_41_0x23_21_bit0 -x_0x23_41_0x23_22_bit0 -x_0x23_41_0x23_23_bit0 -x_0x23_41_0x23_24_bit0 -x_0x23_41_0x23_25_bit0 -x_0x23_41_0x23_26_bit0 -x_0x23_41_0x23_27_bit0 -x_0x23_41_0x23_28_bit0 -x_0x23_41_0x23_29_bit0 -x_0x23_41_0x23_2_bit0 -x_0x23_41_0x23_30_bit0 -x_0x23_41_0x23_31_bit0 -x_0x23_41_0x23_32_bit0 -x_0x23_41_0x23_33_bit0 -x_0x23_41_0x23_34_bit0 -x_0x23_41_0x23_35_bit0 -x_0x23_41_0x23_3_bit0 -x_0x23_41_0x23_4_bit0 -x_0x23_41_0x23_5_bit0 -x_0x23_41_0x23_6_bit0 -x_0x23_41_0x23_7_bit0 -x_0x23_41_0x23_8_bit0 -x_0x23_41_0x23_9_bit0 -x_0x23_42_0x23_10_bit0 -x_0x23_42_0x23_11_bit0 -x_0x23_42_0x23_12_bit0 -x_0x23_42_0x23_13_bit0 -x_0x23_42_0x23_14_bit0 -x_0x23_42_0x23_15_bit0 -x_0x23_42_0x23_16_bit0 x_0x23_42_0x23_17_bit0 -x_0x23_42_0x23_18_bit0 -x_0x23_42_0x23_19_bit0 -x_0x23_42_0x23_1_bit0 -x_0x23_42_0x23_20_bit0 -x_0x23_42_0x23_21_bit0 -x_0x23_42_0x23_22_bit0 -x_0x23_42_0x23_23_bit0 -x_0x23_42_0x23_24_bit0 -x_0x23_42_0x23_25_bit0 -x_0x23_42_0x23_26_bit0 -x_0x23_42_0x23_27_bit0 -x_0x23_42_0x23_28_bit0 -x_0x23_42_0x23_29_bit0 -x_0x23_42_0x23_2_bit0 -x_0x23_42_0x23_30_bit0 -x_0x23_42_0x23_31_bit0 -x_0x23_42_0x23_32_bit0 -x_0x23_42_0x23_33_bit0 -x_0x23_42_0x23_34_bit0 -x_0x23_42_0x23_35_bit0 -x_0x23_42_0x23_3_bit0 -x_0x23_42_0x23_4_bit0 -x_0x23_42_0x23_5_bit0 -x_0x23_42_0x23_6_bit0 -x_0x23_42_0x23_7_bit0 -x_0x23_42_0x23_8_bit0 -x_0x23_42_0x23_9_bit0 -x_0x23_43_0x23_10_bit0 -x_0x23_43_0x23_11_bit0 -x_0x23_43_0x23_12_bit0 -x_0x23_43_0x23_13_bit0 -x_0x23_43_0x23_14_bit0 -x_0x23_43_0x23_15_bit0 -x_0x23_43_0x23_16_bit0 -x_0x23_43_0x23_17_bit0 -x_0x23_43_0x23_18_bit0 -x_0x23_43_0x23_19_bit0 -x_0x23_43_0x23_1_bit0 -x_0x23_43_0x23_20_bit0 -x_0x23_43_0x23_21_bit0 -x_0x23_43_0x23_22_bit0 -x_0x23_43_0x23_23_bit0 -x_0x23_43_0x23_24_bit0 -x_0x23_43_0x23_25_bit0 -x_0x23_43_0x23_26_bit0 -x_0x23_43_0x23_27_bit0 -x_0x23_43_0x23_28_bit0 -x_0x23_43_0x23_29_bit0 -x_0x23_43_0x23_2_bit0 -x_0x23_43_0x23_30_bit0 -x_0x23_43_0x23_31_bit0 -x_0x23_43_0x23_32_bit0 -x_0x23_43_0x23_33_bit0 -x_0x23_43_0x23_34_bit0 x_0x23_43_0x23_35_bit0 -x_0x23_43_0x23_3_bit0 -x_0x23_43_0x23_4_bit0 -x_0x23_43_0x23_5_bit0 -x_0x23_43_0x23_6_bit0 -x_0x23_43_0x23_7_bit0 -x_0x23_43_0x23_8_bit0 -x_0x23_43_0x23_9_bit0 -x_0x23_44_0x23_10_bit0 -x_0x23_44_0x23_11_bit0 -x_0x23_44_0x23_12_bit0 -x_0x23_44_0x23_13_bit0 -x_0x23_44_0x23_14_bit0 -x_0x23_44_0x23_15_bit0 -x_0x23_44_0x23_16_bit0 -x_0x23_44_0x23_17_bit0 -x_0x23_44_0x23_18_bit0 -x_0x23_44_0x23_19_bit0 -x_0x23_44_0x23_1_bit0 -x_0x23_44_0x23_20_bit0 -x_0x23_44_0x23_21_bit0 -x_0x23_44_0x23_22_bit0 -x_0x23_44_0x23_23_bit0 -x_0x23_44_0x23_24_bit0 -x_0x23_44_0x23_25_bit0 -x_0x23_44_0x23_26_bit0 -x_0x23_44_0x23_27_bit0 -x_0x23_44_0x23_28_bit0 -x_0x23_44_0x23_29_bit0 -x_0x23_44_0x23_2_bit0 -x_0x23_44_0x23_30_bit0 -x_0x23_44_0x23_31_bit0 -x_0x23_44_0x23_32_bit0 -x_0x23_44_0x23_33_bit0 x_0x23_44_0x23_34_bit0 -x_0x23_44_0x23_35_bit0 -x_0x23_44_0x23_3_bit0 -x_0x23_44_0x23_4_bit0 -x_0x23_44_0x23_5_bit0 -x_0x23_44_0x23_6_bit0 -x_0x23_44_0x23_7_bit0 -x_0x23_44_0x23_8_bit0 -x_0x23_44_0x23_9_bit0 -x_0x23_45_0x23_10_bit0 -x_0x23_45_0x23_11_bit0 -x_0x23_45_0x23_12_bit0 -x_0x23_45_0x23_13_bit0 -x_0x23_45_0x23_14_bit0 -x_0x23_45_0x23_15_bit0 -x_0x23_45_0x23_16_bit0 -x_0x23_45_0x23_17_bit0 -x_0x23_45_0x23_18_bit0 -x_0x23_45_0x23_19_bit0 -x_0x23_45_0x23_1_bit0 -x_0x23_45_0x23_20_bit0 -x_0x23_45_0x23_21_bit0 -x_0x23_45_0x23_22_bit0 -x_0x23_45_0x23_23_bit0 -x_0x23_45_0x23_24_bit0 -x_0x23_45_0x23_25_bit0 -x_0x23_45_0x23_26_bit0 -x_0x23_45_0x23_27_bit0 -x_0x23_45_0x23_28_bit0 -x_0x23_45_0x23_29_bit0 -x_0x23_45_0x23_2_bit0 -x_0x23_45_0x23_30_bit0 x_0x23_45_0x23_31_bit0 -x_0x23_45_0x23_32_bit0 -x_0x23_45_0x23_33_bit0 -x_0x23_45_0x23_34_bit0 -x_0x23_45_0x23_35_bit0 -x_0x23_45_0x23_3_bit0 -x_0x23_45_0x23_4_bit0 -x_0x23_45_0x23_5_bit0 -x_0x23_45_0x23_6_bit0 -x_0x23_45_0x23_7_bit0 -x_0x23_45_0x23_8_bit0 -x_0x23_45_0x23_9_bit0 -x_0x23_46_0x23_10_bit0 -x_0x23_46_0x23_11_bit0 -x_0x23_46_0x23_12_bit0 -x_0x23_46_0x23_13_bit0 -x_0x23_46_0x23_14_bit0 -x_0x23_46_0x23_15_bit0 -x_0x23_46_0x23_16_bit0 -x_0x23_46_0x23_17_bit0 -x_0x23_46_0x23_18_bit0 -x_0x23_46_0x23_19_bit0 -x_0x23_46_0x23_1_bit0 -x_0x23_46_0x23_20_bit0 -x_0x23_46_0x23_21_bit0 -x_0x23_46_0x23_22_bit0 -x_0x23_46_0x23_23_bit0 -x_0x23_46_0x23_24_bit0 -x_0x23_46_0x23_25_bit0 -x_0x23_46_0x23_26_bit0 -x_0x23_46_0x23_27_bit0 -x_0x23_46_0x23_28_bit0 x_0x23_46_0x23_29_bit0 -x_0x23_46_0x23_2_bit0 -x_0x23_46_0x23_30_bit0 -x_0x23_46_0x23_31_bit0 -x_0x23_46_0x23_32_bit0 -x_0x23_46_0x23_33_bit0 -x_0x23_46_0x23_34_bit0 -x_0x23_46_0x23_35_bit0 -x_0x23_46_0x23_3_bit0 -x_0x23_46_0x23_4_bit0 -x_0x23_46_0x23_5_bit0 -x_0x23_46_0x23_6_bit0 -x_0x23_46_0x23_7_bit0 -x_0x23_46_0x23_8_bit0 -x_0x23_46_0x23_9_bit0 -x_0x23_47_0x23_10_bit0 -x_0x23_47_0x23_11_bit0 -x_0x23_47_0x23_12_bit0 -x_0x23_47_0x23_13_bit0 -x_0x23_47_0x23_14_bit0 -x_0x23_47_0x23_15_bit0 -x_0x23_47_0x23_16_bit0 -x_0x23_47_0x23_17_bit0 -x_0x23_47_0x23_18_bit0 -x_0x23_47_0x23_19_bit0 -x_0x23_47_0x23_1_bit0 -x_0x23_47_0x23_20_bit0 -x_0x23_47_0x23_21_bit0 -x_0x23_47_0x23_22_bit0 -x_0x23_47_0x23_23_bit0 -x_0x23_47_0x23_24_bit0 -x_0x23_47_0x23_25_bit0 -x_0x23_47_0x23_26_bit0 -x_0x23_47_0x23_27_bit0 -x_0x23_47_0x23_28_bit0 -x_0x23_47_0x23_29_bit0 -x_0x23_47_0x23_2_bit0 -x_0x23_47_0x23_30_bit0 -x_0x23_47_0x23_31_bit0 -x_0x23_47_0x23_32_bit0 -x_0x23_47_0x23_33_bit0 -x_0x23_47_0x23_34_bit0 -x_0x23_47_0x23_35_bit0 -x_0x23_47_0x23_3_bit0 -x_0x23_47_0x23_4_bit0 -x_0x23_47_0x23_5_bit0 -x_0x23_47_0x23_6_bit0 -x_0x23_47_0x23_7_bit0 -x_0x23_47_0x23_8_bit0 -x_0x23_47_0x23_9_bit0 -x_0x23_48_0x23_10_bit0 -x_0x23_48_0x23_11_bit0 -x_0x23_48_0x23_12_bit0 -x_0x23_48_0x23_13_bit0 -x_0x23_48_0x23_14_bit0 -x_0x23_48_0x23_15_bit0 -x_0x23_48_0x23_16_bit0 -x_0x23_48_0x23_17_bit0 -x_0x23_48_0x23_18_bit0 x_0x23_48_0x23_19_bit0 -x_0x23_48_0x23_1_bit0 -x_0x23_48_0x23_20_bit0 -x_0x23_48_0x23_21_bit0 -x_0x23_48_0x23_22_bit0 -x_0x23_48_0x23_23_bit0 -x_0x23_48_0x23_24_bit0 -x_0x23_48_0x23_25_bit0 -x_0x23_48_0x23_26_bit0 -x_0x23_48_0x23_27_bit0 -x_0x23_48_0x23_28_bit0 -x_0x23_48_0x23_29_bit0 -x_0x23_48_0x23_2_bit0 -x_0x23_48_0x23_30_bit0 -x_0x23_48_0x23_31_bit0 -x_0x23_48_0x23_32_bit0 -x_0x23_48_0x23_33_bit0 -x_0x23_48_0x23_34_bit0 -x_0x23_48_0x23_35_bit0 -x_0x23_48_0x23_3_bit0 -x_0x23_48_0x23_4_bit0 -x_0x23_48_0x23_5_bit0 -x_0x23_48_0x23_6_bit0 -x_0x23_48_0x23_7_bit0 -x_0x23_48_0x23_8_bit0 -x_0x23_48_0x23_9_bit0 -x_0x23_49_0x23_10_bit0 -x_0x23_49_0x23_11_bit0 -x_0x23_49_0x23_12_bit0 -x_0x23_49_0x23_13_bit0 -x_0x23_49_0x23_14_bit0 -x_0x23_49_0x23_15_bit0 -x_0x23_49_0x23_16_bit0 -x_0x23_49_0x23_17_bit0 -x_0x23_49_0x23_18_bit0 -x_0x23_49_0x23_19_bit0 -x_0x23_49_0x23_1_bit0 -x_0x23_49_0x23_20_bit0 -x_0x23_49_0x23_21_bit0 -x_0x23_49_0x23_22_bit0 -x_0x23_49_0x23_23_bit0 -x_0x23_49_0x23_24_bit0 -x_0x23_49_0x23_25_bit0 -x_0x23_49_0x23_26_bit0 -x_0x23_49_0x23_27_bit0 -x_0x23_49_0x23_28_bit0 -x_0x23_49_0x23_29_bit0 -x_0x23_49_0x23_2_bit0 -x_0x23_49_0x23_30_bit0 -x_0x23_49_0x23_31_bit0 -x_0x23_49_0x23_32_bit0 -x_0x23_49_0x23_33_bit0 -x_0x23_49_0x23_34_bit0 -x_0x23_49_0x23_35_bit0 -x_0x23_49_0x23_3_bit0 -x_0x23_49_0x23_4_bit0 -x_0x23_49_0x23_5_bit0 -x_0x23_49_0x23_6_bit0 -x_0x23_49_0x23_7_bit0 -x_0x23_49_0x23_8_bit0 -x_0x23_49_0x23_9_bit0 -x_0x23_4_0x23_10_bit0 -x_0x23_4_0x23_11_bit0 -x_0x23_4_0x23_12_bit0 -x_0x23_4_0x23_13_bit0 -x_0x23_4_0x23_14_bit0 -x_0x23_4_0x23_15_bit0 -x_0x23_4_0x23_16_bit0 -x_0x23_4_0x23_17_bit0 -x_0x23_4_0x23_18_bit0 -x_0x23_4_0x23_19_bit0 -x_0x23_4_0x23_1_bit0 -x_0x23_4_0x23_20_bit0 -x_0x23_4_0x23_21_bit0 -x_0x23_4_0x23_22_bit0 -x_0x23_4_0x23_23_bit0 -x_0x23_4_0x23_24_bit0 -x_0x23_4_0x23_25_bit0 -x_0x23_4_0x23_26_bit0 -x_0x23_4_0x23_27_bit0 -x_0x23_4_0x23_28_bit0 -x_0x23_4_0x23_29_bit0 -x_0x23_4_0x23_2_bit0 -x_0x23_4_0x23_30_bit0 -x_0x23_4_0x23_31_bit0 -x_0x23_4_0x23_32_bit0 -x_0x23_4_0x23_33_bit0 -x_0x23_4_0x23_34_bit0 -x_0x23_4_0x23_35_bit0 -x_0x23_4_0x23_3_bit0 -x_0x23_4_0x23_4_bit0 -x_0x23_4_0x23_5_bit0 -x_0x23_4_0x23_6_bit0 -x_0x23_4_0x23_7_bit0 -x_0x23_4_0x23_8_bit0 -x_0x23_4_0x23_9_bit0 -x_0x23_5_0x23_10_bit0 -x_0x23_5_0x23_11_bit0 x_0x23_5_0x23_12_bit0 -x_0x23_5_0x23_13_bit0 -x_0x23_5_0x23_14_bit0 -x_0x23_5_0x23_15_bit0 -x_0x23_5_0x23_16_bit0 -x_0x23_5_0x23_17_bit0 -x_0x23_5_0x23_18_bit0 -x_0x23_5_0x23_19_bit0 -x_0x23_5_0x23_1_bit0 -x_0x23_5_0x23_20_bit0 -x_0x23_5_0x23_21_bit0 -x_0x23_5_0x23_22_bit0 -x_0x23_5_0x23_23_bit0 -x_0x23_5_0x23_24_bit0 -x_0x23_5_0x23_25_bit0 -x_0x23_5_0x23_26_bit0 -x_0x23_5_0x23_27_bit0 -x_0x23_5_0x23_28_bit0 -x_0x23_5_0x23_29_bit0 -x_0x23_5_0x23_2_bit0 -x_0x23_5_0x23_30_bit0 -x_0x23_5_0x23_31_bit0 -x_0x23_5_0x23_32_bit0 -x_0x23_5_0x23_33_bit0 -x_0x23_5_0x23_34_bit0 -x_0x23_5_0x23_35_bit0 -x_0x23_5_0x23_3_bit0 -x_0x23_5_0x23_4_bit0 -x_0x23_5_0x23_5_bit0 -x_0x23_5_0x23_6_bit0 -x_0x23_5_0x23_7_bit0 -x_0x23_5_0x23_8_bit0 -x_0x23_5_0x23_9_bit0 -x_0x23_6_0x23_10_bit0 -x_0x23_6_0x23_11_bit0 -x_0x23_6_0x23_12_bit0 -x_0x23_6_0x23_13_bit0 -x_0x23_6_0x23_14_bit0 -x_0x23_6_0x23_15_bit0 -x_0x23_6_0x23_16_bit0 -x_0x23_6_0x23_17_bit0 -x_0x23_6_0x23_18_bit0 -x_0x23_6_0x23_19_bit0 -x_0x23_6_0x23_1_bit0 -x_0x23_6_0x23_20_bit0 -x_0x23_6_0x23_21_bit0 -x_0x23_6_0x23_22_bit0 -x_0x23_6_0x23_23_bit0 -x_0x23_6_0x23_24_bit0 -x_0x23_6_0x23_25_bit0 -x_0x23_6_0x23_26_bit0 -x_0x23_6_0x23_27_bit0 -x_0x23_6_0x23_28_bit0 -x_0x23_6_0x23_29_bit0 -x_0x23_6_0x23_2_bit0 -x_0x23_6_0x23_30_bit0 -x_0x23_6_0x23_31_bit0 -x_0x23_6_0x23_32_bit0 -x_0x23_6_0x23_33_bit0 -x_0x23_6_0x23_34_bit0 -x_0x23_6_0x23_35_bit0 -x_0x23_6_0x23_3_bit0 -x_0x23_6_0x23_4_bit0 -x_0x23_6_0x23_5_bit0 -x_0x23_6_0x23_6_bit0 -x_0x23_6_0x23_7_bit0 -x_0x23_6_0x23_8_bit0 -x_0x23_6_0x23_9_bit0 -x_0x23_7_0x23_10_bit0 -x_0x23_7_0x23_11_bit0 -x_0x23_7_0x23_12_bit0 -x_0x23_7_0x23_13_bit0 -x_0x23_7_0x23_14_bit0 -x_0x23_7_0x23_15_bit0 -x_0x23_7_0x23_16_bit0 -x_0x23_7_0x23_17_bit0 -x_0x23_7_0x23_18_bit0 -x_0x23_7_0x23_19_bit0 -x_0x23_7_0x23_1_bit0 -x_0x23_7_0x23_20_bit0 -x_0x23_7_0x23_21_bit0 -x_0x23_7_0x23_22_bit0 -x_0x23_7_0x23_23_bit0 -x_0x23_7_0x23_24_bit0 -x_0x23_7_0x23_25_bit0 -x_0x23_7_0x23_26_bit0 -x_0x23_7_0x23_27_bit0 -x_0x23_7_0x23_28_bit0 -x_0x23_7_0x23_29_bit0 -x_0x23_7_0x23_2_bit0 -x_0x23_7_0x23_30_bit0 -x_0x23_7_0x23_31_bit0 -x_0x23_7_0x23_32_bit0 -x_0x23_7_0x23_33_bit0 -x_0x23_7_0x23_34_bit0 -x_0x23_7_0x23_35_bit0 -x_0x23_7_0x23_3_bit0 -x_0x23_7_0x23_4_bit0 -x_0x23_7_0x23_5_bit0 -x_0x23_7_0x23_6_bit0 -x_0x23_7_0x23_7_bit0 -x_0x23_7_0x23_8_bit0 -x_0x23_7_0x23_9_bit0 -x_0x23_8_0x23_10_bit0 -x_0x23_8_0x23_11_bit0 -x_0x23_8_0x23_12_bit0 -x_0x23_8_0x23_13_bit0 -x_0x23_8_0x23_14_bit0 -x_0x23_8_0x23_15_bit0 -x_0x23_8_0x23_16_bit0 -x_0x23_8_0x23_17_bit0 -x_0x23_8_0x23_18_bit0 -x_0x23_8_0x23_19_bit0 -x_0x23_8_0x23_1_bit0 -x_0x23_8_0x23_20_bit0 -x_0x23_8_0x23_21_bit0 -x_0x23_8_0x23_22_bit0 -x_0x23_8_0x23_23_bit0 -x_0x23_8_0x23_24_bit0 -x_0x23_8_0x23_25_bit0 -x_0x23_8_0x23_26_bit0 -x_0x23_8_0x23_27_bit0 -x_0x23_8_0x23_28_bit0 -x_0x23_8_0x23_29_bit0 -x_0x23_8_0x23_2_bit0 -x_0x23_8_0x23_30_bit0 -x_0x23_8_0x23_31_bit0 -x_0x23_8_0x23_32_bit0 -x_0x23_8_0x23_33_bit0 -x_0x23_8_0x23_34_bit0 -x_0x23_8_0x23_35_bit0 -x_0x23_8_0x23_3_bit0 -x_0x23_8_0x23_4_bit0 -x_0x23_8_0x23_5_bit0 -x_0x23_8_0x23_6_bit0 -x_0x23_8_0x23_7_bit0 -x_0x23_8_0x23_8_bit0 -x_0x23_8_0x23_9_bit0 -x_0x23_9_0x23_10_bit0 -x_0x23_9_0x23_11_bit0 -x_0x23_9_0x23_12_bit0 -x_0x23_9_0x23_13_bit0 -x_0x23_9_0x23_14_bit0 -x_0x23_9_0x23_15_bit0 -x_0x23_9_0x23_16_bit0 -x_0x23_9_0x23_17_bit0 -x_0x23_9_0x23_18_bit0 -x_0x23_9_0x23_19_bit0 -x_0x23_9_0x23_1_bit0 -x_0x23_9_0x23_20_bit0 -x_0x23_9_0x23_21_bit0 -x_0x23_9_0x23_22_bit0 -x_0x23_9_0x23_23_bit0 -x_0x23_9_0x23_24_bit0 -x_0x23_9_0x23_25_bit0 -x_0x23_9_0x23_26_bit0 -x_0x23_9_0x23_27_bit0 -x_0x23_9_0x23_28_bit0 -x_0x23_9_0x23_29_bit0 -x_0x23_9_0x23_2_bit0 -x_0x23_9_0x23_30_bit0 -x_0x23_9_0x23_31_bit0 -x_0x23_9_0x23_32_bit0 -x_0x23_9_0x23_33_bit0 -x_0x23_9_0x23_34_bit0 -x_0x23_9_0x23_35_bit0 -x_0x23_9_0x23_3_bit0 -x_0x23_9_0x23_4_bit0 -x_0x23_9_0x23_5_bit0 x_0x23_9_0x23_6_bit0 -x_0x23_9_0x23_7_bit0 -x_0x23_9_0x23_8_bit0 -x_0x23_9_0x23_9_bit0

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/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22275074 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 373 2 364 364 0 9 0
[pid=9927] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc19/normalized-mps-v2-13-7-protfold.opb

[startup+10.0017 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 14226 0 0 0 951 38 0 0 25 0 1 0 22275074 46907392 8225 4294967295 134512640 135987407 3221224560 3221223200 134812436 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 11452 8225 364 364 0 11088 0
[pid=9927] vsize: 45808
Current children cumulated CPU time (s) 9.89
Current children cumulated vsize (Kb) 45808

[startup+20.0026 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 14744 0 0 0 1914 53 0 0 25 0 1 0 22275074 49192960 8743 4294967295 134512640 135987407 3221224560 3221223104 134812023 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 12010 8743 364 364 0 11646 0
[pid=9927] vsize: 48040
Current children cumulated CPU time (s) 19.67
Current children cumulated vsize (Kb) 48040

[startup+30.0034 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 15119 0 0 0 2878 64 0 0 25 0 1 0 22275074 51101696 9118 4294967295 134512640 135987407 3221224560 3221223104 134812056 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 12476 9118 364 364 0 12112 0
[pid=9927] vsize: 49904
Current children cumulated CPU time (s) 29.42
Current children cumulated vsize (Kb) 49904

[startup+40.0042 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 15430 0 0 0 3845 75 0 0 25 0 1 0 22275074 52355072 9429 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 12782 9429 364 364 0 12418 0
[pid=9927] vsize: 51128
Current children cumulated CPU time (s) 39.2
Current children cumulated vsize (Kb) 51128

[startup+50.005 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 15710 0 0 0 4816 85 0 0 25 0 1 0 22275074 53608448 9709 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13088 9709 364 364 0 12724 0
[pid=9927] vsize: 52352
Current children cumulated CPU time (s) 49.01
Current children cumulated vsize (Kb) 52352

[startup+60.0048 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 15877 0 0 0 5785 95 0 0 25 0 1 0 22275074 54407168 9876 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 13283 9876 364 364 0 12919 0
[pid=9927] vsize: 53132
Current children cumulated CPU time (s) 58.8
Current children cumulated vsize (Kb) 53132

[startup+70.0056 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 15977 0 0 0 6755 106 0 0 25 0 1 0 22275074 54677504 9976 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 13349 9976 364 364 0 12985 0
[pid=9927] vsize: 53396
Current children cumulated CPU time (s) 68.61
Current children cumulated vsize (Kb) 53396

[startup+80.0065 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 16034 0 0 0 7722 118 0 0 25 0 1 0 22275074 54874112 10033 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 13397 10033 364 364 0 13033 0
[pid=9927] vsize: 53588
Current children cumulated CPU time (s) 78.4
Current children cumulated vsize (Kb) 53588

[startup+90.0073 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 16076 0 0 0 8686 131 0 0 25 0 1 0 22275074 54874112 10075 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 13397 10075 364 364 0 13033 0
[pid=9927] vsize: 53588
Current children cumulated CPU time (s) 88.17
Current children cumulated vsize (Kb) 53588

[startup+100.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 16111 0 0 0 9651 140 0 0 25 0 1 0 22275074 55070720 10110 4294967295 134512640 135987407 3221224560 3221223264 134790060 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13445 10110 364 364 0 13081 0
[pid=9927] vsize: 53780
Current children cumulated CPU time (s) 97.91
Current children cumulated vsize (Kb) 53780

[startup+110.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 16160 0 0 0 10622 150 0 0 25 0 1 0 22275074 55070720 10159 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13445 10159 364 364 0 13081 0
[pid=9927] vsize: 53780
Current children cumulated CPU time (s) 107.72
Current children cumulated vsize (Kb) 53780

[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 16226 0 0 0 11587 162 0 0 25 0 1 0 22275074 55205888 10225 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13478 10225 364 364 0 13114 0
[pid=9927] vsize: 53912
Current children cumulated CPU time (s) 117.49
Current children cumulated vsize (Kb) 53912

[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 16489 0 0 0 12556 173 0 0 25 0 1 0 22275074 55537664 10315 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 13559 10315 364 364 0 13195 0
[pid=9927] vsize: 54236
Current children cumulated CPU time (s) 127.29
Current children cumulated vsize (Kb) 54236

[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 16690 0 0 0 13531 183 0 0 25 0 1 0 22275074 56381440 10516 4294967295 134512640 135987407 3221224560 3221222800 134829311 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13765 10516 364 364 0 13401 0
[pid=9927] vsize: 55060
Current children cumulated CPU time (s) 137.14
Current children cumulated vsize (Kb) 55060

[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 16717 0 0 0 14504 193 0 0 25 0 1 0 22275074 55808000 10370 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13625 10370 364 364 0 13261 0
[pid=9927] vsize: 54500
Current children cumulated CPU time (s) 146.97
Current children cumulated vsize (Kb) 54500

[startup+160.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 16918 0 0 0 15479 201 0 0 25 0 1 0 22275074 55943168 10398 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 13658 10398 364 364 0 13294 0
[pid=9927] vsize: 54632
Current children cumulated CPU time (s) 156.8
Current children cumulated vsize (Kb) 54632

[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 17129 0 0 0 16456 207 0 0 25 0 1 0 22275074 56078336 10436 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13691 10436 364 364 0 13327 0
[pid=9927] vsize: 54764
Current children cumulated CPU time (s) 166.63
Current children cumulated vsize (Kb) 54764

[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 17466 0 0 0 17446 212 0 0 25 0 1 0 22275074 56078336 10600 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13691 10600 364 364 0 13327 0
[pid=9927] vsize: 54764
Current children cumulated CPU time (s) 176.58
Current children cumulated vsize (Kb) 54764

[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 17691 0 0 0 18417 221 0 0 25 0 1 0 22275074 56213504 10652 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13724 10652 364 364 0 13360 0
[pid=9927] vsize: 54896
Current children cumulated CPU time (s) 186.38
Current children cumulated vsize (Kb) 54896

[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 17891 0 0 0 19385 233 0 0 25 0 1 0 22275074 56348672 10679 4294967295 134512640 135987407 3221224560 3221223192 134812410 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 13757 10679 364 364 0 13393 0
[pid=9927] vsize: 55028
Current children cumulated CPU time (s) 196.18
Current children cumulated vsize (Kb) 55028

[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 17914 0 0 0 20353 244 0 0 25 0 1 0 22275074 56483840 10702 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13790 10702 364 364 0 13426 0
[pid=9927] vsize: 55160
Current children cumulated CPU time (s) 205.97
Current children cumulated vsize (Kb) 55160

[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 18096 0 0 0 21329 253 0 0 25 0 1 0 22275074 56483840 10711 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 13790 10711 364 364 0 13426 0
[pid=9927] vsize: 55160
Current children cumulated CPU time (s) 215.82
Current children cumulated vsize (Kb) 55160

[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 18375 0 0 0 22311 259 0 0 25 0 1 0 22275074 56889344 10817 4294967295 134512640 135987407 3221224560 3221222944 134775168 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13889 10817 364 364 0 13525 0
[pid=9927] vsize: 55556
Current children cumulated CPU time (s) 225.7
Current children cumulated vsize (Kb) 55556

[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 18578 0 0 0 23278 270 0 0 25 0 1 0 22275074 56889344 10847 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13889 10847 364 364 0 13525 0
[pid=9927] vsize: 55556
Current children cumulated CPU time (s) 235.48
Current children cumulated vsize (Kb) 55556

[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 18802 0 0 0 24246 280 0 0 25 0 1 0 22275074 57024512 10898 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13922 10898 364 364 0 13558 0
[pid=9927] vsize: 55688
Current children cumulated CPU time (s) 245.26
Current children cumulated vsize (Kb) 55688

[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 18807 0 0 0 25215 290 0 0 25 0 1 0 22275074 57024512 10903 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 13922 10903 364 364 0 13558 0
[pid=9927] vsize: 55688
Current children cumulated CPU time (s) 255.05
Current children cumulated vsize (Kb) 55688

[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 18987 0 0 0 26186 299 0 0 25 0 1 0 22275074 57024512 10910 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 13922 10910 364 364 0 13558 0
[pid=9927] vsize: 55688
Current children cumulated CPU time (s) 264.85
Current children cumulated vsize (Kb) 55688

[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) T 9926 9927 4060 0 -1 0 19163 0 0 0 27157 309 0 0 25 0 1 0 22275074 57024512 10913 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13922 10913 364 364 0 13558 0
[pid=9927] vsize: 55688
Current children cumulated CPU time (s) 274.66
Current children cumulated vsize (Kb) 55688

[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) T 9926 9927 4060 0 -1 0 19171 0 0 0 28125 320 0 0 25 0 1 0 22275074 57024512 10921 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13922 10921 364 364 0 13558 0
[pid=9927] vsize: 55688
Current children cumulated CPU time (s) 284.45
Current children cumulated vsize (Kb) 55688

[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 19364 0 0 0 29097 330 0 0 25 0 1 0 22275074 57159680 10941 4294967295 134512640 135987407 3221224560 3221223184 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 13955 10941 364 364 0 13591 0
[pid=9927] vsize: 55820
Current children cumulated CPU time (s) 294.27
Current children cumulated vsize (Kb) 55820

[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 19410 0 0 0 30066 341 0 0 25 0 1 0 22275074 57430016 10987 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14021 10987 364 364 0 13657 0
[pid=9927] vsize: 56084
Current children cumulated CPU time (s) 304.07
Current children cumulated vsize (Kb) 56084

[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 19603 0 0 0 31034 351 0 0 25 0 1 0 22275074 57565184 11007 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14054 11007 364 364 0 13690 0
[pid=9927] vsize: 56216
Current children cumulated CPU time (s) 313.85
Current children cumulated vsize (Kb) 56216

[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 19781 0 0 0 32005 362 0 0 25 0 1 0 22275074 57565184 11012 4294967295 134512640 135987407 3221224560 3221223164 134812115 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14054 11012 364 364 0 13690 0
[pid=9927] vsize: 56216
Current children cumulated CPU time (s) 323.67
Current children cumulated vsize (Kb) 56216

[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 19820 0 0 0 32975 372 0 0 25 0 1 0 22275074 57700352 11051 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14087 11051 364 364 0 13723 0
[pid=9927] vsize: 56348
Current children cumulated CPU time (s) 333.47
Current children cumulated vsize (Kb) 56348

[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) T 9926 9927 4060 0 -1 0 20022 0 0 0 33944 383 0 0 25 0 1 0 22275074 57835520 11080 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14120 11080 364 364 0 13756 0
[pid=9927] vsize: 56480
Current children cumulated CPU time (s) 343.27
Current children cumulated vsize (Kb) 56480

[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 20025 0 0 0 34912 392 0 0 25 0 1 0 22275074 57835520 11083 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14120 11083 364 364 0 13756 0
[pid=9927] vsize: 56480
Current children cumulated CPU time (s) 353.04
Current children cumulated vsize (Kb) 56480

[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 20221 0 0 0 35885 402 0 0 25 0 1 0 22275074 57970688 11106 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14153 11106 364 364 0 13789 0
[pid=9927] vsize: 56612
Current children cumulated CPU time (s) 362.87
Current children cumulated vsize (Kb) 56612

[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 20432 0 0 0 36866 408 0 0 25 0 1 0 22275074 58167296 11144 4294967295 134512640 135987407 3221224560 3221223104 134812126 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14201 11144 364 364 0 13837 0
[pid=9927] vsize: 56804
Current children cumulated CPU time (s) 372.74
Current children cumulated vsize (Kb) 56804

[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 20611 0 0 0 37837 417 0 0 25 0 1 0 22275074 58167296 11150 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14201 11150 364 364 0 13837 0
[pid=9927] vsize: 56804
Current children cumulated CPU time (s) 382.54
Current children cumulated vsize (Kb) 56804

[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 20826 0 0 0 38803 429 0 0 25 0 1 0 22275074 58363904 11192 4294967295 134512640 135987407 3221224560 3221223104 134812046 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14249 11192 364 364 0 13885 0
[pid=9927] vsize: 56996
Current children cumulated CPU time (s) 392.32
Current children cumulated vsize (Kb) 56996

[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 20844 0 0 0 39776 437 0 0 25 0 1 0 22275074 58560512 11210 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14297 11210 364 364 0 13933 0
[pid=9927] vsize: 57188
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (Kb) 57188

[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 21020 0 0 0 40753 446 0 0 25 0 1 0 22275074 58560512 11213 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14297 11213 364 364 0 13933 0
[pid=9927] vsize: 57188
Current children cumulated CPU time (s) 411.99
Current children cumulated vsize (Kb) 57188

[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 21196 0 0 0 41726 455 0 0 25 0 1 0 22275074 58560512 11216 4294967295 134512640 135987407 3221224560 3221223104 134812126 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14297 11216 364 364 0 13933 0
[pid=9927] vsize: 57188
Current children cumulated CPU time (s) 421.81
Current children cumulated vsize (Kb) 57188

[startup+440.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 21203 0 0 0 42698 465 0 0 25 0 1 0 22275074 58560512 11223 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14297 11223 364 364 0 13933 0
[pid=9927] vsize: 57188
Current children cumulated CPU time (s) 431.63
Current children cumulated vsize (Kb) 57188

[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 21384 0 0 0 43670 474 0 0 25 0 1 0 22275074 58560512 11231 4294967295 134512640 135987407 3221224560 3221223248 134787343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14297 11231 364 364 0 13933 0
[pid=9927] vsize: 57188
Current children cumulated CPU time (s) 441.44
Current children cumulated vsize (Kb) 57188

[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 21413 0 0 0 44640 484 0 0 25 0 1 0 22275074 58560512 11260 4294967295 134512640 135987407 3221224560 3221223136 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14297 11260 364 364 0 13933 0
[pid=9927] vsize: 57188
Current children cumulated CPU time (s) 451.24
Current children cumulated vsize (Kb) 57188

[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 21647 0 0 0 45617 490 0 0 25 0 1 0 22275074 58560512 11321 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14297 11321 364 364 0 13933 0
[pid=9927] vsize: 57188
Current children cumulated CPU time (s) 461.07
Current children cumulated vsize (Kb) 57188

[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 21837 0 0 0 46589 499 0 0 25 0 1 0 22275074 58724352 11338 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14337 11338 364 364 0 13973 0
[pid=9927] vsize: 57348
Current children cumulated CPU time (s) 470.88
Current children cumulated vsize (Kb) 57348

[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 22012 0 0 0 47562 508 0 0 25 0 1 0 22275074 58724352 11340 4294967295 134512640 135987407 3221224560 3221223248 134787343 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14337 11340 364 364 0 13973 0
[pid=9927] vsize: 57348
Current children cumulated CPU time (s) 480.7
Current children cumulated vsize (Kb) 57348

[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 22228 0 0 0 48553 513 0 0 25 0 1 0 22275074 58724352 11383 4294967295 134512640 135987407 3221224560 3221222992 134931914 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14337 11383 364 364 0 13973 0
[pid=9927] vsize: 57348
Current children cumulated CPU time (s) 490.66
Current children cumulated vsize (Kb) 57348

[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 22511 0 0 0 49535 520 0 0 25 0 1 0 22275074 58724352 11493 4294967295 134512640 135987407 3221224560 3221223168 134801140 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14337 11493 364 364 0 13973 0
[pid=9927] vsize: 57348
Current children cumulated CPU time (s) 500.55
Current children cumulated vsize (Kb) 57348

[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 22758 0 0 0 50515 526 0 0 25 0 1 0 22275074 58724352 11567 4294967295 134512640 135987407 3221224560 3221223200 134812343 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14337 11567 364 364 0 13973 0
[pid=9927] vsize: 57348
Current children cumulated CPU time (s) 510.41
Current children cumulated vsize (Kb) 57348

[startup+530.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 22887 0 0 0 51485 535 0 0 25 0 1 0 22275074 59289600 11696 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14475 11696 364 364 0 14111 0
[pid=9927] vsize: 57900
Current children cumulated CPU time (s) 520.2
Current children cumulated vsize (Kb) 57900

[startup+540.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 23093 0 0 0 52458 545 0 0 25 0 1 0 22275074 59424768 11729 4294967295 134512640 135987407 3221224560 3221223104 134811829 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14508 11729 364 364 0 14144 0
[pid=9927] vsize: 58032
Current children cumulated CPU time (s) 530.03
Current children cumulated vsize (Kb) 58032

[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 23096 0 0 0 53427 556 0 0 25 0 1 0 22275074 59424768 11732 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14508 11732 364 364 0 14144 0
[pid=9927] vsize: 58032
Current children cumulated CPU time (s) 539.83
Current children cumulated vsize (Kb) 58032

[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 23272 0 0 0 54401 566 0 0 25 0 1 0 22275074 59424768 11735 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14508 11735 364 364 0 14144 0
[pid=9927] vsize: 58032
Current children cumulated CPU time (s) 549.67
Current children cumulated vsize (Kb) 58032

[startup+570.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 23447 0 0 0 55368 576 0 0 25 0 1 0 22275074 59424768 11737 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14508 11737 364 364 0 14144 0
[pid=9927] vsize: 58032
Current children cumulated CPU time (s) 559.44
Current children cumulated vsize (Kb) 58032

[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 23453 0 0 0 56334 587 0 0 25 0 1 0 22275074 59424768 11743 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 14508 11743 364 364 0 14144 0
[pid=9927] vsize: 58032
Current children cumulated CPU time (s) 569.21
Current children cumulated vsize (Kb) 58032

[startup+590.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 23652 0 0 0 57319 592 0 0 25 0 1 0 22275074 59559936 11769 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14541 11769 364 364 0 14177 0
[pid=9927] vsize: 58164
Current children cumulated CPU time (s) 579.11
Current children cumulated vsize (Kb) 58164

[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 23881 0 0 0 58287 603 0 0 25 0 1 0 22275074 59805696 11825 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14601 11825 364 364 0 14237 0
[pid=9927] vsize: 58404
Current children cumulated CPU time (s) 588.9
Current children cumulated vsize (Kb) 58404

[startup+610.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 24058 0 0 0 59271 608 0 0 25 0 1 0 22275074 59805696 11829 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14601 11829 364 364 0 14237 0
[pid=9927] vsize: 58404
Current children cumulated CPU time (s) 598.79
Current children cumulated vsize (Kb) 58404

[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 24237 0 0 0 60265 610 0 0 25 0 1 0 22275074 59805696 11835 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 14601 11835 364 364 0 14237 0
[pid=9927] vsize: 58404
Current children cumulated CPU time (s) 608.75
Current children cumulated vsize (Kb) 58404

[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) T 9926 9927 4060 0 -1 0 24549 0 0 0 61254 614 0 0 25 0 1 0 22275074 68194304 11974 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16649 11974 364 364 0 16285 0
[pid=9927] vsize: 66596
Current children cumulated CPU time (s) 618.68
Current children cumulated vsize (Kb) 66596

[startup+640.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 24870 0 0 0 62247 618 0 0 25 0 1 0 22275074 68194304 12122 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16649 12122 364 364 0 16285 0
[pid=9927] vsize: 66596
Current children cumulated CPU time (s) 628.65
Current children cumulated vsize (Kb) 66596

[startup+650.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 25162 0 0 0 63237 622 0 0 25 0 1 0 22275074 68329472 12241 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16682 12241 364 364 0 16318 0
[pid=9927] vsize: 66728
Current children cumulated CPU time (s) 638.59
Current children cumulated vsize (Kb) 66728

[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 25356 0 0 0 64231 624 0 0 25 0 1 0 22275074 68329472 12262 4294967295 134512640 135987407 3221224560 3221223280 134812696 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16682 12262 364 364 0 16318 0
[pid=9927] vsize: 66728
Current children cumulated CPU time (s) 648.55
Current children cumulated vsize (Kb) 66728

[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 25543 0 0 0 65213 630 0 0 25 0 1 0 22275074 68329472 12276 4294967295 134512640 135987407 3221224560 3221223104 134811807 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16682 12276 364 364 0 16318 0
[pid=9927] vsize: 66728
Current children cumulated CPU time (s) 658.43
Current children cumulated vsize (Kb) 66728

[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 25753 0 0 0 66193 636 0 0 25 0 1 0 22275074 68599808 12313 4294967295 134512640 135987407 3221224560 3221223104 134788814 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16748 12313 364 364 0 16384 0
[pid=9927] vsize: 66992
Current children cumulated CPU time (s) 668.29
Current children cumulated vsize (Kb) 66992

[startup+690.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 25928 0 0 0 67160 647 0 0 25 0 1 0 22275074 68599808 12315 4294967295 134512640 135987407 3221224560 3221223104 134811790 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 16748 12315 364 364 0 16384 0
[pid=9927] vsize: 66992
Current children cumulated CPU time (s) 678.07
Current children cumulated vsize (Kb) 66992

[startup+700.037 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 25969 0 0 0 68126 659 0 0 25 0 1 0 22275074 68882432 12356 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16817 12356 364 364 0 16453 0
[pid=9927] vsize: 67268
Current children cumulated CPU time (s) 687.85
Current children cumulated vsize (Kb) 67268

[startup+710.037 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 26166 0 0 0 69098 668 0 0 25 0 1 0 22275074 69017600 12380 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 16850 12380 364 364 0 16486 0
[pid=9927] vsize: 67400
Current children cumulated CPU time (s) 697.66
Current children cumulated vsize (Kb) 67400

[startup+720.038 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 26171 0 0 0 70069 679 0 0 25 0 1 0 22275074 69017600 12385 4294967295 134512640 135987407 3221224560 3221223104 134812005 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 16850 12385 364 364 0 16486 0
[pid=9927] vsize: 67400
Current children cumulated CPU time (s) 707.48
Current children cumulated vsize (Kb) 67400

[startup+730.038 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 26346 0 0 0 71041 688 0 0 25 0 1 0 22275074 69017600 12387 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16850 12387 364 364 0 16486 0
[pid=9927] vsize: 67400
Current children cumulated CPU time (s) 717.29
Current children cumulated vsize (Kb) 67400

[startup+740.039 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 26523 0 0 0 72027 692 0 0 25 0 1 0 22275074 69017600 12391 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16850 12391 364 364 0 16486 0
[pid=9927] vsize: 67400
Current children cumulated CPU time (s) 727.19
Current children cumulated vsize (Kb) 67400

[startup+750.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 26699 0 0 0 73002 701 0 0 25 0 1 0 22275074 69017600 12394 4294967295 134512640 135987407 3221224560 3221223104 134811873 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16850 12394 364 364 0 16486 0
[pid=9927] vsize: 67400
Current children cumulated CPU time (s) 737.03
Current children cumulated vsize (Kb) 67400

[startup+760.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 26705 0 0 0 73973 711 0 0 25 0 1 0 22275074 69017600 12400 4294967295 134512640 135987407 3221224560 3221223104 134811948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16850 12400 364 364 0 16486 0
[pid=9927] vsize: 67400
Current children cumulated CPU time (s) 746.84
Current children cumulated vsize (Kb) 67400

[startup+770.041 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 26930 0 0 0 74951 720 0 0 25 0 1 0 22275074 69287936 12452 4294967295 134512640 135987407 3221224560 3221222992 134801596 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16916 12452 364 364 0 16552 0
[pid=9927] vsize: 67664
Current children cumulated CPU time (s) 756.71
Current children cumulated vsize (Kb) 67664

[startup+780.04 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 27125 0 0 0 75929 730 0 0 25 0 1 0 22275074 69423104 12474 4294967295 134512640 135987407 3221224560 3221223184 134812419 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16949 12474 364 364 0 16585 0
[pid=9927] vsize: 67796
Current children cumulated CPU time (s) 766.59
Current children cumulated vsize (Kb) 67796

[startup+790.041 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 27128 0 0 0 76904 737 0 0 25 0 1 0 22275074 69423104 12477 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16949 12477 364 364 0 16585 0
[pid=9927] vsize: 67796
Current children cumulated CPU time (s) 776.41
Current children cumulated vsize (Kb) 67796

[startup+800.042 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 27305 0 0 0 77880 746 0 0 25 0 1 0 22275074 69423104 12481 4294967295 134512640 135987407 3221224560 3221223156 135478222 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 16949 12481 364 364 0 16585 0
[pid=9927] vsize: 67796
Current children cumulated CPU time (s) 786.26
Current children cumulated vsize (Kb) 67796

[startup+810.043 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 27482 0 0 0 78846 757 0 0 25 0 1 0 22275074 69423104 12485 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 16949 12485 364 364 0 16585 0
[pid=9927] vsize: 67796
Current children cumulated CPU time (s) 796.03
Current children cumulated vsize (Kb) 67796

[startup+820.044 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 27486 0 0 0 79809 769 0 0 25 0 1 0 22275074 69423104 12489 4294967295 134512640 135987407 3221224560 3221223056 134778348 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16949 12489 364 364 0 16585 0
[pid=9927] vsize: 67796
Current children cumulated CPU time (s) 805.78
Current children cumulated vsize (Kb) 67796

[startup+830.044 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 27695 0 0 0 80779 779 0 0 25 0 1 0 22275074 69566464 12525 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16984 12525 364 364 0 16620 0
[pid=9927] vsize: 67936
Current children cumulated CPU time (s) 815.58
Current children cumulated vsize (Kb) 67936

[startup+840.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 27697 0 0 0 81747 792 0 0 25 0 1 0 22275074 69566464 12527 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 16984 12527 364 364 0 16620 0
[pid=9927] vsize: 67936
Current children cumulated CPU time (s) 825.39
Current children cumulated vsize (Kb) 67936

[startup+850.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 27906 0 0 0 82725 800 0 0 25 0 1 0 22275074 69836800 12563 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17050 12563 364 364 0 16686 0
[pid=9927] vsize: 68200
Current children cumulated CPU time (s) 835.25
Current children cumulated vsize (Kb) 68200

[startup+860.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 27934 0 0 0 83694 809 0 0 25 0 1 0 22275074 69971968 12591 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17083 12591 364 364 0 16719 0
[pid=9927] vsize: 68332
Current children cumulated CPU time (s) 845.03
Current children cumulated vsize (Kb) 68332

[startup+870.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 28152 0 0 0 84661 819 0 0 25 0 1 0 22275074 70168576 12636 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17131 12636 364 364 0 16767 0
[pid=9927] vsize: 68524
Current children cumulated CPU time (s) 854.8
Current children cumulated vsize (Kb) 68524

[startup+880.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 28327 0 0 0 85631 829 0 0 25 0 1 0 22275074 70168576 12638 4294967295 134512640 135987407 3221224560 3221223104 134811692 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17131 12638 364 364 0 16767 0
[pid=9927] vsize: 68524
Current children cumulated CPU time (s) 864.6
Current children cumulated vsize (Kb) 68524

[startup+890.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 28332 0 0 0 86601 840 0 0 25 0 1 0 22275074 70168576 12643 4294967295 134512640 135987407 3221224560 3221222896 134931251 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17131 12643 364 364 0 16767 0
[pid=9927] vsize: 68524
Current children cumulated CPU time (s) 874.41
Current children cumulated vsize (Kb) 68524

[startup+900.047 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) T 9926 9927 4060 0 -1 0 28509 0 0 0 87573 849 0 0 25 0 1 0 22275074 70168576 12647 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17131 12647 364 364 0 16767 0
[pid=9927] vsize: 68524
Current children cumulated CPU time (s) 884.22
Current children cumulated vsize (Kb) 68524

[startup+910.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 28549 0 0 0 88543 859 0 0 25 0 1 0 22275074 70438912 12687 4294967295 134512640 135987407 3221224560 3221223104 134811870 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17197 12687 364 364 0 16833 0
[pid=9927] vsize: 68788
Current children cumulated CPU time (s) 894.02
Current children cumulated vsize (Kb) 68788

[startup+920.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 28725 0 0 0 89516 869 0 0 25 0 1 0 22275074 70438912 12690 4294967295 134512640 135987407 3221224560 3221223208 135477953 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17197 12690 364 364 0 16833 0
[pid=9927] vsize: 68788
Current children cumulated CPU time (s) 903.85
Current children cumulated vsize (Kb) 68788

[startup+930.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 28727 0 0 0 90484 880 0 0 25 0 1 0 22275074 70438912 12692 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17197 12692 364 364 0 16833 0
[pid=9927] vsize: 68788
Current children cumulated CPU time (s) 913.64
Current children cumulated vsize (Kb) 68788

[startup+940.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 28905 0 0 0 91465 887 0 0 25 0 1 0 22275074 70438912 12697 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17197 12697 364 364 0 16833 0
[pid=9927] vsize: 68788
Current children cumulated CPU time (s) 923.52
Current children cumulated vsize (Kb) 68788

[startup+950.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 29080 0 0 0 92442 896 0 0 25 0 1 0 22275074 70438912 12699 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17197 12699 364 364 0 16833 0
[pid=9927] vsize: 68788
Current children cumulated CPU time (s) 933.38
Current children cumulated vsize (Kb) 68788

[startup+960.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 29256 0 0 0 93417 905 0 0 25 0 1 0 22275074 70438912 12702 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17197 12702 364 364 0 16833 0
[pid=9927] vsize: 68788
Current children cumulated CPU time (s) 943.22
Current children cumulated vsize (Kb) 68788

[startup+970.051 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) T 9926 9927 4060 0 -1 0 29285 0 0 0 94396 913 0 0 25 0 1 0 22275074 70574080 12731 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17230 12731 364 364 0 16866 0
[pid=9927] vsize: 68920
Current children cumulated CPU time (s) 953.09
Current children cumulated vsize (Kb) 68920

[startup+980.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 29461 0 0 0 95368 923 0 0 25 0 1 0 22275074 70574080 12734 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17230 12734 364 364 0 16866 0
[pid=9927] vsize: 68920
Current children cumulated CPU time (s) 962.91
Current children cumulated vsize (Kb) 68920

[startup+990.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 29464 0 0 0 96336 932 0 0 25 0 1 0 22275074 70574080 12737 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17230 12737 364 364 0 16866 0
[pid=9927] vsize: 68920
Current children cumulated CPU time (s) 972.68
Current children cumulated vsize (Kb) 68920

[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) T 9926 9927 4060 0 -1 0 29648 0 0 0 97309 941 0 0 25 0 1 0 22275074 70574080 12748 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17230 12748 364 364 0 16866 0
[pid=9927] vsize: 68920
Current children cumulated CPU time (s) 982.5
Current children cumulated vsize (Kb) 68920

[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 29651 0 0 0 98281 950 0 0 25 0 1 0 22275074 70574080 12751 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17230 12751 364 364 0 16866 0
[pid=9927] vsize: 68920
Current children cumulated CPU time (s) 992.31
Current children cumulated vsize (Kb) 68920

[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 30011 0 0 0 99271 954 0 0 25 0 1 0 22275074 70709248 12765 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17263 12765 364 364 0 16899 0
[pid=9927] vsize: 69052
Current children cumulated CPU time (s) 1002.25
Current children cumulated vsize (Kb) 69052

[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 30197 0 0 0 100261 957 0 0 25 0 1 0 22275074 70709248 12778 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17263 12778 364 364 0 16899 0
[pid=9927] vsize: 69052
Current children cumulated CPU time (s) 1012.18
Current children cumulated vsize (Kb) 69052

[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 30226 0 0 0 101235 966 0 0 25 0 1 0 22275074 70844416 12807 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17296 12807 364 364 0 16932 0
[pid=9927] vsize: 69184
Current children cumulated CPU time (s) 1022.01
Current children cumulated vsize (Kb) 69184

[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 30402 0 0 0 102210 975 0 0 25 0 1 0 22275074 70844416 12810 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17296 12810 364 364 0 16932 0
[pid=9927] vsize: 69184
Current children cumulated CPU time (s) 1031.85
Current children cumulated vsize (Kb) 69184

[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 30624 0 0 0 103180 986 0 0 25 0 1 0 22275074 70979584 12859 4294967295 134512640 135987407 3221224560 3221223200 134812341 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17329 12859 364 364 0 16965 0
[pid=9927] vsize: 69316
Current children cumulated CPU time (s) 1041.66
Current children cumulated vsize (Kb) 69316

[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 30626 0 0 0 104147 996 0 0 25 0 1 0 22275074 70979584 12861 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17329 12861 364 364 0 16965 0
[pid=9927] vsize: 69316
Current children cumulated CPU time (s) 1051.43
Current children cumulated vsize (Kb) 69316

[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 30804 0 0 0 105122 1005 0 0 25 0 1 0 22275074 70979584 12866 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17329 12866 364 364 0 16965 0
[pid=9927] vsize: 69316
Current children cumulated CPU time (s) 1061.27
Current children cumulated vsize (Kb) 69316

[startup+1090.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 30822 0 0 0 106092 1016 0 0 25 0 1 0 22275074 70979584 12884 4294967295 134512640 135987407 3221224560 3221223104 134811773 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17329 12884 364 364 0 16965 0
[pid=9927] vsize: 69316
Current children cumulated CPU time (s) 1071.08
Current children cumulated vsize (Kb) 69316

[startup+1100.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 31066 0 0 0 107074 1022 0 0 25 0 1 0 22275074 70979584 12955 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17329 12955 364 364 0 16965 0
[pid=9927] vsize: 69316
Current children cumulated CPU time (s) 1080.96
Current children cumulated vsize (Kb) 69316

[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 31275 0 0 0 108052 1030 0 0 25 0 1 0 22275074 71114752 12991 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17362 12991 364 364 0 16998 0
[pid=9927] vsize: 69448
Current children cumulated CPU time (s) 1090.82
Current children cumulated vsize (Kb) 69448

[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 31277 0 0 0 109025 1039 0 0 25 0 1 0 22275074 71114752 12993 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17362 12993 364 364 0 16998 0
[pid=9927] vsize: 69448
Current children cumulated CPU time (s) 1100.64
Current children cumulated vsize (Kb) 69448

[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 31454 0 0 0 110007 1045 0 0 25 0 1 0 22275074 71114752 12997 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17362 12997 364 364 0 16998 0
[pid=9927] vsize: 69448
Current children cumulated CPU time (s) 1110.52
Current children cumulated vsize (Kb) 69448

[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 31633 0 0 0 110995 1049 0 0 25 0 1 0 22275074 71249920 13003 4294967295 134512640 135987407 3221224560 3221223264 134790069 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17395 13003 364 364 0 17031 0
[pid=9927] vsize: 69580
Current children cumulated CPU time (s) 1120.44
Current children cumulated vsize (Kb) 69580

[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 31834 0 0 0 111966 1059 0 0 25 0 1 0 22275074 71249920 13031 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17395 13031 364 364 0 17031 0
[pid=9927] vsize: 69580
Current children cumulated CPU time (s) 1130.25
Current children cumulated vsize (Kb) 69580

[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 31861 0 0 0 112936 1068 0 0 25 0 1 0 22275074 71249920 13058 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17395 13058 364 364 0 17031 0
[pid=9927] vsize: 69580
Current children cumulated CPU time (s) 1140.04
Current children cumulated vsize (Kb) 69580

[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 32087 0 0 0 113916 1075 0 0 25 0 1 0 22275074 71249920 13111 4294967295 134512640 135987407 3221224560 3221223248 134812778 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17395 13111 364 364 0 17031 0
[pid=9927] vsize: 69580
Current children cumulated CPU time (s) 1149.91
Current children cumulated vsize (Kb) 69580

[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 32351 0 0 0 114902 1079 0 0 25 0 1 0 22275074 71249920 13202 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17395 13202 364 364 0 17031 0
[pid=9927] vsize: 69580
Current children cumulated CPU time (s) 1159.81
Current children cumulated vsize (Kb) 69580

[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 32360 0 0 0 115887 1083 0 0 25 0 1 0 22275074 71249920 13211 4294967295 134512640 135987407 3221224560 3221223136 134813833 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17395 13211 364 364 0 17031 0
[pid=9927] vsize: 69580
Current children cumulated CPU time (s) 1169.7
Current children cumulated vsize (Kb) 69580

[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 32752 0 0 0 116879 1086 0 0 25 0 1 0 22275074 71385088 13257 4294967295 134512640 135987407 3221224560 3221223232 134816659 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17428 13257 364 364 0 17064 0
[pid=9927] vsize: 69712
Current children cumulated CPU time (s) 1179.65
Current children cumulated vsize (Kb) 69712

[startup+1210.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 32834 0 0 0 117860 1092 0 0 25 0 1 0 22275074 71385088 13339 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17428 13339 364 364 0 17064 0
[pid=9927] vsize: 69712
Current children cumulated CPU time (s) 1189.52
Current children cumulated vsize (Kb) 69712

[startup+1220.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 33065 0 0 0 118840 1100 0 0 25 0 1 0 22275074 71385088 13397 4294967295 134512640 135987407 3221224560 3221223264 134789987 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/9927/statm): 17428 13397 364 364 0 17064 0
[pid=9927] vsize: 69712
Current children cumulated CPU time (s) 1199.4
Current children cumulated vsize (Kb) 69712

[startup+1230.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 33280 0 0 0 119811 1111 0 0 25 0 1 0 22275074 71520256 13439 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17461 13439 364 364 0 17097 0
[pid=9927] vsize: 69844
Current children cumulated CPU time (s) 1209.22
Current children cumulated vsize (Kb) 69844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 9927
Raw data (/proc/9927/stat): 9927 (pb2sat) R 9926 9927 4060 0 -1 0 33280 0 0 0 119811 1111 0 0 25 0 1 0 22275074 71520256 13439 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/9927/statm): 17461 13439 364 364 0 17097 0
[pid=9927] vsize: 69844
Current children cumulated CPU time (s) 1209.22
Current children cumulated vsize (Kb) 69844

Sending SIGTERM to -9927
Sleeping 2 seconds
One traced child (pid=9927) exited with status: 10
All traced children have exited ! Game is over.

Child status: 10
Real time (s): 1230.25
CPU time (s): 1209.4
CPU user time (s): 1198.26
CPU system time (s): 11.1383
CPU usage (%): 98.3047
Max. virtual memory (cumulated for all children) (Kb): 69844

Verifier Data

Verifier:	OK	-19