Some explanations

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

General information on the benchmark

Namemps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-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 10095

Launcher Data

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        950136 kB
Buffers:          5800 kB
Cached:          59072 kB
SwapCached:          0 kB
Active:          18672 kB
Inactive:        49080 kB
HighTotal:      131008 kB
HighFree:        89908 kB
LowTotal:       903652 kB
LowFree:        860228 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6980 kB
Slab:            11128 kB
Committed_AS:    63624 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-09-23 16:59:46 (client local time) WITH STATUS 10 IN 1209.33 SECONDS
stats: 8797 0 1209.33 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.354/86400
c Decision: 12484/88151	Time: 131.321/86400
c Decision: 12484/88151	Time: 145.96/86400
c Decision: 12484/88151	Time: 159.299/86400
c Decision: 12484/88151	Time: 167.217/86400
c Decision: 12484/88151	Time: 174.389/86400
c Decision: 12484/88151	Time: 187.982/86400
c Decision: 12484/88151	Time: 202.427/86400
c Decision: 12484/88151	Time: 212.71/86400
c Decision: 12484/88151	Time: 224.561/86400
c Decision: 12484/88151	Time: 239.245/86400
c Decision: 12484/88151	Time: 254.92/86400
c Decision: 12484/88151	Time: 266.922/86400
c Decision: 12484/88151	Time: 280.714/86400
c Decision: 12484/88151	Time: 298.824/86400
c Decision: 12484/88151	Time: 316.519/86400
c Decision: 12484/88151	Time: 332.474/86400
c Decision: 12484/88151	Time: 348.673/86400
c Decision: 12484/88151	Time: 361.247/86400
c Decision: 12484/88151	Time: 369.791/86400
c Decision: 12484/88151	Time: 385.306/86400
c Decision: 12484/88151	Time: 401.437/86400
c Decision: 12484/88151	Time: 413.622/86400
c Decision: 12484/88151	Time: 429.467/86400
c Decision: 12484/88151	Time: 445.178/86400
c Decision: 12484/88151	Time: 456.73/86400
c Decision: 12484/88151	Time: 473.178/86400
c Decision: 12484/88151	Time: 481.468/86400
c Decision: 12484/88151	Time: 490.872/86400
c Decision: 12484/88151	Time: 501.408/86400
c Decision: 12484/88151	Time: 518.494/86400
c Decision: 12484/88151	Time: 534.283/86400
c Decision: 12484/88151	Time: 548.941/86400
c Decision: 12484/88151	Time: 565.921/86400
c Decision: 12484/88151	Time: 581.101/86400
c Decision: 12484/88151	Time: 590.679/86400
c Decision: 12484/88151	Time: 599.55/86400
c Decision: 12484/88151	Time: 607.621/86400
c Decision: 12484/88151	Time: 617.049/86400
c Decision: 12484/88151	Time: 625.48/86400
c Decision: 12484/88151	Time: 633.941/86400
c Decision: 12484/88151	Time: 644.45/86400
c Decision: 12484/88151	Time: 655.785/86400
c Decision: 12484/88151	Time: 671.105/86400
c Decision: 12484/88151	Time: 688.685/86400
c Decision: 12484/88151	Time: 706.084/86400
c Decision: 12484/88151	Time: 718.288/86400
c Decision: 12484/88151	Time: 729.505/86400
c Decision: 12484/88151	Time: 744.106/86400
c Decision: 12484/88151	Time: 757.16/86400
c Decision: 12484/88151	Time: 772.52/86400
c Decision: 12484/88151	Time: 788.049/86400
c Decision: 12484/88151	Time: 804.172/86400
c Decision: 12484/88151	Time: 822.572/86400
c Decision: 12484/88151	Time: 840.198/86400
c Decision: 12484/88151	Time: 858.692/86400
c Decision: 12484/88151	Time: 874.847/86400
c Decision: 12484/88151	Time: 892.635/86400
c Decision: 12484/88151	Time: 910.244/86400
c Decision: 12484/88151	Time: 922.364/86400
c Decision: 12484/88151	Time: 937.607/86400
c Decision: 12484/88151	Time: 951.206/86400
c Decision: 12484/88151	Time: 970.556/86400
c Decision: 12484/88151	Time: 987.49/86400
c Decision: 12484/88151	Time: 996.1/86400
c Decision: 12484/88151	Time: 1005.61/86400
c Decision: 12484/88151	Time: 1018.99/86400
c Decision: 12484/88151	Time: 1035.29/86400
c Decision: 12484/88151	Time: 1053.65/86400
c Decision: 12484/88151	Time: 1068.47/86400
c Decision: 12484/88151	Time: 1081.34/86400
c Decision: 12484/88151	Time: 1099.58/86400
c Decision: 12484/88151	Time: 1109.24/86400
c Decision: 12484/88151	Time: 1122.05/86400
c Decision: 12484/88151	Time: 1139.51/86400
c Decision: 12484/88151	Time: 1153.51/86400
c Decision: 12484/88151	Time: 1164.75/86400
c Decision: 12484/88151	Time: 1173.53/86400
c Decision: 12484/88151	Time: 1185.48/86400
c Decision: 12484/88151	Time: 1201.06/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/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 21694575 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 373 2 364 364 0 9 0
[pid=8919] vsize: 1492
open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-mps-v2-20-10-protfold.opb

[startup+10.0021 s]
Raw data (loadavg): 0.93 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 14227 0 0 0 951 37 0 0 25 0 1 0 21694575 46907392 8226 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 11452 8226 364 364 0 11088 0
[pid=8919] vsize: 45808
Current children cumulated CPU time (s) 9.88
Current children cumulated vsize (Kb) 45808

[startup+20.0029 s]
Raw data (loadavg): 0.94 0.98 0.98 1/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) T 8918 8919 4060 0 -1 0 14778 0 0 0 1913 50 0 0 25 0 1 0 21694575 49328128 8777 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8919/statm): 12043 8777 364 364 0 11679 0
[pid=8919] vsize: 48172
Current children cumulated CPU time (s) 19.63
Current children cumulated vsize (Kb) 48172

[startup+30.0038 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 15120 0 0 0 2877 61 0 0 25 0 1 0 21694575 51101696 9119 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 12476 9119 364 364 0 12112 0
[pid=8919] vsize: 49904
Current children cumulated CPU time (s) 29.38
Current children cumulated vsize (Kb) 49904

[startup+40.0046 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 15434 0 0 0 3844 73 0 0 25 0 1 0 21694575 52355072 9433 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 12782 9433 364 364 0 12418 0
[pid=8919] vsize: 51128
Current children cumulated CPU time (s) 39.17
Current children cumulated vsize (Kb) 51128

[startup+50.0055 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 15710 0 0 0 4814 85 0 0 25 0 1 0 21694575 53608448 9709 4294967295 134512640 135987407 3221224560 3221223232 134812451 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 13088 9709 364 364 0 12724 0
[pid=8919] vsize: 52352
Current children cumulated CPU time (s) 48.99
Current children cumulated vsize (Kb) 52352

[startup+60.0063 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 15877 0 0 0 5786 95 0 0 25 0 1 0 21694575 54407168 9876 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13283 9876 364 364 0 12919 0
[pid=8919] vsize: 53132
Current children cumulated CPU time (s) 58.81
Current children cumulated vsize (Kb) 53132

[startup+70.0071 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 15977 0 0 0 6757 104 0 0 25 0 1 0 21694575 54677504 9976 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13349 9976 364 364 0 12985 0
[pid=8919] vsize: 53396
Current children cumulated CPU time (s) 68.61
Current children cumulated vsize (Kb) 53396

[startup+80.008 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 16034 0 0 0 7724 114 0 0 25 0 1 0 21694575 54874112 10033 4294967295 134512640 135987407 3221224560 3221223280 134812638 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13397 10033 364 364 0 13033 0
[pid=8919] vsize: 53588
Current children cumulated CPU time (s) 78.38
Current children cumulated vsize (Kb) 53588

[startup+90.0088 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 16076 0 0 0 8689 126 0 0 25 0 1 0 21694575 54874112 10075 4294967295 134512640 135987407 3221224560 3221223104 134811959 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 13397 10075 364 364 0 13033 0
[pid=8919] vsize: 53588
Current children cumulated CPU time (s) 88.15
Current children cumulated vsize (Kb) 53588

[startup+100.009 s]
Raw data (loadavg): 0.98 0.98 0.98 1/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) T 8918 8919 4060 0 -1 0 16112 0 0 0 9656 137 0 0 25 0 1 0 21694575 55070720 10111 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13445 10111 364 364 0 13081 0
[pid=8919] vsize: 53780
Current children cumulated CPU time (s) 97.93
Current children cumulated vsize (Kb) 53780

[startup+110.01 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 16160 0 0 0 10628 146 0 0 25 0 1 0 21694575 55070720 10159 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13445 10159 364 364 0 13081 0
[pid=8919] vsize: 53780
Current children cumulated CPU time (s) 107.74
Current children cumulated vsize (Kb) 53780

[startup+120.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 16226 0 0 0 11595 157 0 0 25 0 1 0 21694575 55205888 10225 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 13478 10225 364 364 0 13114 0
[pid=8919] vsize: 53912
Current children cumulated CPU time (s) 117.52
Current children cumulated vsize (Kb) 53912

[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 16490 0 0 0 12565 166 0 0 25 0 1 0 21694575 55537664 10316 4294967295 134512640 135987407 3221224560 3221223232 134824259 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13559 10316 364 364 0 13195 0
[pid=8919] vsize: 54236
Current children cumulated CPU time (s) 127.31
Current children cumulated vsize (Kb) 54236

[startup+140.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 16690 0 0 0 13540 176 0 0 25 0 1 0 21694575 55672832 10343 4294967295 134512640 135987407 3221224560 3221223056 134789622 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 13592 10343 364 364 0 13228 0
[pid=8919] vsize: 54368
Current children cumulated CPU time (s) 137.16
Current children cumulated vsize (Kb) 54368

[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 16717 0 0 0 14514 185 0 0 25 0 1 0 21694575 55808000 10370 4294967295 134512640 135987407 3221224560 3221223104 134812018 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 13625 10370 364 364 0 13261 0
[pid=8919] vsize: 54500
Current children cumulated CPU time (s) 146.99
Current children cumulated vsize (Kb) 54500

[startup+160.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 16918 0 0 0 15490 192 0 0 25 0 1 0 21694575 55943168 10398 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13658 10398 364 364 0 13294 0
[pid=8919] vsize: 54632
Current children cumulated CPU time (s) 156.82
Current children cumulated vsize (Kb) 54632

[startup+170.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 17128 0 0 0 16468 200 0 0 25 0 1 0 21694575 56078336 10435 4294967295 134512640 135987407 3221224560 3221223104 134811855 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13691 10435 364 364 0 13327 0
[pid=8919] vsize: 54764
Current children cumulated CPU time (s) 166.68
Current children cumulated vsize (Kb) 54764

[startup+180.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 17466 0 0 0 17455 206 0 0 25 0 1 0 21694575 56078336 10600 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13691 10600 364 364 0 13327 0
[pid=8919] vsize: 54764
Current children cumulated CPU time (s) 176.61
Current children cumulated vsize (Kb) 54764

[startup+190.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 17672 0 0 0 18428 215 0 0 25 0 1 0 21694575 56078336 10633 4294967295 134512640 135987407 3221224560 3221223056 134778325 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13691 10633 364 364 0 13327 0
[pid=8919] vsize: 54764
Current children cumulated CPU time (s) 186.43
Current children cumulated vsize (Kb) 54764

[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 17891 0 0 0 19393 228 0 0 25 0 1 0 21694575 56348672 10679 4294967295 134512640 135987407 3221224560 3221223104 134811885 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13757 10679 364 364 0 13393 0
[pid=8919] vsize: 55028
Current children cumulated CPU time (s) 196.21
Current children cumulated vsize (Kb) 55028

[startup+210.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 17914 0 0 0 20361 239 0 0 25 0 1 0 21694575 56483840 10702 4294967295 134512640 135987407 3221224560 3221223104 134812166 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 13790 10702 364 364 0 13426 0
[pid=8919] vsize: 55160
Current children cumulated CPU time (s) 206
Current children cumulated vsize (Kb) 55160

[startup+220.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 18096 0 0 0 21338 247 0 0 25 0 1 0 21694575 56483840 10711 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13790 10711 364 364 0 13426 0
[pid=8919] vsize: 55160
Current children cumulated CPU time (s) 215.85
Current children cumulated vsize (Kb) 55160

[startup+230.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 18375 0 0 0 22319 253 0 0 25 0 1 0 21694575 56889344 10817 4294967295 134512640 135987407 3221224560 3221223180 134811680 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13889 10817 364 364 0 13525 0
[pid=8919] vsize: 55556
Current children cumulated CPU time (s) 225.72
Current children cumulated vsize (Kb) 55556

[startup+240.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 18578 0 0 0 23285 264 0 0 25 0 1 0 21694575 56889344 10847 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13889 10847 364 364 0 13525 0
[pid=8919] vsize: 55556
Current children cumulated CPU time (s) 235.49
Current children cumulated vsize (Kb) 55556

[startup+250.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 18802 0 0 0 24252 276 0 0 25 0 1 0 21694575 57024512 10898 4294967295 134512640 135987407 3221224560 3221222976 134788443 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13922 10898 364 364 0 13558 0
[pid=8919] vsize: 55688
Current children cumulated CPU time (s) 245.28
Current children cumulated vsize (Kb) 55688

[startup+260.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 18807 0 0 0 25220 287 0 0 25 0 1 0 21694575 57024512 10903 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13922 10903 364 364 0 13558 0
[pid=8919] vsize: 55688
Current children cumulated CPU time (s) 255.07
Current children cumulated vsize (Kb) 55688

[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 18987 0 0 0 26191 297 0 0 25 0 1 0 21694575 57024512 10910 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13922 10910 364 364 0 13558 0
[pid=8919] vsize: 55688
Current children cumulated CPU time (s) 264.88
Current children cumulated vsize (Kb) 55688

[startup+280.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 19163 0 0 0 27162 307 0 0 25 0 1 0 21694575 57024512 10913 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13922 10913 364 364 0 13558 0
[pid=8919] vsize: 55688
Current children cumulated CPU time (s) 274.69
Current children cumulated vsize (Kb) 55688

[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 19171 0 0 0 28129 316 0 0 25 0 1 0 21694575 57024512 10921 4294967295 134512640 135987407 3221224560 3221223176 134811683 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13922 10921 364 364 0 13558 0
[pid=8919] vsize: 55688
Current children cumulated CPU time (s) 284.45
Current children cumulated vsize (Kb) 55688

[startup+300.018 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 19364 0 0 0 29101 326 0 0 25 0 1 0 21694575 57159680 10941 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 13955 10941 364 364 0 13591 0
[pid=8919] vsize: 55820
Current children cumulated CPU time (s) 294.27
Current children cumulated vsize (Kb) 55820

[startup+310.019 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 19410 0 0 0 30070 338 0 0 25 0 1 0 21694575 57430016 10987 4294967295 134512640 135987407 3221224560 3221223104 134811980 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14021 10987 364 364 0 13657 0
[pid=8919] vsize: 56084
Current children cumulated CPU time (s) 304.08
Current children cumulated vsize (Kb) 56084

[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 19603 0 0 0 31038 347 0 0 25 0 1 0 21694575 57565184 11007 4294967295 134512640 135987407 3221224560 3221223104 134811988 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14054 11007 364 364 0 13690 0
[pid=8919] vsize: 56216
Current children cumulated CPU time (s) 313.85
Current children cumulated vsize (Kb) 56216

[startup+330.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 19781 0 0 0 32006 357 0 0 25 0 1 0 21694575 57565184 11012 4294967295 134512640 135987407 3221224560 3221223104 134811813 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14054 11012 364 364 0 13690 0
[pid=8919] vsize: 56216
Current children cumulated CPU time (s) 323.63
Current children cumulated vsize (Kb) 56216

[startup+340.021 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 19824 0 0 0 32977 368 0 0 25 0 1 0 21694575 57700352 11055 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 14087 11055 364 364 0 13723 0
[pid=8919] vsize: 56348
Current children cumulated CPU time (s) 333.45
Current children cumulated vsize (Kb) 56348

[startup+350.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 20022 0 0 0 33943 379 0 0 25 0 1 0 21694575 57835520 11080 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14120 11080 364 364 0 13756 0
[pid=8919] vsize: 56480
Current children cumulated CPU time (s) 343.22
Current children cumulated vsize (Kb) 56480

[startup+360.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 20025 0 0 0 34911 391 0 0 25 0 1 0 21694575 57835520 11083 4294967295 134512640 135987407 3221224560 3221222984 134801607 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 14120 11083 364 364 0 13756 0
[pid=8919] vsize: 56480
Current children cumulated CPU time (s) 353.02
Current children cumulated vsize (Kb) 56480

[startup+370.022 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 20223 0 0 0 35884 400 0 0 25 0 1 0 21694575 57970688 11108 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14153 11108 364 364 0 13789 0
[pid=8919] vsize: 56612
Current children cumulated CPU time (s) 362.84
Current children cumulated vsize (Kb) 56612

[startup+380.023 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 20432 0 0 0 36866 407 0 0 25 0 1 0 21694575 58167296 11144 4294967295 134512640 135987407 3221224560 3221222976 134788457 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14201 11144 364 364 0 13837 0
[pid=8919] vsize: 56804
Current children cumulated CPU time (s) 372.73
Current children cumulated vsize (Kb) 56804

[startup+390.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 20611 0 0 0 37838 416 0 0 25 0 1 0 21694575 58167296 11150 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14201 11150 364 364 0 13837 0
[pid=8919] vsize: 56804
Current children cumulated CPU time (s) 382.54
Current children cumulated vsize (Kb) 56804

[startup+400.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 20826 0 0 0 38803 427 0 0 25 0 1 0 21694575 58363904 11192 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 14249 11192 364 364 0 13885 0
[pid=8919] vsize: 56996
Current children cumulated CPU time (s) 392.3
Current children cumulated vsize (Kb) 56996

[startup+410.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 20844 0 0 0 39778 437 0 0 25 0 1 0 21694575 58560512 11210 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14297 11210 364 364 0 13933 0
[pid=8919] vsize: 57188
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (Kb) 57188

[startup+420.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 21020 0 0 0 40757 444 0 0 25 0 1 0 21694575 58560512 11213 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14297 11213 364 364 0 13933 0
[pid=8919] vsize: 57188
Current children cumulated CPU time (s) 412.01
Current children cumulated vsize (Kb) 57188

[startup+430.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 21196 0 0 0 41732 453 0 0 25 0 1 0 21694575 58560512 11216 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14297 11216 364 364 0 13933 0
[pid=8919] vsize: 57188
Current children cumulated CPU time (s) 421.85
Current children cumulated vsize (Kb) 57188

[startup+440.026 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 21203 0 0 0 42704 462 0 0 25 0 1 0 21694575 58560512 11223 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14297 11223 364 364 0 13933 0
[pid=8919] vsize: 57188
Current children cumulated CPU time (s) 431.66
Current children cumulated vsize (Kb) 57188

[startup+450.027 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 21384 0 0 0 43676 471 0 0 25 0 1 0 21694575 58560512 11231 4294967295 134512640 135987407 3221224560 3221223104 134811966 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14297 11231 364 364 0 13933 0
[pid=8919] vsize: 57188
Current children cumulated CPU time (s) 441.47
Current children cumulated vsize (Kb) 57188

[startup+460.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 21588 0 0 0 44648 479 0 0 25 0 1 0 21694575 58560512 11262 4294967295 134512640 135987407 3221224560 3221223104 134812013 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14297 11262 364 364 0 13933 0
[pid=8919] vsize: 57188
Current children cumulated CPU time (s) 451.27
Current children cumulated vsize (Kb) 57188

[startup+470.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 21658 0 0 0 45622 488 0 0 25 0 1 0 21694575 58724352 11332 4294967295 134512640 135987407 3221224560 3221223104 134811842 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14337 11332 364 364 0 13973 0
[pid=8919] vsize: 57348
Current children cumulated CPU time (s) 461.1
Current children cumulated vsize (Kb) 57348

[startup+480.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 21837 0 0 0 46592 498 0 0 25 0 1 0 21694575 58724352 11338 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14337 11338 364 364 0 13973 0
[pid=8919] vsize: 57348
Current children cumulated CPU time (s) 470.9
Current children cumulated vsize (Kb) 57348

[startup+490.028 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 22014 0 0 0 47564 509 0 0 25 0 1 0 21694575 58724352 11342 4294967295 134512640 135987407 3221224560 3221223104 134811706 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14337 11342 364 364 0 13973 0
[pid=8919] vsize: 57348
Current children cumulated CPU time (s) 480.73
Current children cumulated vsize (Kb) 57348

[startup+500.029 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 22248 0 0 0 48555 514 0 0 25 0 1 0 21694575 58724352 11403 4294967295 134512640 135987407 3221224560 3221223264 134789985 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14337 11403 364 364 0 13973 0
[pid=8919] vsize: 57348
Current children cumulated CPU time (s) 490.69
Current children cumulated vsize (Kb) 57348

[startup+510.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 22527 0 0 0 49537 520 0 0 25 0 1 0 21694575 58724352 11509 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 14337 11509 364 364 0 13973 0
[pid=8919] vsize: 57348
Current children cumulated CPU time (s) 500.57
Current children cumulated vsize (Kb) 57348

[startup+520.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 22759 0 0 0 50517 527 0 0 25 0 1 0 21694575 58724352 11568 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 14337 11568 364 364 0 13973 0
[pid=8919] vsize: 57348
Current children cumulated CPU time (s) 510.44
Current children cumulated vsize (Kb) 57348

[startup+530.031 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 22888 0 0 0 51486 538 0 0 25 0 1 0 21694575 59289600 11697 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14475 11697 364 364 0 14111 0
[pid=8919] vsize: 57900
Current children cumulated CPU time (s) 520.24
Current children cumulated vsize (Kb) 57900

[startup+540.032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 23093 0 0 0 52459 547 0 0 25 0 1 0 21694575 59424768 11729 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 14508 11729 364 364 0 14144 0
[pid=8919] vsize: 58032
Current children cumulated CPU time (s) 530.06
Current children cumulated vsize (Kb) 58032

[startup+550.032 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 23096 0 0 0 53429 558 0 0 25 0 1 0 21694575 59424768 11732 4294967295 134512640 135987407 3221224560 3221223136 134814271 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14508 11732 364 364 0 14144 0
[pid=8919] vsize: 58032
Current children cumulated CPU time (s) 539.87
Current children cumulated vsize (Kb) 58032

[startup+560.033 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 23272 0 0 0 54402 569 0 0 25 0 1 0 21694575 59424768 11735 4294967295 134512640 135987407 3221224560 3221223104 134812155 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14508 11735 364 364 0 14144 0
[pid=8919] vsize: 58032
Current children cumulated CPU time (s) 549.71
Current children cumulated vsize (Kb) 58032

[startup+570.034 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 23447 0 0 0 55372 579 0 0 25 0 1 0 21694575 59424768 11737 4294967295 134512640 135987407 3221224560 3221223104 134811835 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14508 11737 364 364 0 14144 0
[pid=8919] vsize: 58032
Current children cumulated CPU time (s) 559.51
Current children cumulated vsize (Kb) 58032

[startup+580.034 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 23454 0 0 0 56340 591 0 0 25 0 1 0 21694575 59424768 11744 4294967295 134512640 135987407 3221224560 3221223104 134812197 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14508 11744 364 364 0 14144 0
[pid=8919] vsize: 58032
Current children cumulated CPU time (s) 569.31
Current children cumulated vsize (Kb) 58032

[startup+590.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 23653 0 0 0 57321 597 0 0 18 0 1 0 21694575 59559936 11770 4294967295 134512640 135987407 3221224560 3221223104 134812028 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14541 11770 364 364 0 14177 0
[pid=8919] vsize: 58164
Current children cumulated CPU time (s) 579.18
Current children cumulated vsize (Kb) 58164

[startup+600.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 23881 0 0 0 58290 608 0 0 25 0 1 0 21694575 59805696 11825 4294967295 134512640 135987407 3221224560 3221223280 134812647 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14601 11825 364 364 0 14237 0
[pid=8919] vsize: 58404
Current children cumulated CPU time (s) 588.98
Current children cumulated vsize (Kb) 58404

[startup+610.035 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 24059 0 0 0 59276 614 0 0 25 0 1 0 21694575 59805696 11830 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14601 11830 364 364 0 14237 0
[pid=8919] vsize: 58404
Current children cumulated CPU time (s) 598.9
Current children cumulated vsize (Kb) 58404

[startup+620.036 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 24237 0 0 0 60268 616 0 0 25 0 1 0 21694575 59805696 11835 4294967295 134512640 135987407 3221224560 3221223264 134790057 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 14601 11835 364 364 0 14237 0
[pid=8919] vsize: 58404
Current children cumulated CPU time (s) 608.84
Current children cumulated vsize (Kb) 58404

[startup+630.036 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 24554 0 0 0 61259 620 0 0 25 0 1 0 21694575 68194304 11979 4294967295 134512640 135987407 3221224560 3221223168 134811685 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16649 11979 364 364 0 16285 0
[pid=8919] vsize: 66596
Current children cumulated CPU time (s) 618.79
Current children cumulated vsize (Kb) 66596

[startup+640.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 24874 0 0 0 62252 624 0 0 25 0 1 0 21694575 68194304 12126 4294967295 134512640 135987407 3221224560 3221223104 134811765 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16649 12126 364 364 0 16285 0
[pid=8919] vsize: 66596
Current children cumulated CPU time (s) 628.76
Current children cumulated vsize (Kb) 66596

[startup+650.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 25165 0 0 0 63243 627 0 0 25 0 1 0 21694575 68329472 12244 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16682 12244 364 364 0 16318 0
[pid=8919] vsize: 66728
Current children cumulated CPU time (s) 638.7
Current children cumulated vsize (Kb) 66728

[startup+660.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 25357 0 0 0 64238 629 0 0 25 0 1 0 21694575 68329472 12263 4294967295 134512640 135987407 3221224560 3221223104 134811800 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16682 12263 364 364 0 16318 0
[pid=8919] vsize: 66728
Current children cumulated CPU time (s) 648.67
Current children cumulated vsize (Kb) 66728

[startup+670.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 25560 0 0 0 65217 637 0 0 25 0 1 0 21694575 68464640 12293 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16715 12293 364 364 0 16351 0
[pid=8919] vsize: 66860
Current children cumulated CPU time (s) 658.54
Current children cumulated vsize (Kb) 66860

[startup+680.037 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 25753 0 0 0 66194 645 0 0 25 0 1 0 21694575 68599808 12313 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 16748 12313 364 364 0 16384 0
[pid=8919] vsize: 66992
Current children cumulated CPU time (s) 668.39
Current children cumulated vsize (Kb) 66992

[startup+690.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 25929 0 0 0 67161 656 0 0 25 0 1 0 21694575 68599808 12316 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16748 12316 364 364 0 16384 0
[pid=8919] vsize: 66992
Current children cumulated CPU time (s) 678.17
Current children cumulated vsize (Kb) 66992

[startup+700.038 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 25969 0 0 0 68125 668 0 0 24 0 1 0 21694575 68882432 12356 4294967295 134512640 135987407 3221224560 3221223104 134811992 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 16817 12356 364 364 0 16453 0
[pid=8919] vsize: 67268
Current children cumulated CPU time (s) 687.93
Current children cumulated vsize (Kb) 67268

[startup+710.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 26166 0 0 0 69098 677 0 0 25 0 1 0 21694575 69017600 12380 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16850 12380 364 364 0 16486 0
[pid=8919] vsize: 67400
Current children cumulated CPU time (s) 697.75
Current children cumulated vsize (Kb) 67400

[startup+720.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 26171 0 0 0 70069 686 0 0 25 0 1 0 21694575 69017600 12385 4294967295 134512640 135987407 3221224560 3221223104 134811778 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 16850 12385 364 364 0 16486 0
[pid=8919] vsize: 67400
Current children cumulated CPU time (s) 707.55
Current children cumulated vsize (Kb) 67400

[startup+730.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 26346 0 0 0 71043 696 0 0 25 0 1 0 21694575 69017600 12387 4294967295 134512640 135987407 3221224560 3221223200 134812268 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16850 12387 364 364 0 16486 0
[pid=8919] vsize: 67400
Current children cumulated CPU time (s) 717.39
Current children cumulated vsize (Kb) 67400

[startup+740.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 26523 0 0 0 72030 700 0 0 25 0 1 0 21694575 69017600 12391 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16850 12391 364 364 0 16486 0
[pid=8919] vsize: 67400
Current children cumulated CPU time (s) 727.3
Current children cumulated vsize (Kb) 67400

[startup+750.039 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 26699 0 0 0 73004 708 0 0 25 0 1 0 21694575 69017600 12394 4294967295 134512640 135987407 3221224560 3221222976 134788496 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 16850 12394 364 364 0 16486 0
[pid=8919] vsize: 67400
Current children cumulated CPU time (s) 737.12
Current children cumulated vsize (Kb) 67400

[startup+760.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 26705 0 0 0 73975 717 0 0 25 0 1 0 21694575 69017600 12400 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16850 12400 364 364 0 16486 0
[pid=8919] vsize: 67400
Current children cumulated CPU time (s) 746.92
Current children cumulated vsize (Kb) 67400

[startup+770.04 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 26930 0 0 0 74953 724 0 0 25 0 1 0 21694575 69287936 12452 4294967295 134512640 135987407 3221224560 3221223232 134824816 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16916 12452 364 364 0 16552 0
[pid=8919] vsize: 67664
Current children cumulated CPU time (s) 756.77
Current children cumulated vsize (Kb) 67664

[startup+780.04 s]
Raw data (loadavg): 0.99 0.98 0.98 1/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) T 8918 8919 4060 0 -1 0 27125 0 0 0 75931 732 0 0 25 0 1 0 21694575 69423104 12474 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16949 12474 364 364 0 16585 0
[pid=8919] vsize: 67796
Current children cumulated CPU time (s) 766.63
Current children cumulated vsize (Kb) 67796

[startup+790.041 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 27128 0 0 0 76902 741 0 0 25 0 1 0 21694575 69423104 12477 4294967295 134512640 135987407 3221224560 3221223104 134811972 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 16949 12477 364 364 0 16585 0
[pid=8919] vsize: 67796
Current children cumulated CPU time (s) 776.43
Current children cumulated vsize (Kb) 67796

[startup+800.041 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 27305 0 0 0 77875 750 0 0 25 0 1 0 21694575 69423104 12481 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16949 12481 364 364 0 16585 0
[pid=8919] vsize: 67796
Current children cumulated CPU time (s) 786.25
Current children cumulated vsize (Kb) 67796

[startup+810.042 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 27482 0 0 0 78844 758 0 0 25 0 1 0 21694575 69423104 12485 4294967295 134512640 135987407 3221224560 3221223264 134790000 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16949 12485 364 364 0 16585 0
[pid=8919] vsize: 67796
Current children cumulated CPU time (s) 796.02
Current children cumulated vsize (Kb) 67796

[startup+820.043 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 27486 0 0 0 79811 768 0 0 25 0 1 0 21694575 69423104 12489 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 16949 12489 364 364 0 16585 0
[pid=8919] vsize: 67796
Current children cumulated CPU time (s) 805.79
Current children cumulated vsize (Kb) 67796

[startup+830.043 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 27695 0 0 0 80781 778 0 0 25 0 1 0 21694575 69566464 12525 4294967295 134512640 135987407 3221224560 3221223280 134812787 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 16984 12525 364 364 0 16620 0
[pid=8919] vsize: 67936
Current children cumulated CPU time (s) 815.59
Current children cumulated vsize (Kb) 67936

[startup+840.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 27697 0 0 0 81746 789 0 0 25 0 1 0 21694575 69566464 12527 4294967295 134512640 135987407 3221224560 3221223104 134811950 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 16984 12527 364 364 0 16620 0
[pid=8919] vsize: 67936
Current children cumulated CPU time (s) 825.35
Current children cumulated vsize (Kb) 67936

[startup+850.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 27889 0 0 0 82724 796 0 0 25 0 1 0 21694575 69701632 12546 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 17017 12546 364 364 0 16653 0
[pid=8919] vsize: 68068
Current children cumulated CPU time (s) 835.2
Current children cumulated vsize (Kb) 68068

[startup+860.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 27934 0 0 0 83694 805 0 0 25 0 1 0 21694575 69971968 12591 4294967295 134512640 135987407 3221224560 3221223104 134811827 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17083 12591 364 364 0 16719 0
[pid=8919] vsize: 68332
Current children cumulated CPU time (s) 844.99
Current children cumulated vsize (Kb) 68332

[startup+870.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 28152 0 0 0 84661 816 0 0 25 0 1 0 21694575 70168576 12636 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17131 12636 364 364 0 16767 0
[pid=8919] vsize: 68524
Current children cumulated CPU time (s) 854.77
Current children cumulated vsize (Kb) 68524

[startup+880.044 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 28327 0 0 0 85626 827 0 0 25 0 1 0 21694575 70168576 12638 4294967295 134512640 135987407 3221224560 3221223232 134876845 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17131 12638 364 364 0 16767 0
[pid=8919] vsize: 68524
Current children cumulated CPU time (s) 864.53
Current children cumulated vsize (Kb) 68524

[startup+890.045 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 28332 0 0 0 86595 839 0 0 25 0 1 0 21694575 70168576 12643 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17131 12643 364 364 0 16767 0
[pid=8919] vsize: 68524
Current children cumulated CPU time (s) 874.34
Current children cumulated vsize (Kb) 68524

[startup+900.046 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 28509 0 0 0 87567 849 0 0 25 0 1 0 21694575 70168576 12647 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17131 12647 364 364 0 16767 0
[pid=8919] vsize: 68524
Current children cumulated CPU time (s) 884.16
Current children cumulated vsize (Kb) 68524

[startup+910.047 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 28549 0 0 0 88534 860 0 0 25 0 1 0 21694575 70438912 12687 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17197 12687 364 364 0 16833 0
[pid=8919] vsize: 68788
Current children cumulated CPU time (s) 893.94
Current children cumulated vsize (Kb) 68788

[startup+920.048 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 28725 0 0 0 89508 869 0 0 25 0 1 0 21694575 70438912 12690 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17197 12690 364 364 0 16833 0
[pid=8919] vsize: 68788
Current children cumulated CPU time (s) 903.77
Current children cumulated vsize (Kb) 68788

[startup+930.047 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 28727 0 0 0 90480 878 0 0 25 0 1 0 21694575 70438912 12692 4294967295 134512640 135987407 3221224560 3221222976 134788454 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 17197 12692 364 364 0 16833 0
[pid=8919] vsize: 68788
Current children cumulated CPU time (s) 913.58
Current children cumulated vsize (Kb) 68788

[startup+940.048 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 28905 0 0 0 91459 884 0 0 25 0 1 0 21694575 70438912 12697 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17197 12697 364 364 0 16833 0
[pid=8919] vsize: 68788
Current children cumulated CPU time (s) 923.43
Current children cumulated vsize (Kb) 68788

[startup+950.048 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 29080 0 0 0 92436 892 0 0 25 0 1 0 21694575 70438912 12699 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17197 12699 364 364 0 16833 0
[pid=8919] vsize: 68788
Current children cumulated CPU time (s) 933.28
Current children cumulated vsize (Kb) 68788

[startup+960.049 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 29256 0 0 0 93411 901 0 0 25 0 1 0 21694575 70438912 12702 4294967295 134512640 135987407 3221224560 3221223232 134876948 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17197 12702 364 364 0 16833 0
[pid=8919] vsize: 68788
Current children cumulated CPU time (s) 943.12
Current children cumulated vsize (Kb) 68788

[startup+970.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 29285 0 0 0 94392 908 0 0 25 0 1 0 21694575 70574080 12731 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 17230 12731 364 364 0 16866 0
[pid=8919] vsize: 68920
Current children cumulated CPU time (s) 953
Current children cumulated vsize (Kb) 68920

[startup+980.049 s]
Raw data (loadavg): 0.99 0.98 0.98 1/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) T 8918 8919 4060 0 -1 0 29461 0 0 0 95359 918 0 0 25 0 1 0 21694575 70574080 12734 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0
Raw data (/proc/8919/statm): 17230 12734 364 364 0 16866 0
[pid=8919] vsize: 68920
Current children cumulated CPU time (s) 962.77
Current children cumulated vsize (Kb) 68920

[startup+990.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 29464 0 0 0 96326 930 0 0 25 0 1 0 21694575 70574080 12737 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17230 12737 364 364 0 16866 0
[pid=8919] vsize: 68920
Current children cumulated CPU time (s) 972.56
Current children cumulated vsize (Kb) 68920

[startup+1000.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 29648 0 0 0 97298 939 0 0 25 0 1 0 21694575 70574080 12748 4294967295 134512640 135987407 3221224560 3221223200 134812365 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17230 12748 364 364 0 16866 0
[pid=8919] vsize: 68920
Current children cumulated CPU time (s) 982.37
Current children cumulated vsize (Kb) 68920

[startup+1010.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 29651 0 0 0 98270 948 0 0 25 0 1 0 21694575 70574080 12751 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17230 12751 364 364 0 16866 0
[pid=8919] vsize: 68920
Current children cumulated CPU time (s) 992.18
Current children cumulated vsize (Kb) 68920

[startup+1020.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 30011 0 0 0 99257 954 0 0 25 0 1 0 21694575 70709248 12765 4294967295 134512640 135987407 3221224560 3221222896 134931219 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17263 12765 364 364 0 16899 0
[pid=8919] vsize: 69052
Current children cumulated CPU time (s) 1002.11
Current children cumulated vsize (Kb) 69052

[startup+1030.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 30195 0 0 0 100245 959 0 0 25 0 1 0 21694575 70709248 12776 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17263 12776 364 364 0 16899 0
[pid=8919] vsize: 69052
Current children cumulated CPU time (s) 1012.04
Current children cumulated vsize (Kb) 69052

[startup+1040.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 30226 0 0 0 101220 968 0 0 25 0 1 0 21694575 70844416 12807 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 17296 12807 364 364 0 16932 0
[pid=8919] vsize: 69184
Current children cumulated CPU time (s) 1021.88
Current children cumulated vsize (Kb) 69184

[startup+1050.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 30402 0 0 0 102195 977 0 0 25 0 1 0 21694575 70844416 12810 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17296 12810 364 364 0 16932 0
[pid=8919] vsize: 69184
Current children cumulated CPU time (s) 1031.72
Current children cumulated vsize (Kb) 69184

[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 30624 0 0 0 103165 987 0 0 25 0 1 0 21694575 70979584 12859 4294967295 134512640 135987407 3221224560 3221223104 134811975 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17329 12859 364 364 0 16965 0
[pid=8919] vsize: 69316
Current children cumulated CPU time (s) 1041.52
Current children cumulated vsize (Kb) 69316

[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 30626 0 0 0 104129 1000 0 0 25 0 1 0 21694575 70979584 12861 4294967295 134512640 135987407 3221224560 3221223104 134812135 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17329 12861 364 364 0 16965 0
[pid=8919] vsize: 69316
Current children cumulated CPU time (s) 1051.29
Current children cumulated vsize (Kb) 69316

[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 30804 0 0 0 105102 1009 0 0 25 0 1 0 21694575 70979584 12866 4294967295 134512640 135987407 3221224560 3221223104 134811964 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17329 12866 364 364 0 16965 0
[pid=8919] vsize: 69316
Current children cumulated CPU time (s) 1061.11
Current children cumulated vsize (Kb) 69316

[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 30819 0 0 0 106075 1018 0 0 25 0 1 0 21694575 70979584 12881 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17329 12881 364 364 0 16965 0
[pid=8919] vsize: 69316
Current children cumulated CPU time (s) 1070.93
Current children cumulated vsize (Kb) 69316

[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 31063 0 0 0 107055 1027 0 0 25 0 1 0 21694575 70979584 12952 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17329 12952 364 364 0 16965 0
[pid=8919] vsize: 69316
Current children cumulated CPU time (s) 1080.82
Current children cumulated vsize (Kb) 69316

[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 31257 0 0 0 108033 1035 0 0 25 0 1 0 21694575 70979584 12973 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17329 12973 364 364 0 16965 0
[pid=8919] vsize: 69316
Current children cumulated CPU time (s) 1090.68
Current children cumulated vsize (Kb) 69316

[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 31277 0 0 0 109004 1044 0 0 25 0 1 0 21694575 71114752 12993 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17362 12993 364 364 0 16998 0
[pid=8919] vsize: 69448
Current children cumulated CPU time (s) 1100.48
Current children cumulated vsize (Kb) 69448

[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 31453 0 0 0 109985 1051 0 0 25 0 1 0 21694575 71114752 12996 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17362 12996 364 364 0 16998 0
[pid=8919] vsize: 69448
Current children cumulated CPU time (s) 1110.36
Current children cumulated vsize (Kb) 69448

[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 31632 0 0 0 110977 1055 0 0 25 0 1 0 21694575 71249920 13002 4294967295 134512640 135987407 3221224560 3221223104 134811805 0 0 5 16384 0 0 0 17 0 0 0
Raw data (/proc/8919/statm): 17395 13002 364 364 0 17031 0
[pid=8919] vsize: 69580
Current children cumulated CPU time (s) 1120.32
Current children cumulated vsize (Kb) 69580

[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 31832 0 0 0 111947 1065 0 0 25 0 1 0 21694575 71249920 13029 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17395 13029 364 364 0 17031 0
[pid=8919] vsize: 69580
Current children cumulated CPU time (s) 1130.12
Current children cumulated vsize (Kb) 69580

[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 31859 0 0 0 112916 1076 0 0 25 0 1 0 21694575 71249920 13056 4294967295 134512640 135987407 3221224560 3221223104 134812053 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17395 13056 364 364 0 17031 0
[pid=8919] vsize: 69580
Current children cumulated CPU time (s) 1139.92
Current children cumulated vsize (Kb) 69580

[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 32082 0 0 0 113896 1083 0 0 25 0 1 0 21694575 71249920 13106 4294967295 134512640 135987407 3221224560 3221223104 134811770 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17395 13106 364 364 0 17031 0
[pid=8919] vsize: 69580
Current children cumulated CPU time (s) 1149.79
Current children cumulated vsize (Kb) 69580

[startup+1180.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 32351 0 0 0 114880 1089 0 0 25 0 1 0 21694575 71249920 13202 4294967295 134512640 135987407 3221224560 3221223104 134811729 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17395 13202 364 364 0 17031 0
[pid=8919] vsize: 69580
Current children cumulated CPU time (s) 1159.69
Current children cumulated vsize (Kb) 69580

[startup+1190.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 32360 0 0 0 115867 1093 0 0 25 0 1 0 21694575 71249920 13211 4294967295 134512640 135987407 3221224560 3221223200 134812346 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17395 13211 364 364 0 17031 0
[pid=8919] vsize: 69580
Current children cumulated CPU time (s) 1169.6
Current children cumulated vsize (Kb) 69580

[startup+1200.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 32743 0 0 0 116859 1097 0 0 25 0 1 0 21694575 71385088 13248 4294967295 134512640 135987407 3221224560 3221223104 134811839 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17428 13248 364 364 0 17064 0
[pid=8919] vsize: 69712
Current children cumulated CPU time (s) 1179.56
Current children cumulated vsize (Kb) 69712

[startup+1210.06 s]
Raw data (loadavg): 0.99 0.98 0.98 1/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) T 8918 8919 4060 0 -1 0 32830 0 0 0 117841 1102 0 0 25 0 1 0 21694575 71385088 13335 4294967295 134512640 135987407 3221224560 3221223244 135541329 0 0 5 16384 3222434794 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17428 13335 364 364 0 17064 0
[pid=8919] vsize: 69712
Current children cumulated CPU time (s) 1189.43
Current children cumulated vsize (Kb) 69712

[startup+1220.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 33059 0 0 0 118821 1110 0 0 25 0 1 0 21694575 71385088 13391 4294967295 134512640 135987407 3221224560 3221223104 134811832 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17428 13391 364 364 0 17064 0
[pid=8919] vsize: 69712
Current children cumulated CPU time (s) 1199.31
Current children cumulated vsize (Kb) 69712

[startup+1230.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 33278 0 0 0 119794 1120 0 0 25 0 1 0 21694575 71520256 13437 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17461 13437 364 364 0 17097 0
[pid=8919] vsize: 69844
Current children cumulated CPU time (s) 1209.14
Current children cumulated vsize (Kb) 69844



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1230.06 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 8919
Raw data (/proc/8919/stat): 8919 (pb2sat) R 8918 8919 4060 0 -1 0 33278 0 0 0 119794 1120 0 0 25 0 1 0 21694575 71520256 13437 4294967295 134512640 135987407 3221224560 3221223104 134811775 0 0 5 16384 0 0 0 17 1 0 0
Raw data (/proc/8919/statm): 17461 13437 364 364 0 17097 0
[pid=8919] vsize: 69844
Current children cumulated CPU time (s) 1209.14
Current children cumulated vsize (Kb) 69844

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

Child status: 10
Real time (s): 1230.25
CPU time (s): 1209.33
CPU user time (s): 1198.1
CPU system time (s): 11.2313
CPU usage (%): 98.299
Max. virtual memory (cumulated for all children) (Kb): 69844

Verifier Data

Verifier:	OK	-19