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.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:100.opb
MD5SUM	b2c6bc03457d15976fdaf81252d9cdae
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3
Optimality of the best value was proved	NO
Number of terms in the objective function	435
Biggest coefficient in the objective function	282
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	1168
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	282
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	1168
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02284
Number of variables	435
Total number of constraints	935
Number of constraints which are clauses	403
Number of constraints which are cardinality constraints (but not clauses)	532
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	16
Trace number 35069

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc29 THE 2005-05-28 11:51:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24291 boxname=wulflinc29 idbench=365 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b2c6bc03457d15976fdaf81252d9cdae  /oldhome/oroussel/tmp/wulflinc29/normalized-10:10:4.5:0.95:100.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc29/normalized-10:10:4.5:0.95:100.opb
IDLAUNCH: 24291
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.020
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.020
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:        632148 kB
Buffers:         36848 kB
Cached:         339444 kB
SwapCached:        632 kB
Active:          44360 kB
Inactive:       334008 kB
HighTotal:      131008 kB
HighFree:        46872 kB
LowTotal:       903652 kB
LowFree:        585276 kB
SwapTotal:     2097892 kB
SwapFree:      2096372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5136 kB
Slab:            18512 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:11:38 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 24291 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 70422/122708	Time: 17.8213/86400
Decision: 70422/122708	Time: 29.4975/86400
Decision: 70422/122708	Time: 43.3364/86400
Decision: 70422/122708	Time: 58.4041/86400
Decision: 70422/122708	Time: 71.2972/86400
Decision: 70422/122708	Time: 86.5938/86400
Decision: 70422/122708	Time: 100.932/86400
Decision: 70422/122708	Time: 115.089/86400
Decision: 70422/122708	Time: 129.129/86400
Decision: 70422/122708	Time: 144.823/86400
Decision: 70422/122708	Time: 159.646/86400
Decision: 70422/122708	Time: 175.264/86400
Decision: 70422/122708	Time: 189.402/86400
Decision: 70422/122708	Time: 206.084/86400
Decision: 70422/122708	Time: 223.005/86400
Decision: 70422/122708	Time: 240.553/86400
Decision: 70422/122708	Time: 254.893/86400
Decision: 70422/122708	Time: 273.165/86400
Decision: 70422/122708	Time: 290.437/86400
Decision: 70422/122708	Time: 309.183/86400
Decision: 70422/122708	Time: 328.604/86400
Decision: 70422/122708	Time: 346.55/86400
Decision: 70422/122708	Time: 364.913/86400
Decision: 70422/122708	Time: 384.889/86400
Decision: 70422/122708	Time: 402.352/86400
Decision: 70422/122708	Time: 420.405/86400
Decision: 70422/122708	Time: 440.805/86400
Decision: 70422/122708	Time: 460.147/86400
Decision: 70422/122708	Time: 479.185/86400
Decision: 70422/122708	Time: 498.559/86400
Decision: 70422/122708	Time: 519.13/86400
Decision: 70422/122708	Time: 540.277/86400
Decision: 70422/122708	Time: 559.933/86400
Decision: 70422/122708	Time: 580.568/86400
Decision: 70422/122708	Time: 600.757/86400
Decision: 70422/122708	Time: 619.397/86400
Decision: 70422/122708	Time: 639.989/86400
Decision: 70422/122708	Time: 661.467/86400
Decision: 70422/122708	Time: 681.406/86400
Decision: 70779/122708	Time: 702.988/86400
Decision: 70779/122708	Time: 722.627/86400
Decision: 70779/122708	Time: 741.615/86400
Decision: 70779/122708	Time: 760.112/86400
Decision: 70779/122708	Time: 781.773/86400
Decision: 70779/122708	Time: 800.877/86400
Decision: 70779/122708	Time: 822.729/86400
Decision: 70779/122708	Time: 843.567/86400
Decision: 70779/122708	Time: 866.046/86400
Decision: 70779/122708	Time: 887.903/86400
Decision: 70779/122708	Time: 909.151/86400
Decision: 70779/122708	Time: 929.668/86400
Decision: 70779/122708	Time: 947.821/86400
Decision: 70779/122708	Time: 966.708/86400
Decision: 70779/122708	Time: 987.093/86400
Decision: 70779/122708	Time: 1007.11/86400
Decision: 70779/122708	Time: 1028.09/86400
Decision: 70779/122708	Time: 1047.79/86400
Decision: 70779/122708	Time: 1068.85/86400
Decision: 70779/122708	Time: 1088.43/86400
Decision: 70779/122708	Time: 1107.46/86400
Decision: 70779/122708	Time: 1128.62/86400
Decision: 70779/122708	Time: 1148.35/86400
Decision: 70779/122708	Time: 1168.89/86400
Decision: 70779/122708	Time: 1189.04/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.92 0.98 0.93 2/54 27241
Raw data (stat): 27241 (runsolver) R 27240 20001 20000 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864578352 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.0003 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 16751 0 0 0 960 38 0 0 25 0 1 0 864578352 49262592 10977 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12027 10977 300 300 0 11727 0
vsize: 48108
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 16825 0 0 0 1960 39 0 0 25 0 1 0 864578352 49426432 11051 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12067 11051 300 300 0 11767 0
vsize: 48268
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 17141 0 0 0 2958 40 0 0 25 0 1 0 864578352 49623040 11127 4294967295 134512640 135726644 3221224576 3221223168 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12115 11127 300 300 0 11815 0
vsize: 48460
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 17448 0 0 0 3957 41 0 0 25 0 1 0 864578352 50016256 11194 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12211 11194 300 300 0 11911 0
vsize: 48844
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 17801 0 0 0 4957 41 0 0 25 0 1 0 864578352 50491392 11307 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12327 11307 300 300 0 12027 0
vsize: 49308
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 17917 0 0 0 5955 42 0 0 25 0 1 0 864578352 51019776 11423 4294967295 134512640 135726644 3221224576 3221223120 134736611 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12456 11423 300 300 0 12156 0
vsize: 49824
[startup+70.002 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 18178 0 0 0 6954 43 0 0 25 0 1 0 864578352 51019776 11444 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12456 11444 300 300 0 12156 0
vsize: 49824
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 18448 0 0 0 7953 44 0 0 25 0 1 0 864578352 51019776 11474 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12456 11474 300 300 0 12156 0
vsize: 49824
[startup+90.0029 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 18477 0 0 0 8954 44 0 0 25 0 1 0 864578352 51019776 11503 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12456 11503 300 300 0 12156 0
vsize: 49824
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 18823 0 0 0 9953 45 0 0 25 0 1 0 864578352 51380224 11609 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12544 11609 300 300 0 12244 0
vsize: 50176
[startup+110.002 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19071 0 0 0 10952 46 0 0 25 0 1 0 864578352 51380224 11617 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12544 11617 300 300 0 12244 0
vsize: 50176
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19094 0 0 0 11952 46 0 0 25 0 1 0 864578352 51380224 11640 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12544 11640 300 300 0 12244 0
vsize: 50176
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19375 0 0 0 12952 47 0 0 25 0 1 0 864578352 51576832 11681 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12592 11681 300 300 0 12292 0
vsize: 50368
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19652 0 0 0 13950 48 0 0 25 0 1 0 864578352 51773440 11718 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12640 11718 300 300 0 12340 0
vsize: 50560
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19936 0 0 0 14950 49 0 0 25 0 1 0 864578352 52756480 12002 4294967295 134512640 135726644 3221224576 3221222732 134761832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12880 12002 300 300 0 12580 0
vsize: 51520
[startup+160.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 19957 0 0 0 15950 49 0 0 25 0 1 0 864578352 51773440 11783 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12640 11783 300 300 0 12340 0
vsize: 50560
[startup+170.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 20207 0 0 0 16949 50 0 0 25 0 1 0 864578352 51773440 11793 4294967295 134512640 135726644 3221224576 3221223196 134744627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12640 11793 300 300 0 12340 0
vsize: 50560
[startup+180.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 20209 0 0 0 17949 50 0 0 25 0 1 0 864578352 51773440 11795 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12640 11795 300 300 0 12340 0
vsize: 50560
[startup+190.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 20455 0 0 0 18949 50 0 0 25 0 1 0 864578352 51773440 11801 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12640 11801 300 300 0 12340 0
vsize: 50560
[startup+200.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 20715 0 0 0 19948 51 0 0 25 0 1 0 864578352 51773440 11821 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12640 11821 300 300 0 12340 0
vsize: 50560
[startup+210.003 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 20730 0 0 0 20948 51 0 0 25 0 1 0 864578352 51773440 11836 4294967295 134512640 135726644 3221224576 3221223180 134744139 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12640 11836 300 300 0 12340 0
vsize: 50560
[startup+220.004 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21013 0 0 0 21948 52 0 0 25 0 1 0 864578352 51908608 11879 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12673 11879 300 300 0 12373 0
vsize: 50692
[startup+230.004 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21266 0 0 0 22947 53 0 0 25 0 1 0 864578352 51908608 11892 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12673 11892 300 300 0 12373 0
vsize: 50692
[startup+240.005 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21289 0 0 0 23947 53 0 0 25 0 1 0 864578352 51908608 11915 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12673 11915 300 300 0 12373 0
vsize: 50692
[startup+250.004 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21538 0 0 0 24946 54 0 0 25 0 1 0 864578352 51908608 11924 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12673 11924 300 300 0 12373 0
vsize: 50692
[startup+260.004 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21542 0 0 0 25946 55 0 0 25 0 1 0 864578352 51908608 11928 4294967295 134512640 135726644 3221224576 3221223088 134742423 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12673 11928 300 300 0 12373 0
vsize: 50692
[startup+270.005 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 21795 0 0 0 26945 56 0 0 25 0 1 0 864578352 52105216 11941 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12721 11941 300 300 0 12421 0
vsize: 50884
[startup+280.004 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22037 0 0 0 27944 57 0 0 25 0 1 0 864578352 52105216 11943 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12721 11943 300 300 0 12421 0
vsize: 50884
[startup+290.005 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22053 0 0 0 28943 58 0 0 25 0 1 0 864578352 52105216 11959 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12721 11959 300 300 0 12421 0
vsize: 50884
[startup+300.005 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22309 0 0 0 29942 59 0 0 25 0 1 0 864578352 52105216 11975 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12721 11975 300 300 0 12421 0
vsize: 50884
[startup+310.005 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22339 0 0 0 30942 59 0 0 25 0 1 0 864578352 52240384 12005 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12754 12005 300 300 0 12454 0
vsize: 51016
[startup+320.006 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22581 0 0 0 31942 60 0 0 25 0 1 0 864578352 52240384 12007 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12754 12007 300 300 0 12454 0
vsize: 51016
[startup+330.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22584 0 0 0 32942 60 0 0 25 0 1 0 864578352 52240384 12010 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12754 12010 300 300 0 12454 0
vsize: 51016
[startup+340.007 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22827 0 0 0 33941 61 0 0 25 0 1 0 864578352 52240384 12013 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12754 12013 300 300 0 12454 0
vsize: 51016
[startup+350.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 22846 0 0 0 34941 61 0 0 25 0 1 0 864578352 52375552 12032 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12787 12032 300 300 0 12487 0
vsize: 51148
[startup+360.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23112 0 0 0 35930 62 0 0 25 0 1 0 864578352 52510720 12058 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 12058 300 300 0 12520 0
vsize: 51280
[startup+370.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23114 0 0 0 36930 62 0 0 25 0 1 0 864578352 52510720 12060 4294967295 134512640 135726644 3221224576 3221223088 134742284 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 12060 300 300 0 12520 0
vsize: 51280
[startup+380.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23357 0 0 0 37930 63 0 0 25 0 1 0 864578352 52510720 12063 4294967295 134512640 135726644 3221224576 3221223072 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 12063 300 300 0 12520 0
vsize: 51280
[startup+390.007 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23362 0 0 0 38930 63 0 0 25 0 1 0 864578352 52510720 12068 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 12068 300 300 0 12520 0
vsize: 51280
[startup+400.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23606 0 0 0 39930 63 0 0 25 0 1 0 864578352 52510720 12072 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 12072 300 300 0 12520 0
vsize: 51280
[startup+410.008 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23859 0 0 0 40929 64 0 0 25 0 1 0 864578352 52510720 12085 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 12085 300 300 0 12520 0
vsize: 51280
[startup+420.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 23872 0 0 0 41929 65 0 0 25 0 1 0 864578352 52510720 12098 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12820 12098 300 300 0 12520 0
vsize: 51280
[startup+430.009 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24183 0 0 0 42928 65 0 0 25 0 1 0 864578352 52781056 12169 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12886 12169 300 300 0 12586 0
vsize: 51544
[startup+440.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24185 0 0 0 43928 65 0 0 25 0 1 0 864578352 52781056 12171 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12886 12171 300 300 0 12586 0
vsize: 51544
[startup+450.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24504 0 0 0 44927 66 0 0 25 0 1 0 864578352 53186560 12250 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12985 12250 300 300 0 12685 0
vsize: 51940
[startup+460.01 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24507 0 0 0 45927 67 0 0 25 0 1 0 864578352 53186560 12253 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12985 12253 300 300 0 12685 0
vsize: 51940
[startup+470.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24750 0 0 0 46926 68 0 0 25 0 1 0 864578352 53186560 12256 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12985 12256 300 300 0 12685 0
vsize: 51940
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 24780 0 0 0 47926 68 0 0 25 0 1 0 864578352 53321728 12286 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13018 12286 300 300 0 12718 0
vsize: 52072
[startup+490.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25039 0 0 0 48926 69 0 0 25 0 1 0 864578352 53456896 12305 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13051 12305 300 300 0 12751 0
vsize: 52204
[startup+500.013 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 27241
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25043 0 0 0 49925 69 0 0 25 0 1 0 864578352 53456896 12309 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13051 12309 300 300 0 12751 0
vsize: 52204
[startup+510.012 s]
Raw data (loadavg): 1.00 1.00 0.93 2/57 27251
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25285 0 0 0 50925 70 0 0 25 0 1 0 864578352 53456896 12311 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13051 12311 300 300 0 12751 0
vsize: 52204
[startup+520.012 s]
Raw data (loadavg): 1.07 1.02 0.94 2/54 27294
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25288 0 0 0 51924 71 0 0 25 0 1 0 864578352 53456896 12314 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13051 12314 300 300 0 12751 0
vsize: 52204
[startup+530.012 s]
Raw data (loadavg): 1.06 1.02 0.94 2/54 27294
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25529 0 0 0 52923 72 0 0 25 0 1 0 864578352 53456896 12315 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13051 12315 300 300 0 12751 0
vsize: 52204
[startup+540.013 s]
Raw data (loadavg): 1.05 1.01 0.94 2/54 27294
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25533 0 0 0 53923 72 0 0 25 0 1 0 864578352 53456896 12319 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13051 12319 300 300 0 12751 0
vsize: 52204
[startup+550.013 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 27294
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25775 0 0 0 54922 73 0 0 25 0 1 0 864578352 53456896 12321 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13051 12321 300 300 0 12751 0
vsize: 52204
[startup+560.012 s]
Raw data (loadavg): 1.04 1.01 0.94 2/54 27294
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 25780 0 0 0 55922 74 0 0 25 0 1 0 864578352 53456896 12326 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13051 12326 300 300 0 12751 0
vsize: 52204
[startup+570.013 s]
Raw data (loadavg): 1.03 1.01 0.94 2/54 27294
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26032 0 0 0 56922 74 0 0 25 0 1 0 864578352 53456896 12338 4294967295 134512640 135726644 3221224576 3221223232 134731190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13051 12338 300 300 0 12751 0
vsize: 52204
[startup+580.013 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26077 0 0 0 57921 75 0 0 25 0 1 0 864578352 53592064 12383 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13084 12383 300 300 0 12784 0
vsize: 52336
[startup+590.014 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26386 0 0 0 58921 76 0 0 25 0 1 0 864578352 53993472 12452 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13182 12452 300 300 0 12882 0
vsize: 52728
[startup+600.014 s]
Raw data (loadavg): 1.02 1.01 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26395 0 0 0 59921 76 0 0 25 0 1 0 864578352 53993472 12461 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13182 12461 300 300 0 12882 0
vsize: 52728
[startup+610.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26644 0 0 0 60920 77 0 0 25 0 1 0 864578352 53993472 12470 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13182 12470 300 300 0 12882 0
vsize: 52728
[startup+620.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26655 0 0 0 61920 77 0 0 25 0 1 0 864578352 53993472 12481 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13182 12481 300 300 0 12882 0
vsize: 52728
[startup+630.014 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26900 0 0 0 62919 78 0 0 25 0 1 0 864578352 62382080 12486 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12486 300 300 0 14930 0
vsize: 60920
[startup+640.015 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 26903 0 0 0 63919 79 0 0 25 0 1 0 864578352 62382080 12489 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12489 300 300 0 14930 0
vsize: 60920
[startup+650.014 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27145 0 0 0 64918 80 0 0 25 0 1 0 864578352 62382080 12491 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12491 300 300 0 14930 0
vsize: 60920
[startup+660.014 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27149 0 0 0 65917 80 0 0 25 0 1 0 864578352 62382080 12495 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12495 300 300 0 14930 0
vsize: 60920
[startup+670.015 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27400 0 0 0 66918 80 0 0 25 0 1 0 864578352 62382080 12506 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12506 300 300 0 14930 0
vsize: 60920
[startup+680.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27412 0 0 0 67917 81 0 0 25 0 1 0 864578352 62382080 12518 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12518 300 300 0 14930 0
vsize: 60920
[startup+690.016 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27664 0 0 0 68917 81 0 0 25 0 1 0 864578352 62382080 12530 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12530 300 300 0 14930 0
vsize: 60920
[startup+700.018 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27676 0 0 0 69917 81 0 0 25 0 1 0 864578352 62382080 12542 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12542 300 300 0 14930 0
vsize: 60920
[startup+710.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27933 0 0 0 70917 82 0 0 25 0 1 0 864578352 62382080 12559 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12559 300 300 0 14930 0
vsize: 60920
[startup+720.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 27944 0 0 0 71917 83 0 0 25 0 1 0 864578352 62382080 12570 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12570 300 300 0 14930 0
vsize: 60920
[startup+730.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28191 0 0 0 72916 83 0 0 25 0 1 0 864578352 62382080 12577 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12577 300 300 0 14930 0
vsize: 60920
[startup+740.019 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28196 0 0 0 73916 84 0 0 25 0 1 0 864578352 62382080 12582 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12582 300 300 0 14930 0
vsize: 60920
[startup+750.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28437 0 0 0 74916 85 0 0 25 0 1 0 864578352 62382080 12583 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12583 300 300 0 14930 0
vsize: 60920
[startup+760.025 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28443 0 0 0 75915 85 0 0 25 0 1 0 864578352 62382080 12589 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12589 300 300 0 14930 0
vsize: 60920
[startup+770.026 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28696 0 0 0 76915 86 0 0 25 0 1 0 864578352 62382080 12602 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12602 300 300 0 14930 0
vsize: 60920
[startup+780.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28712 0 0 0 77915 86 0 0 25 0 1 0 864578352 62382080 12618 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12618 300 300 0 14930 0
vsize: 60920
[startup+790.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28965 0 0 0 78914 87 0 0 25 0 1 0 864578352 62382080 12631 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12631 300 300 0 14930 0
vsize: 60920
[startup+800.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 28976 0 0 0 79914 88 0 0 25 0 1 0 864578352 62382080 12642 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12642 300 300 0 14930 0
vsize: 60920
[startup+810.032 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29228 0 0 0 80913 89 0 0 25 0 1 0 864578352 62382080 12654 4294967295 134512640 135726644 3221224576 3221223072 134744006 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12654 300 300 0 14930 0
vsize: 60920
[startup+820.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29240 0 0 0 81913 89 0 0 25 0 1 0 864578352 62382080 12666 4294967295 134512640 135726644 3221224576 3221223072 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12666 300 300 0 14930 0
vsize: 60920
[startup+830.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29487 0 0 0 82912 90 0 0 25 0 1 0 864578352 62382080 12673 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12673 300 300 0 14930 0
vsize: 60920
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29489 0 0 0 83912 90 0 0 25 0 1 0 864578352 62382080 12675 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12675 300 300 0 14930 0
vsize: 60920
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29732 0 0 0 84912 91 0 0 25 0 1 0 864578352 62382080 12678 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12678 300 300 0 14930 0
vsize: 60920
[startup+860.034 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29733 0 0 0 85911 92 0 0 25 0 1 0 864578352 62382080 12679 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12679 300 300 0 14930 0
vsize: 60920
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27296
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 29735 0 0 0 86911 92 0 0 25 0 1 0 864578352 62382080 12681 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15230 12681 300 300 0 14930 0
vsize: 60920
[startup+880.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30008 0 0 0 87910 94 0 0 25 0 1 0 864578352 62517248 12714 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15263 12714 300 300 0 14963 0
vsize: 61052
[startup+890.035 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30018 0 0 0 88910 94 0 0 25 0 1 0 864578352 62517248 12724 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15263 12724 300 300 0 14963 0
vsize: 61052
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30267 0 0 0 89909 95 0 0 25 0 1 0 864578352 62517248 12733 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15263 12733 300 300 0 14963 0
vsize: 61052
[startup+910.045 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30280 0 0 0 90909 96 0 0 25 0 1 0 864578352 62517248 12746 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15263 12746 300 300 0 14963 0
vsize: 61052
[startup+920.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30533 0 0 0 91909 97 0 0 25 0 1 0 864578352 62517248 12759 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15263 12759 300 300 0 14963 0
vsize: 61052
[startup+930.047 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30544 0 0 0 92908 97 0 0 25 0 1 0 864578352 62517248 12770 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15263 12770 300 300 0 14963 0
vsize: 61052
[startup+940.048 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30806 0 0 0 93908 98 0 0 25 0 1 0 864578352 62652416 12792 4294967295 134512640 135726644 3221224576 3221223072 134744006 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 15296 12792 300 300 0 14996 0
vsize: 61184
[startup+950.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 30808 0 0 0 94907 99 0 0 25 0 1 0 864578352 62652416 12794 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15296 12794 300 300 0 14996 0
vsize: 61184
[startup+960.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 31050 0 0 0 95906 100 0 0 25 0 1 0 864578352 62652416 12796 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15296 12796 300 300 0 14996 0
vsize: 61184
[startup+970.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34126 0 0 0 96898 108 0 0 25 0 1 0 864578352 75235328 12799 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18368 12799 300 300 0 18068 0
vsize: 73472
[startup+980.049 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34376 0 0 0 97897 109 0 0 25 0 1 0 864578352 75235328 12809 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18368 12809 300 300 0 18068 0
vsize: 73472
[startup+990.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34438 0 0 0 98897 109 0 0 25 0 1 0 864578352 75563008 12871 4294967295 134512640 135726644 3221224576 3221223196 134727347 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18448 12871 300 300 0 18148 0
vsize: 73792
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34689 0 0 0 99896 110 0 0 25 0 1 0 864578352 75563008 12882 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18448 12882 300 300 0 18148 0
vsize: 73792
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34700 0 0 0 100896 111 0 0 25 0 1 0 864578352 75563008 12893 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18448 12893 300 300 0 18148 0
vsize: 73792
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34951 0 0 0 101895 112 0 0 25 0 1 0 864578352 75563008 12904 4294967295 134512640 135726644 3221224576 3221223196 134727347 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18448 12904 300 300 0 18148 0
vsize: 73792
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 34961 0 0 0 102895 112 0 0 25 0 1 0 864578352 75563008 12914 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18448 12914 300 300 0 18148 0
vsize: 73792
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35222 0 0 0 103894 113 0 0 25 0 1 0 864578352 75698176 12935 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 12935 300 300 0 18181 0
vsize: 73924
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35224 0 0 0 104894 114 0 0 25 0 1 0 864578352 75698176 12937 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 12937 300 300 0 18181 0
vsize: 73924
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35469 0 0 0 105893 115 0 0 25 0 1 0 864578352 75698176 12942 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 12942 300 300 0 18181 0
vsize: 73924
[startup+1070.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35478 0 0 0 106894 115 0 0 25 0 1 0 864578352 75698176 12951 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 12951 300 300 0 18181 0
vsize: 73924
[startup+1080.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35729 0 0 0 107893 116 0 0 25 0 1 0 864578352 75698176 12962 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 12962 300 300 0 18181 0
vsize: 73924
[startup+1090.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35740 0 0 0 108893 116 0 0 25 0 1 0 864578352 75698176 12973 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 12973 300 300 0 18181 0
vsize: 73924
[startup+1100.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 35992 0 0 0 109892 117 0 0 25 0 1 0 864578352 75698176 12985 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 12985 300 300 0 18181 0
vsize: 73924
[startup+1110.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36003 0 0 0 110892 117 0 0 25 0 1 0 864578352 75698176 12996 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 12996 300 300 0 18181 0
vsize: 73924
[startup+1120.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36253 0 0 0 111892 118 0 0 25 0 1 0 864578352 75698176 13006 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 13006 300 300 0 18181 0
vsize: 73924
[startup+1130.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36267 0 0 0 112892 118 0 0 25 0 1 0 864578352 75698176 13020 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 13020 300 300 0 18181 0
vsize: 73924
[startup+1140.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36512 0 0 0 113891 119 0 0 25 0 1 0 864578352 75698176 13025 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 13025 300 300 0 18181 0
vsize: 73924
[startup+1150.06 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36514 0 0 0 114891 119 0 0 25 0 1 0 864578352 75698176 13027 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 13027 300 300 0 18181 0
vsize: 73924
[startup+1160.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36756 0 0 0 115890 120 0 0 25 0 1 0 864578352 75698176 13029 4294967295 134512640 135726644 3221224576 3221223072 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 13029 300 300 0 18181 0
vsize: 73924
[startup+1170.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 36758 0 0 0 116890 121 0 0 25 0 1 0 864578352 75698176 13031 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 13031 300 300 0 18181 0
vsize: 73924
[startup+1180.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 37002 0 0 0 117890 121 0 0 25 0 1 0 864578352 75698176 13035 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 13035 300 300 0 18181 0
vsize: 73924
[startup+1190.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 37008 0 0 0 118890 121 0 0 25 0 1 0 864578352 75698176 13041 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 13041 300 300 0 18181 0
vsize: 73924
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 27298
Raw data (stat): 27241 (pb2sat) R 27240 20001 20000 0 -1 0 37262 0 0 0 119889 122 0 0 25 0 1 0 864578352 75698176 13055 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18481 13055 300 300 0 18181 0
vsize: 73924
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.4 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 27298
Raw data (stat): 27241 (pb2sat) Z 27240 20001 20000 0 -1 12 37263 0 0 0 119919 125 0 0 25 0 1 0 864578352 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.4
CPU time (s): 1200.45
CPU user time (s): 1199.2
CPU system time (s): 1.25581
CPU usage (%): 100.004
Max. virtual memory (Kb): 73924
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####