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/web/uclid_pb_benchmarks/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
MD5SUM	2fc65c15b9b26fc3028e8a890f1d86ad
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	131
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	513
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1075.62
Number of variables	201731
Total number of constraints	592525
Number of constraints which are clauses	579429
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13096
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 34943

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc19 THE 2005-05-28 11:13:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24208 boxname=wulflinc19 idbench=282 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  2fc65c15b9b26fc3028e8a890f1d86ad  /oldhome/oroussel/tmp/wulflinc19/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc19/normalized-cache-ibm-q-unbounded.Ih1arity.ucl.opb
IDLAUNCH: 24208
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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.037
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:        423552 kB
Buffers:         33096 kB
Cached:         547956 kB
SwapCached:        960 kB
Active:          61184 kB
Inactive:       521916 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        423300 kB
SwapTotal:     2097892 kB
SwapFree:      2096060 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4936 kB
Slab:            22380 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:33:34 (client local time) WITH STATUS 0 IN 1202.05 SECONDS
stats: 24208 7 1202.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 15614/479651	Time: 58.921/86400
Decision: 15723/479651	Time: 170.106/86400
Decision: 17551/479651	Time: 254.894/86400
Decision: 17551/479651	Time: 284.3/86400
Decision: 17590/479651	Time: 365.48/86400
Decision: 17594/479651	Time: 397.658/86400
Decision: 17600/479651	Time: 449.271/86400
Decision: 17694/479651	Time: 552.98/86400
Decision: 17785/479651	Time: 667.996/86400
Decision: 17800/479651	Time: 751.699/86400
Decision: 17805/479651	Time: 801.285/86400
Decision: 17805/479651	Time: 854.261/86400
Decision: 17904/479651	Time: 1030.1/86400
Decision: 17904/479651	Time: 1079.16/86400
Decision: 17914/479651	Time: 1123.26/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
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.87 0.95 0.90 2/54 19317
Raw data (stat): 19317 (runsolver) R 19316 10795 10794 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864346811 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0008 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 5268 0 0 0 985 14 0 0 25 0 1 0 864346811 17317888 3338 4294967295 134512640 135726644 3221224560 3221221504 134541148 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4228 3338 300 300 0 3928 0
vsize: 16912
[startup+20.001 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 10420 0 0 0 1969 30 0 0 25 0 1 0 864346811 33361920 6467 4294967295 134512640 135726644 3221224560 3221221532 134719276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8145 6467 300 300 0 7845 0
vsize: 32580
[startup+30.0014 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 14862 0 0 0 2956 43 0 0 25 0 1 0 864346811 48848896 9335 4294967295 134512640 135726644 3221224560 3221221616 134851341 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11926 9335 300 300 0 11626 0
vsize: 47704
[startup+40.0012 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 20658 0 0 0 3941 59 0 0 25 0 1 0 864346811 65449984 12662 4294967295 134512640 135726644 3221224560 3221221504 134541174 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15979 12662 300 300 0 15679 0
vsize: 63916
[startup+50.0025 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 26245 0 0 0 4926 73 0 0 25 0 1 0 864346811 81412096 15140 4294967295 134512640 135726644 3221224560 3221221872 134565724 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19876 15140 300 300 0 19576 0
vsize: 79504
[startup+60.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 41533 0 0 0 5892 108 0 0 25 0 1 0 864346811 124358656 25428 4294967295 134512640 135726644 3221224560 3221219084 135287483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30361 25428 300 300 0 30061 0
vsize: 121444
[startup+70.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 59019 0 0 0 6850 150 0 0 25 0 1 0 864346811 178270208 35616 4294967295 134512640 135726644 3221224560 3221223056 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43523 35616 300 300 0 43223 0
vsize: 174092
[startup+80.004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 60551 0 0 0 7846 154 0 0 25 0 1 0 864346811 184946688 36983 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45153 36983 300 300 0 44853 0
vsize: 180612
[startup+90.0043 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 62081 0 0 0 8843 157 0 0 25 0 1 0 864346811 191692800 38152 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46800 38152 300 300 0 46500 0
vsize: 187200
[startup+100.008 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 63527 0 0 0 9840 160 0 0 25 0 1 0 864346811 197373952 39139 4294967295 134512640 135726644 3221224560 3221222880 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48187 39139 300 300 0 47887 0
vsize: 192748
[startup+110.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 64194 0 0 0 10839 162 0 0 25 0 1 0 864346811 199634944 39609 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48739 39609 300 300 0 48439 0
vsize: 194956
[startup+120.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 64418 0 0 0 11838 163 0 0 25 0 1 0 864346811 200437760 39767 4294967295 134512640 135726644 3221224560 3221223056 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 48935 39767 300 300 0 48635 0
vsize: 195740
[startup+130.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 65470 0 0 0 12834 167 0 0 25 0 1 0 864346811 200978432 39882 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49067 39882 300 300 0 48767 0
vsize: 196268
[startup+140.011 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 66399 0 0 0 13832 169 0 0 25 0 1 0 864346811 204435456 40416 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49911 40416 300 300 0 49611 0
vsize: 199644
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 66746 0 0 0 14831 170 0 0 25 0 1 0 864346811 205496320 40632 4294967295 134512640 135726644 3221224560 3221223216 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50170 40632 300 300 0 49870 0
vsize: 200680
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 67332 0 0 0 15829 172 0 0 25 0 1 0 864346811 207220736 40954 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50591 40954 300 300 0 50291 0
vsize: 202364
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 67772 0 0 0 16827 174 0 0 25 0 1 0 864346811 208687104 41229 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50949 41229 300 300 0 50649 0
vsize: 203796
[startup+180.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 68487 0 0 0 17826 175 0 0 25 0 1 0 864346811 211218432 41647 4294967295 134512640 135726644 3221224560 3221223168 134744634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51567 41647 300 300 0 51267 0
vsize: 206268
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 68939 0 0 0 18825 176 0 0 25 0 1 0 864346811 212819968 41968 4294967295 134512640 135726644 3221224560 3221223180 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51958 41968 300 300 0 51658 0
vsize: 207832
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 69244 0 0 0 19824 177 0 0 25 0 1 0 864346811 214011904 42174 4294967295 134512640 135726644 3221224560 3221223056 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52249 42174 300 300 0 51949 0
vsize: 208996
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 69432 0 0 0 20824 178 0 0 25 0 1 0 864346811 214405120 42264 4294967295 134512640 135726644 3221224560 3221223228 134745065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52345 42264 300 300 0 52045 0
vsize: 209380
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 69473 0 0 0 21824 178 0 0 25 0 1 0 864346811 214405120 42305 4294967295 134512640 135726644 3221224560 3221223056 134744354 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52345 42305 300 300 0 52045 0
vsize: 209380
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 69583 0 0 0 22823 179 0 0 25 0 1 0 864346811 214667264 42349 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52409 42349 300 300 0 52109 0
vsize: 209636
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 70632 0 0 0 23820 182 0 0 25 0 1 0 864346811 215064576 42428 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52506 42428 300 300 0 52206 0
vsize: 210024
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 70858 0 0 0 24820 182 0 0 25 0 1 0 864346811 215457792 42555 4294967295 134512640 135726644 3221224560 3221223056 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52602 42555 300 300 0 52302 0
vsize: 210408
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 71001 0 0 0 25819 183 0 0 25 0 1 0 864346811 215855104 42632 4294967295 134512640 135726644 3221224560 3221223056 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52699 42632 300 300 0 52399 0
vsize: 210796
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 71491 0 0 0 26819 184 0 0 25 0 1 0 864346811 217169920 42860 4294967295 134512640 135726644 3221224560 3221223216 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53020 42860 300 300 0 52720 0
vsize: 212080
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 71542 0 0 0 27819 184 0 0 25 0 1 0 864346811 217300992 42878 4294967295 134512640 135726644 3221224560 3221223056 134744120 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53052 42878 300 300 0 52752 0
vsize: 212208
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 71598 0 0 0 28818 185 0 0 25 0 1 0 864346811 217432064 42901 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53084 42901 300 300 0 52784 0
vsize: 212336
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 71903 0 0 0 29818 186 0 0 25 0 1 0 864346811 218353664 43010 4294967295 134512640 135726644 3221224560 3221223056 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53309 43010 300 300 0 53009 0
vsize: 213236
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 72003 0 0 0 30817 186 0 0 25 0 1 0 864346811 218750976 43077 4294967295 134512640 135726644 3221224560 3221223184 134744656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53406 43077 300 300 0 53106 0
vsize: 213624
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 72020 0 0 0 31817 187 0 0 25 0 1 0 864346811 218750976 43094 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53406 43094 300 300 0 53106 0
vsize: 213624
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 72999 0 0 0 32814 190 0 0 25 0 1 0 864346811 218882048 43103 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53438 43103 300 300 0 53138 0
vsize: 213752
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 73101 0 0 0 33814 191 0 0 25 0 1 0 864346811 219144192 43140 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53502 43140 300 300 0 53202 0
vsize: 214008
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 73198 0 0 0 34813 191 0 0 25 0 1 0 864346811 219406336 43172 4294967295 134512640 135726644 3221224560 3221223072 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53566 43172 300 300 0 53266 0
vsize: 214264
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 74466 0 0 0 35809 195 0 0 25 0 1 0 864346811 220192768 43308 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53758 43308 300 300 0 53458 0
vsize: 215032
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 74841 0 0 0 36808 196 0 0 25 0 1 0 864346811 221798400 43584 4294967295 134512640 135726644 3221224560 3221223056 134743925 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54150 43584 300 300 0 53850 0
vsize: 216600
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 75198 0 0 0 37807 197 0 0 25 0 1 0 864346811 222986240 43778 4294967295 134512640 135726644 3221224560 3221223152 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54440 43778 300 300 0 54140 0
vsize: 217760
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 75343 0 0 0 38807 198 0 0 25 0 1 0 864346811 223383552 43857 4294967295 134512640 135726644 3221224560 3221223152 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54537 43857 300 300 0 54237 0
vsize: 218148
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 75490 0 0 0 39806 199 0 0 25 0 1 0 864346811 224186368 44004 4294967295 134512640 135726644 3221224560 3221223056 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54733 44004 300 300 0 54433 0
vsize: 218932
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 75518 0 0 0 40806 199 0 0 25 0 1 0 864346811 224186368 44032 4294967295 134512640 135726644 3221224560 3221223216 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54733 44032 300 300 0 54433 0
vsize: 218932
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 75584 0 0 0 41806 199 0 0 25 0 1 0 864346811 224317440 44065 4294967295 134512640 135726644 3221224560 3221223152 134760422 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54765 44065 300 300 0 54465 0
vsize: 219060
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 75627 0 0 0 42805 200 0 0 25 0 1 0 864346811 224317440 44108 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54765 44108 300 300 0 54465 0
vsize: 219060
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 76679 0 0 0 43803 202 0 0 25 0 1 0 864346811 224579584 44157 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54829 44157 300 300 0 54529 0
vsize: 219316
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 76856 0 0 0 44802 204 0 0 25 0 1 0 864346811 225107968 44269 4294967295 134512640 135726644 3221224560 3221223056 134744140 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54958 44269 300 300 0 54658 0
vsize: 219832
[startup+460.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 76868 0 0 0 45802 204 0 0 25 0 1 0 864346811 225107968 44281 4294967295 134512640 135726644 3221224560 3221223248 134744832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54958 44281 300 300 0 54658 0
vsize: 219832
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 77855 0 0 0 46799 207 0 0 25 0 1 0 864346811 225107968 44331 4294967295 134512640 135726644 3221224560 3221223248 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54958 44331 300 300 0 54658 0
vsize: 219832
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 78063 0 0 0 47798 207 0 0 25 0 1 0 864346811 225370112 44474 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55022 44474 300 300 0 54722 0
vsize: 220088
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 78096 0 0 0 48798 208 0 0 25 0 1 0 864346811 225505280 44507 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55055 44507 300 300 0 54755 0
vsize: 220220
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 78098 0 0 0 49798 208 0 0 25 0 1 0 864346811 225505280 44509 4294967295 134512640 135726644 3221224560 3221223056 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55055 44509 300 300 0 54755 0
vsize: 220220
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 78141 0 0 0 50798 209 0 0 25 0 1 0 864346811 225505280 44552 4294967295 134512640 135726644 3221224560 3221223056 134743864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55055 44552 300 300 0 54755 0
vsize: 220220
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 79126 0 0 0 51796 211 0 0 25 0 1 0 864346811 225771520 44600 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55120 44600 300 300 0 54820 0
vsize: 220480
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 79154 0 0 0 52795 211 0 0 25 0 1 0 864346811 225771520 44628 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55120 44628 300 300 0 54820 0
vsize: 220480
[startup+540.022 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 79166 0 0 0 53795 211 0 0 25 0 1 0 864346811 225771520 44640 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55120 44640 300 300 0 54820 0
vsize: 220480
[startup+550.023 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 79347 0 0 0 54795 212 0 0 25 0 1 0 864346811 226295808 44691 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55248 44691 300 300 0 54948 0
vsize: 220992
[startup+560.024 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 79399 0 0 0 55795 212 0 0 25 0 1 0 864346811 226430976 44743 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55281 44743 300 300 0 54981 0
vsize: 221124
[startup+570.023 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 79761 0 0 0 56794 214 0 0 25 0 1 0 864346811 227348480 44878 4294967295 134512640 135726644 3221224560 3221223056 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55505 44878 300 300 0 55205 0
vsize: 222020
[startup+580.023 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 79773 0 0 0 57793 214 0 0 25 0 1 0 864346811 227348480 44890 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55505 44890 300 300 0 55205 0
vsize: 222020
[startup+590.023 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 79790 0 0 0 58793 215 0 0 25 0 1 0 864346811 227348480 44907 4294967295 134512640 135726644 3221224560 3221223216 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55505 44907 300 300 0 55205 0
vsize: 222020
[startup+600.024 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 79869 0 0 0 59793 215 0 0 25 0 1 0 864346811 227610624 44921 4294967295 134512640 135726644 3221224560 3221223184 134744520 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55569 44921 300 300 0 55269 0
vsize: 222276
[startup+610.023 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 79901 0 0 0 60793 215 0 0 25 0 1 0 864346811 227610624 44953 4294967295 134512640 135726644 3221224560 3221223216 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55569 44953 300 300 0 55269 0
vsize: 222276
[startup+620.023 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 80916 0 0 0 61791 217 0 0 25 0 1 0 864346811 231579648 45935 4294967295 134512640 135726644 3221224560 3221222720 134765508 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56538 45935 300 300 0 56238 0
vsize: 226152
[startup+630.024 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 80932 0 0 0 62791 217 0 0 25 0 1 0 864346811 227741696 45014 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55601 45014 300 300 0 55301 0
vsize: 222404
[startup+640.024 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 81023 0 0 0 63791 218 0 0 25 0 1 0 864346811 228003840 45040 4294967295 134512640 135726644 3221224560 3221223056 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55665 45040 300 300 0 55365 0
vsize: 222660
[startup+650.025 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 81027 0 0 0 64791 218 0 0 25 0 1 0 864346811 228003840 45044 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55665 45044 300 300 0 55365 0
vsize: 222660
[startup+660.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 81060 0 0 0 65790 219 0 0 25 0 1 0 864346811 228200448 45077 4294967295 134512640 135726644 3221224560 3221223216 134731206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55713 45077 300 300 0 55413 0
vsize: 222852
[startup+670.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 81381 0 0 0 66789 220 0 0 25 0 1 0 864346811 228986880 45203 4294967295 134512640 135726644 3221224560 3221222800 134783122 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55905 45203 300 300 0 55605 0
vsize: 223620
[startup+680.025 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 81500 0 0 0 67789 221 0 0 25 0 1 0 864346811 229249024 45257 4294967295 134512640 135726644 3221224560 3221223056 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55969 45257 300 300 0 55669 0
vsize: 223876
[startup+690.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 81541 0 0 0 68788 222 0 0 25 0 1 0 864346811 229249024 45298 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55969 45298 300 300 0 55669 0
vsize: 223876
[startup+700.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 81561 0 0 0 69788 222 0 0 25 0 1 0 864346811 229249024 45318 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 55969 45318 300 300 0 55669 0
vsize: 223876
[startup+710.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 81719 0 0 0 70788 223 0 0 25 0 1 0 864346811 229773312 45346 4294967295 134512640 135726644 3221224560 3221223056 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56097 45346 300 300 0 55797 0
vsize: 224388
[startup+720.026 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 81796 0 0 0 71787 223 0 0 25 0 1 0 864346811 230035456 45358 4294967295 134512640 135726644 3221224560 3221223056 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56161 45358 300 300 0 55861 0
vsize: 224644
[startup+730.027 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 81878 0 0 0 72787 223 0 0 25 0 1 0 864346811 230297600 45375 4294967295 134512640 135726644 3221224560 3221222888 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56225 45375 300 300 0 55925 0
vsize: 224900
[startup+740.027 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 82827 0 0 0 73784 226 0 0 25 0 1 0 864346811 230297600 45387 4294967295 134512640 135726644 3221224560 3221223152 134760410 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56225 45387 300 300 0 55925 0
vsize: 224900
[startup+750.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 82836 0 0 0 74784 227 0 0 25 0 1 0 864346811 230297600 45396 4294967295 134512640 135726644 3221224560 3221223248 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56225 45396 300 300 0 55925 0
vsize: 224900
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 82841 0 0 0 75784 227 0 0 25 0 1 0 864346811 230297600 45401 4294967295 134512640 135726644 3221224560 3221223216 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56225 45401 300 300 0 55925 0
vsize: 224900
[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 82916 0 0 0 76783 228 0 0 25 0 1 0 864346811 230559744 45411 4294967295 134512640 135726644 3221224560 3221222880 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56289 45411 300 300 0 55989 0
vsize: 225156
[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 82920 0 0 0 77783 229 0 0 25 0 1 0 864346811 230559744 45415 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56289 45415 300 300 0 55989 0
vsize: 225156
[startup+790.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 82924 0 0 0 78782 229 0 0 25 0 1 0 864346811 230559744 45419 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56289 45419 300 300 0 55989 0
vsize: 225156
[startup+800.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 83294 0 0 0 79782 230 0 0 25 0 1 0 864346811 232288256 45789 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56711 45789 300 300 0 56411 0
vsize: 226844
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 83309 0 0 0 80782 230 0 0 25 0 1 0 864346811 232288256 45804 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56711 45804 300 300 0 56411 0
vsize: 226844
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 84249 0 0 0 81780 232 0 0 25 0 1 0 864346811 232288256 45807 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56711 45807 300 300 0 56411 0
vsize: 226844
[startup+830.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 84264 0 0 0 82780 233 0 0 25 0 1 0 864346811 232288256 45822 4294967295 134512640 135726644 3221224560 3221223248 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56711 45822 300 300 0 56411 0
vsize: 226844
[startup+840.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 84268 0 0 0 83780 233 0 0 25 0 1 0 864346811 232288256 45826 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56711 45826 300 300 0 56411 0
vsize: 226844
[startup+850.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 84283 0 0 0 84780 233 0 0 25 0 1 0 864346811 232288256 45841 4294967295 134512640 135726644 3221224560 3221222896 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56711 45841 300 300 0 56411 0
vsize: 226844
[startup+860.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 84291 0 0 0 85779 234 0 0 25 0 1 0 864346811 232288256 45849 4294967295 134512640 135726644 3221224560 3221223056 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56711 45849 300 300 0 56411 0
vsize: 226844
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 85230 0 0 0 86776 237 0 0 25 0 1 0 864346811 232288256 45851 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56711 45851 300 300 0 56411 0
vsize: 226844
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 85242 0 0 0 87776 237 0 0 25 0 1 0 864346811 232288256 45863 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56711 45863 300 300 0 56411 0
vsize: 226844
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 85455 0 0 0 88775 238 0 0 25 0 1 0 864346811 233345024 46076 4294967295 134512640 135726644 3221224560 3221223056 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56969 46076 300 300 0 56669 0
vsize: 227876
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 85456 0 0 0 89775 239 0 0 25 0 1 0 864346811 233345024 46077 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56969 46077 300 300 0 56669 0
vsize: 227876
[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 85457 0 0 0 90775 239 0 0 25 0 1 0 864346811 233345024 46078 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56969 46078 300 300 0 56669 0
vsize: 227876
[startup+920.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 85459 0 0 0 91775 239 0 0 25 0 1 0 864346811 233345024 46080 4294967295 134512640 135726644 3221224560 3221223072 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56969 46080 300 300 0 56669 0
vsize: 227876
[startup+930.031 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86397 0 0 0 92772 243 0 0 25 0 1 0 864346811 233345024 46081 4294967295 134512640 135726644 3221224560 3221223056 134744372 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56969 46081 300 300 0 56669 0
vsize: 227876
[startup+940.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86399 0 0 0 93772 243 0 0 25 0 1 0 864346811 233345024 46083 4294967295 134512640 135726644 3221224560 3221222880 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 56969 46083 300 300 0 56669 0
vsize: 227876
[startup+950.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86481 0 0 0 94771 243 0 0 25 0 1 0 864346811 233607168 46100 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57033 46100 300 300 0 56733 0
vsize: 228132
[startup+960.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86485 0 0 0 95771 244 0 0 25 0 1 0 864346811 233607168 46104 4294967295 134512640 135726644 3221224560 3221222880 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57033 46104 300 300 0 56733 0
vsize: 228132
[startup+970.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86494 0 0 0 96771 244 0 0 25 0 1 0 864346811 233607168 46113 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57033 46113 300 300 0 56733 0
vsize: 228132
[startup+980.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86499 0 0 0 97771 245 0 0 25 0 1 0 864346811 233607168 46118 4294967295 134512640 135726644 3221224560 3221223216 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57033 46118 300 300 0 56733 0
vsize: 228132
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86502 0 0 0 98771 245 0 0 25 0 1 0 864346811 233607168 46121 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57033 46121 300 300 0 56733 0
vsize: 228132
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86589 0 0 0 99771 245 0 0 25 0 1 0 864346811 233869312 46143 4294967295 134512640 135726644 3221224560 3221223152 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57097 46143 300 300 0 56797 0
vsize: 228388
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86601 0 0 0 100771 245 0 0 25 0 1 0 864346811 233869312 46155 4294967295 134512640 135726644 3221224560 3221223156 134744137 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57097 46155 300 300 0 56797 0
vsize: 228388
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86688 0 0 0 101771 246 0 0 25 0 1 0 864346811 234131456 46177 4294967295 134512640 135726644 3221224560 3221223152 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57161 46177 300 300 0 56861 0
vsize: 228644
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86696 0 0 0 102770 246 0 0 25 0 1 0 864346811 234131456 46185 4294967295 134512640 135726644 3221224560 3221223248 134744961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57161 46185 300 300 0 56861 0
vsize: 228644
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86711 0 0 0 103771 246 0 0 25 0 1 0 864346811 234131456 46200 4294967295 134512640 135726644 3221224560 3221223056 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57161 46200 300 300 0 56861 0
vsize: 228644
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86889 0 0 0 104770 247 0 0 25 0 1 0 864346811 234655744 46248 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57289 46248 300 300 0 56989 0
vsize: 229156
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 86912 0 0 0 105770 247 0 0 25 0 1 0 864346811 234655744 46271 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57289 46271 300 300 0 56989 0
vsize: 229156
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 87072 0 0 0 106769 248 0 0 25 0 1 0 864346811 235180032 46301 4294967295 134512640 135726644 3221224560 3221223216 134745088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57417 46301 300 300 0 57117 0
vsize: 229668
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 87167 0 0 0 107769 249 0 0 25 0 1 0 864346811 235442176 46331 4294967295 134512640 135726644 3221224560 3221223168 135280438 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57481 46331 300 300 0 57181 0
vsize: 229924
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 87172 0 0 0 108769 249 0 0 25 0 1 0 864346811 235442176 46336 4294967295 134512640 135726644 3221224560 3221223056 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57481 46336 300 300 0 57181 0
vsize: 229924
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 88188 0 0 0 109766 252 0 0 25 0 1 0 864346811 235704320 46350 4294967295 134512640 135726644 3221224560 3221223216 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57545 46350 300 300 0 57245 0
vsize: 230180
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 88248 0 0 0 110765 253 0 0 25 0 1 0 864346811 235974656 46410 4294967295 134512640 135726644 3221224560 3221223208 134744473 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57611 46410 300 300 0 57311 0
vsize: 230444
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 88264 0 0 0 111764 253 0 0 25 0 1 0 864346811 235974656 46426 4294967295 134512640 135726644 3221224560 3221223056 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57611 46426 300 300 0 57311 0
vsize: 230444
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 88270 0 0 0 112764 254 0 0 25 0 1 0 864346811 235974656 46432 4294967295 134512640 135726644 3221224560 3221223216 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57611 46432 300 300 0 57311 0
vsize: 230444
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 88288 0 0 0 113764 254 0 0 25 0 1 0 864346811 235974656 46450 4294967295 134512640 135726644 3221224560 3221222880 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57611 46450 300 300 0 57311 0
vsize: 230444
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 89251 0 0 0 114762 256 0 0 25 0 1 0 864346811 235974656 46476 4294967295 134512640 135726644 3221224560 3221222880 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57611 46476 300 300 0 57311 0
vsize: 230444
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 89258 0 0 0 115761 257 0 0 25 0 1 0 864346811 235974656 46483 4294967295 134512640 135726644 3221224560 3221223056 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57611 46483 300 300 0 57311 0
vsize: 230444
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 89320 0 0 0 116761 257 0 0 25 0 1 0 864346811 236240896 46545 4294967295 134512640 135726644 3221224560 3221223236 134744998 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57676 46545 300 300 0 57376 0
vsize: 230704
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 89340 0 0 0 117761 257 0 0 25 0 1 0 864346811 236240896 46565 4294967295 134512640 135726644 3221224560 3221223056 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57676 46565 300 300 0 57376 0
vsize: 230704
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 90284 0 0 0 118759 259 0 0 25 0 1 0 864346811 240078848 47509 4294967295 134512640 135726644 3221224560 3221222720 134765200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 58613 47509 300 300 0 58313 0
vsize: 234452
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 19317
Raw data (stat): 19317 (pb2sat) R 19316 10795 10794 0 -1 0 90295 0 0 0 119759 260 0 0 25 0 1 0 864346811 236240896 46583 4294967295 134512640 135726644 3221224560 3221223248 134745093 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 57676 46583 300 300 0 57376 0
vsize: 230704
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.89 s]
Raw data (loadavg): 1.00 1.00 0.92 1/54 19317
Raw data (stat): 19317 (pb2sat) Z 19316 10795 10794 0 -1 12 90296 0 0 0 119935 269 0 0 25 0 1 0 864346811 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.89
CPU time (s): 1202.05
CPU user time (s): 1199.35
CPU system time (s): 2.69259
CPU usage (%): 100.013
Max. virtual memory (Kb): 234452
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####