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-mod011.opb
MD5SUM	affd575590f5a6117d93002dff93565b
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	212680
Biggest coefficient in the objective function	38252041742581760
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	82366741301042724864
Number of bits of the sum of numbers in the objective function	67
Biggest number in a constraint	38252041742581760
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	82366741301042724864
Number of bits of the biggest sum of numbers	67
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.86856
Number of variables	309773
Total number of constraints	6093
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	128
Number of constraints which are nor clauses,nor cardinality constraints	5965
Minimum length of a constraint	1
Maximum length of a constraint	24690
Trace number 35298

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-28 12:24:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24507 boxname=wulflinc25 idbench=979 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  affd575590f5a6117d93002dff93565b  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-mod011.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-mod011.opb
IDLAUNCH: 24507
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        656716 kB
Buffers:         36576 kB
Cached:         320244 kB
SwapCached:        996 kB
Active:          46840 kB
Inactive:       312100 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        656464 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            13224 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:45:01 (client local time) WITH STATUS 0 IN 1201.18 SECONDS
stats: 24507 7 1201.18 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): 0.91 0.95 0.90 2/54 9121
Raw data (stat): 9121 (runsolver) R 9120 1586 1585 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864797939 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+10 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 2157 0 0 0 994 5 0 0 25 0 1 0 864797939 7954432 1481 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1942 1481 300 300 0 1642 0
vsize: 7768
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 2676 0 0 0 1992 7 0 0 25 0 1 0 864797939 9306112 1992 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2272 1992 300 300 0 1972 0
vsize: 9088
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 3844 0 0 0 2989 11 0 0 25 0 1 0 864797939 13410304 2448 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3274 2448 300 300 0 2974 0
vsize: 13096
[startup+40.0018 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 4059 0 0 0 3988 12 0 0 25 0 1 0 864797939 13950976 2659 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3406 2659 300 300 0 3106 0
vsize: 13624
[startup+50.0064 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 4322 0 0 0 4987 13 0 0 25 0 1 0 864797939 14626816 2917 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3571 2917 300 300 0 3271 0
vsize: 14284
[startup+60.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 4556 0 0 0 5986 14 0 0 25 0 1 0 864797939 15167488 3148 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3703 3148 300 300 0 3403 0
vsize: 14812
[startup+70.0061 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 4771 0 0 0 6986 15 0 0 25 0 1 0 864797939 15708160 3359 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3835 3359 300 300 0 3535 0
vsize: 15340
[startup+80.0063 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 4969 0 0 0 7985 16 0 0 25 0 1 0 864797939 16248832 3554 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3967 3554 300 300 0 3667 0
vsize: 15868
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 5156 0 0 0 8984 17 0 0 25 0 1 0 864797939 16789504 3738 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4099 3738 300 300 0 3799 0
vsize: 16396
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 5333 0 0 0 9982 19 0 0 25 0 1 0 864797939 17195008 3912 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4198 3912 300 300 0 3898 0
vsize: 16792
[startup+110.108 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 5504 0 0 0 10991 20 0 0 25 0 1 0 864797939 17735680 4080 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4330 4080 300 300 0 4030 0
vsize: 17320
[startup+120.109 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 7494 0 0 0 11988 23 0 0 25 0 1 0 864797939 25403392 4658 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4658 300 300 0 5902 0
vsize: 24808
[startup+130.109 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 7550 0 0 0 12988 24 0 0 25 0 1 0 864797939 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.109 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 7602 0 0 0 13987 24 0 0 25 0 1 0 864797939 25403392 4761 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4761 300 300 0 5902 0
vsize: 24808
[startup+150.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 7680 0 0 0 14989 25 0 0 25 0 1 0 864797939 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.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 7729 0 0 0 15968 25 0 0 25 0 1 0 864797939 25403392 4883 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4883 300 300 0 5902 0
vsize: 24808
[startup+170.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 7852 0 0 0 16968 26 0 0 25 0 1 0 864797939 25808896 5004 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6301 5004 300 300 0 6001 0
vsize: 25204
[startup+180.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 7982 0 0 0 17967 27 0 0 25 0 1 0 864797939 26079232 5132 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6367 5132 300 300 0 6067 0
vsize: 25468
[startup+190.125 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 8109 0 0 0 18966 28 0 0 25 0 1 0 864797939 26484736 5257 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6466 5257 300 300 0 6166 0
vsize: 25864
[startup+200.124 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 8235 0 0 0 19965 29 0 0 25 0 1 0 864797939 26755072 5381 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6532 5381 300 300 0 6232 0
vsize: 26128
[startup+210.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 8357 0 0 0 20966 29 0 0 25 0 1 0 864797939 27160576 5501 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6631 5501 300 300 0 6331 0
vsize: 26524
[startup+220.128 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 8477 0 0 0 21965 29 0 0 25 0 1 0 864797939 27430912 5619 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6697 5619 300 300 0 6397 0
vsize: 26788
[startup+230.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 8593 0 0 0 22965 30 0 0 25 0 1 0 864797939 27701248 5733 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6763 5733 300 300 0 6463 0
vsize: 27052
[startup+240.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 8708 0 0 0 23965 30 0 0 25 0 1 0 864797939 28106752 5846 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6862 5846 300 300 0 6562 0
vsize: 27448
[startup+250.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 8819 0 0 0 24965 30 0 0 25 0 1 0 864797939 28377088 5956 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6928 5956 300 300 0 6628 0
vsize: 27712
[startup+260.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 8929 0 0 0 25965 31 0 0 25 0 1 0 864797939 28647424 6064 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6994 6064 300 300 0 6694 0
vsize: 27976
[startup+270.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 9038 0 0 0 26965 31 0 0 25 0 1 0 864797939 28917760 6171 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7060 6171 300 300 0 6760 0
vsize: 28240
[startup+280.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 9143 0 0 0 27964 31 0 0 25 0 1 0 864797939 29188096 6274 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7126 6274 300 300 0 6826 0
vsize: 28504
[startup+290.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 9247 0 0 0 28963 32 0 0 25 0 1 0 864797939 29458432 6377 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7192 6377 300 300 0 6892 0
vsize: 28768
[startup+300.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 9349 0 0 0 29963 32 0 0 25 0 1 0 864797939 29728768 6477 4294967295 134512640 135726644 3221224576 3221221728 134573146 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7258 6477 300 300 0 6958 0
vsize: 29032
[startup+310.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 9451 0 0 0 30962 33 0 0 25 0 1 0 864797939 29999104 6577 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7324 6577 300 300 0 7024 0
vsize: 29296
[startup+320.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 9550 0 0 0 31962 33 0 0 25 0 1 0 864797939 30269440 6675 4294967295 134512640 135726644 3221224576 3221221272 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7390 6675 300 300 0 7090 0
vsize: 29560
[startup+330.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 9648 0 0 0 32962 33 0 0 25 0 1 0 864797939 30539776 6771 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7456 6771 300 300 0 7156 0
vsize: 29824
[startup+340.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 9744 0 0 0 33961 34 0 0 25 0 1 0 864797939 30810112 6866 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7522 6866 300 300 0 7222 0
vsize: 30088
[startup+350.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 9841 0 0 0 34961 34 0 0 25 0 1 0 864797939 31080448 6961 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7588 6961 300 300 0 7288 0
vsize: 30352
[startup+360.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 9933 0 0 0 35961 34 0 0 25 0 1 0 864797939 31215616 7052 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7621 7052 300 300 0 7321 0
vsize: 30484
[startup+370.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 10027 0 0 0 36961 35 0 0 25 0 1 0 864797939 31485952 7144 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7687 7144 300 300 0 7387 0
vsize: 30748
[startup+380.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 10119 0 0 0 37961 35 0 0 25 0 1 0 864797939 31756288 7235 4294967295 134512640 135726644 3221224576 3221221448 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7753 7235 300 300 0 7453 0
vsize: 31012
[startup+390.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 10210 0 0 0 38961 35 0 0 25 0 1 0 864797939 32026624 7324 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7819 7324 300 300 0 7519 0
vsize: 31276
[startup+400.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 10297 0 0 0 39960 36 0 0 25 0 1 0 864797939 32296960 7410 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7885 7410 300 300 0 7585 0
vsize: 31540
[startup+410.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 10386 0 0 0 40959 36 0 0 25 0 1 0 864797939 32432128 7497 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7918 7497 300 300 0 7618 0
vsize: 31672
[startup+420.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 10473 0 0 0 41959 37 0 0 25 0 1 0 864797939 32702464 7583 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7984 7583 300 300 0 7684 0
vsize: 31936
[startup+430.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 10559 0 0 0 42959 37 0 0 25 0 1 0 864797939 32972800 7668 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8050 7668 300 300 0 7750 0
vsize: 32200
[startup+440.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 10645 0 0 0 43959 37 0 0 25 0 1 0 864797939 33107968 7752 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8083 7752 300 300 0 7783 0
vsize: 32332
[startup+450.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 10730 0 0 0 44959 38 0 0 25 0 1 0 864797939 33378304 7836 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8149 7836 300 300 0 7849 0
vsize: 32596
[startup+460.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 10812 0 0 0 45958 38 0 0 25 0 1 0 864797939 33648640 7917 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8215 7917 300 300 0 7915 0
vsize: 32860
[startup+470.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 10896 0 0 0 46958 38 0 0 25 0 1 0 864797939 33783808 7999 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8248 7999 300 300 0 7948 0
vsize: 32992
[startup+480.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 14810 0 0 0 47951 46 0 0 25 0 1 0 864797939 49254400 9094 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9094 300 300 0 11725 0
vsize: 48100
[startup+490.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 14838 0 0 0 48951 46 0 0 25 0 1 0 864797939 49254400 9121 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9121 300 300 0 11725 0
vsize: 48100
[startup+500.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 14867 0 0 0 49952 46 0 0 25 0 1 0 864797939 49254400 9148 4294967295 134512640 135726644 3221224576 3221221584 134847368 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9148 300 300 0 11725 0
vsize: 48100
[startup+510.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 14895 0 0 0 50951 46 0 0 25 0 1 0 864797939 49254400 9175 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9175 300 300 0 11725 0
vsize: 48100
[startup+520.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 14923 0 0 0 51951 46 0 0 25 0 1 0 864797939 49254400 9202 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9202 300 300 0 11725 0
vsize: 48100
[startup+530.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 14950 0 0 0 52950 47 0 0 25 0 1 0 864797939 49254400 9228 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9228 300 300 0 11725 0
vsize: 48100
[startup+540.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 14978 0 0 0 53951 47 0 0 25 0 1 0 864797939 49254400 9254 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9254 300 300 0 11725 0
vsize: 48100
[startup+550.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15005 0 0 0 54951 47 0 0 25 0 1 0 864797939 49254400 9280 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9280 300 300 0 11725 0
vsize: 48100
[startup+560.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15032 0 0 0 55951 47 0 0 25 0 1 0 864797939 49254400 9306 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9306 300 300 0 11725 0
vsize: 48100
[startup+570.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15059 0 0 0 56951 47 0 0 25 0 1 0 864797939 49254400 9332 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9332 300 300 0 11725 0
vsize: 48100
[startup+580.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15086 0 0 0 57951 47 0 0 25 0 1 0 864797939 49254400 9357 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9357 300 300 0 11725 0
vsize: 48100
[startup+590.136 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15112 0 0 0 58950 47 0 0 25 0 1 0 864797939 49254400 9382 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9382 300 300 0 11725 0
vsize: 48100
[startup+600.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15137 0 0 0 59950 48 0 0 25 0 1 0 864797939 49254400 9406 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9406 300 300 0 11725 0
vsize: 48100
[startup+610.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15168 0 0 0 60950 48 0 0 25 0 1 0 864797939 49254400 9436 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9436 300 300 0 11725 0
vsize: 48100
[startup+620.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15215 0 0 0 61950 49 0 0 25 0 1 0 864797939 49254400 9482 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9482 300 300 0 11725 0
vsize: 48100
[startup+630.138 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15240 0 0 0 62950 49 0 0 25 0 1 0 864797939 49254400 9506 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9506 300 300 0 11725 0
vsize: 48100
[startup+640.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15266 0 0 0 63950 49 0 0 25 0 1 0 864797939 49254400 9530 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9530 300 300 0 11725 0
vsize: 48100
[startup+650.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15292 0 0 0 64950 49 0 0 25 0 1 0 864797939 49254400 9555 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9555 300 300 0 11725 0
vsize: 48100
[startup+660.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15316 0 0 0 65950 49 0 0 25 0 1 0 864797939 49254400 9578 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9578 300 300 0 11725 0
vsize: 48100
[startup+670.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15341 0 0 0 66950 49 0 0 25 0 1 0 864797939 49254400 9602 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9602 300 300 0 11725 0
vsize: 48100
[startup+680.14 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15409 0 0 0 67950 50 0 0 25 0 1 0 864797939 49524736 9669 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12091 9669 300 300 0 11791 0
vsize: 48364
[startup+690.14 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15477 0 0 0 68950 50 0 0 25 0 1 0 864797939 49659904 9736 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12124 9736 300 300 0 11824 0
vsize: 48496
[startup+700.139 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15545 0 0 0 69950 50 0 0 25 0 1 0 864797939 49795072 9803 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9803 300 300 0 11857 0
vsize: 48628
[startup+710.141 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15612 0 0 0 70949 50 0 0 25 0 1 0 864797939 50065408 9869 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12223 9869 300 300 0 11923 0
vsize: 48892
[startup+720.141 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15680 0 0 0 71949 51 0 0 25 0 1 0 864797939 50200576 9936 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12256 9936 300 300 0 11956 0
vsize: 49024
[startup+730.141 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15747 0 0 0 72949 51 0 0 25 0 1 0 864797939 50335744 10001 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12289 10001 300 300 0 11989 0
vsize: 49156
[startup+740.141 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15812 0 0 0 73949 51 0 0 25 0 1 0 864797939 50606080 10065 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12355 10065 300 300 0 12055 0
vsize: 49420
[startup+750.141 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15879 0 0 0 74949 51 0 0 25 0 1 0 864797939 50741248 10131 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12388 10131 300 300 0 12088 0
vsize: 49552
[startup+760.141 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 15944 0 0 0 75949 52 0 0 25 0 1 0 864797939 50876416 10195 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12421 10195 300 300 0 12121 0
vsize: 49684
[startup+770.141 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16008 0 0 0 76948 52 0 0 25 0 1 0 864797939 51146752 10258 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12487 10258 300 300 0 12187 0
vsize: 49948
[startup+780.142 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16073 0 0 0 77948 52 0 0 25 0 1 0 864797939 51281920 10322 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12520 10322 300 300 0 12220 0
vsize: 50080
[startup+790.142 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16136 0 0 0 78948 52 0 0 25 0 1 0 864797939 51417088 10384 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12553 10384 300 300 0 12253 0
vsize: 50212
[startup+800.141 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16201 0 0 0 79949 52 0 0 25 0 1 0 864797939 51552256 10448 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12586 10448 300 300 0 12286 0
vsize: 50344
[startup+810.141 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16263 0 0 0 80948 53 0 0 25 0 1 0 864797939 51822592 10509 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12652 10509 300 300 0 12352 0
vsize: 50608
[startup+820.142 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16326 0 0 0 81949 53 0 0 25 0 1 0 864797939 51957760 10571 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12685 10571 300 300 0 12385 0
vsize: 50740
[startup+830.143 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16389 0 0 0 82948 53 0 0 25 0 1 0 864797939 52092928 10633 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12718 10633 300 300 0 12418 0
vsize: 50872
[startup+840.143 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16451 0 0 0 83948 54 0 0 25 0 1 0 864797939 52228096 10694 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12751 10694 300 300 0 12451 0
vsize: 51004
[startup+850.143 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16513 0 0 0 84948 54 0 0 25 0 1 0 864797939 52363264 10755 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12784 10755 300 300 0 12484 0
vsize: 51136
[startup+860.142 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16574 0 0 0 85948 54 0 0 25 0 1 0 864797939 52633600 10815 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12850 10815 300 300 0 12550 0
vsize: 51400
[startup+870.142 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16635 0 0 0 86948 54 0 0 25 0 1 0 864797939 52768768 10875 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12883 10875 300 300 0 12583 0
vsize: 51532
[startup+880.142 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16696 0 0 0 87948 54 0 0 25 0 1 0 864797939 52903936 10935 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 10935 300 300 0 12616 0
vsize: 51664
[startup+890.143 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16756 0 0 0 88947 55 0 0 25 0 1 0 864797939 53039104 10994 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12949 10994 300 300 0 12649 0
vsize: 51796
[startup+900.143 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16817 0 0 0 89946 56 0 0 25 0 1 0 864797939 53174272 11054 4294967295 134512640 135726644 3221224576 3221221520 134541101 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12982 11054 300 300 0 12682 0
vsize: 51928
[startup+910.143 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16876 0 0 0 90945 56 0 0 25 0 1 0 864797939 53309440 11112 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13015 11112 300 300 0 12715 0
vsize: 52060
[startup+920.144 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16934 0 0 0 91945 56 0 0 25 0 1 0 864797939 53579776 11169 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13081 11169 300 300 0 12781 0
vsize: 52324
[startup+930.145 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 16994 0 0 0 92946 56 0 0 25 0 1 0 864797939 53714944 11228 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13114 11228 300 300 0 12814 0
vsize: 52456
[startup+940.145 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17054 0 0 0 93945 57 0 0 25 0 1 0 864797939 53850112 11287 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13147 11287 300 300 0 12847 0
vsize: 52588
[startup+950.145 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17112 0 0 0 94945 57 0 0 25 0 1 0 864797939 53985280 11344 4294967295 134512640 135726644 3221224576 3221221504 134542256 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13180 11344 300 300 0 12880 0
vsize: 52720
[startup+960.145 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17171 0 0 0 95945 57 0 0 25 0 1 0 864797939 54120448 11402 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13213 11402 300 300 0 12913 0
vsize: 52852
[startup+970.145 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17227 0 0 0 96945 57 0 0 25 0 1 0 864797939 54255616 11458 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13246 11458 300 300 0 12946 0
vsize: 52984
[startup+980.145 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17284 0 0 0 97945 57 0 0 25 0 1 0 864797939 54390784 11514 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13279 11514 300 300 0 12979 0
vsize: 53116
[startup+990.146 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17342 0 0 0 98945 58 0 0 25 0 1 0 864797939 54661120 11571 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13345 11571 300 300 0 13045 0
vsize: 53380
[startup+1000.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17399 0 0 0 99945 58 0 0 25 0 1 0 864797939 54796288 11627 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13378 11627 300 300 0 13078 0
vsize: 53512
[startup+1010.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17456 0 0 0 100945 58 0 0 25 0 1 0 864797939 54931456 11683 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13411 11683 300 300 0 13111 0
vsize: 53644
[startup+1020.15 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17513 0 0 0 101945 59 0 0 25 0 1 0 864797939 55066624 11739 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13444 11739 300 300 0 13144 0
vsize: 53776
[startup+1030.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17568 0 0 0 102944 59 0 0 25 0 1 0 864797939 55201792 11793 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13477 11793 300 300 0 13177 0
vsize: 53908
[startup+1040.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17625 0 0 0 103944 59 0 0 25 0 1 0 864797939 55336960 11849 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13510 11849 300 300 0 13210 0
vsize: 54040
[startup+1050.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17682 0 0 0 104945 59 0 0 25 0 1 0 864797939 55472128 11905 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13543 11905 300 300 0 13243 0
vsize: 54172
[startup+1060.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17736 0 0 0 105945 59 0 0 25 0 1 0 864797939 55607296 11958 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13576 11958 300 300 0 13276 0
vsize: 54304
[startup+1070.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17792 0 0 0 106945 59 0 0 25 0 1 0 864797939 55742464 12013 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13609 12013 300 300 0 13309 0
vsize: 54436
[startup+1080.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17845 0 0 0 107944 60 0 0 25 0 1 0 864797939 55877632 12066 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13642 12066 300 300 0 13342 0
vsize: 54568
[startup+1090.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17900 0 0 0 108944 60 0 0 25 0 1 0 864797939 56147968 12120 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13708 12120 300 300 0 13408 0
vsize: 54832
[startup+1100.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 17955 0 0 0 109944 60 0 0 25 0 1 0 864797939 56283136 12174 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13741 12174 300 300 0 13441 0
vsize: 54964
[startup+1110.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 18010 0 0 0 110944 60 0 0 25 0 1 0 864797939 56418304 12228 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13774 12228 300 300 0 13474 0
vsize: 55096
[startup+1120.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 18063 0 0 0 111944 60 0 0 25 0 1 0 864797939 56553472 12280 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13807 12280 300 300 0 13507 0
vsize: 55228
[startup+1130.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 18117 0 0 0 112944 61 0 0 25 0 1 0 864797939 56688640 12333 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13840 12333 300 300 0 13540 0
vsize: 55360
[startup+1140.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 18170 0 0 0 113943 61 0 0 25 0 1 0 864797939 56823808 12385 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13873 12385 300 300 0 13573 0
vsize: 55492
[startup+1150.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 18222 0 0 0 114942 62 0 0 25 0 1 0 864797939 56958976 12437 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13906 12437 300 300 0 13606 0
vsize: 55624
[startup+1160.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 18275 0 0 0 115942 62 0 0 25 0 1 0 864797939 57094144 12489 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13939 12489 300 300 0 13639 0
vsize: 55756
[startup+1170.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 18327 0 0 0 116942 62 0 0 25 0 1 0 864797939 57229312 12540 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13972 12540 300 300 0 13672 0
vsize: 55888
[startup+1180.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 18381 0 0 0 117942 62 0 0 25 0 1 0 864797939 57364480 12593 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14005 12593 300 300 0 13705 0
vsize: 56020
[startup+1190.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 18433 0 0 0 118942 62 0 0 25 0 1 0 864797939 57499648 12644 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14038 12644 300 300 0 13738 0
vsize: 56152
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 9121
Raw data (stat): 9121 (pb2sat) R 9120 1586 1585 0 -1 0 18486 0 0 0 119941 63 0 0 25 0 1 0 864797939 57634816 12696 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14071 12696 300 300 0 13771 0
vsize: 56284
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.29 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 9121
Raw data (stat): 9121 (pb2sat) Z 9120 1586 1585 0 -1 12 18489 0 0 0 120051 66 0 0 24 0 1 0 864797939 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.29
CPU time (s): 1201.18
CPU user time (s): 1200.51
CPU system time (s): 0.665898
CPU usage (%): 99.9911
Max. virtual memory (Kb): 56284
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####