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/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb35-17-opb/normalized-frb35-17-5.opb
MD5SUM	70070c820bc7d178cc8f33b42e0deead
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-28
Optimality of the best value was proved	NO
Number of terms in the objective function	595
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	595
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	595
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.05
Number of variables	595
Total number of constraints	28143
Number of constraints which are clauses	28143
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34958

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-28 11:23:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24249 boxname=wulflinc20 idbench=323 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  70070c820bc7d178cc8f33b42e0deead  /oldhome/oroussel/tmp/wulflinc20/normalized-frb35-17-5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc20/normalized-frb35-17-5.opb
IDLAUNCH: 24249
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        717064 kB
Buffers:         33624 kB
Cached:         260580 kB
SwapCached:        644 kB
Active:          21632 kB
Inactive:       274628 kB
HighTotal:      131008 kB
HighFree:        42420 kB
LowTotal:       903652 kB
LowFree:        674644 kB
SwapTotal:     2097892 kB
SwapFree:      2096312 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15764 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:43:42 (client local time) WITH STATUS 0 IN 1201.07 SECONDS
stats: 24249 7 1201.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c [startup+16.8645 s]  setting bit 9 to 0

Decision: 59759/178515	Time: 37.5183/86400
Decision: 59759/178515	Time: 62.5395/86400
Decision: 60795/178515	Time: 96.0084/86400
Decision: 61070/178515	Time: 119.273/86400
Decision: 61070/178515	Time: 147.123/86400
Decision: 61076/178515	Time: 174.561/86400
Decision: 62567/178515	Time: 221.26/86400
Decision: 62567/178515	Time: 246.817/86400
Decision: 63198/178515	Time: 301.988/86400
Decision: 63198/178515	Time: 324.078/86400
Decision: 63198/178515	Time: 350.511/86400
Decision: 63198/178515	Time: 378.975/86400
Decision: 63198/178515	Time: 405.948/86400
Decision: 63930/178515	Time: 437.042/86400
Decision: 64176/178515	Time: 476.822/86400
Decision: 64176/178515	Time: 504.206/86400
Decision: 64176/178515	Time: 528.552/86400
Decision: 65640/178515	Time: 561.342/86400
Decision: 65640/178515	Time: 588.143/86400
Decision: 65640/178515	Time: 615.865/86400
Decision: 65640/178515	Time: 646.174/86400
Decision: 65640/178515	Time: 671.016/86400
Decision: 65640/178515	Time: 700.909/86400
Decision: 65644/178515	Time: 756.884/86400
Decision: 65644/178515	Time: 781.607/86400
Decision: 65644/178515	Time: 812.142/86400
Decision: 65644/178515	Time: 838.723/86400
Decision: 65646/178515	Time: 880.309/86400
Decision: 70697/178515	Time: 921.164/86400
Decision: 70697/178515	Time: 950.454/86400
Decision: 70697/178515	Time: 979.416/86400
Decision: 70697/178515	Time: 1004.01/86400
Decision: 73984/178515	Time: 1050.57/86400
Decision: 75518/178515	Time: 1101.5/86400
Decision: 75518/178515	Time: 1128.3/86400
Decision: 75518/178515	Time: 1157.47/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.85 0.95 0.91 2/54 9873
Raw data (stat): 9873 (runsolver) R 9872 25399 25398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864414956 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.001 s]
Raw data (loadavg): 0.87 0.95 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 27165 0 0 0 935 64 0 0 25 0 1 0 864414956 87126016 16297 4294967295 134512640 135726644 3221224592 3221222928 134769147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21271 16297 300 300 0 20971 0
vsize: 85084
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.95 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 30518 0 0 0 1925 73 0 0 25 0 1 0 864414956 99041280 18462 4294967295 134512640 135726644 3221224592 3221223184 134760400 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24180 18462 300 300 0 23880 0
vsize: 96720
[startup+30.0008 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 30827 0 0 0 2924 74 0 0 25 0 1 0 864414956 100638720 18755 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24570 18755 300 300 0 24270 0
vsize: 98280
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 30901 0 0 0 3924 74 0 0 25 0 1 0 864414956 100769792 18796 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24602 18796 300 300 0 24302 0
vsize: 98408
[startup+50.0015 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 31012 0 0 0 4924 75 0 0 25 0 1 0 864414956 101031936 18842 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24666 18842 300 300 0 24366 0
vsize: 98664
[startup+60.001 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 32106 0 0 0 5921 77 0 0 25 0 1 0 864414956 104427520 19455 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25495 19455 300 300 0 25195 0
vsize: 101980
[startup+70.0019 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 32129 0 0 0 6921 78 0 0 25 0 1 0 864414956 104427520 19478 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25495 19478 300 300 0 25195 0
vsize: 101980
[startup+80.0023 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 32576 0 0 0 7920 79 0 0 25 0 1 0 864414956 104624128 19576 4294967295 134512640 135726644 3221224592 3221223200 134744646 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25543 19576 300 300 0 25243 0
vsize: 102172
[startup+90.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 33611 0 0 0 8916 82 0 0 25 0 1 0 864414956 109056000 20389 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26625 20389 300 300 0 26325 0
vsize: 106500
[startup+100.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 33810 0 0 0 9916 83 0 0 25 0 1 0 864414956 109785088 20522 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26803 20522 300 300 0 26503 0
vsize: 107212
[startup+110.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 33847 0 0 0 10916 83 0 0 25 0 1 0 864414956 109981696 20559 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26851 20559 300 300 0 26551 0
vsize: 107404
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 34228 0 0 0 11915 84 0 0 25 0 1 0 864414956 109981696 20591 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26851 20591 300 300 0 26551 0
vsize: 107404
[startup+130.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 34250 0 0 0 12915 84 0 0 25 0 1 0 864414956 109981696 20613 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26851 20613 300 300 0 26551 0
vsize: 107404
[startup+140.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 34618 0 0 0 13915 84 0 0 25 0 1 0 864414956 109981696 20632 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26851 20632 300 300 0 26551 0
vsize: 107404
[startup+150.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 34662 0 0 0 14915 85 0 0 25 0 1 0 864414956 109981696 20676 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26851 20676 300 300 0 26551 0
vsize: 107404
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 34688 0 0 0 15915 85 0 0 25 0 1 0 864414956 109981696 20702 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26851 20702 300 300 0 26551 0
vsize: 107404
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 35501 0 0 0 16913 87 0 0 25 0 1 0 864414956 111439872 20935 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27207 20935 300 300 0 26907 0
vsize: 108828
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 35528 0 0 0 17913 87 0 0 25 0 1 0 864414956 111439872 20962 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27207 20962 300 300 0 26907 0
vsize: 108828
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 35551 0 0 0 18913 87 0 0 25 0 1 0 864414956 111439872 20985 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27207 20985 300 300 0 26907 0
vsize: 108828
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 35902 0 0 0 19912 88 0 0 25 0 1 0 864414956 111439872 20987 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27207 20987 300 300 0 26907 0
vsize: 108828
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 35903 0 0 0 20913 88 0 0 25 0 1 0 864414956 111439872 20988 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27207 20988 300 300 0 26907 0
vsize: 108828
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 36031 0 0 0 21912 88 0 0 25 0 1 0 864414956 111837184 21050 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21050 300 300 0 27004 0
vsize: 109216
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 36033 0 0 0 22912 89 0 0 25 0 1 0 864414956 111837184 21052 4294967295 134512640 135726644 3221224592 3221223184 134760490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21052 300 300 0 27004 0
vsize: 109216
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 36383 0 0 0 23911 90 0 0 25 0 1 0 864414956 111837184 21053 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21053 300 300 0 27004 0
vsize: 109216
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 36385 0 0 0 24911 90 0 0 25 0 1 0 864414956 111837184 21055 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21055 300 300 0 27004 0
vsize: 109216
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 36387 0 0 0 25911 91 0 0 25 0 1 0 864414956 111837184 21057 4294967295 134512640 135726644 3221224592 3221223088 134744182 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21057 300 300 0 27004 0
vsize: 109216
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 36737 0 0 0 26910 91 0 0 25 0 1 0 864414956 111837184 21058 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21058 300 300 0 27004 0
vsize: 109216
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 36739 0 0 0 27910 91 0 0 25 0 1 0 864414956 111837184 21060 4294967295 134512640 135726644 3221224592 3221223072 134729041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21060 300 300 0 27004 0
vsize: 109216
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 36751 0 0 0 28910 91 0 0 25 0 1 0 864414956 111837184 21072 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21072 300 300 0 27004 0
vsize: 109216
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 36776 0 0 0 29911 91 0 0 25 0 1 0 864414956 111837184 21097 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21097 300 300 0 27004 0
vsize: 109216
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 36798 0 0 0 30910 92 0 0 25 0 1 0 864414956 111837184 21119 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21119 300 300 0 27004 0
vsize: 109216
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 37174 0 0 0 31910 93 0 0 25 0 1 0 864414956 111837184 21146 4294967295 134512640 135726644 3221224592 3221223232 134744671 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21146 300 300 0 27004 0
vsize: 109216
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 37189 0 0 0 32909 93 0 0 25 0 1 0 864414956 111837184 21161 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21161 300 300 0 27004 0
vsize: 109216
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 37202 0 0 0 33909 93 0 0 25 0 1 0 864414956 111837184 21174 4294967295 134512640 135726644 3221224592 3221223184 134760490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21174 300 300 0 27004 0
vsize: 109216
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 37571 0 0 0 34909 94 0 0 25 0 1 0 864414956 111837184 21194 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21194 300 300 0 27004 0
vsize: 109216
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 37604 0 0 0 35909 95 0 0 25 0 1 0 864414956 111837184 21227 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27304 21227 300 300 0 27004 0
vsize: 109216
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 38076 0 0 0 36907 96 0 0 25 0 1 0 864414956 112234496 21285 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27401 21285 300 300 0 27101 0
vsize: 109604
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 38079 0 0 0 37908 96 0 0 25 0 1 0 864414956 112234496 21288 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27401 21288 300 300 0 27101 0
vsize: 109604
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 38084 0 0 0 38908 96 0 0 25 0 1 0 864414956 112234496 21293 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27401 21293 300 300 0 27101 0
vsize: 109604
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 38440 0 0 0 39907 97 0 0 25 0 1 0 864414956 112234496 21300 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27401 21300 300 300 0 27101 0
vsize: 109604
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 38447 0 0 0 40907 97 0 0 25 0 1 0 864414956 112234496 21307 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27401 21307 300 300 0 27101 0
vsize: 109604
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 38450 0 0 0 41907 97 0 0 25 0 1 0 864414956 112234496 21310 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27401 21310 300 300 0 27101 0
vsize: 109604
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 38806 0 0 0 42906 98 0 0 25 0 1 0 864414956 112234496 21317 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27401 21317 300 300 0 27101 0
vsize: 109604
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 38813 0 0 0 43906 98 0 0 25 0 1 0 864414956 112365568 21324 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27433 21324 300 300 0 27133 0
vsize: 109732
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 38819 0 0 0 44906 98 0 0 25 0 1 0 864414956 112365568 21330 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27433 21330 300 300 0 27133 0
vsize: 109732
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 39172 0 0 0 45906 99 0 0 25 0 1 0 864414956 112365568 21334 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27433 21334 300 300 0 27133 0
vsize: 109732
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 39180 0 0 0 46906 99 0 0 25 0 1 0 864414956 112365568 21342 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27433 21342 300 300 0 27133 0
vsize: 109732
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 39186 0 0 0 47906 99 0 0 25 0 1 0 864414956 112365568 21348 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27433 21348 300 300 0 27133 0
vsize: 109732
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 39192 0 0 0 48906 100 0 0 25 0 1 0 864414956 112365568 21354 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27433 21354 300 300 0 27133 0
vsize: 109732
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 39551 0 0 0 49905 101 0 0 25 0 1 0 864414956 112500736 21364 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27466 21364 300 300 0 27166 0
vsize: 109864
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 39563 0 0 0 50905 101 0 0 25 0 1 0 864414956 112500736 21376 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27466 21376 300 300 0 27166 0
vsize: 109864
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 39939 0 0 0 51905 102 0 0 25 0 1 0 864414956 113930240 21752 4294967295 134512640 135726644 3221224592 3221222784 134769112 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27815 21752 300 300 0 27515 0
vsize: 111260
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 39942 0 0 0 52905 102 0 0 25 0 1 0 864414956 112500736 21406 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27466 21406 300 300 0 27166 0
vsize: 109864
[startup+540.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 39947 0 0 0 53905 102 0 0 25 0 1 0 864414956 112500736 21411 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27466 21411 300 300 0 27166 0
vsize: 109864
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 40302 0 0 0 54904 103 0 0 25 0 1 0 864414956 112500736 21417 4294967295 134512640 135726644 3221224592 3221223248 134745088 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27466 21417 300 300 0 27166 0
vsize: 109864
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 40309 0 0 0 55904 103 0 0 25 0 1 0 864414956 112500736 21424 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27466 21424 300 300 0 27166 0
vsize: 109864
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 40317 0 0 0 56904 103 0 0 25 0 1 0 864414956 112500736 21432 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27466 21432 300 300 0 27166 0
vsize: 109864
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 40673 0 0 0 57903 104 0 0 25 0 1 0 864414956 112635904 21439 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27499 21439 300 300 0 27199 0
vsize: 109996
[startup+590.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 40677 0 0 0 58903 104 0 0 25 0 1 0 864414956 112635904 21443 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27499 21443 300 300 0 27199 0
vsize: 109996
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 40680 0 0 0 59903 105 0 0 25 0 1 0 864414956 112635904 21446 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27499 21446 300 300 0 27199 0
vsize: 109996
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 41036 0 0 0 60902 105 0 0 25 0 1 0 864414956 112635904 21453 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27499 21453 300 300 0 27199 0
vsize: 109996
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 41041 0 0 0 61903 105 0 0 25 0 1 0 864414956 112635904 21458 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27499 21458 300 300 0 27199 0
vsize: 109996
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 41048 0 0 0 62903 106 0 0 25 0 1 0 864414956 112635904 21465 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27499 21465 300 300 0 27199 0
vsize: 109996
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 41418 0 0 0 63902 106 0 0 25 0 1 0 864414956 112635904 21486 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27499 21486 300 300 0 27199 0
vsize: 109996
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 41444 0 0 0 64902 107 0 0 25 0 1 0 864414956 112771072 21512 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 21512 300 300 0 27232 0
vsize: 110128
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 41466 0 0 0 65902 107 0 0 25 0 1 0 864414956 112771072 21534 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 21534 300 300 0 27232 0
vsize: 110128
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 41825 0 0 0 66901 108 0 0 25 0 1 0 864414956 112771072 21544 4294967295 134512640 135726644 3221224592 3221222832 134783032 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 21544 300 300 0 27232 0
vsize: 110128
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 41827 0 0 0 67901 108 0 0 25 0 1 0 864414956 112771072 21546 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 21546 300 300 0 27232 0
vsize: 110128
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 42181 0 0 0 68900 109 0 0 25 0 1 0 864414956 112771072 21551 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 21551 300 300 0 27232 0
vsize: 110128
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 42185 0 0 0 69900 109 0 0 25 0 1 0 864414956 112771072 21555 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 21555 300 300 0 27232 0
vsize: 110128
[startup+710.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 42190 0 0 0 70900 109 0 0 25 0 1 0 864414956 112771072 21560 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 21560 300 300 0 27232 0
vsize: 110128
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 42547 0 0 0 71899 110 0 0 25 0 1 0 864414956 112771072 21568 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 21568 300 300 0 27232 0
vsize: 110128
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 42550 0 0 0 72899 111 0 0 25 0 1 0 864414956 112771072 21571 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27532 21571 300 300 0 27232 0
vsize: 110128
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 42562 0 0 0 73899 111 0 0 25 0 1 0 864414956 112906240 21583 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27565 21583 300 300 0 27265 0
vsize: 110260
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 42573 0 0 0 74899 111 0 0 25 0 1 0 864414956 112906240 21594 4294967295 134512640 135726644 3221224592 3221223088 134743964 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27565 21594 300 300 0 27265 0
vsize: 110260
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 42580 0 0 0 75899 111 0 0 25 0 1 0 864414956 112906240 21601 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27565 21601 300 300 0 27265 0
vsize: 110260
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 42588 0 0 0 76899 111 0 0 25 0 1 0 864414956 112906240 21609 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27565 21609 300 300 0 27265 0
vsize: 110260
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 42956 0 0 0 77898 113 0 0 25 0 1 0 864414956 112906240 21628 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27565 21628 300 300 0 27265 0
vsize: 110260
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 42975 0 0 0 78898 113 0 0 25 0 1 0 864414956 112906240 21647 4294967295 134512640 135726644 3221224592 3221223088 134744123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27565 21647 300 300 0 27265 0
vsize: 110260
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 43345 0 0 0 79897 114 0 0 25 0 1 0 864414956 112906240 21668 4294967295 134512640 135726644 3221224592 3221223088 134743964 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27565 21668 300 300 0 27265 0
vsize: 110260
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 43370 0 0 0 80897 114 0 0 25 0 1 0 864414956 113041408 21693 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27598 21693 300 300 0 27298 0
vsize: 110392
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 43393 0 0 0 81897 114 0 0 25 0 1 0 864414956 113041408 21716 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27598 21716 300 300 0 27298 0
vsize: 110392
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 43760 0 0 0 82897 115 0 0 25 0 1 0 864414956 113041408 21734 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27598 21734 300 300 0 27298 0
vsize: 110392
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 43765 0 0 0 83897 115 0 0 25 0 1 0 864414956 113041408 21739 4294967295 134512640 135726644 3221224592 3221223248 134745073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27598 21739 300 300 0 27298 0
vsize: 110392
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 43770 0 0 0 84896 116 0 0 25 0 1 0 864414956 113041408 21744 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27598 21744 300 300 0 27298 0
vsize: 110392
[startup+860.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 44131 0 0 0 85895 117 0 0 25 0 1 0 864414956 113041408 21756 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27598 21756 300 300 0 27298 0
vsize: 110392
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 44135 0 0 0 86895 117 0 0 25 0 1 0 864414956 113041408 21760 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27598 21760 300 300 0 27298 0
vsize: 110392
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 44140 0 0 0 87896 117 0 0 25 0 1 0 864414956 113041408 21765 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27598 21765 300 300 0 27298 0
vsize: 110392
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 44148 0 0 0 88896 117 0 0 25 0 1 0 864414956 113176576 21773 4294967295 134512640 135726644 3221224592 3221223156 134736576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21773 300 300 0 27331 0
vsize: 110524
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 44501 0 0 0 89895 118 0 0 25 0 1 0 864414956 113176576 21777 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21777 300 300 0 27331 0
vsize: 110524
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 44505 0 0 0 90895 118 0 0 25 0 1 0 864414956 113176576 21781 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21781 300 300 0 27331 0
vsize: 110524
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 44510 0 0 0 91895 118 0 0 25 0 1 0 864414956 113176576 21786 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21786 300 300 0 27331 0
vsize: 110524
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 44515 0 0 0 92895 119 0 0 25 0 1 0 864414956 113176576 21791 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21791 300 300 0 27331 0
vsize: 110524
[startup+940.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 44869 0 0 0 93894 119 0 0 25 0 1 0 864414956 113176576 21796 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21796 300 300 0 27331 0
vsize: 110524
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 44873 0 0 0 94894 119 0 0 25 0 1 0 864414956 113176576 21800 4294967295 134512640 135726644 3221224592 3221223088 134743898 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21800 300 300 0 27331 0
vsize: 110524
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 44877 0 0 0 95894 120 0 0 25 0 1 0 864414956 113176576 21804 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21804 300 300 0 27331 0
vsize: 110524
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 45248 0 0 0 96894 120 0 0 25 0 1 0 864414956 113176576 21826 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21826 300 300 0 27331 0
vsize: 110524
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 45272 0 0 0 97894 120 0 0 25 0 1 0 864414956 113176576 21850 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21850 300 300 0 27331 0
vsize: 110524
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 45291 0 0 0 98894 121 0 0 25 0 1 0 864414956 113176576 21869 4294967295 134512640 135726644 3221224592 3221223088 134744074 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21869 300 300 0 27331 0
vsize: 110524
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 45653 0 0 0 99893 122 0 0 25 0 1 0 864414956 113176576 21882 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27631 21882 300 300 0 27331 0
vsize: 110524
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 45659 0 0 0 100893 122 0 0 25 0 1 0 864414956 113311744 21888 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27664 21888 300 300 0 27364 0
vsize: 110656
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 45664 0 0 0 101893 122 0 0 25 0 1 0 864414956 113311744 21893 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27664 21893 300 300 0 27364 0
vsize: 110656
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 46019 0 0 0 102892 123 0 0 25 0 1 0 864414956 113311744 21899 4294967295 134512640 135726644 3221224592 3221223088 134744184 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27664 21899 300 300 0 27364 0
vsize: 110656
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 46024 0 0 0 103892 124 0 0 25 0 1 0 864414956 113311744 21904 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27664 21904 300 300 0 27364 0
vsize: 110656
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 46032 0 0 0 104892 124 0 0 25 0 1 0 864414956 113311744 21912 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27664 21912 300 300 0 27364 0
vsize: 110656
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 46037 0 0 0 105892 124 0 0 25 0 1 0 864414956 113311744 21917 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27664 21917 300 300 0 27364 0
vsize: 110656
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 46394 0 0 0 106892 124 0 0 25 0 1 0 864414956 113311744 21925 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27664 21925 300 300 0 27364 0
vsize: 110656
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 46398 0 0 0 107892 125 0 0 25 0 1 0 864414956 113446912 21929 4294967295 134512640 135726644 3221224592 3221222840 135281222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27697 21929 300 300 0 27397 0
vsize: 110788
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 46775 0 0 0 108891 125 0 0 25 0 1 0 864414956 115171328 22240 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28118 22240 300 300 0 27818 0
vsize: 112472
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 46992 0 0 0 109891 126 0 0 25 0 1 0 864414956 115970048 22408 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28313 22408 300 300 0 28013 0
vsize: 113252
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 46994 0 0 0 110891 126 0 0 25 0 1 0 864414956 115970048 22410 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28313 22410 300 300 0 28013 0
vsize: 113252
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 47344 0 0 0 111890 127 0 0 25 0 1 0 864414956 115970048 22411 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28313 22411 300 300 0 28013 0
vsize: 113252
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 47346 0 0 0 112890 127 0 0 25 0 1 0 864414956 115970048 22413 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28313 22413 300 300 0 28013 0
vsize: 113252
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 47347 0 0 0 113890 127 0 0 25 0 1 0 864414956 115970048 22414 4294967295 134512640 135726644 3221224592 3221223248 134745076 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28313 22414 300 300 0 28013 0
vsize: 113252
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 47710 0 0 0 114890 128 0 0 25 0 1 0 864414956 115970048 22428 4294967295 134512640 135726644 3221224592 3221223136 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28313 22428 300 300 0 28013 0
vsize: 113252
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 47728 0 0 0 115890 128 0 0 25 0 1 0 864414956 115970048 22446 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28313 22446 300 300 0 28013 0
vsize: 113252
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 47744 0 0 0 116890 128 0 0 25 0 1 0 864414956 115970048 22462 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28313 22462 300 300 0 28013 0
vsize: 113252
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 48100 0 0 0 117889 129 0 0 25 0 1 0 864414956 115970048 22469 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28313 22469 300 300 0 28013 0
vsize: 113252
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 48101 0 0 0 118889 129 0 0 25 0 1 0 864414956 115970048 22470 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28313 22470 300 300 0 28013 0
vsize: 113252
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9873
Raw data (stat): 9873 (pb2sat) R 9872 25399 25398 0 -1 0 48103 0 0 0 119890 129 0 0 25 0 1 0 864414956 115970048 22472 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28313 22472 300 300 0 28013 0
vsize: 113252
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.89 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 9873
Raw data (stat): 9873 (pb2sat) Z 9872 25399 25398 0 -1 12 48104 0 0 0 119972 134 0 0 25 0 1 0 864414956 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): 1200.89
CPU time (s): 1201.07
CPU user time (s): 1199.72
CPU system time (s): 1.3428
CPU usage (%): 100.015
Max. virtual memory (Kb): 113252
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####