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-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-sp97ar.opb
MD5SUM	501db04e3c45fac1238dfa119cd7abd9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	282020
Biggest coefficient in the objective function	2456844338462720
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	-2082450254578026316
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	2456844338462720
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	-2082450254578026316
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.6406
Number of variables	282020
Total number of constraints	1761
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	1761
Minimum length of a constraint	20
Maximum length of a constraint	49260
Trace number 35304

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-28 12:30:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24531 boxname=wulflinc22 idbench=1003 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  501db04e3c45fac1238dfa119cd7abd9  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-sp97ar.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-sp97ar.opb
IDLAUNCH: 24531
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        695144 kB
Buffers:         33140 kB
Cached:         274924 kB
SwapCached:        384 kB
Active:         159696 kB
Inactive:       158236 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        694892 kB
SwapTotal:     2097892 kB
SwapFree:      2096800 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            15948 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:50:12 (client local time) WITH STATUS 0 IN 1201.31 SECONDS
stats: 24531 7 1201.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
s UNKNOWN
#### 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.03 0.98 0.91 2/54 32708
Raw data (stat): 32708 (runsolver) R 32707 23310 23309 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864813343 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99997 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 2162 0 0 0 993 6 0 0 25 0 1 0 864813343 7954432 1487 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1942 1487 300 300 0 1642 0
vsize: 7768
[startup+20.0011 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 2689 0 0 0 1991 7 0 0 25 0 1 0 864813343 9306112 2006 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2272 2006 300 300 0 1972 0
vsize: 9088
[startup+30.0031 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 3848 0 0 0 2989 10 0 0 25 0 1 0 864813343 13410304 2453 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3274 2453 300 300 0 2974 0
vsize: 13096
[startup+40.0045 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 4080 0 0 0 3988 11 0 0 25 0 1 0 864813343 13950976 2680 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3406 2680 300 300 0 3106 0
vsize: 13624
[startup+50.0052 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 4336 0 0 0 4987 13 0 0 25 0 1 0 864813343 14626816 2932 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3571 2932 300 300 0 3271 0
vsize: 14284
[startup+60.0045 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 4567 0 0 0 5986 13 0 0 25 0 1 0 864813343 15167488 3159 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3703 3159 300 300 0 3403 0
vsize: 14812
[startup+70.0056 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 4777 0 0 0 6986 14 0 0 25 0 1 0 864813343 15843328 3366 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3868 3366 300 300 0 3568 0
vsize: 15472
[startup+80.0064 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 4975 0 0 0 7985 15 0 0 25 0 1 0 864813343 16248832 3561 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3967 3561 300 300 0 3667 0
vsize: 15868
[startup+90.0057 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 5163 0 0 0 8984 16 0 0 25 0 1 0 864813343 16789504 3746 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4099 3746 300 300 0 3799 0
vsize: 16396
[startup+100.006 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 5340 0 0 0 9983 17 0 0 25 0 1 0 864813343 17330176 3920 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4231 3920 300 300 0 3931 0
vsize: 16924
[startup+110.007 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 5509 0 0 0 10982 18 0 0 25 0 1 0 864813343 17735680 4086 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4330 4086 300 300 0 4030 0
vsize: 17320
[startup+120.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 7495 0 0 0 11979 22 0 0 25 0 1 0 864813343 25403392 4660 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4660 300 300 0 5902 0
vsize: 24808
[startup+130.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 7549 0 0 0 12979 22 0 0 25 0 1 0 864813343 25403392 4711 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4711 300 300 0 5902 0
vsize: 24808
[startup+140.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 7602 0 0 0 13978 22 0 0 25 0 1 0 864813343 25403392 4762 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4762 300 300 0 5902 0
vsize: 24808
[startup+150.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 7679 0 0 0 14977 23 0 0 25 0 1 0 864813343 25403392 4837 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4837 300 300 0 5902 0
vsize: 24808
[startup+160.008 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 7729 0 0 0 15977 24 0 0 25 0 1 0 864813343 25403392 4884 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4884 300 300 0 5902 0
vsize: 24808
[startup+170.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 7856 0 0 0 16976 25 0 0 25 0 1 0 864813343 25808896 5009 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6301 5009 300 300 0 6001 0
vsize: 25204
[startup+180.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 7985 0 0 0 17975 26 0 0 25 0 1 0 864813343 26079232 5136 4294967295 134512640 135726644 3221224576 3221221588 134541501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6367 5136 300 300 0 6067 0
vsize: 25468
[startup+190.009 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 8111 0 0 0 18975 26 0 0 25 0 1 0 864813343 26484736 5260 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6466 5260 300 300 0 6166 0
vsize: 25864
[startup+200.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 8235 0 0 0 19974 28 0 0 25 0 1 0 864813343 26755072 5382 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6532 5382 300 300 0 6232 0
vsize: 26128
[startup+210.01 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 8356 0 0 0 20973 29 0 0 25 0 1 0 864813343 27160576 5501 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6631 5501 300 300 0 6331 0
vsize: 26524
[startup+220.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 8474 0 0 0 21973 29 0 0 25 0 1 0 864813343 27430912 5617 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6697 5617 300 300 0 6397 0
vsize: 26788
[startup+230.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 8589 0 0 0 22972 30 0 0 25 0 1 0 864813343 27701248 5730 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6763 5730 300 300 0 6463 0
vsize: 27052
[startup+240.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 8701 0 0 0 23971 31 0 0 25 0 1 0 864813343 27971584 5841 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6829 5841 300 300 0 6529 0
vsize: 27316
[startup+250.011 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 8812 0 0 0 24971 31 0 0 25 0 1 0 864813343 28377088 5950 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6928 5950 300 300 0 6628 0
vsize: 27712
[startup+260.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 8922 0 0 0 25970 32 0 0 25 0 1 0 864813343 28647424 6058 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6994 6058 300 300 0 6694 0
vsize: 27976
[startup+270.012 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 9028 0 0 0 26970 33 0 0 25 0 1 0 864813343 28917760 6162 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7060 6162 300 300 0 6760 0
vsize: 28240
[startup+280.013 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 9132 0 0 0 27970 33 0 0 25 0 1 0 864813343 29188096 6265 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7126 6265 300 300 0 6826 0
vsize: 28504
[startup+290.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 9236 0 0 0 28969 34 0 0 25 0 1 0 864813343 29458432 6367 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7192 6367 300 300 0 6892 0
vsize: 28768
[startup+300.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 9338 0 0 0 29968 35 0 0 25 0 1 0 864813343 29728768 6467 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7258 6467 300 300 0 6958 0
vsize: 29032
[startup+310.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 9438 0 0 0 30968 35 0 0 25 0 1 0 864813343 29999104 6566 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7324 6566 300 300 0 7024 0
vsize: 29296
[startup+320.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 9537 0 0 0 31968 36 0 0 25 0 1 0 864813343 30269440 6663 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7390 6663 300 300 0 7090 0
vsize: 29560
[startup+330.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 9633 0 0 0 32967 36 0 0 25 0 1 0 864813343 30539776 6758 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7456 6758 300 300 0 7156 0
vsize: 29824
[startup+340.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 9730 0 0 0 33967 37 0 0 25 0 1 0 864813343 30810112 6853 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7522 6853 300 300 0 7222 0
vsize: 30088
[startup+350.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 9825 0 0 0 34966 37 0 0 25 0 1 0 864813343 30945280 6946 4294967295 134512640 135726644 3221224576 3221221664 134556187 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7555 6946 300 300 0 7255 0
vsize: 30220
[startup+360.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 9917 0 0 0 35965 38 0 0 25 0 1 0 864813343 31215616 7037 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7621 7037 300 300 0 7321 0
vsize: 30484
[startup+370.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10009 0 0 0 36964 39 0 0 25 0 1 0 864813343 31485952 7127 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7687 7127 300 300 0 7387 0
vsize: 30748
[startup+380.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10100 0 0 0 37964 40 0 0 25 0 1 0 864813343 31756288 7217 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7753 7217 300 300 0 7453 0
vsize: 31012
[startup+390.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10189 0 0 0 38963 41 0 0 25 0 1 0 864813343 32026624 7305 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7819 7305 300 300 0 7519 0
vsize: 31276
[startup+400.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10278 0 0 0 39962 42 0 0 25 0 1 0 864813343 32161792 7392 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7852 7392 300 300 0 7552 0
vsize: 31408
[startup+410.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10365 0 0 0 40962 42 0 0 25 0 1 0 864813343 32432128 7478 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7918 7478 300 300 0 7618 0
vsize: 31672
[startup+420.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10452 0 0 0 41961 43 0 0 25 0 1 0 864813343 32702464 7563 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7984 7563 300 300 0 7684 0
vsize: 31936
[startup+430.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10537 0 0 0 42960 44 0 0 25 0 1 0 864813343 32837632 7647 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8017 7647 300 300 0 7717 0
vsize: 32068
[startup+440.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10621 0 0 0 43960 45 0 0 25 0 1 0 864813343 33107968 7730 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8083 7730 300 300 0 7783 0
vsize: 32332
[startup+450.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10706 0 0 0 44959 46 0 0 25 0 1 0 864813343 33378304 7813 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8149 7813 300 300 0 7849 0
vsize: 32596
[startup+460.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10788 0 0 0 45958 47 0 0 25 0 1 0 864813343 33513472 7894 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8182 7894 300 300 0 7882 0
vsize: 32728
[startup+470.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10869 0 0 0 46958 48 0 0 25 0 1 0 864813343 33783808 7974 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8248 7974 300 300 0 7948 0
vsize: 32992
[startup+480.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 10952 0 0 0 47956 49 0 0 25 0 1 0 864813343 33918976 8055 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8281 8055 300 300 0 7981 0
vsize: 33124
[startup+490.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 14828 0 0 0 48949 57 0 0 25 0 1 0 864813343 49254400 9112 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9112 300 300 0 11725 0
vsize: 48100
[startup+500.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 14857 0 0 0 49949 57 0 0 25 0 1 0 864813343 49254400 9140 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9140 300 300 0 11725 0
vsize: 48100
[startup+510.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 14886 0 0 0 50949 57 0 0 25 0 1 0 864813343 49254400 9167 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9167 300 300 0 11725 0
vsize: 48100
[startup+520.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 14913 0 0 0 51949 57 0 0 25 0 1 0 864813343 49254400 9193 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9193 300 300 0 11725 0
vsize: 48100
[startup+530.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 14940 0 0 0 52948 58 0 0 25 0 1 0 864813343 49254400 9219 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9219 300 300 0 11725 0
vsize: 48100
[startup+540.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 14967 0 0 0 53948 58 0 0 25 0 1 0 864813343 49254400 9245 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9245 300 300 0 11725 0
vsize: 48100
[startup+550.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 14994 0 0 0 54948 59 0 0 25 0 1 0 864813343 49254400 9271 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9271 300 300 0 11725 0
vsize: 48100
[startup+560.026 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15021 0 0 0 55947 59 0 0 25 0 1 0 864813343 49254400 9296 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9296 300 300 0 11725 0
vsize: 48100
[startup+570.027 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15047 0 0 0 56947 60 0 0 25 0 1 0 864813343 49254400 9321 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9321 300 300 0 11725 0
vsize: 48100
[startup+580.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15073 0 0 0 57946 60 0 0 25 0 1 0 864813343 49254400 9346 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9346 300 300 0 11725 0
vsize: 48100
[startup+590.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15100 0 0 0 58946 61 0 0 25 0 1 0 864813343 49254400 9372 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9372 300 300 0 11725 0
vsize: 48100
[startup+600.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15125 0 0 0 59946 61 0 0 25 0 1 0 864813343 49254400 9396 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9396 300 300 0 11725 0
vsize: 48100
[startup+610.028 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15151 0 0 0 60946 61 0 0 25 0 1 0 864813343 49254400 9420 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9420 300 300 0 11725 0
vsize: 48100
[startup+620.029 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15196 0 0 0 61945 62 0 0 25 0 1 0 864813343 49254400 9464 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9464 300 300 0 11725 0
vsize: 48100
[startup+630.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15227 0 0 0 62946 62 0 0 25 0 1 0 864813343 49254400 9494 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9494 300 300 0 11725 0
vsize: 48100
[startup+640.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15253 0 0 0 63945 63 0 0 25 0 1 0 864813343 49254400 9519 4294967295 134512640 135726644 3221224576 3221221664 134556188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9519 300 300 0 11725 0
vsize: 48100
[startup+650.034 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15277 0 0 0 64945 63 0 0 25 0 1 0 864813343 49254400 9542 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9542 300 300 0 11725 0
vsize: 48100
[startup+660.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15302 0 0 0 65945 63 0 0 25 0 1 0 864813343 49254400 9566 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9566 300 300 0 11725 0
vsize: 48100
[startup+670.035 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15326 0 0 0 66945 64 0 0 25 0 1 0 864813343 49254400 9589 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9589 300 300 0 11725 0
vsize: 48100
[startup+680.039 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15372 0 0 0 67945 64 0 0 25 0 1 0 864813343 49389568 9633 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12058 9633 300 300 0 11758 0
vsize: 48232
[startup+690.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15438 0 0 0 68944 65 0 0 25 0 1 0 864813343 49524736 9698 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12091 9698 300 300 0 11791 0
vsize: 48364
[startup+700.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15506 0 0 0 69944 66 0 0 25 0 1 0 864813343 49795072 9765 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12157 9765 300 300 0 11857 0
vsize: 48628
[startup+710.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15573 0 0 0 70943 66 0 0 25 0 1 0 864813343 49930240 9831 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12190 9831 300 300 0 11890 0
vsize: 48760
[startup+720.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15639 0 0 0 71943 66 0 0 25 0 1 0 864813343 50065408 9896 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12223 9896 300 300 0 11923 0
vsize: 48892
[startup+730.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15705 0 0 0 72942 68 0 0 25 0 1 0 864813343 50335744 9961 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12289 9961 300 300 0 11989 0
vsize: 49156
[startup+740.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15770 0 0 0 73942 68 0 0 25 0 1 0 864813343 50470912 10025 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12322 10025 300 300 0 12022 0
vsize: 49288
[startup+750.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15836 0 0 0 74941 68 0 0 25 0 1 0 864813343 50606080 10090 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12355 10090 300 300 0 12055 0
vsize: 49420
[startup+760.041 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15901 0 0 0 75941 69 0 0 25 0 1 0 864813343 50741248 10154 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12388 10154 300 300 0 12088 0
vsize: 49552
[startup+770.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 15966 0 0 0 76940 70 0 0 25 0 1 0 864813343 51011584 10218 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12454 10218 300 300 0 12154 0
vsize: 49816
[startup+780.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16029 0 0 0 77940 70 0 0 25 0 1 0 864813343 51146752 10280 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12487 10280 300 300 0 12187 0
vsize: 49948
[startup+790.042 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16093 0 0 0 78940 71 0 0 25 0 1 0 864813343 51281920 10343 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12520 10343 300 300 0 12220 0
vsize: 50080
[startup+800.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16156 0 0 0 79939 71 0 0 25 0 1 0 864813343 51417088 10405 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12553 10405 300 300 0 12253 0
vsize: 50212
[startup+810.043 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16218 0 0 0 80939 72 0 0 25 0 1 0 864813343 51687424 10466 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12619 10466 300 300 0 12319 0
vsize: 50476
[startup+820.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16280 0 0 0 81938 73 0 0 25 0 1 0 864813343 51822592 10527 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12652 10527 300 300 0 12352 0
vsize: 50608
[startup+830.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16342 0 0 0 82938 73 0 0 25 0 1 0 864813343 51957760 10588 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12685 10588 300 300 0 12385 0
vsize: 50740
[startup+840.044 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16404 0 0 0 83937 74 0 0 25 0 1 0 864813343 52092928 10649 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12718 10649 300 300 0 12418 0
vsize: 50872
[startup+850.045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16466 0 0 0 84936 75 0 0 25 0 1 0 864813343 52363264 10710 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12784 10710 300 300 0 12484 0
vsize: 51136
[startup+860.045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16527 0 0 0 85936 75 0 0 25 0 1 0 864813343 52498432 10770 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12817 10770 300 300 0 12517 0
vsize: 51268
[startup+870.045 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16587 0 0 0 86935 76 0 0 25 0 1 0 864813343 52633600 10829 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12850 10829 300 300 0 12550 0
vsize: 51400
[startup+880.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16648 0 0 0 87935 76 0 0 25 0 1 0 864813343 52768768 10889 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12883 10889 300 300 0 12583 0
vsize: 51532
[startup+890.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16708 0 0 0 88935 77 0 0 25 0 1 0 864813343 52903936 10948 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12916 10948 300 300 0 12616 0
vsize: 51664
[startup+900.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16768 0 0 0 89934 78 0 0 25 0 1 0 864813343 53039104 11007 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12949 11007 300 300 0 12649 0
vsize: 51796
[startup+910.046 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16828 0 0 0 90934 78 0 0 25 0 1 0 864813343 53309440 11066 4294967295 134512640 135726644 3221224576 3221221340 135287582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13015 11066 300 300 0 12715 0
vsize: 52060
[startup+920.047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16886 0 0 0 91933 79 0 0 25 0 1 0 864813343 53444608 11123 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13048 11123 300 300 0 12748 0
vsize: 52192
[startup+930.047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 16944 0 0 0 92932 80 0 0 25 0 1 0 864813343 53579776 11180 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13081 11180 300 300 0 12781 0
vsize: 52324
[startup+940.047 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17003 0 0 0 93932 80 0 0 25 0 1 0 864813343 53714944 11238 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13114 11238 300 300 0 12814 0
vsize: 52456
[startup+950.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17062 0 0 0 94931 81 0 0 25 0 1 0 864813343 53850112 11296 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13147 11296 300 300 0 12847 0
vsize: 52588
[startup+960.048 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17119 0 0 0 95930 82 0 0 25 0 1 0 864813343 53985280 11352 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13180 11352 300 300 0 12880 0
vsize: 52720
[startup+970.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17177 0 0 0 96930 83 0 0 25 0 1 0 864813343 54120448 11409 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13213 11409 300 300 0 12913 0
vsize: 52852
[startup+980.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17234 0 0 0 97930 83 0 0 25 0 1 0 864813343 54390784 11465 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13279 11465 300 300 0 12979 0
vsize: 53116
[startup+990.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17290 0 0 0 98929 84 0 0 25 0 1 0 864813343 54525952 11521 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13312 11521 300 300 0 13012 0
vsize: 53248
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17347 0 0 0 99929 84 0 0 25 0 1 0 864813343 54661120 11577 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13345 11577 300 300 0 13045 0
vsize: 53380
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17403 0 0 0 100928 84 0 0 25 0 1 0 864813343 54796288 11632 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13378 11632 300 300 0 13078 0
vsize: 53512
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17459 0 0 0 101928 85 0 0 25 0 1 0 864813343 54931456 11687 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13411 11687 300 300 0 13111 0
vsize: 53644
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17516 0 0 0 102927 86 0 0 25 0 1 0 864813343 55066624 11743 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13444 11743 300 300 0 13144 0
vsize: 53776
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17571 0 0 0 103927 86 0 0 25 0 1 0 864813343 55201792 11797 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13477 11797 300 300 0 13177 0
vsize: 53908
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17626 0 0 0 104926 87 0 0 25 0 1 0 864813343 55336960 11851 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13510 11851 300 300 0 13210 0
vsize: 54040
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17681 0 0 0 105925 88 0 0 25 0 1 0 864813343 55472128 11905 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13543 11905 300 300 0 13243 0
vsize: 54172
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17736 0 0 0 106925 89 0 0 25 0 1 0 864813343 55607296 11959 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13576 11959 300 300 0 13276 0
vsize: 54304
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17791 0 0 0 107924 90 0 0 25 0 1 0 864813343 55742464 12013 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13609 12013 300 300 0 13309 0
vsize: 54436
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17844 0 0 0 108923 91 0 0 25 0 1 0 864813343 55877632 12066 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13642 12066 300 300 0 13342 0
vsize: 54568
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17899 0 0 0 109923 91 0 0 25 0 1 0 864813343 56147968 12120 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13708 12120 300 300 0 13408 0
vsize: 54832
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 17952 0 0 0 110923 91 0 0 25 0 1 0 864813343 56283136 12172 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13741 12172 300 300 0 13441 0
vsize: 54964
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 18006 0 0 0 111923 92 0 0 25 0 1 0 864813343 56418304 12225 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13774 12225 300 300 0 13474 0
vsize: 55096
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 18059 0 0 0 112922 92 0 0 25 0 1 0 864813343 56553472 12277 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13807 12277 300 300 0 13507 0
vsize: 55228
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 18113 0 0 0 113922 93 0 0 25 0 1 0 864813343 56688640 12330 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13840 12330 300 300 0 13540 0
vsize: 55360
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 18166 0 0 0 114921 94 0 0 25 0 1 0 864813343 56823808 12382 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13873 12382 300 300 0 13573 0
vsize: 55492
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 18217 0 0 0 115921 94 0 0 25 0 1 0 864813343 56958976 12433 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13906 12433 300 300 0 13606 0
vsize: 55624
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 18270 0 0 0 116920 95 0 0 25 0 1 0 864813343 57094144 12485 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13939 12485 300 300 0 13639 0
vsize: 55756
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 18322 0 0 0 117920 95 0 0 25 0 1 0 864813343 57229312 12536 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13972 12536 300 300 0 13672 0
vsize: 55888
[startup+1190.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 18374 0 0 0 118920 95 0 0 25 0 1 0 864813343 57364480 12587 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14005 12587 300 300 0 13705 0
vsize: 56020
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 32708
Raw data (stat): 32708 (pb2sat) R 32707 23310 23309 0 -1 0 18428 0 0 0 119920 95 0 0 25 0 1 0 864813343 57499648 12640 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14038 12640 300 300 0 13738 0
vsize: 56152
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.21 s]
Raw data (loadavg): 1.00 0.98 0.91 1/54 32708
Raw data (stat): 32708 (pb2sat) Z 32707 23310 23309 0 -1 12 18431 0 0 0 120032 98 0 0 25 0 1 0 864813343 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.2
CPU time (s): 1201.31
CPU user time (s): 1200.33
CPU system time (s): 0.98485
CPU usage (%): 100.009
Max. virtual memory (Kb): 56152
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####