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/MIPLIB/miplib3/normalized-mps-v2-13-7-vpm1.opb
MD5SUM	ec9e3281577e2d3f7b25c1cc88cac9ea
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	102400
Number of bits of the biggest number in a constraint	17
Biggest sum of numbers in a constraint	615983
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.06884
Number of variables	2124
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	64
Trace number 35766

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-28 13:45:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24985 boxname=wulflinc22 idbench=1457 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ec9e3281577e2d3f7b25c1cc88cac9ea  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-vpm1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-13-7-vpm1.opb
IDLAUNCH: 24985
/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:        776372 kB
Buffers:         33684 kB
Cached:         194208 kB
SwapCached:        384 kB
Active:          54192 kB
Inactive:       183576 kB
HighTotal:      131008 kB
HighFree:        11760 kB
LowTotal:       903652 kB
LowFree:        764612 kB
SwapTotal:     2097892 kB
SwapFree:      2096800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            15056 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 14:05:53 (client local time) WITH STATUS 0 IN 1201.69 SECONDS
stats: 24985 7 1201.69 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 102944/466898	Time: 115.664/86400
Decision: 102944/466898	Time: 138.003/86400
Decision: 102944/466898	Time: 163.782/86400
Decision: 102944/466898	Time: 183.861/86400
Decision: 102944/466898	Time: 200.875/86400
Decision: 102944/466898	Time: 214.307/86400
Decision: 102944/466898	Time: 225.111/86400
Decision: 102944/466898	Time: 238.306/86400
Decision: 102944/466898	Time: 247.067/86400
Decision: 102944/466898	Time: 256.163/86400
Decision: 102944/466898	Time: 276.291/86400
Decision: 102944/466898	Time: 289.741/86400
Decision: 102944/466898	Time: 300.85/86400
Decision: 102944/466898	Time: 324.82/86400
Decision: 102944/466898	Time: 344.304/86400
Decision: 102944/466898	Time: 362.289/86400
Decision: 102944/466898	Time: 380.904/86400
Decision: 102944/466898	Time: 393.353/86400
Decision: 102944/466898	Time: 406.117/86400
Decision: 102944/466898	Time: 413.926/86400
Decision: 102944/466898	Time: 424.872/86400
Decision: 102944/466898	Time: 435.904/86400
Decision: 102944/466898	Time: 448.139/86400
Decision: 102944/466898	Time: 459.886/86400
Decision: 102944/466898	Time: 471.193/86400
Decision: 102944/466898	Time: 485.413/86400
Decision: 102944/466898	Time: 495.828/86400
Decision: 102944/466898	Time: 505.427/86400
Decision: 102944/466898	Time: 514.358/86400
Decision: 102949/466898	Time: 528.304/86400
Decision: 102949/466898	Time: 541.527/86400
Decision: 102949/466898	Time: 553.071/86400
Decision: 102949/466898	Time: 563.978/86400
Decision: 102949/466898	Time: 573.483/86400
Decision: 102949/466898	Time: 584.25/86400
Decision: 102949/466898	Time: 596.598/86400
Decision: 102949/466898	Time: 607.234/86400
Decision: 102949/466898	Time: 617.905/86400
Decision: 102949/466898	Time: 630.534/86400
Decision: 102949/466898	Time: 642.908/86400
Decision: 102949/466898	Time: 655.704/86400
Decision: 102949/466898	Time: 666.179/86400
Decision: 102949/466898	Time: 676.936/86400
Decision: 102949/466898	Time: 687.399/86400
Decision: 102949/466898	Time: 698.049/86400
Decision: 102949/466898	Time: 711.265/86400
Decision: 102949/466898	Time: 726.55/86400
Decision: 102949/466898	Time: 737.717/86400
Decision: 102949/466898	Time: 749.656/86400
Decision: 102949/466898	Time: 759.817/86400
Decision: 102949/466898	Time: 772.467/86400
Decision: 102949/466898	Time: 782.942/86400
Decision: 102949/466898	Time: 794.418/86400
Decision: 102949/466898	Time: 802.603/86400
Decision: 102949/466898	Time: 813.36/86400
Decision: 102949/466898	Time: 824.987/86400
Decision: 102949/466898	Time: 835.676/86400
Decision: 102949/466898	Time: 847.216/86400
Decision: 102949/466898	Time: 858.827/86400
Decision: 102949/466898	Time: 868.828/86400
Decision: 102949/466898	Time: 880.498/86400
Decision: 102949/466898	Time: 892.234/86400
Decision: 102949/466898	Time: 904.439/86400
Decision: 102949/466898	Time: 915.949/86400
Decision: 102949/466898	Time: 924.968/86400
Decision: 102949/466898	Time: 936.267/86400
Decision: 102949/466898	Time: 947.538/86400
Decision: 102949/466898	Time: 956.809/86400
Decision: 102949/466898	Time: 967.703/86400
Decision: 102949/466898	Time: 978.15/86400
Decision: 102949/466898	Time: 989.227/86400
Decision: 102949/466898	Time: 998.143/86400
Decision: 102949/466898	Time: 1008.78/86400
Decision: 102949/466898	Time: 1017.76/86400
Decision: 102949/466898	Time: 1028.9/86400
Decision: 102949/466898	Time: 1041.97/86400
Decision: 102949/466898	Time: 1053.33/86400
Decision: 102949/466898	Time: 1062.61/86400
Decision: 102949/466898	Time: 1071.86/86400
Decision: 102949/466898	Time: 1082.97/86400
Decision: 102949/466898	Time: 1092.9/86400
Decision: 102949/466898	Time: 1103.36/86400
Decision: 102949/466898	Time: 1113.43/86400
Decision: 102949/466898	Time: 1122.45/86400
Decision: 102949/466898	Time: 1129.56/86400
Decision: 102949/466898	Time: 1141.72/86400
Decision: 102949/466898	Time: 1151.64/86400
Decision: 102949/466898	Time: 1162.16/86400
Decision: 102949/466898	Time: 1172.95/86400s 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
Raw data (loadavg): 0.85 0.93 0.90 2/54 1417
Raw data (stat): 1417 (runsolver) R 1416 23310 23309 0 -1 64 6 0 0 0 0 0 0 0 19 0 1 0 865267505 884736 93 4294967295 134512640 135332820 3221224464 3221219360 134917321 0 0 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 93 205 205 0 11 0
vsize: 864
Current StackSize limit: 67108864 bytes
[startup+10.0009 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 27971 0 0 0 937 61 0 0 25 0 1 0 865267505 78438400 16968 4294967295 134512640 135726644 3221224592 3221213360 135284833 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19150 16968 300 300 0 18850 0
vsize: 76600
[startup+20.002 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 55140 0 0 0 1880 118 0 0 25 0 1 0 865267505 159870976 33172 4294967295 134512640 135726644 3221224592 3221222900 134765181 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39031 33172 300 300 0 38731 0
vsize: 156124
[startup+30.0027 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 57756 0 0 0 2875 122 0 0 25 0 1 0 865267505 166412288 34309 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40628 34309 300 300 0 40328 0
vsize: 162512
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 59065 0 0 0 3872 125 0 0 25 0 1 0 865267505 170835968 35045 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41708 35045 300 300 0 41408 0
vsize: 166832
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 59871 0 0 0 4871 127 0 0 25 0 1 0 865267505 174448640 35818 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42590 35818 300 300 0 42290 0
vsize: 170360
[startup+60.1064 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 61001 0 0 0 5878 130 0 0 25 0 1 0 865267505 179240960 36718 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43760 36718 300 300 0 43460 0
vsize: 175040
[startup+70.1069 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 61623 0 0 0 6876 132 0 0 25 0 1 0 865267505 182267904 37274 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44499 37274 300 300 0 44199 0
vsize: 177996
[startup+80.1069 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 63091 0 0 0 7873 135 0 0 25 0 1 0 865267505 186830848 38085 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45613 38086 300 300 0 45313 0
vsize: 182452
[startup+90.1077 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 63847 0 0 0 8871 137 0 0 25 0 1 0 865267505 189612032 38611 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46292 38611 300 300 0 45992 0
vsize: 185168
[startup+100.107 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 64055 0 0 0 9870 138 0 0 25 0 1 0 865267505 190541824 38786 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46519 38786 300 300 0 46219 0
vsize: 186076
[startup+110.108 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 64311 0 0 0 10870 139 0 0 25 0 1 0 865267505 191602688 38976 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46778 38976 300 300 0 46478 0
vsize: 187112
[startup+120.109 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 64784 0 0 0 11869 140 0 0 25 0 1 0 865267505 193323008 39284 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47198 39284 300 300 0 46898 0
vsize: 188792
[startup+130.108 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 65261 0 0 0 12867 142 0 0 25 0 1 0 865267505 195047424 39662 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47619 39662 300 300 0 47319 0
vsize: 190476
[startup+140.108 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 66516 0 0 0 13864 145 0 0 25 0 1 0 865267505 196100096 39809 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47876 39809 300 300 0 47576 0
vsize: 191504
[startup+150.109 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 66782 0 0 0 14862 147 0 0 25 0 1 0 865267505 197156864 40010 4294967295 134512640 135726644 3221224592 3221223216 134744518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48134 40010 300 300 0 47834 0
vsize: 192536
[startup+160.11 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 68053 0 0 0 15858 150 0 0 25 0 1 0 865267505 198348800 40270 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48425 40270 300 300 0 48125 0
vsize: 193700
[startup+170.109 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 68086 0 0 0 16858 150 0 0 25 0 1 0 865267505 198348800 40303 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48425 40303 300 300 0 48125 0
vsize: 193700
[startup+180.109 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 68300 0 0 0 17858 151 0 0 25 0 1 0 865267505 199143424 40451 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48619 40451 300 300 0 48319 0
vsize: 194476
[startup+190.109 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 69306 0 0 0 18856 153 0 0 25 0 1 0 865267505 199405568 40480 4294967295 134512640 135726644 3221224592 3221223216 134744603 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48683 40480 300 300 0 48383 0
vsize: 194732
[startup+200.11 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 69504 0 0 0 19855 154 0 0 25 0 1 0 865267505 200065024 40580 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48844 40580 300 300 0 48544 0
vsize: 195376
[startup+210.11 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 70425 0 0 0 20853 156 0 0 25 0 1 0 865267505 200065024 40589 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48844 40589 300 300 0 48544 0
vsize: 195376
[startup+220.111 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 71343 0 0 0 21850 159 0 0 25 0 1 0 865267505 200065024 40595 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48844 40595 300 300 0 48544 0
vsize: 195376
[startup+230.111 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 71355 0 0 0 22849 160 0 0 25 0 1 0 865267505 200065024 40607 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48844 40607 300 300 0 48544 0
vsize: 195376
[startup+240.111 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 72287 0 0 0 23847 163 0 0 25 0 1 0 865267505 200200192 40627 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48877 40627 300 300 0 48577 0
vsize: 195508
[startup+250.112 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 73323 0 0 0 24844 166 0 0 25 0 1 0 865267505 200658944 40686 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48989 40686 300 300 0 48689 0
vsize: 195956
[startup+260.113 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 74245 0 0 0 25842 168 0 0 25 0 1 0 865267505 200658944 40696 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48989 40696 300 300 0 48689 0
vsize: 195956
[startup+270.114 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 75176 0 0 0 26840 170 0 0 25 0 1 0 865267505 200658944 40715 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48989 40715 300 300 0 48689 0
vsize: 195956
[startup+280.113 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 76185 0 0 0 27836 174 0 0 25 0 1 0 865267505 200921088 40747 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49053 40747 300 300 0 48753 0
vsize: 196212
[startup+290.114 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 76227 0 0 0 28836 174 0 0 25 0 1 0 865267505 200921088 40789 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49053 40789 300 300 0 48753 0
vsize: 196212
[startup+300.114 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 77143 0 0 0 29834 177 0 0 25 0 1 0 865267505 200921088 40793 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49053 40793 300 300 0 48753 0
vsize: 196212
[startup+310.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 78078 0 0 0 30831 179 0 0 25 0 1 0 865267505 200921088 40816 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49053 40816 300 300 0 48753 0
vsize: 196212
[startup+320.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 79085 0 0 0 31828 182 0 0 25 0 1 0 865267505 201248768 40878 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49133 40878 300 300 0 48833 0
vsize: 196532
[startup+330.114 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 79135 0 0 0 32828 183 0 0 25 0 1 0 865267505 201383936 40928 4294967295 134512640 135726644 3221224592 3221223216 134744656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49166 40928 300 300 0 48866 0
vsize: 196664
[startup+340.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 79388 0 0 0 33828 184 0 0 25 0 1 0 865267505 202182656 41082 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49361 41082 300 300 0 49061 0
vsize: 197444
[startup+350.115 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 80354 0 0 0 34825 187 0 0 25 0 1 0 865267505 202313728 41103 4294967295 134512640 135726644 3221224592 3221223248 134731240 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49393 41103 300 300 0 49093 0
vsize: 197572
[startup+360.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 80368 0 0 0 35825 187 0 0 25 0 1 0 865267505 202313728 41117 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49393 41117 300 300 0 49093 0
vsize: 197572
[startup+370.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 81296 0 0 0 36823 189 0 0 25 0 1 0 865267505 202313728 41133 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49393 41133 300 300 0 49093 0
vsize: 197572
[startup+380.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 82268 0 0 0 37820 193 0 0 25 0 1 0 865267505 202579968 41193 4294967295 134512640 135726644 3221224592 3221223140 135298015 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49458 41193 300 300 0 49158 0
vsize: 197832
[startup+390.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 82273 0 0 0 38819 193 0 0 25 0 1 0 865267505 202579968 41198 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49458 41198 300 300 0 49158 0
vsize: 197832
[startup+400.117 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 83246 0 0 0 39816 196 0 0 25 0 1 0 865267505 202711040 41226 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41226 300 300 0 49190 0
vsize: 197960
[startup+410.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 83253 0 0 0 40816 197 0 0 25 0 1 0 865267505 202711040 41233 4294967295 134512640 135726644 3221224592 3221223216 134744606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41233 300 300 0 49190 0
vsize: 197960
[startup+420.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 84174 0 0 0 41813 200 0 0 25 0 1 0 865267505 202711040 41242 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41242 300 300 0 49190 0
vsize: 197960
[startup+430.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 85102 0 0 0 42811 202 0 0 25 0 1 0 865267505 202711040 41258 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41258 300 300 0 49190 0
vsize: 197960
[startup+440.118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 86028 0 0 0 43808 205 0 0 25 0 1 0 865267505 202711040 41272 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41272 300 300 0 49190 0
vsize: 197960
[startup+450.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 86949 0 0 0 44806 208 0 0 25 0 1 0 865267505 202711040 41281 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41281 300 300 0 49190 0
vsize: 197960
[startup+460.119 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 87865 0 0 0 45802 211 0 0 25 0 1 0 865267505 202711040 41285 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41285 300 300 0 49190 0
vsize: 197960
[startup+470.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 88784 0 0 0 46799 215 0 0 25 0 1 0 865267505 202711040 41292 4294967295 134512640 135726644 3221224592 3221223088 134743931 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41292 300 300 0 49190 0
vsize: 197960
[startup+480.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 89704 0 0 0 47797 218 0 0 25 0 1 0 865267505 202711040 41300 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41300 300 300 0 49190 0
vsize: 197960
[startup+490.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 90626 0 0 0 48794 221 0 0 25 0 1 0 865267505 202711040 41310 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41310 300 300 0 49190 0
vsize: 197960
[startup+500.12 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 90635 0 0 0 49793 222 0 0 25 0 1 0 865267505 202711040 41319 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41319 300 300 0 49190 0
vsize: 197960
[startup+510.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 91550 0 0 0 50790 224 0 0 25 0 1 0 865267505 202711040 41322 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49490 41322 300 300 0 49190 0
vsize: 197960
[startup+520.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 92509 0 0 0 51788 228 0 0 25 0 1 0 865267505 202981376 41369 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49556 41369 300 300 0 49256 0
vsize: 198224
[startup+530.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 92543 0 0 0 52786 229 0 0 25 0 1 0 865267505 203116544 41403 4294967295 134512640 135726644 3221224592 3221223216 134744485 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41403 300 300 0 49289 0
vsize: 198356
[startup+540.122 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 93470 0 0 0 53783 232 0 0 25 0 1 0 865267505 203116544 41418 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41418 300 300 0 49289 0
vsize: 198356
[startup+550.121 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 94398 0 0 0 54780 235 0 0 25 0 1 0 865267505 203116544 41434 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41434 300 300 0 49289 0
vsize: 198356
[startup+560.137 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 95318 0 0 0 55779 238 0 0 25 0 1 0 865267505 203116544 41442 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41442 300 300 0 49289 0
vsize: 198356
[startup+570.145 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 95322 0 0 0 56779 239 0 0 25 0 1 0 865267505 203116544 41446 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41446 300 300 0 49289 0
vsize: 198356
[startup+580.152 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 96244 0 0 0 57777 242 0 0 25 0 1 0 865267505 203116544 41456 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41456 300 300 0 49289 0
vsize: 198356
[startup+590.155 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 97167 0 0 0 58774 246 0 0 25 0 1 0 865267505 203116544 41467 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41467 300 300 0 49289 0
vsize: 198356
[startup+600.167 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 98092 0 0 0 59772 249 0 0 25 0 1 0 865267505 203116544 41480 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49589 41480 300 300 0 49289 0
vsize: 198356
[startup+610.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 99033 0 0 0 60767 252 0 0 25 0 1 0 865267505 203251712 41509 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41509 300 300 0 49322 0
vsize: 198488
[startup+620.168 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 99951 0 0 0 61765 255 0 0 25 0 1 0 865267505 203251712 41515 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41515 300 300 0 49322 0
vsize: 198488
[startup+630.177 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 100872 0 0 0 62763 258 0 0 25 0 1 0 865267505 203251712 41524 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41524 300 300 0 49322 0
vsize: 198488
[startup+640.177 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 101795 0 0 0 63759 261 0 0 25 0 1 0 865267505 203251712 41535 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41535 300 300 0 49322 0
vsize: 198488
[startup+650.177 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 102718 0 0 0 64757 264 0 0 25 0 1 0 865267505 203251712 41546 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41546 300 300 0 49322 0
vsize: 198488
[startup+660.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 102734 0 0 0 65755 266 0 0 25 0 1 0 865267505 203251712 41562 4294967295 134512640 135726644 3221224592 3221223104 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41562 300 300 0 49322 0
vsize: 198488
[startup+670.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 103662 0 0 0 66752 269 0 0 25 0 1 0 865267505 203251712 41578 4294967295 134512640 135726644 3221224592 3221223088 134744354 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49622 41578 300 300 0 49322 0
vsize: 198488
[startup+680.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 104585 0 0 0 67750 272 0 0 25 0 1 0 865267505 203378688 41589 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49653 41589 300 300 0 49353 0
vsize: 198612
[startup+690.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 105510 0 0 0 68748 274 0 0 25 0 1 0 865267505 203378688 41602 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49653 41602 300 300 0 49353 0
vsize: 198612
[startup+700.178 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 106437 0 0 0 69744 278 0 0 25 0 1 0 865267505 203378688 41617 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49653 41617 300 300 0 49353 0
vsize: 198612
[startup+710.179 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 107387 0 0 0 70742 280 0 0 25 0 1 0 865267505 203513856 41655 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49686 41655 300 300 0 49386 0
vsize: 198744
[startup+720.184 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 108310 0 0 0 71739 284 0 0 25 0 1 0 865267505 203513856 41666 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49686 41666 300 300 0 49386 0
vsize: 198744
[startup+730.202 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 109229 0 0 0 72738 287 0 0 25 0 1 0 865267505 203513856 41673 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49686 41673 300 300 0 49386 0
vsize: 198744
[startup+740.202 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 109299 0 0 0 73738 288 0 0 25 0 1 0 865267505 203919360 41743 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49785 41743 300 300 0 49485 0
vsize: 199140
[startup+750.202 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 110219 0 0 0 74734 291 0 0 25 0 1 0 865267505 203919360 41751 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49785 41751 300 300 0 49485 0
vsize: 199140
[startup+760.203 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 111182 0 0 0 75731 295 0 0 25 0 1 0 865267505 204189696 41802 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41802 300 300 0 49551 0
vsize: 199404
[startup+770.203 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 112105 0 0 0 76728 298 0 0 25 0 1 0 865267505 204189696 41813 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41813 300 300 0 49551 0
vsize: 199404
[startup+780.203 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 113030 0 0 0 77726 300 0 0 25 0 1 0 865267505 204189696 41826 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41826 300 300 0 49551 0
vsize: 199404
[startup+790.203 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 113951 0 0 0 78723 303 0 0 25 0 1 0 865267505 204189696 41835 4294967295 134512640 135726644 3221224592 3221223132 135297973 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41835 300 300 0 49551 0
vsize: 199404
[startup+800.204 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 113956 0 0 0 79723 303 0 0 25 0 1 0 865267505 204189696 41840 4294967295 134512640 135726644 3221224592 3221223104 134742651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41840 300 300 0 49551 0
vsize: 199404
[startup+810.204 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 114876 0 0 0 80720 306 0 0 25 0 1 0 865267505 204189696 41848 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41848 300 300 0 49551 0
vsize: 199404
[startup+820.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 115805 0 0 0 81718 309 0 0 25 0 1 0 865267505 204189696 41865 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41865 300 300 0 49551 0
vsize: 199404
[startup+830.208 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 116728 0 0 0 82715 312 0 0 25 0 1 0 865267505 204189696 41876 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41876 300 300 0 49551 0
vsize: 199404
[startup+840.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 117648 0 0 0 83713 315 0 0 25 0 1 0 865267505 204189696 41884 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41884 300 300 0 49551 0
vsize: 199404
[startup+850.209 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1417
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 118565 0 0 0 84709 318 0 0 25 0 1 0 865267505 204189696 41889 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49851 41889 300 300 0 49551 0
vsize: 199404
[startup+860.21 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 1470
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 119497 0 0 0 85704 322 0 0 25 0 1 0 865267505 204324864 41909 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49884 41909 300 300 0 49584 0
vsize: 199536
[startup+870.21 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 1470
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 120414 0 0 0 86702 325 0 0 25 0 1 0 865267505 204324864 41914 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49884 41914 300 300 0 49584 0
vsize: 199536
[startup+880.211 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 1470
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 121335 0 0 0 87699 328 0 0 25 0 1 0 865267505 204324864 41923 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49884 41923 300 300 0 49584 0
vsize: 199536
[startup+890.211 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 1470
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 122256 0 0 0 88696 331 0 0 25 0 1 0 865267505 204324864 41932 4294967295 134512640 135726644 3221224592 3221223200 134741242 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49884 41932 300 300 0 49584 0
vsize: 199536
[startup+900.211 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1470
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 123228 0 0 0 89693 334 0 0 25 0 1 0 865267505 204595200 41992 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 41992 300 300 0 49650 0
vsize: 199800
[startup+910.211 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 1470
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 124144 0 0 0 90690 338 0 0 25 0 1 0 865267505 208330752 42908 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50862 42908 300 300 0 50562 0
vsize: 203448
[startup+920.211 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1470
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 124152 0 0 0 91690 338 0 0 25 0 1 0 865267505 204595200 42004 4294967295 134512640 135726644 3221224592 3221223088 134743898 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 42004 300 300 0 49650 0
vsize: 199800
[startup+930.211 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 125072 0 0 0 92687 341 0 0 25 0 1 0 865267505 204595200 42012 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 42012 300 300 0 49650 0
vsize: 199800
[startup+940.211 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 125996 0 0 0 93685 343 0 0 25 0 1 0 865267505 204595200 42024 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 42024 300 300 0 49650 0
vsize: 199800
[startup+950.211 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 126918 0 0 0 94682 347 0 0 25 0 1 0 865267505 204595200 42034 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 42034 300 300 0 49650 0
vsize: 199800
[startup+960.212 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 127839 0 0 0 95679 350 0 0 25 0 1 0 865267505 204595200 42043 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49950 42043 300 300 0 49650 0
vsize: 199800
[startup+970.211 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 128791 0 0 0 96676 352 0 0 25 0 1 0 865267505 204726272 42083 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49982 42083 300 300 0 49682 0
vsize: 199928
[startup+980.211 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 129717 0 0 0 97674 355 0 0 25 0 1 0 865267505 204726272 42097 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49982 42097 300 300 0 49682 0
vsize: 199928
[startup+990.212 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 130641 0 0 0 98671 358 0 0 25 0 1 0 865267505 204857344 42109 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50014 42109 300 300 0 49714 0
vsize: 200056
[startup+1000.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 131584 0 0 0 99668 361 0 0 25 0 1 0 865267505 204992512 42140 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42140 300 300 0 49747 0
vsize: 200188
[startup+1010.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 132504 0 0 0 100666 364 0 0 25 0 1 0 865267505 204992512 42148 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42148 300 300 0 49747 0
vsize: 200188
[startup+1020.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 133426 0 0 0 101663 367 0 0 25 0 1 0 865267505 204992512 42158 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42158 300 300 0 49747 0
vsize: 200188
[startup+1030.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 134360 0 0 0 102661 369 0 0 25 0 1 0 865267505 204992512 42180 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42180 300 300 0 49747 0
vsize: 200188
[startup+1040.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 135291 0 0 0 103658 372 0 0 25 0 1 0 865267505 204992512 42199 4294967295 134512640 135726644 3221224592 3221223216 134744616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42199 300 300 0 49747 0
vsize: 200188
[startup+1050.21 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 136223 0 0 0 104655 375 0 0 25 0 1 0 865267505 204992512 42219 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50047 42219 300 300 0 49747 0
vsize: 200188
[startup+1060.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 137153 0 0 0 105652 378 0 0 25 0 1 0 865267505 205123584 42237 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50079 42237 300 300 0 49779 0
vsize: 200316
[startup+1070.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 137162 0 0 0 106652 379 0 0 25 0 1 0 865267505 205123584 42246 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50079 42246 300 300 0 49779 0
vsize: 200316
[startup+1080.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 138091 0 0 0 107649 382 0 0 25 0 1 0 865267505 205123584 42263 4294967295 134512640 135726644 3221224592 3221223104 134742268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50079 42263 300 300 0 49779 0
vsize: 200316
[startup+1090.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 139930 0 0 0 108644 387 0 0 25 0 1 0 865267505 208859136 43190 4294967295 134512640 135726644 3221224592 3221222752 134765208 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50991 43190 300 300 0 50691 0
vsize: 203964
[startup+1100.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 139949 0 0 0 109644 388 0 0 25 0 1 0 865267505 205123584 42297 4294967295 134512640 135726644 3221224592 3221223104 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50079 42297 300 300 0 49779 0
vsize: 200316
[startup+1110.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 141788 0 0 0 110639 393 0 0 25 0 1 0 865267505 208990208 43224 4294967295 134512640 135726644 3221224592 3221222776 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51023 43224 300 300 0 50723 0
vsize: 204092
[startup+1120.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 141799 0 0 0 111638 394 0 0 25 0 1 0 865267505 205254656 42323 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50111 42323 300 300 0 49811 0
vsize: 200444
[startup+1130.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 142749 0 0 0 112635 397 0 0 25 0 1 0 865267505 205389824 42361 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50144 42361 300 300 0 49844 0
vsize: 200576
[startup+1140.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 143673 0 0 0 113632 400 0 0 25 0 1 0 865267505 205389824 42373 4294967295 134512640 135726644 3221224592 3221223008 134737948 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50144 42373 300 300 0 49844 0
vsize: 200576
[startup+1150.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 145515 0 0 0 114628 405 0 0 25 0 1 0 865267505 205389824 42391 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50144 42391 300 300 0 49844 0
vsize: 200576
[startup+1160.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 146440 0 0 0 115625 407 0 0 25 0 1 0 865267505 205389824 42404 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50144 42404 300 300 0 49844 0
vsize: 200576
[startup+1170.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 147366 0 0 0 116623 410 0 0 25 0 1 0 865267505 209125376 43330 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51056 43330 300 300 0 50756 0
vsize: 204224
[startup+1180.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 148299 0 0 0 117620 413 0 0 25 0 1 0 865267505 209256448 43351 4294967295 134512640 135726644 3221224592 3221222752 134765521 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51088 43351 300 300 0 50788 0
vsize: 204352
[startup+1190.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 148316 0 0 0 118620 414 0 0 25 0 1 0 865267505 205520896 42456 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50176 42456 300 300 0 49876 0
vsize: 200704
[startup+1200.22 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 1472
Raw data (stat): 1417 (pb2sat) R 1416 23310 23309 0 -1 0 149244 0 0 0 119616 417 0 0 25 0 1 0 865267505 205520896 42472 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50176 42472 300 300 0 49876 0
vsize: 200704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.6 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 1472
Raw data (stat): 1417 (pb2sat) Z 1416 23310 23309 0 -1 12 149245 0 0 0 119743 426 0 0 22 0 1 0 865267505 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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.6
CPU time (s): 1201.69
CPU user time (s): 1197.43
CPU system time (s): 4.26135
CPU usage (%): 100.008
Max. virtual memory (Kb): 204352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####