PB'05 competition: run trace

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:
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.
SOLVER DATA
This is the output of the solver (stdout and stderr).
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.
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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran10x10a.opb
MD5SUM	133d42fd76e8bbd92509939943f41498
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	398336
Optimality of the best value was proved	NO
Number of terms in the objective function	2100
Biggest coefficient in the objective function	4718592
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	539671039
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	539671039
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	913.784
Number of variables	2100
Total number of constraints	120
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	120
Minimum length of a constraint	21
Maximum length of a constraint	200
Trace number 17696

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-04-21 11:28:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19194 boxname=wulflinc9 idbench=1477 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  133d42fd76e8bbd92509939943f41498  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-ran10x10a.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-ran10x10a.opb
IDLAUNCH: 19194
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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.242
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        438132 kB
Buffers:         32008 kB
Cached:         541504 kB
SwapCached:          0 kB
Active:          43328 kB
Inactive:       532992 kB
HighTotal:      131008 kB
HighFree:        10332 kB
LowTotal:       903652 kB
LowFree:        427800 kB
SwapTotal:     2097136 kB
SwapFree:      2097048 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           6824 kB
Slab:            14596 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-04-21 11:44:02 (client local time) WITH STATUS 30 IN 913.784 SECONDS
stats: 19194 0 913.784 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-13-7-ran10x10a.opb ......
c The optimum solution is:485724
s OPTIMUM FOUND
v -X0_bit0 -X0_bit1 -X0_bit10 -X0_bit11 -X0_bit12 -X0_bit2 -X0_bit3 -X0_bit4 -X0_bit5 -X0_bit6 -X0_bit7 -X0_bit8 -X0_bit9 -X0_bit_1 -X0_bit_2 -X0_bit_3 -X0_bit_4 -X0_bit_5 -X0_bit_6 -X0_bit_7 -X10_bit0 -X10_bit1 -X10_bit10 -X10_bit11 -X10_bit12 -X10_bit2 -X10_bit3 -X10_bit4 -X10_bit5 -X10_bit6 -X10_bit7 -X10_bit8 -X10_bit9 -X10_bit_1 -X10_bit_2 -X10_bit_3 -X10_bit_4 -X10_bit_5 -X10_bit_6 -X10_bit_7 -X11_bit0 -X11_bit1 -X11_bit10 -X11_bit11 -X11_bit12 -X11_bit2 -X11_bit3 -X11_bit4 -X11_bit5 -X11_bit6 -X11_bit7 -X11_bit8 -X11_bit9 -X11_bit_1 -X11_bit_2 -X11_bit_3 -X11_bit_4 -X11_bit_5 -X11_bit_6 -X11_bit_7 -X12_bit0 -X12_bit1 -X12_bit10 -X12_bit11 -X12_bit12 -X12_bit2 -X12_bit3 -X12_bit4 -X12_bit5 -X12_bit6 -X12_bit7 -X12_bit8 -X12_bit9 -X12_bit_1 -X12_bit_2 -X12_bit_3 -X12_bit_4 -X12_bit_5 -X12_bit_6 -X12_bit_7 -X13_bit0 -X13_bit1 -X13_bit10 -X13_bit11 -X13_bit12 -X13_bit2 -X13_bit3 -X13_bit4 -X13_bit5 -X13_bit6 -X13_bit7 -X13_bit8 -X13_bit9 -X13_bit_1 -X13_bit_2 -X13_bit_3 -X13_bit_4 -X13_bit_5 -X13_bit_6 -X13_bit_7 -X14_bit0 -X14_bit1 -X14_bit10 -X14_bit11 -X14_bit12 -X14_bit2 -X14_bit3 -X14_bit4 -X14_bit5 -X14_bit6 -X14_bit7 -X14_bit8 -X14_bit9 -X14_bit_1 -X14_bit_2 -X14_bit_3 -X14_bit_4 -X14_bit_5 -X14_bit_6 -X14_bit_7 -X15_bit0 X15_bit1 -X15_bit10 -X15_bit11 -X15_bit12 -X15_bit2 -X15_bit3 -X15_bit4 -X15_bit5 -X15_bit6 -X15_bit7 -X15_bit8 -X15_bit9 -X15_bit_1 -X15_bit_2 -X15_bit_3 -X15_bit_4 -X15_bit_5 -X15_bit_6 -X15_bit_7 -X16_bit0 -X16_bit1 -X16_bit10 -X16_bit11 -X16_bit12 -X16_bit2 -X16_bit3 -X16_bit4 -X16_bit5 -X16_bit6 -X16_bit7 -X16_bit8 -X16_bit9 -X16_bit_1 -X16_bit_2 -X16_bit_3 -X16_bit_4 -X16_bit_5 -X16_bit_6 -X16_bit_7 -X17_bit0 X17_bit1 -X17_bit10 -X17_bit11 -X17_bit12 -X17_bit2 -X17_bit3 -X17_bit4 -X17_bit5 -X17_bit6 -X17_bit7 -X17_bit8 -X17_bit9 -X17_bit_1 -X17_bit_2 -X17_bit_3 -X17_bit_4 -X17_bit_5 -X17_bit_6 -X17_bit_7 -X18_bit0 -X18_bit1 -X18_bit10 -X18_bit11 -X18_bit12 -X18_bit2 -X18_bit3 -X18_bit4 -X18_bit5 -X18_bit6 -X18_bit7 -X18_bit8 -X18_bit9 -X18_bit_1 -X18_bit_2 -X18_bit_3 -X18_bit_4 -X18_bit_5 -X18_bit_6 -X18_bit_7 -X19_bit0 -X19_bit1 -X19_bit10 -X19_bit11 -X19_bit12 -X19_bit2 -X19_bit3 -X19_bit4 -X19_bit5 -X19_bit6 -X19_bit7 -X19_bit8 -X19_bit9 -X19_bit_1 -X19_bit_2 -X19_bit_3 -X19_bit_4 -X19_bit_5 -X19_bit_6 -X19_bit_7 -X1_bit0 -X1_bit1 -X1_bit10 -X1_bit11 -X1_bit12 -X1_bit2 -X1_bit3 -X1_bit4 -X1_bit5 -X1_bit6 -X1_bit7 -X1_bit8 -X1_bit9 -X1_bit_1 -X1_bit_2 -X1_bit_3 -X1_bit_4 -X1_bit_5 -X1_bit_6 -X1_bit_7 -X20_bit0 -X20_bit1 -X20_bit10 -X20_bit11 -X20_bit12 -X20_bit2 -X20_bit3 -X20_bit4 -X20_bit5 -X20_bit6 -X20_bit7 -X20_bit8 -X20_bit9 -X20_bit_1 -X20_bit_2 -X20_bit_3 -X20_bit_4 -X20_bit_5 -X20_bit_6 -X20_bit_7 -X21_bit0 -X21_bit1 -X21_bit10 -X21_bit11 -X21_bit12 -X21_bit2 -X21_bit3 -X21_bit4 -X21_bit5 -X21_bit6 -X21_bit7 -X21_bit8 -X21_bit9 -X21_bit_1 -X21_bit_2 -X21_bit_3 -X21_bit_4 -X21_bit_5 -X21_bit_6 -X21_bit_7 -X22_bit0 -X22_bit1 -X22_bit10 -X22_bit11 -X22_bit12 -X22_bit2 -X22_bit3 -X22_bit4 -X22_bit5 -X22_bit6 -X22_bit7 -X22_bit8 -X22_bit9 -X22_bit_1 -X22_bit_2 -X22_bit_3 -X22_bit_4 -X22_bit_5 -X22_bit_6 -X22_bit_7 -X23_bit0 -X23_bit1 -X23_bit10 -X23_bit11 -X23_bit12 -X23_bit2 -X23_bit3 -X23_bit4 -X23_bit5 -X23_bit6 -X23_bit7 -X23_bit8 -X23_bit9 -X23_bit_1 -X23_bit_2 -X23_bit_3 -X23_bit_4 -X23_bit_5 -X23_bit_6 -X23_bit_7 -X24_bit0 X24_bit1 -X24_bit10 -X24_bit11 -X24_bit12 -X24_bit2 -X24_bit3 -X24_bit4 -X24_bit5 -X24_bit6 -X24_bit7 -X24_bit8 -X24_bit9 -X24_bit_1 -X24_bit_2 -X24_bit_3 -X24_bit_4 -X24_bit_5 -X24_bit_6 -X24_bit_7 -X25_bit0 -X25_bit1 -X25_bit10 -X25_bit11 -X25_bit12 -X25_bit2 -X25_bit3 -X25_bit4 -X25_bit5 -X25_bit6 -X25_bit7 -X25_bit8 -X25_bit9 -X25_bit_1 -X25_bit_2 -X25_bit_3 -X25_bit_4 -X25_bit_5 -X25_bit_6 -X25_bit_7 -X26_bit0 -X26_bit1 -X26_bit10 -X26_bit11 -X26_bit12 -X26_bit2 -X26_bit3 -X26_bit4 -X26_bit5 -X26_bit6 -X26_bit7 -X26_bit8 -X26_bit9 -X26_bit_1 -X26_bit_2 -X26_bit_3 -X26_bit_4 -X26_bit_5 -X26_bit_6 -X26_bit_7 -X27_bit0 -X27_bit1 -X27_bit10 -X27_bit11 -X27_bit12 -X27_bit2 -X27_bit3 -X27_bit4 -X27_bit5 -X27_bit6 -X27_bit7 -X27_bit8 -X27_bit9 -X27_bit_1 -X27_bit_2 -X27_bit_3 -X27_bit_4 -X27_bit_5 -X27_bit_6 -X27_bit_7 X28_bit0 -X28_bit1 -X28_bit10 -X28_bit11 -X28_bit12 X28_bit2 -X28_bit3 -X28_bit4 -X28_bit5 -X28_bit6 -X28_bit7 -X28_bit8 -X28_bit9 -X28_bit_1 -X28_bit_2 -X28_bit_3 -X28_bit_4 -X28_bit_5 -X28_bit_6 -X28_bit_7 -X29_bit0 -X29_bit1 -X29_bit10 -X29_bit11 -X29_bit12 -X29_bit2 -X29_bit3 -X29_bit4 -X29_bit5 -X29_bit6 -X29_bit7 -X29_bit8 -X29_bit9 -X29_bit_1 -X29_bit_2 -X29_bit_3 -X29_bit_4 -X29_bit_5 -X29_bit_6 -X29_bit_7 -X2_bit0 -X2_bit1 -X2_bit10 -X2_bit11 -X2_bit12 -X2_bit2 -X2_bit3 -X2_bit4 -X2_bit5 -X2_bit6 -X2_bit7 -X2_bit8 -X2_bit9 -X2_bit_1 -X2_bit_2 -X2_bit_3 -X2_bit_4 -X2_bit_5 -X2_bit_6 -X2_bit_7 -X30_bit0 -X30_bit1 -X30_bit10 -X30_bit11 -X30_bit12 -X30_bit2 -X30_bit3 -X30_bit4 -X30_bit5 -X30_bit6 -X30_bit7 -X30_bit8 -X30_bit9 -X30_bit_1 -X30_bit_2 -X30_bit_3 -X30_bit_4 -X30_bit_5 -X30_bit_6 -X30_bit_7 -X31_bit0 -X31_bit1 -X31_bit10 -X31_bit11 -X31_bit12 -X31_bit2 -X31_bit3 -X31_bit4 -X31_bit5 -X31_bit6 -X31_bit7 -X31_bit8 -X31_bit9 -X31_bit_1 -X31_bit_2 -X31_bit_3 -X31_bit_4 -X31_bit_5 -X31_bit_6 -X31_bit_7 -X32_bit0 -X32_bit1 -X32_bit10 -X32_bit11 -X32_bit12 -X32_bit2 -X32_bit3 -X32_bit4 -X32_bit5 -X32_bit6 -X32_bit7 -X32_bit8 -X32_bit9 -X32_bit_1 -X32_bit_2 -X32_bit_3 -X32_bit_4 -X32_bit_5 -X32_bit_6 -X32_bit_7 -X33_bit0 -X33_bit1 -X33_bit10 -X33_bit11 -X33_bit12 -X33_bit2 -X33_bit3 -X33_bit4 -X33_bit5 -X33_bit6 -X33_bit7 -X33_bit8 -X33_bit9 -X33_bit_1 -X33_bit_2 -X33_bit_3 -X33_bit_4 -X33_bit_5 -X33_bit_6 -X33_bit_7 -X34_bit0 -X34_bit1 -X34_bit10 -X34_bit11 -X34_bit12 -X34_bit2 -X34_bit3 -X34_bit4 -X34_bit5 -X34_bit6 -X34_bit7 -X34_bit8 -X34_bit9 -X34_bit_1 -X34_bit_2 -X34_bit_3 -X34_bit_4 -X34_bit_5 -X34_bit_6 -X34_bit_7 -X35_bit0 -X35_bit1 -X35_bit10 -X35_bit11 -X35_bit12 -X35_bit2 -X35_bit3 -X35_bit4 -X35_bit5 -X35_bit6 -X35_bit7 -X35_bit8 -X35_bit9 -X35_bit_1 -X35_bit_2 -X35_bit_3 -X35_bit_4 -X35_bit_5 -X35_bit_6 -X35_bit_7 -X36_bit0 -X36_bit1 -X36_bit10 -X36_bit11 -X36_bit12 -X36_bit2 -X36_bit3 -X36_bit4 -X36_bit5 -X36_bit6 -X36_bit7 -X36_bit8 -X36_bit9 X36_bit_1 -X36_bit_2 -X36_bit_3 -X36_bit_4 -X36_bit_5 -X36_bit_6 -X36_bit_7 -X37_bit0 -X37_bit1 -X37_bit10 -X37_bit11 -X37_bit12 -X37_bit2 -X37_bit3 -X37_bit4 -X37_bit5 -X37_bit6 -X37_bit7 -X37_bit8 -X37_bit9 -X37_bit_1 -X37_bit_2 -X37_bit_3 -X37_bit_4 -X37_bit_5 -X37_bit_6 -X37_bit_7 -X38_bit0 -X38_bit1 -X38_bit10 -X38_bit11 -X38_bit12 -X38_bit2 -X38_bit3 -X38_bit4 -X38_bit5 -X38_bit6 -X38_bit7 -X38_bit8 -X38_bit9 -X38_bit_1 -X38_bit_2 -X38_bit_3 -X38_bit_4 -X38_bit_5 -X38_bit_6 -X38_bit_7 -X39_bit0 -X39_bit1 -X39_bit10 -X39_bit11 -X39_bit12 -X39_bit2 X39_bit3 -X39_bit4 -X39_bit5 -X39_bit6 -X39_bit7 -X39_bit8 -X39_bit9 X39_bit_1 -X39_bit_2 -X39_bit_3 -X39_bit_4 -X39_bit_5 -X39_bit_6 -X39_bit_7 -X3_bit0 -X3_bit1 -X3_bit10 -X3_bit11 -X3_bit12 -X3_bit2 -X3_bit3 -X3_bit4 -X3_bit5 -X3_bit6 -X3_bit7 -X3_bit8 -X3_bit9 -X3_bit_1 -X3_bit_2 -X3_bit_3 -X3_bit_4 -X3_bit_5 -X3_bit_6 -X3_bit_7 X40_bit0 X40_bit1 -X40_bit10 -X40_bit11 -X40_bit12 -X40_bit2 -X40_bit3 -X40_bit4 -X40_bit5 -X40_bit6 -X40_bit7 -X40_bit8 -X40_bit9 -X40_bit_1 -X40_bit_2 -X40_bit_3 X40_bit_4 X40_bit_5 X40_bit_6 X40_bit_7 -X41_bit0 -X41_bit1 -X41_bit10 -X41_bit11 -X41_bit12 -X41_bit2 -X41_bit3 -X41_bit4 -X41_bit5 -X41_bit6 -X41_bit7 -X41_bit8 -X41_bit9 -X41_bit_1 -X41_bit_2 -X41_bit_3 -X41_bit_4 -X41_bit_5 -X41_bit_6 -X41_bit_7 -X42_bit0 -X42_bit1 -X42_bit10 -X42_bit11 -X42_bit12 -X42_bit2 -X42_bit3 -X42_bit4 -X42_bit5 -X42_bit6 -X42_bit7 -X42_bit8 -X42_bit9 -X42_bit_1 -X42_bit_2 -X42_bit_3 -X42_bit_4 -X42_bit_5 -X42_bit_6 -X42_bit_7 X43_bit0 X43_bit1 -X43_bit10 -X43_bit11 -X43_bit12 X43_bit2 -X43_bit3 -X43_bit4 -X43_bit5 -X43_bit6 -X43_bit7 -X43_bit8 -X43_bit9 X43_bit_1 X43_bit_2 X43_bit_3 -X43_bit_4 -X43_bit_5 -X43_bit_6 X43_bit_7 -X44_bit0 -X44_bit1 -X44_bit10 -X44_bit11 -X44_bit12 -X44_bit2 -X44_bit3 -X44_bit4 -X44_bit5 -X44_bit6 -X44_bit7 -X44_bit8 -X44_bit9 -X44_bit_1 -X44_bit_2 -X44_bit_3 -X44_bit_4 -X44_bit_5 -X44_bit_6 -X44_bit_7 -X45_bit0 -X45_bit1 -X45_bit10 -X45_bit11 -X45_bit12 -X45_bit2 -X45_bit3 -X45_bit4 -X45_bit5 -X45_bit6 -X45_bit7 -X45_bit8 -X45_bit9 -X45_bit_1 -X45_bit_2 -X45_bit_3 -X45_bit_4 -X45_bit_5 -X45_bit_6 -X45_bit_7 -X46_bit0 -X46_bit1 -X46_bit10 -X46_bit11 -X46_bit12 -X46_bit2 -X46_bit3 -X46_bit4 -X46_bit5 -X46_bit6 -X46_bit7 -X46_bit8 -X46_bit9 -X46_bit_1 -X46_bit_2 -X46_bit_3 -X46_bit_4 -X46_bit_5 -X46_bit_6 -X46_bit_7 X47_bit0 -X47_bit1 -X47_bit10 -X47_bit11 -X47_bit12 -X47_bit2 -X47_bit3 -X47_bit4 -X47_bit5 -X47_bit6 -X47_bit7 -X47_bit8 -X47_bit9 -X47_bit_1 -X47_bit_2 -X47_bit_3 -X47_bit_4 -X47_bit_5 -X47_bit_6 -X47_bit_7 -X48_bit0 -X48_bit1 -X48_bit10 -X48_bit11 -X48_bit12 -X48_bit2 -X48_bit3 -X48_bit4 -X48_bit5 -X48_bit6 -X48_bit7 -X48_bit8 -X48_bit9 -X48_bit_1 -X48_bit_2 -X48_bit_3 -X48_bit_4 -X48_bit_5 -X48_bit_6 -X48_bit_7 -X49_bit0 -X49_bit1 -X49_bit10 -X49_bit11 -X49_bit12 -X49_bit2 -X49_bit3 -X49_bit4 -X49_bit5 -X49_bit6 -X49_bit7 -X49_bit8 -X49_bit9 -X49_bit_1 -X49_bit_2 -X49_bit_3 -X49_bit_4 -X49_bit_5 -X49_bit_6 -X49_bit_7 X4_bit0 X4_bit1 -X4_bit10 -X4_bit11 -X4_bit12 -X4_bit2 -X4_bit3 -X4_bit4 -X4_bit5 -X4_bit6 -X4_bit7 -X4_bit8 -X4_bit9 -X4_bit_1 -X4_bit_2 -X4_bit_3 -X4_bit_4 -X4_bit_5 -X4_bit_6 -X4_bit_7 -X50_bit0 -X50_bit1 -X50_bit10 -X50_bit11 -X50_bit12 -X50_bit2 -X50_bit3 -X50_bit4 -X50_bit5 -X50_bit6 -X50_bit7 -X50_bit8 -X50_bit9 -X50_bit_1 -X50_bit_2 -X50_bit_3 -X50_bit_4 -X50_bit_5 -X50_bit_6 -X50_bit_7 -X51_bit0 -X51_bit1 -X51_bit10 -X51_bit11 -X51_bit12 -X51_bit2 -X51_bit3 -X51_bit4 -X51_bit5 -X51_bit6 -X51_bit7 -X51_bit8 -X51_bit9 -X51_bit_1 -X51_bit_2 -X51_bit_3 -X51_bit_4 -X51_bit_5 -X51_bit_6 -X51_bit_7 -X52_bit0 X52_bit1 -X52_bit10 -X52_bit11 -X52_bit12 -X52_bit2 X52_bit3 -X52_bit4 -X52_bit5 -X52_bit6 -X52_bit7 -X52_bit8 -X52_bit9 X52_bit_1 X52_bit_2 X52_bit_3 X52_bit_4 X52_bit_5 X52_bit_6 X52_bit_7 -X53_bit0 -X53_bit1 -X53_bit10 -X53_bit11 -X53_bit12 -X53_bit2 -X53_bit3 -X53_bit4 -X53_bit5 -X53_bit6 -X53_bit7 -X53_bit8 -X53_bit9 -X53_bit_1 -X53_bit_2 -X53_bit_3 -X53_bit_4 -X53_bit_5 -X53_bit_6 -X53_bit_7 -X54_bit0 -X54_bit1 -X54_bit10 -X54_bit11 -X54_bit12 -X54_bit2 -X54_bit3 -X54_bit4 -X54_bit5 -X54_bit6 -X54_bit7 -X54_bit8 -X54_bit9 -X54_bit_1 -X54_bit_2 -X54_bit_3 -X54_bit_4 -X54_bit_5 -X54_bit_6 -X54_bit_7 -X55_bit0 -X55_bit1 -X55_bit10 -X55_bit11 -X55_bit12 -X55_bit2 -X55_bit3 -X55_bit4 -X55_bit5 -X55_bit6 -X55_bit7 -X55_bit8 -X55_bit9 -X55_bit_1 -X55_bit_2 -X55_bit_3 -X55_bit_4 -X55_bit_5 -X55_bit_6 -X55_bit_7 -X56_bit0 -X56_bit1 -X56_bit10 -X56_bit11 -X56_bit12 -X56_bit2 -X56_bit3 -X56_bit4 -X56_bit5 -X56_bit6 -X56_bit7 -X56_bit8 -X56_bit9 -X56_bit_1 -X56_bit_2 -X56_bit_3 -X56_bit_4 -X56_bit_5 -X56_bit_6 -X56_bit_7 -X57_bit0 -X57_bit1 -X57_bit10 -X57_bit11 -X57_bit12 -X57_bit2 -X57_bit3 -X57_bit4 -X57_bit5 -X57_bit6 -X57_bit7 -X57_bit8 -X57_bit9 -X57_bit_1 -X57_bit_2 -X57_bit_3 -X57_bit_4 -X57_bit_5 -X57_bit_6 -X57_bit_7 -X58_bit0 -X58_bit1 -X58_bit10 -X58_bit11 -X58_bit12 -X58_bit2 -X58_bit3 -X58_bit4 -X58_bit5 -X58_bit6 -X58_bit7 -X58_bit8 -X58_bit9 -X58_bit_1 -X58_bit_2 -X58_bit_3 -X58_bit_4 -X58_bit_5 -X58_bit_6 X58_bit_7 -X59_bit0 -X59_bit1 -X59_bit10 -X59_bit11 -X59_bit12 -X59_bit2 -X59_bit3 -X59_bit4 -X59_bit5 -X59_bit6 -X59_bit7 -X59_bit8 -X59_bit9 -X59_bit_1 -X59_bit_2 -X59_bit_3 -X59_bit_4 -X59_bit_5 -X59_bit_6 -X59_bit_7 -X5_bit0 -X5_bit1 -X5_bit10 -X5_bit11 -X5_bit12 -X5_bit2 -X5_bit3 -X5_bit4 -X5_bit5 -X5_bit6 -X5_bit7 -X5_bit8 -X5_bit9 -X5_bit_1 -X5_bit_2 -X5_bit_3 -X5_bit_4 -X5_bit_5 -X5_bit_6 -X5_bit_7 -X60_bit0 -X60_bit1 -X60_bit10 -X60_bit11 -X60_bit12 -X60_bit2 -X60_bit3 -X60_bit4 -X60_bit5 -X60_bit6 -X60_bit7 -X60_bit8 -X60_bit9 -X60_bit_1 -X60_bit_2 -X60_bit_3 -X60_bit_4 -X60_bit_5 -X60_bit_6 -X60_bit_7 -X61_bit0 -X61_bit1 -X61_bit10 -X61_bit11 -X61_bit12 -X61_bit2 -X61_bit3 -X61_bit4 -X61_bit5 -X61_bit6 -X61_bit7 -X61_bit8 -X61_bit9 -X61_bit_1 -X61_bit_2 -X61_bit_3 -X61_bit_4 -X61_bit_5 -X61_bit_6 -X61_bit_7 X62_bit0 X62_bit1 -X62_bit10 -X62_bit11 -X62_bit12 -X62_bit2 -X62_bit3 -X62_bit4 -X62_bit5 -X62_bit6 -X62_bit7 -X62_bit8 -X62_bit9 X62_bit_1 X62_bit_2 X62_bit_3 -X62_bit_4 -X62_bit_5 -X62_bit_6 -X62_bit_7 -X63_bit0 -X63_bit1 -X63_bit10 -X63_bit11 -X63_bit12 -X63_bit2 -X63_bit3 -X63_bit4 -X63_bit5 -X63_bit6 -X63_bit7 -X63_bit8 -X63_bit9 -X63_bit_1 -X63_bit_2 -X63_bit_3 -X63_bit_4 -X63_bit_5 -X63_bit_6 -X63_bit_7 -X64_bit0 -X64_bit1 -X64_bit10 -X64_bit11 -X64_bit12 -X64_bit2 -X64_bit3 -X64_bit4 -X64_bit5 -X64_bit6 -X64_bit7 -X64_bit8 -X64_bit9 -X64_bit_1 -X64_bit_2 -X64_bit_3 -X64_bit_4 -X64_bit_5 -X64_bit_6 -X64_bit_7 -X65_bit0 -X65_bit1 -X65_bit10 -X65_bit11 -X65_bit12 -X65_bit2 -X65_bit3 -X65_bit4 -X65_bit5 -X65_bit6 -X65_bit7 -X65_bit8 -X65_bit9 -X65_bit_1 -X65_bit_2 -X65_bit_3 -X65_bit_4 -X65_bit_5 -X65_bit_6 -X65_bit_7 -X66_bit0 -X66_bit1 -X66_bit10 -X66_bit11 -X66_bit12 -X66_bit2 -X66_bit3 -X66_bit4 -X66_bit5 -X66_bit6 -X66_bit7 -X66_bit8 -X66_bit9 X66_bit_1 -X66_bit_2 X66_bit_3 -X66_bit_4 -X66_bit_5 -X66_bit_6 -X66_bit_7 -X67_bit0 -X67_bit1 -X67_bit10 -X67_bit11 -X67_bit12 -X67_bit2 -X67_bit3 -X67_bit4 -X67_bit5 -X67_bit6 -X67_bit7 -X67_bit8 -X67_bit9 -X67_bit_1 -X67_bit_2 -X67_bit_3 -X67_bit_4 -X67_bit_5 -X67_bit_6 -X67_bit_7 -X68_bit0 -X68_bit1 -X68_bit10 -X68_bit11 -X68_bit12 -X68_bit2 -X68_bit3 -X68_bit4 -X68_bit5 -X68_bit6 -X68_bit7 -X68_bit8 -X68_bit9 -X68_bit_1 -X68_bit_2 -X68_bit_3 -X68_bit_4 -X68_bit_5 -X68_bit_6 -X68_bit_7 -X69_bit0 -X69_bit1 -X69_bit10 -X69_bit11 -X69_bit12 -X69_bit2 X69_bit3 -X69_bit4 -X69_bit5 -X69_bit6 -X69_bit7 -X69_bit8 -X69_bit9 X69_bit_1 -X69_bit_2 -X69_bit_3 -X69_bit_4 -X69_bit_5 -X69_bit_6 -X69_bit_7 -X6_bit0 -X6_bit1 -X6_bit10 -X6_bit11 -X6_bit12 -X6_bit2 -X6_bit3 -X6_bit4 -X6_bit5 -X6_bit6 -X6_bit7 -X6_bit8 -X6_bit9 -X6_bit_1 -X6_bit_2 -X6_bit_3 -X6_bit_4 -X6_bit_5 -X6_bit_6 -X6_bit_7 -X70_bit0 -X70_bit1 -X70_bit10 -X70_bit11 -X70_bit12 -X70_bit2 -X70_bit3 -X70_bit4 -X70_bit5 -X70_bit6 -X70_bit7 -X70_bit8 -X70_bit9 -X70_bit_1 -X70_bit_2 -X70_bit_3 -X70_bit_4 -X70_bit_5 -X70_bit_6 -X70_bit_7 -X71_bit0 -X71_bit1 -X71_bit10 -X71_bit11 -X71_bit12 -X71_bit2 X71_bit3 -X71_bit4 -X71_bit5 -X71_bit6 -X71_bit7 -X71_bit8 -X71_bit9 -X71_bit_1 -X71_bit_2 -X71_bit_3 -X71_bit_4 -X71_bit_5 -X71_bit_6 -X71_bit_7 -X72_bit0 -X72_bit1 -X72_bit10 -X72_bit11 -X72_bit12 -X72_bit2 -X72_bit3 -X72_bit4 -X72_bit5 -X72_bit6 -X72_bit7 -X72_bit8 -X72_bit9 -X72_bit_1 -X72_bit_2 -X72_bit_3 -X72_bit_4 -X72_bit_5 -X72_bit_6 -X72_bit_7 -X73_bit0 -X73_bit1 -X73_bit10 -X73_bit11 -X73_bit12 -X73_bit2 -X73_bit3 -X73_bit4 -X73_bit5 -X73_bit6 -X73_bit7 -X73_bit8 -X73_bit9 -X73_bit_1 -X73_bit_2 -X73_bit_3 -X73_bit_4 -X73_bit_5 -X73_bit_6 -X73_bit_7 -X74_bit0 -X74_bit1 -X74_bit10 -X74_bit11 -X74_bit12 -X74_bit2 X74_bit3 -X74_bit4 -X74_bit5 -X74_bit6 -X74_bit7 -X74_bit8 -X74_bit9 -X74_bit_1 -X74_bit_2 -X74_bit_3 -X74_bit_4 -X74_bit_5 -X74_bit_6 -X74_bit_7 -X75_bit0 -X75_bit1 -X75_bit10 -X75_bit11 -X75_bit12 -X75_bit2 -X75_bit3 -X75_bit4 -X75_bit5 -X75_bit6 -X75_bit7 -X75_bit8 -X75_bit9 -X75_bit_1 -X75_bit_2 -X75_bit_3 -X75_bit_4 -X75_bit_5 -X75_bit_6 -X75_bit_7 -X76_bit0 -X76_bit1 -X76_bit10 -X76_bit11 -X76_bit12 -X76_bit2 -X76_bit3 -X76_bit4 -X76_bit5 -X76_bit6 -X76_bit7 -X76_bit8 -X76_bit9 -X76_bit_1 -X76_bit_2 -X76_bit_3 -X76_bit_4 -X76_bit_5 -X76_bit_6 -X76_bit_7 -X77_bit0 -X77_bit1 -X77_bit10 -X77_bit11 -X77_bit12 -X77_bit2 -X77_bit3 -X77_bit4 -X77_bit5 -X77_bit6 -X77_bit7 -X77_bit8 -X77_bit9 -X77_bit_1 -X77_bit_2 -X77_bit_3 -X77_bit_4 -X77_bit_5 -X77_bit_6 -X77_bit_7 -X78_bit0 -X78_bit1 -X78_bit10 -X78_bit11 -X78_bit12 -X78_bit2 -X78_bit3 -X78_bit4 -X78_bit5 -X78_bit6 -X78_bit7 -X78_bit8 -X78_bit9 -X78_bit_1 -X78_bit_2 -X78_bit_3 -X78_bit_4 -X78_bit_5 -X78_bit_6 -X78_bit_7 -X79_bit0 -X79_bit1 -X79_bit10 -X79_bit11 -X79_bit12 -X79_bit2 -X79_bit3 -X79_bit4 -X79_bit5 -X79_bit6 -X79_bit7 -X79_bit8 -X79_bit9 -X79_bit_1 -X79_bit_2 -X79_bit_3 -X79_bit_4 -X79_bit_5 -X79_bit_6 -X79_bit_7 -X7_bit0 -X7_bit1 -X7_bit10 -X7_bit11 -X7_bit12 X7_bit2 -X7_bit3 -X7_bit4 -X7_bit5 -X7_bit6 -X7_bit7 -X7_bit8 -X7_bit9 -X7_bit_1 -X7_bit_2 -X7_bit_3 -X7_bit_4 -X7_bit_5 -X7_bit_6 -X7_bit_7 -X80_bit0 -X80_bit1 -X80_bit10 -X80_bit11 -X80_bit12 -X80_bit2 -X80_bit3 -X80_bit4 -X80_bit5 -X80_bit6 -X80_bit7 -X80_bit8 -X80_bit9 -X80_bit_1 -X80_bit_2 -X80_bit_3 -X80_bit_4 -X80_bit_5 -X80_bit_6 -X80_bit_7 -X81_bit0 -X81_bit1 -X81_bit10 -X81_bit11 -X81_bit12 -X81_bit2 -X81_bit3 -X81_bit4 -X81_bit5 -X81_bit6 -X81_bit7 -X81_bit8 -X81_bit9 -X81_bit_1 -X81_bit_2 -X81_bit_3 -X81_bit_4 -X81_bit_5 -X81_bit_6 -X81_bit_7 X82_bit0 -X82_bit1 -X82_bit10 -X82_bit11 -X82_bit12 -X82_bit2 -X82_bit3 -X82_bit4 -X82_bit5 -X82_bit6 -X82_bit7 -X82_bit8 -X82_bit9 -X82_bit_1 -X82_bit_2 X82_bit_3 -X82_bit_4 -X82_bit_5 -X82_bit_6 X82_bit_7 -X83_bit0 -X83_bit1 -X83_bit10 -X83_bit11 -X83_bit12 X83_bit2 -X83_bit3 -X83_bit4 -X83_bit5 -X83_bit6 -X83_bit7 -X83_bit8 -X83_bit9 X83_bit_1 X83_bit_2 -X83_bit_3 X83_bit_4 X83_bit_5 X83_bit_6 X83_bit_7 -X84_bit0 -X84_bit1 -X84_bit10 -X84_bit11 -X84_bit12 -X84_bit2 -X84_bit3 -X84_bit4 -X84_bit5 -X84_bit6 -X84_bit7 -X84_bit8 -X84_bit9 -X84_bit_1 -X84_bit_2 -X84_bit_3 -X84_bit_4 -X84_bit_5 -X84_bit_6 -X84_bit_7 -X85_bit0 -X85_bit1 -X85_bit10 -X85_bit11 -X85_bit12 -X85_bit2 -X85_bit3 -X85_bit4 -X85_bit5 -X85_bit6 -X85_bit7 -X85_bit8 -X85_bit9 -X85_bit_1 -X85_bit_2 -X85_bit_3 -X85_bit_4 -X85_bit_5 -X85_bit_6 -X85_bit_7 -X86_bit0 -X86_bit1 -X86_bit10 -X86_bit11 -X86_bit12 -X86_bit2 -X86_bit3 -X86_bit4 -X86_bit5 -X86_bit6 -X86_bit7 -X86_bit8 -X86_bit9 -X86_bit_1 -X86_bit_2 -X86_bit_3 -X86_bit_4 -X86_bit_5 -X86_bit_6 -X86_bit_7 -X87_bit0 -X87_bit1 -X87_bit10 -X87_bit11 -X87_bit12 -X87_bit2 -X87_bit3 -X87_bit4 -X87_bit5 -X87_bit6 -X87_bit7 -X87_bit8 -X87_bit9 -X87_bit_1 -X87_bit_2 -X87_bit_3 -X87_bit_4 -X87_bit_5 -X87_bit_6 -X87_bit_7 -X88_bit0 -X88_bit1 -X88_bit10 -X88_bit11 -X88_bit12 -X88_bit2 -X88_bit3 -X88_bit4 -X88_bit5 -X88_bit6 -X88_bit7 -X88_bit8 -X88_bit9 -X88_bit_1 -X88_bit_2 -X88_bit_3 -X88_bit_4 -X88_bit_5 -X88_bit_6 -X88_bit_7 -X89_bit0 -X89_bit1 -X89_bit10 -X89_bit11 -X89_bit12 -X89_bit2 -X89_bit3 -X89_bit4 -X89_bit5 -X89_bit6 -X89_bit7 -X89_bit8 -X89_bit9 -X89_bit_1 -X89_bit_2 -X89_bit_3 -X89_bit_4 -X89_bit_5 -X89_bit_6 -X89_bit_7 -X8_bit0 -X8_bit1 -X8_bit10 -X8_bit11 -X8_bit12 -X8_bit2 -X8_bit3 -X8_bit4 -X8_bit5 -X8_bit6 -X8_bit7 -X8_bit8 -X8_bit9 -X8_bit_1 -X8_bit_2 -X8_bit_3 -X8_bit_4 -X8_bit_5 -X8_bit_6 -X8_bit_7 -X90_bit0 -X90_bit1 -X90_bit10 -X90_bit11 -X90_bit12 -X90_bit2 -X90_bit3 -X90_bit4 -X90_bit5 -X90_bit6 -X90_bit7 -X90_bit8 -X90_bit9 X90_bit_1 X90_bit_2 X90_bit_3 -X90_bit_4 -X90_bit_5 -X90_bit_6 X90_bit_7 -X91_bit0 -X91_bit1 -X91_bit10 -X91_bit11 -X91_bit12 -X91_bit2 -X91_bit3 -X91_bit4 -X91_bit5 -X91_bit6 -X91_bit7 -X91_bit8 -X91_bit9 -X91_bit_1 -X91_bit_2 -X91_bit_3 -X91_bit_4 -X91_bit_5 -X91_bit_6 -X91_bit_7 -X92_bit0 -X92_bit1 -X92_bit10 -X92_bit11 -X92_bit12 -X92_bit2 -X92_bit3 -X92_bit4 -X92_bit5 -X92_bit6 -X92_bit7 -X92_bit8 -X92_bit9 -X92_bit_1 -X92_bit_2 -X92_bit_3 -X92_bit_4 -X92_bit_5 -X92_bit_6 -X92_bit_7 -X93_bit0 X93_bit1 -X93_bit10 -X93_bit11 -X93_bit12 -X93_bit2 -X93_bit3 -X93_bit4 -X93_bit5 -X93_bit6 -X93_bit7 -X93_bit8 -X93_bit9 -X93_bit_1 X93_bit_2 -X93_bit_3 -X93_bit_4 -X93_bit_5 -X93_bit_6 -X93_bit_7 -X94_bit0 -X94_bit1 -X94_bit10 -X94_bit11 -X94_bit12 -X94_bit2 -X94_bit3 -X94_bit4 -X94_bit5 -X94_bit6 -X94_bit7 -X94_bit8 -X94_bit9 -X94_bit_1 -X94_bit_2 -X94_bit_3 -X94_bit_4 -X94_bit_5 -X94_bit_6 -X94_bit_7 -X95_bit0 -X95_bit1 -X95_bit10 -X95_bit11 -X95_bit12 -X95_bit2 -X95_bit3 -X95_bit4 -X95_bit5 -X95_bit6 -X95_bit7 -X95_bit8 -X95_bit9 -X95_bit_1 -X95_bit_2 -X95_bit_3 -X95_bit_4 -X95_bit_5 -X95_bit_6 -X95_bit_7 X96_bit0 -X96_bit1 -X96_bit10 -X96_bit11 -X96_bit12 -X96_bit2 -X96_bit3 -X96_bit4 -X96_bit5 -X96_bit6 -X96_bit7 -X96_bit8 -X96_bit9 X96_bit_1 X96_bit_2 X96_bit_3 -X96_bit_4 -X96_bit_5 -X96_bit_6 -X96_bit_7 -X97_bit0 -X97_bit1 -X97_bit10 -X97_bit11 -X97_bit12 -X97_bit2 -X97_bit3 -X97_bit4 -X97_bit5 -X97_bit6 -X97_bit7 -X97_bit8 -X97_bit9 -X97_bit_1 -X97_bit_2 -X97_bit_3 -X97_bit_4 -X97_bit_5 -X97_bit_6 -X97_bit_7 X98_bit0 -X98_bit1 -X98_bit10 -X98_bit11 -X98_bit12 -X98_bit2 X98_bit3 -X98_bit4 -X98_bit5 -X98_bit6 -X98_bit7 -X98_bit8 -X98_bit9 X98_bit_1 X98_bit_2 X98_bit_3 X98_bit_4 X98_bit_5 X98_bit_6 X98_bit_7 -X99_bit0 -X99_bit1 -X99_bit10 -X99_bit11 -X99_bit12 -X99_bit2 -X99_bit3 -X99_bit4 -X99_bit5 -X99_bit6 -X99_bit7 -X99_bit8 -X99_bit9 -X99_bit_1 -X99_bit_2 -X99_bit_3 -X99_bit_4 -X99_bit_5 -X99_bit_6 -X99_bit_7 -X9_bit0 -X9_bit1 -X9_bit10 -X9_bit11 -X9_bit12 -X9_bit2 -X9_bit3 -X9_bit4 -X9_bit5 -X9_bit6 -X9_bit7 -X9_bit8 -X9_bit9 -X9_bit_1 -X9_bit_2 -X9_bit_3 -X9_bit_4 -X9_bit_5 -X9_bit_6 -X9_bit_7 -Y0_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 -Y14_bit0 Y15_bit0 -Y16_bit0 Y17_bit0 -Y18_bit0 -Y19_bit0 -Y1_bit0 -Y20_bit0 Y21_bit0 -Y22_bit0 -Y23_bit0 Y24_bit0 -Y25_bit0 -Y26_bit0 Y27_bit0 Y28_bit0 -Y29_bit0 -Y2_bit0 -Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 Y36_bit0 -Y37_bit0 -Y38_bit0 Y39_bit0 -Y3_bit0 Y40_bit0 -Y41_bit0 -Y42_bit0 Y43_bit0 -Y44_bit0 -Y45_bit0 -Y46_bit0 Y47_bit0 -Y48_bit0 -Y49_bit0 Y4_bit0 -Y50_bit0 -Y51_bit0 Y52_bit0 -Y53_bit0 -Y54_bit0 -Y55_bit0 -Y56_bit0 -Y57_bit0 Y58_bit0 -Y59_bit0 -Y5_bit0 -Y60_bit0 -Y61_bit0 Y62_bit0 -Y63_bit0 -Y64_bit0 -Y65_bit0 Y66_bit0 -Y67_bit0 -Y68_bit0 Y69_bit0 -Y6_bit0 -Y70_bit0 Y71_bit0 -Y72_bit0 -Y73_bit0 Y74_bit0 -Y75_bit0 -Y76_bit0 -Y77_bit0 -Y78_bit0 -Y79_bit0 Y7_bit0 -Y80_bit0 -Y81_bit0 Y82_bit0 Y83_bit0 -Y84_bit0 -Y85_bit0 -Y86_bit0 -Y87_bit0 -Y88_bit0 -Y89_bit0 -Y8_bit0 Y90_bit0 -Y91_bit0 -Y92_bit0 Y93_bit0 -Y94_bit0 Y95_bit0 Y96_bit0 -Y97_bit0 Y98_bit0 -Y99_bit0 -Y9_bit0 
c Done, CPU Time=913.499
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.90 0.97 0.91 2/54 7693
Raw data (stat): 7693 (runsolver) R 7692 30854 30853 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 486501946 1052672 99 4294967295 134512640 135381576 3221224528 3221219776 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.92 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 768 0 0 0 993 5 0 0 25 0 1 0 486501946 4255744 714 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1039 714 231 231 0 808 0
vsize: 4156
[startup+20.0004 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 939 0 0 0 1992 7 0 0 25 0 1 0 486501946 4546560 885 4294967295 134512640 135450300 3221224624 3221223344 134535703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1110 885 231 231 0 879 0
vsize: 4440
[startup+30.0012 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 982 0 0 0 2992 7 0 0 25 0 1 0 486501946 6643712 928 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1622 928 231 231 0 1391 0
vsize: 6488
[startup+40.0006 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1045 0 0 0 3992 7 0 0 25 0 1 0 486501946 6643712 991 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1622 991 231 231 0 1391 0
vsize: 6488
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1138 0 0 0 4992 7 0 0 25 0 1 0 486501946 6643712 1084 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1622 1084 231 231 0 1391 0
vsize: 6488
[startup+60.0005 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1229 0 0 0 5992 7 0 0 25 0 1 0 486501946 6643712 1175 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1622 1175 231 231 0 1391 0
vsize: 6488
[startup+69.9999 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1321 0 0 0 6992 7 0 0 25 0 1 0 486501946 6643712 1267 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1622 1267 231 231 0 1391 0
vsize: 6488
[startup+80.001 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1394 0 0 0 7992 7 0 0 25 0 1 0 486501946 6643712 1340 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1622 1340 231 231 0 1391 0
vsize: 6488
[startup+90.0008 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1416 0 0 0 8992 8 0 0 25 0 1 0 486501946 6643712 1362 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1622 1362 231 231 0 1391 0
vsize: 6488
[startup+100 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1488 0 0 0 9992 8 0 0 25 0 1 0 486501946 10838016 1434 4294967295 134512640 135450300 3221224624 3221223344 134535537 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2646 1434 231 231 0 2415 0
vsize: 10584
[startup+110.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1534 0 0 0 10992 8 0 0 25 0 1 0 486501946 11001856 1480 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1480 231 231 0 2455 0
vsize: 10744
[startup+120.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1621 0 0 0 11992 8 0 0 25 0 1 0 486501946 11001856 1567 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1567 231 231 0 2455 0
vsize: 10744
[startup+130.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1694 0 0 0 12992 8 0 0 25 0 1 0 486501946 11001856 1640 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1640 231 231 0 2455 0
vsize: 10744
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1814 0 0 0 13992 8 0 0 25 0 1 0 486501946 11001856 1760 4294967295 134512640 135450300 3221224624 3221223440 134547160 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1760 231 231 0 2455 0
vsize: 10744
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 1953 0 0 0 14992 9 0 0 25 0 1 0 486501946 11001856 1899 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 1899 231 231 0 2455 0
vsize: 10744
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2056 0 0 0 15992 9 0 0 25 0 1 0 486501946 11001856 2002 4294967295 134512640 135450300 3221224624 3221223344 134535752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 2002 231 231 0 2455 0
vsize: 10744
[startup+170.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2163 0 0 0 16992 9 0 0 25 0 1 0 486501946 11001856 2109 4294967295 134512640 135450300 3221224624 3221223440 134547873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 2109 231 231 0 2455 0
vsize: 10744
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2256 0 0 0 17992 9 0 0 25 0 1 0 486501946 11001856 2202 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 2202 231 231 0 2455 0
vsize: 10744
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2339 0 0 0 18992 9 0 0 25 0 1 0 486501946 11001856 2285 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 2285 231 231 0 2455 0
vsize: 10744
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2432 0 0 0 19992 10 0 0 25 0 1 0 486501946 11001856 2378 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 2378 231 231 0 2455 0
vsize: 10744
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2512 0 0 0 20992 10 0 0 25 0 1 0 486501946 11001856 2458 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2686 2458 231 231 0 2455 0
vsize: 10744
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2591 0 0 0 21992 10 0 0 25 0 1 0 486501946 19390464 2537 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2537 231 231 0 4503 0
vsize: 18936
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2651 0 0 0 22992 10 0 0 25 0 1 0 486501946 19390464 2597 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2597 231 231 0 4503 0
vsize: 18936
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2684 0 0 0 23992 10 0 0 25 0 1 0 486501946 19390464 2630 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2630 231 231 0 4503 0
vsize: 18936
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2706 0 0 0 24992 11 0 0 25 0 1 0 486501946 19390464 2652 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2652 231 231 0 4503 0
vsize: 18936
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2712 0 0 0 25992 11 0 0 25 0 1 0 486501946 19390464 2658 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2658 231 231 0 4503 0
vsize: 18936
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2715 0 0 0 26993 11 0 0 25 0 1 0 486501946 19390464 2661 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2661 231 231 0 4503 0
vsize: 18936
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2725 0 0 0 27993 11 0 0 25 0 1 0 486501946 19390464 2671 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2671 231 231 0 4503 0
vsize: 18936
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2731 0 0 0 28993 11 0 0 25 0 1 0 486501946 19390464 2677 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2677 231 231 0 4503 0
vsize: 18936
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2741 0 0 0 29993 11 0 0 25 0 1 0 486501946 19390464 2687 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2687 231 231 0 4503 0
vsize: 18936
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2748 0 0 0 30993 11 0 0 25 0 1 0 486501946 19390464 2694 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2694 231 231 0 4503 0
vsize: 18936
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2787 0 0 0 31994 11 0 0 25 0 1 0 486501946 19390464 2733 4294967295 134512640 135450300 3221224624 3221223344 134535803 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2733 231 231 0 4503 0
vsize: 18936
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2855 0 0 0 32994 11 0 0 25 0 1 0 486501946 19390464 2801 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2801 231 231 0 4503 0
vsize: 18936
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 2896 0 0 0 33994 11 0 0 25 0 1 0 486501946 19390464 2842 4294967295 134512640 135450300 3221224624 3221223344 134535478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4734 2842 231 231 0 4503 0
vsize: 18936
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3002 0 0 0 34994 11 0 0 25 0 1 0 486501946 19591168 2948 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 2948 231 231 0 4552 0
vsize: 19132
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3058 0 0 0 35994 11 0 0 25 0 1 0 486501946 19591168 3004 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3004 231 231 0 4552 0
vsize: 19132
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3134 0 0 0 36994 11 0 0 25 0 1 0 486501946 19591168 3080 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3080 231 231 0 4552 0
vsize: 19132
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3182 0 0 0 37994 12 0 0 25 0 1 0 486501946 19591168 3128 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3128 231 231 0 4552 0
vsize: 19132
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3205 0 0 0 38994 12 0 0 25 0 1 0 486501946 19591168 3151 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3151 231 231 0 4552 0
vsize: 19132
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3219 0 0 0 39994 12 0 0 25 0 1 0 486501946 19591168 3165 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3165 231 231 0 4552 0
vsize: 19132
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3252 0 0 0 40995 12 0 0 25 0 1 0 486501946 19591168 3198 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3198 231 231 0 4552 0
vsize: 19132
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3327 0 0 0 41995 12 0 0 25 0 1 0 486501946 19591168 3273 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3273 231 231 0 4552 0
vsize: 19132
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3384 0 0 0 42995 12 0 0 25 0 1 0 486501946 19591168 3330 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3330 231 231 0 4552 0
vsize: 19132
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3452 0 0 0 43995 12 0 0 25 0 1 0 486501946 19591168 3398 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3398 231 231 0 4552 0
vsize: 19132
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3497 0 0 0 44995 12 0 0 25 0 1 0 486501946 19591168 3443 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3443 231 231 0 4552 0
vsize: 19132
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3571 0 0 0 45995 12 0 0 25 0 1 0 486501946 19591168 3517 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3517 231 231 0 4552 0
vsize: 19132
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3635 0 0 0 46995 12 0 0 25 0 1 0 486501946 19591168 3581 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3581 231 231 0 4552 0
vsize: 19132
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3709 0 0 0 47995 13 0 0 25 0 1 0 486501946 19591168 3655 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3655 231 231 0 4552 0
vsize: 19132
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3731 0 0 0 48995 13 0 0 25 0 1 0 486501946 19591168 3677 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3677 231 231 0 4552 0
vsize: 19132
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3781 0 0 0 49995 13 0 0 25 0 1 0 486501946 19591168 3727 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3727 231 231 0 4552 0
vsize: 19132
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3851 0 0 0 50995 13 0 0 25 0 1 0 486501946 19591168 3797 4294967295 134512640 135450300 3221224624 3221223360 134537987 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3797 231 231 0 4552 0
vsize: 19132
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 3946 0 0 0 51994 14 0 0 25 0 1 0 486501946 19591168 3892 4294967295 134512640 135450300 3221224624 3221223440 134547175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3892 231 231 0 4552 0
vsize: 19132
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 4016 0 0 0 52994 14 0 0 25 0 1 0 486501946 19591168 3962 4294967295 134512640 135450300 3221224624 3221223232 134537609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 3962 231 231 0 4552 0
vsize: 19132
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 4069 0 0 0 53995 14 0 0 25 0 1 0 486501946 19591168 4015 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 4015 231 231 0 4552 0
vsize: 19132
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 4156 0 0 0 54994 14 0 0 25 0 1 0 486501946 19591168 4102 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 4102 231 231 0 4552 0
vsize: 19132
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 4255 0 0 0 55994 14 0 0 25 0 1 0 486501946 19591168 4201 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 4201 231 231 0 4552 0
vsize: 19132
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 4346 0 0 0 56994 15 0 0 25 0 1 0 486501946 19591168 4292 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 4292 231 231 0 4552 0
vsize: 19132
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 4407 0 0 0 57994 15 0 0 25 0 1 0 486501946 19591168 4353 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 4353 231 231 0 4552 0
vsize: 19132
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 4473 0 0 0 58994 15 0 0 25 0 1 0 486501946 19591168 4419 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 4419 231 231 0 4552 0
vsize: 19132
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 4601 0 0 0 59994 16 0 0 25 0 1 0 486501946 19591168 4547 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4783 4547 231 231 0 4552 0
vsize: 19132
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 4741 0 0 0 60994 16 0 0 25 0 1 0 486501946 36368384 4687 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8879 4687 231 231 0 8648 0
vsize: 35516
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 4877 0 0 0 61994 16 0 0 25 0 1 0 486501946 36368384 4823 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8879 4823 231 231 0 8648 0
vsize: 35516
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 5055 0 0 0 62993 17 0 0 25 0 1 0 486501946 36503552 5001 4294967295 134512640 135450300 3221224624 3221223344 134535709 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8912 5001 231 231 0 8681 0
vsize: 35648
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 5208 0 0 0 63992 18 0 0 25 0 1 0 486501946 36503552 5154 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8912 5154 231 231 0 8681 0
vsize: 35648
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 5415 0 0 0 64993 18 0 0 25 0 1 0 486501946 36503552 5361 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8912 5361 231 231 0 8681 0
vsize: 35648
[startup+660.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 5596 0 0 0 65992 19 0 0 25 0 1 0 486501946 36630528 5542 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8943 5542 231 231 0 8712 0
vsize: 35772
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 5723 0 0 0 66992 20 0 0 25 0 1 0 486501946 36630528 5669 4294967295 134512640 135450300 3221224624 3221223344 134535758 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8943 5669 231 231 0 8712 0
vsize: 35772
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 5794 0 0 0 67992 20 0 0 25 0 1 0 486501946 36827136 5691 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8991 5691 231 231 0 8760 0
vsize: 35964
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 5817 0 0 0 68992 20 0 0 25 0 1 0 486501946 36827136 5714 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8991 5714 231 231 0 8760 0
vsize: 35964
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 5832 0 0 0 69992 20 0 0 25 0 1 0 486501946 36827136 5729 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8991 5729 231 231 0 8760 0
vsize: 35964
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 5856 0 0 0 70992 20 0 0 25 0 1 0 486501946 36827136 5753 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8991 5753 231 231 0 8760 0
vsize: 35964
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 5955 0 0 0 71992 20 0 0 25 0 1 0 486501946 36970496 5852 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 5852 231 231 0 8795 0
vsize: 36104
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6066 0 0 0 72992 20 0 0 25 0 1 0 486501946 36970496 5963 4294967295 134512640 135450300 3221224624 3221223440 134547873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 5963 231 231 0 8795 0
vsize: 36104
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6214 0 0 0 73992 20 0 0 25 0 1 0 486501946 36970496 6111 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6111 231 231 0 8795 0
vsize: 36104
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6353 0 0 0 74992 21 0 0 25 0 1 0 486501946 36970496 6250 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6250 231 231 0 8795 0
vsize: 36104
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6394 0 0 0 75992 21 0 0 25 0 1 0 486501946 36970496 6291 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6291 231 231 0 8795 0
vsize: 36104
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6415 0 0 0 76992 21 0 0 25 0 1 0 486501946 36970496 6312 4294967295 134512640 135450300 3221224624 3221223344 134535772 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6312 231 231 0 8795 0
vsize: 36104
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6463 0 0 0 77992 21 0 0 25 0 1 0 486501946 36970496 6360 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6360 231 231 0 8795 0
vsize: 36104
[startup+790.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6514 0 0 0 78992 22 0 0 25 0 1 0 486501946 36970496 6411 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6411 231 231 0 8795 0
vsize: 36104
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6532 0 0 0 79992 22 0 0 25 0 1 0 486501946 36970496 6429 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6429 231 231 0 8795 0
vsize: 36104
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6548 0 0 0 80992 22 0 0 25 0 1 0 486501946 36970496 6445 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6445 231 231 0 8795 0
vsize: 36104
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6578 0 0 0 81992 22 0 0 25 0 1 0 486501946 36970496 6475 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6475 231 231 0 8795 0
vsize: 36104
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6630 0 0 0 82992 22 0 0 25 0 1 0 486501946 36970496 6527 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6527 231 231 0 8795 0
vsize: 36104
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6651 0 0 0 83992 22 0 0 25 0 1 0 486501946 36970496 6548 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6548 231 231 0 8795 0
vsize: 36104
[startup+850.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6702 0 0 0 84992 22 0 0 25 0 1 0 486501946 36970496 6599 4294967295 134512640 135450300 3221224624 3221223008 134602056 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6599 231 231 0 8795 0
vsize: 36104
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6795 0 0 0 85991 23 0 0 25 0 1 0 486501946 36970496 6692 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6692 231 231 0 8795 0
vsize: 36104
[startup+870.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6811 0 0 0 86991 23 0 0 25 0 1 0 486501946 36970496 6708 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6708 231 231 0 8795 0
vsize: 36104
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6911 0 0 0 87992 23 0 0 25 0 1 0 486501946 36970496 6808 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6808 231 231 0 8795 0
vsize: 36104
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 6970 0 0 0 88992 23 0 0 25 0 1 0 486501946 36970496 6867 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6867 231 231 0 8795 0
vsize: 36104
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 7068 0 0 0 89992 24 0 0 25 0 1 0 486501946 36970496 6965 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9026 6965 231 231 0 8795 0
vsize: 36104
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 7367 0 0 0 90988 27 0 0 25 0 1 0 486501946 37105664 7264 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9059 7264 231 231 0 8828 0
vsize: 36236
[startup+913.643 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 7693
Raw data (stat): 7693 (PBS4) R 7692 30854 30853 0 -1 0 7367 0 0 0 90988 27 0 0 25 0 1 0 486501946 37105664 7264 4294967295 134512640 135450300 3221224624 3221223344 134535675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9059 7264 231 231 0 8828 0
vsize: 0

Child status: 30
Real time (s): 913.642
CPU time (s): 913.784
CPU user time (s): 913.486
CPU system time (s): 0.297954
CPU usage (%): 100.016
Max. virtual memory (Kb): 36236
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	485724
#### END VERIFIER DATA ####