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-ran10x10b.opb
MD5SUM	c76102ddcf7f5ab3b2677033d320eaa3
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	756736
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	502612132
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	4718592
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	502612132
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	422.405
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 17670

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc30 THE 2005-04-21 11:26:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19207 boxname=wulflinc30 idbench=1478 idsolver=6 numberseed=0
MD5SUM SOLVER: 2225cba0d9b2c30e235f6cafc823d7ac  /oldhome/oroussel/solvers/PBS4
MD5SUM BENCH:  c76102ddcf7f5ab3b2677033d320eaa3  /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran10x10b.opb
REAL COMMAND:  PBS4 /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran10x10b.opb
IDLAUNCH: 19207
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        774776 kB
Buffers:         20760 kB
Cached:         210508 kB
SwapCached:          0 kB
Active:          61268 kB
Inactive:       172844 kB
HighTotal:      131008 kB
HighFree:        17444 kB
LowTotal:       903652 kB
LowFree:        757332 kB
SwapTotal:     2097892 kB
SwapFree:      2097824 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           6800 kB
Slab:            20092 kB
Committed_AS:    63564 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-04-21 11:33:14 (client local time) WITH STATUS 30 IN 422.405 SECONDS
stats: 19207 0 422.405 30
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c PBS v4 by Bashar Al-Rawi & Fadi Aloul
c Solving /oldhome/oroussel/tmp/wulflinc30/normalized-mps-v2-13-7-ran10x10b.opb ......
c The optimum solution is:1313277
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=422.122
#### 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.72 0.91 0.94 2/54 19324
Raw data (stat): 19324 (runsolver) R 19323 11931 11930 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 544704589 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.0004 s]
Raw data (loadavg): 0.76 0.91 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 634 0 0 0 994 4 0 0 25 0 1 0 544704589 3358720 580 4294967295 134512640 135450300 3221224624 3221223360 134538010 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 820 580 231 231 0 589 0
vsize: 3280
[startup+20.0012 s]
Raw data (loadavg): 0.80 0.91 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 849 0 0 0 1991 8 0 0 25 0 1 0 544704589 4407296 795 4294967295 134512640 135450300 3221224624 3221222976 134533216 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1076 795 231 231 0 845 0
vsize: 4304
[startup+30.0017 s]
Raw data (loadavg): 0.83 0.91 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 1034 0 0 0 2991 9 0 0 25 0 1 0 544704589 6656000 980 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1625 980 231 231 0 1394 0
vsize: 6500
[startup+40.0018 s]
Raw data (loadavg): 0.86 0.92 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 1155 0 0 0 3990 9 0 0 25 0 1 0 544704589 6656000 1101 4294967295 134512640 135450300 3221224624 3221223232 134537768 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 1625 1101 231 231 0 1394 0
vsize: 6500
[startup+50.0016 s]
Raw data (loadavg): 0.88 0.92 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 1550 0 0 0 4990 10 0 0 25 0 1 0 544704589 10850304 1496 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2649 1496 231 231 0 2418 0
vsize: 10596
[startup+60.0021 s]
Raw data (loadavg): 0.90 0.92 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 1815 0 0 0 5989 11 0 0 25 0 1 0 544704589 10993664 1761 4294967295 134512640 135450300 3221224624 3221223344 134535712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2684 1761 231 231 0 2453 0
vsize: 10736
[startup+70.0023 s]
Raw data (loadavg): 0.91 0.92 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 2137 0 0 0 6988 12 0 0 25 0 1 0 544704589 10993664 2083 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2684 2083 231 231 0 2453 0
vsize: 10736
[startup+80.003 s]
Raw data (loadavg): 0.92 0.92 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 2351 0 0 0 7986 14 0 0 25 0 1 0 544704589 11128832 2297 4294967295 134512640 135450300 3221224624 3221223344 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2717 2297 231 231 0 2486 0
vsize: 10868
[startup+90.0025 s]
Raw data (loadavg): 0.94 0.93 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 2462 0 0 0 8986 14 0 0 25 0 1 0 544704589 11128832 2408 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2717 2408 231 231 0 2486 0
vsize: 10868
[startup+100.002 s]
Raw data (loadavg): 0.94 0.93 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 2543 0 0 0 9986 14 0 0 25 0 1 0 544704589 11128832 2489 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2717 2489 231 231 0 2486 0
vsize: 10868
[startup+110.003 s]
Raw data (loadavg): 0.95 0.93 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 2597 0 0 0 10987 14 0 0 25 0 1 0 544704589 19517440 2543 4294967295 134512640 135450300 3221224624 3221223344 134535737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4765 2543 231 231 0 4534 0
vsize: 19060
[startup+120.003 s]
Raw data (loadavg): 0.96 0.93 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 2672 0 0 0 11986 15 0 0 25 0 1 0 544704589 19517440 2618 4294967295 134512640 135450300 3221224624 3221223344 134535732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4765 2618 231 231 0 4534 0
vsize: 19060
[startup+130.004 s]
Raw data (loadavg): 0.97 0.93 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 2792 0 0 0 12986 15 0 0 25 0 1 0 544704589 19517440 2738 4294967295 134512640 135450300 3221224624 3221223344 134535764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4765 2738 231 231 0 4534 0
vsize: 19060
[startup+140.004 s]
Raw data (loadavg): 0.97 0.94 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 2890 0 0 0 13986 15 0 0 25 0 1 0 544704589 19517440 2836 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4765 2836 231 231 0 4534 0
vsize: 19060
[startup+150.003 s]
Raw data (loadavg): 0.97 0.94 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 2982 0 0 0 14985 16 0 0 25 0 1 0 544704589 19517440 2928 4294967295 134512640 135450300 3221224624 3221223344 134535678 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4765 2928 231 231 0 4534 0
vsize: 19060
[startup+160.004 s]
Raw data (loadavg): 0.98 0.94 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 3099 0 0 0 15985 17 0 0 25 0 1 0 544704589 19718144 3045 4294967295 134512640 135450300 3221224624 3221223344 134535770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3045 231 231 0 4583 0
vsize: 19256
[startup+170.003 s]
Raw data (loadavg): 0.98 0.94 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 3173 0 0 0 16985 17 0 0 25 0 1 0 544704589 19718144 3119 4294967295 134512640 135450300 3221224624 3221223344 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3119 231 231 0 4583 0
vsize: 19256
[startup+180.004 s]
Raw data (loadavg): 0.98 0.94 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 3273 0 0 0 17985 17 0 0 25 0 1 0 544704589 19718144 3219 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3219 231 231 0 4583 0
vsize: 19256
[startup+190.004 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 3363 0 0 0 18985 17 0 0 25 0 1 0 544704589 19718144 3309 4294967295 134512640 135450300 3221224624 3221223344 134535784 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3309 231 231 0 4583 0
vsize: 19256
[startup+200.004 s]
Raw data (loadavg): 0.99 0.94 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 3458 0 0 0 19985 18 0 0 25 0 1 0 544704589 19718144 3404 4294967295 134512640 135450300 3221224624 3221223344 134535910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3404 231 231 0 4583 0
vsize: 19256
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 3697 0 0 0 20983 19 0 0 25 0 1 0 544704589 19718144 3643 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3643 231 231 0 4583 0
vsize: 19256
[startup+220.004 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 3799 0 0 0 21983 19 0 0 25 0 1 0 544704589 19718144 3745 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3745 231 231 0 4583 0
vsize: 19256
[startup+230.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 3869 0 0 0 22983 20 0 0 25 0 1 0 544704589 19718144 3815 4294967295 134512640 135450300 3221224624 3221223344 134535726 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3815 231 231 0 4583 0
vsize: 19256
[startup+240.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 3974 0 0 0 23983 20 0 0 25 0 1 0 544704589 19718144 3920 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3920 231 231 0 4583 0
vsize: 19256
[startup+250.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 4049 0 0 0 24983 20 0 0 25 0 1 0 544704589 19718144 3995 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 3995 231 231 0 4583 0
vsize: 19256
[startup+260.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 4144 0 0 0 25983 20 0 0 25 0 1 0 544704589 19718144 4090 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 4090 231 231 0 4583 0
vsize: 19256
[startup+270.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 4200 0 0 0 26983 21 0 0 25 0 1 0 544704589 19718144 4146 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 4146 231 231 0 4583 0
vsize: 19256
[startup+280.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 4257 0 0 0 27982 21 0 0 25 0 1 0 544704589 19718144 4203 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 4203 231 231 0 4583 0
vsize: 19256
[startup+290.006 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 4281 0 0 0 28983 21 0 0 25 0 1 0 544704589 19718144 4227 4294967295 134512640 135450300 3221224624 3221223344 134536028 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 4227 231 231 0 4583 0
vsize: 19256
[startup+300.006 s]
Raw data (loadavg): 0.99 0.95 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 4405 0 0 0 29983 22 0 0 25 0 1 0 544704589 19718144 4351 4294967295 134512640 135450300 3221224624 3221223344 134535551 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 4351 231 231 0 4583 0
vsize: 19256
[startup+310.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 4531 0 0 0 30983 22 0 0 25 0 1 0 544704589 19718144 4477 4294967295 134512640 135450300 3221224624 3221223344 134535722 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 4477 231 231 0 4583 0
vsize: 19256
[startup+320.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 4620 0 0 0 31983 22 0 0 25 0 1 0 544704589 19718144 4566 4294967295 134512640 135450300 3221224624 3221223344 134535777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4814 4566 231 231 0 4583 0
vsize: 19256
[startup+330.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 4773 0 0 0 32983 22 0 0 25 0 1 0 544704589 36495360 4719 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 4719 231 231 0 8679 0
vsize: 35640
[startup+340.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 4869 0 0 0 33983 22 0 0 25 0 1 0 544704589 36495360 4815 4294967295 134512640 135450300 3221224624 3221223344 134535779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 4815 231 231 0 8679 0
vsize: 35640
[startup+350.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 5146 0 0 0 34980 25 0 0 25 0 1 0 544704589 36634624 5092 4294967295 134512640 135450300 3221224624 3221223500 135126769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8944 5092 231 231 0 8713 0
vsize: 35776
[startup+360.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 5309 0 0 0 35980 26 0 0 25 0 1 0 544704589 36757504 5255 4294967295 134512640 135450300 3221224624 3221223344 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8974 5255 231 231 0 8743 0
vsize: 35896
[startup+370.011 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 5602 0 0 0 36977 28 0 0 25 0 1 0 544704589 36757504 5548 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8974 5548 231 231 0 8743 0
vsize: 35896
[startup+380.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 5829 0 0 0 37977 29 0 0 25 0 1 0 544704589 36954112 5726 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9022 5726 231 231 0 8791 0
vsize: 36088
[startup+390.013 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 6160 0 0 0 38976 31 0 0 25 0 1 0 544704589 37089280 6057 4294967295 134512640 135450300 3221224624 3221223440 134536478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9055 6057 231 231 0 8824 0
vsize: 36220
[startup+400.012 s]
Raw data (loadavg): 0.99 0.96 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 6515 0 0 0 39973 33 0 0 25 0 1 0 544704589 37212160 6412 4294967295 134512640 135450300 3221224624 3221223344 134535749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9085 6412 231 231 0 8854 0
vsize: 36340
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 6877 0 0 0 40972 35 0 0 25 0 1 0 544704589 37212160 6774 4294967295 134512640 135450300 3221224624 3221223360 134537993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9085 6774 231 231 0 8854 0
vsize: 36340
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/54 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 7104 0 0 0 41971 36 0 0 25 0 1 0 544704589 37347328 7001 4294967295 134512640 135450300 3221224624 3221223232 134537621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9118 7001 231 231 0 8887 0
vsize: 36472
[startup+422.344 s]
Raw data (loadavg): 0.99 0.97 0.94 1/53 19324
Raw data (stat): 19324 (PBS4) R 19323 11931 11930 0 -1 0 7104 0 0 0 41971 36 0 0 25 0 1 0 544704589 37347328 7001 4294967295 134512640 135450300 3221224624 3221223232 134537621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9118 7001 231 231 0 8887 0
vsize: 0

Child status: 30
Real time (s): 422.343
CPU time (s): 422.405
CPU user time (s): 422.022
CPU system time (s): 0.382941
CPU usage (%): 100.015
Max. virtual memory (Kb): 36472
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	1313277
#### END VERIFIER DATA ####