PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos1.opb
MD5SUM	3fce91583b30a82646d8d8e778b97a89
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	19
Optimality of the best value was proved	NO
Number of terms in the objective function	288
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	288
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	5
Number of bits of the biggest number in a constraint	3
Biggest sum of numbers in a constraint	288
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.07084
Number of variables	2112
Total number of constraints	7132
Number of constraints which are clauses	4128
Number of constraints which are cardinality constraints (but not clauses)	2328
Number of constraints which are nor clauses,nor cardinality constraints	676
Minimum length of a constraint	1
Maximum length of a constraint	32
Trace number 35801

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        737128 kB
Buffers:         35068 kB
Cached:         242068 kB
SwapCached:        984 kB
Active:          22304 kB
Inactive:       256860 kB
HighTotal:      131008 kB
HighFree:         5936 kB
LowTotal:       903652 kB
LowFree:        731192 kB
SwapTotal:     2097892 kB
SwapFree:      2095996 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            12712 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 14:17:53 (client local time) WITH STATUS 0 IN 1200.45 SECONDS
stats: 25040 7 1200.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 46239/98112	Time: 607.556/86400
Decision: 46305/98112	Time: 661.452/86400
Decision: 46564/98112	Time: 809.671/86400
Decision: 46595/98112	Time: 887.591/86400
Decision: 47361/98112	Time: 1174.46/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.91 0.95 0.91 2/54 10850
Raw data (stat): 10850 (runsolver) R 10849 1586 1585 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865355377 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 13625 0 0 0 969 30 0 0 25 0 1 0 865355377 42930176 8022 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10481 8022 300 300 0 10181 0
vsize: 41924
[startup+20.0013 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 13878 0 0 0 1967 32 0 0 25 0 1 0 865355377 44077056 8275 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10761 8275 300 300 0 10461 0
vsize: 43044
[startup+30.0015 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 13927 0 0 0 2966 33 0 0 25 0 1 0 865355377 44273664 8324 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10809 8324 300 300 0 10509 0
vsize: 43236
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14013 0 0 0 3963 35 0 0 25 0 1 0 865355377 44634112 8410 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10897 8410 300 300 0 10597 0
vsize: 43588
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14068 0 0 0 4962 37 0 0 25 0 1 0 865355377 44830720 8465 4294967295 134512640 135726644 3221224576 3221223072 134744126 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10945 8465 300 300 0 10645 0
vsize: 43780
[startup+60.0022 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14161 0 0 0 5960 39 0 0 25 0 1 0 865355377 45223936 8558 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11041 8558 300 300 0 10741 0
vsize: 44164
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14189 0 0 0 6959 40 0 0 25 0 1 0 865355377 45223936 8586 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11041 8586 300 300 0 10741 0
vsize: 44164
[startup+80.0027 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14218 0 0 0 7958 42 0 0 25 0 1 0 865355377 45223936 8615 4294967295 134512640 135726644 3221224576 3221223120 134736684 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11041 8615 300 300 0 10741 0
vsize: 44164
[startup+90.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14272 0 0 0 8957 43 0 0 25 0 1 0 865355377 45420544 8669 4294967295 134512640 135726644 3221224576 3221223180 134743852 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11089 8669 300 300 0 10789 0
vsize: 44356
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14291 0 0 0 9955 45 0 0 25 0 1 0 865355377 45420544 8688 4294967295 134512640 135726644 3221224576 3221223072 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11089 8688 300 300 0 10789 0
vsize: 44356
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14334 0 0 0 10954 46 0 0 25 0 1 0 865355377 45420544 8731 4294967295 134512640 135726644 3221224576 3221223072 134743907 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11089 8731 300 300 0 10789 0
vsize: 44356
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14353 0 0 0 11953 47 0 0 25 0 1 0 865355377 45420544 8750 4294967295 134512640 135726644 3221224576 3221223184 134744646 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11089 8750 300 300 0 10789 0
vsize: 44356
[startup+130.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10850
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14391 0 0 0 12952 48 0 0 25 0 1 0 865355377 45617152 8788 4294967295 134512640 135726644 3221224576 3221223072 134744351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11137 8788 300 300 0 10837 0
vsize: 44548
[startup+140.003 s]
Raw data (loadavg): 1.07 0.98 0.92 2/54 10903
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14410 0 0 0 13944 55 0 0 25 0 1 0 865355377 45617152 8807 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11137 8807 300 300 0 10837 0
vsize: 44548
[startup+150.004 s]
Raw data (loadavg): 1.06 0.98 0.92 2/54 10903
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14438 0 0 0 14944 56 0 0 25 0 1 0 865355377 45617152 8835 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11137 8835 300 300 0 10837 0
vsize: 44548
[startup+160.004 s]
Raw data (loadavg): 1.05 0.98 0.92 2/54 10903
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14475 0 0 0 15941 59 0 0 25 0 1 0 865355377 45813760 8872 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11185 8872 300 300 0 10885 0
vsize: 44740
[startup+170.004 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 10903
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14488 0 0 0 16940 59 0 0 25 0 1 0 865355377 45813760 8885 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11185 8885 300 300 0 10885 0
vsize: 44740
[startup+180.004 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 10903
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14503 0 0 0 17939 60 0 0 25 0 1 0 865355377 45813760 8900 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11185 8900 300 300 0 10885 0
vsize: 44740
[startup+190.004 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 10903
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14533 0 0 0 18938 62 0 0 25 0 1 0 865355377 45813760 8930 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11185 8930 300 300 0 10885 0
vsize: 44740
[startup+200.004 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 10903
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14557 0 0 0 19937 64 0 0 25 0 1 0 865355377 46010368 8954 4294967295 134512640 135726644 3221224576 3221223072 134744311 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11233 8954 300 300 0 10933 0
vsize: 44932
[startup+210.004 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14608 0 0 0 20936 65 0 0 25 0 1 0 865355377 46206976 9005 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11281 9005 300 300 0 10981 0
vsize: 45124
[startup+220.004 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14634 0 0 0 21935 66 0 0 25 0 1 0 865355377 46206976 9031 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11281 9031 300 300 0 10981 0
vsize: 45124
[startup+230.003 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14656 0 0 0 22934 67 0 0 25 0 1 0 865355377 46206976 9053 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11281 9053 300 300 0 10981 0
vsize: 45124
[startup+240.004 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14673 0 0 0 23933 68 0 0 25 0 1 0 865355377 46206976 9070 4294967295 134512640 135726644 3221224576 3221223072 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11281 9070 300 300 0 10981 0
vsize: 45124
[startup+250.005 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14691 0 0 0 24932 69 0 0 25 0 1 0 865355377 46206976 9088 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11281 9088 300 300 0 10981 0
vsize: 45124
[startup+260.004 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14704 0 0 0 25931 70 0 0 25 0 1 0 865355377 46206976 9101 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11281 9101 300 300 0 10981 0
vsize: 45124
[startup+270.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14732 0 0 0 26930 72 0 0 25 0 1 0 865355377 46206976 9129 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11281 9129 300 300 0 10981 0
vsize: 45124
[startup+280.003 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14749 0 0 0 27929 73 0 0 25 0 1 0 865355377 46206976 9146 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11281 9146 300 300 0 10981 0
vsize: 45124
[startup+290.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14766 0 0 0 28928 74 0 0 25 0 1 0 865355377 46206976 9163 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11281 9163 300 300 0 10981 0
vsize: 45124
[startup+300.005 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14784 0 0 0 29927 75 0 0 25 0 1 0 865355377 46206976 9181 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11281 9181 300 300 0 10981 0
vsize: 45124
[startup+310.005 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14811 0 0 0 30926 76 0 0 25 0 1 0 865355377 46403584 9208 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11329 9208 300 300 0 11029 0
vsize: 45316
[startup+320.005 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14829 0 0 0 31925 77 0 0 25 0 1 0 865355377 46403584 9226 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11329 9226 300 300 0 11029 0
vsize: 45316
[startup+330.005 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14846 0 0 0 32924 79 0 0 25 0 1 0 865355377 46403584 9243 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11329 9243 300 300 0 11029 0
vsize: 45316
[startup+340.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14874 0 0 0 33923 80 0 0 25 0 1 0 865355377 46403584 9271 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11329 9271 300 300 0 11029 0
vsize: 45316
[startup+350.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14889 0 0 0 34922 81 0 0 25 0 1 0 865355377 46403584 9286 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11329 9286 300 300 0 11029 0
vsize: 45316
[startup+360.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14906 0 0 0 35921 82 0 0 25 0 1 0 865355377 46403584 9303 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11329 9303 300 300 0 11029 0
vsize: 45316
[startup+370.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14929 0 0 0 36921 83 0 0 25 0 1 0 865355377 46403584 9326 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11329 9326 300 300 0 11029 0
vsize: 45316
[startup+380.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14951 0 0 0 37919 84 0 0 25 0 1 0 865355377 46403584 9348 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11329 9348 300 300 0 11029 0
vsize: 45316
[startup+390.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14970 0 0 0 38918 86 0 0 25 0 1 0 865355377 46403584 9367 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11329 9367 300 300 0 11029 0
vsize: 45316
[startup+400.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 14991 0 0 0 39917 87 0 0 25 0 1 0 865355377 46403584 9388 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11329 9388 300 300 0 11029 0
vsize: 45316
[startup+410.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15013 0 0 0 40916 88 0 0 25 0 1 0 865355377 46534656 9410 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11361 9410 300 300 0 11061 0
vsize: 45444
[startup+420.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15039 0 0 0 41916 89 0 0 25 0 1 0 865355377 46534656 9436 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11361 9436 300 300 0 11061 0
vsize: 45444
[startup+430.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15057 0 0 0 42916 89 0 0 25 0 1 0 865355377 46534656 9454 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11361 9454 300 300 0 11061 0
vsize: 45444
[startup+440.006 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15086 0 0 0 43915 90 0 0 25 0 1 0 865355377 46673920 9483 4294967295 134512640 135726644 3221224576 3221223072 134744123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11395 9483 300 300 0 11095 0
vsize: 45580
[startup+450.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15104 0 0 0 44914 91 0 0 25 0 1 0 865355377 46673920 9501 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11395 9501 300 300 0 11095 0
vsize: 45580
[startup+460.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15121 0 0 0 45913 93 0 0 25 0 1 0 865355377 46673920 9518 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11395 9518 300 300 0 11095 0
vsize: 45580
[startup+470.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15141 0 0 0 46912 93 0 0 25 0 1 0 865355377 46673920 9538 4294967295 134512640 135726644 3221224576 3221223120 134736726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11395 9538 300 300 0 11095 0
vsize: 45580
[startup+480.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10905
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15161 0 0 0 47912 94 0 0 25 0 1 0 865355377 46673920 9558 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11395 9558 300 300 0 11095 0
vsize: 45580
[startup+490.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15185 0 0 0 48911 95 0 0 25 0 1 0 865355377 46673920 9582 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11395 9582 300 300 0 11095 0
vsize: 45580
[startup+500.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15202 0 0 0 49910 96 0 0 25 0 1 0 865355377 46673920 9599 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11395 9599 300 300 0 11095 0
vsize: 45580
[startup+510.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15225 0 0 0 50908 98 0 0 25 0 1 0 865355377 46673920 9622 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11395 9622 300 300 0 11095 0
vsize: 45580
[startup+520.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15254 0 0 0 51908 99 0 0 25 0 1 0 865355377 46809088 9651 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11428 9651 300 300 0 11128 0
vsize: 45712
[startup+530.007 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15284 0 0 0 52906 100 0 0 25 0 1 0 865355377 46809088 9681 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11428 9681 300 300 0 11128 0
vsize: 45712
[startup+540.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15301 0 0 0 53906 102 0 0 25 0 1 0 865355377 46809088 9698 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11428 9698 300 300 0 11128 0
vsize: 45712
[startup+550.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15325 0 0 0 54905 103 0 0 25 0 1 0 865355377 46809088 9722 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11428 9722 300 300 0 11128 0
vsize: 45712
[startup+560.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15344 0 0 0 55904 104 0 0 25 0 1 0 865355377 46809088 9741 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 11428 9741 300 300 0 11128 0
vsize: 45712
[startup+570.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15362 0 0 0 56903 105 0 0 25 0 1 0 865355377 55197696 9759 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13476 9759 300 300 0 13176 0
vsize: 53904
[startup+580.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15378 0 0 0 57901 107 0 0 25 0 1 0 865355377 55197696 9775 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13476 9775 300 300 0 13176 0
vsize: 53904
[startup+590.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15402 0 0 0 58902 107 0 0 25 0 1 0 865355377 55336960 9799 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13510 9799 300 300 0 13210 0
vsize: 54040
[startup+600.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15441 0 0 0 59901 108 0 0 25 0 1 0 865355377 55336960 9838 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13510 9838 300 300 0 13210 0
vsize: 54040
[startup+610.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15484 0 0 0 60900 110 0 0 25 0 1 0 865355377 55533568 9881 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 9881 300 300 0 13258 0
vsize: 54232
[startup+620.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15696 0 0 0 61898 111 0 0 25 0 1 0 865355377 55533568 9901 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 9901 300 300 0 13258 0
vsize: 54232
[startup+630.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15697 0 0 0 62897 112 0 0 25 0 1 0 865355377 55533568 9902 4294967295 134512640 135726644 3221224576 3221222816 134782753 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 9902 300 300 0 13258 0
vsize: 54232
[startup+640.019 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15699 0 0 0 63897 112 0 0 25 0 1 0 865355377 55533568 9904 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 9904 300 300 0 13258 0
vsize: 54232
[startup+650.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15708 0 0 0 64896 114 0 0 25 0 1 0 865355377 55533568 9913 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 9913 300 300 0 13258 0
vsize: 54232
[startup+660.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15725 0 0 0 65895 115 0 0 25 0 1 0 865355377 55533568 9930 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 9930 300 300 0 13258 0
vsize: 54232
[startup+670.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15942 0 0 0 66893 116 0 0 25 0 1 0 865355377 55533568 9955 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13558 9955 300 300 0 13258 0
vsize: 54232
[startup+680.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15960 0 0 0 67892 117 0 0 25 0 1 0 865355377 55533568 9973 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 9973 300 300 0 13258 0
vsize: 54232
[startup+690.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15979 0 0 0 68891 118 0 0 25 0 1 0 865355377 55533568 9992 4294967295 134512640 135726644 3221224576 3221223264 134744977 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 9992 300 300 0 13258 0
vsize: 54232
[startup+700.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 15998 0 0 0 69891 118 0 0 25 0 1 0 865355377 55533568 10011 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 10011 300 300 0 13258 0
vsize: 54232
[startup+710.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16012 0 0 0 70890 119 0 0 25 0 1 0 865355377 55533568 10025 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 10025 300 300 0 13258 0
vsize: 54232
[startup+720.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16030 0 0 0 71890 120 0 0 25 0 1 0 865355377 55533568 10043 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13558 10043 300 300 0 13258 0
vsize: 54232
[startup+730.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16046 0 0 0 72889 121 0 0 25 0 1 0 865355377 55664640 10059 4294967295 134512640 135726644 3221224576 3221223200 134744518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13590 10059 300 300 0 13290 0
vsize: 54360
[startup+740.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16126 0 0 0 73889 122 0 0 25 0 1 0 865355377 56070144 10139 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13689 10139 300 300 0 13389 0
vsize: 54756
[startup+750.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16139 0 0 0 74888 123 0 0 25 0 1 0 865355377 56070144 10152 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13689 10152 300 300 0 13389 0
vsize: 54756
[startup+760.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16156 0 0 0 75887 124 0 0 25 0 1 0 865355377 56070144 10169 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13689 10169 300 300 0 13389 0
vsize: 54756
[startup+770.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16174 0 0 0 76886 125 0 0 25 0 1 0 865355377 56070144 10187 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13689 10187 300 300 0 13389 0
vsize: 54756
[startup+780.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16207 0 0 0 77885 126 0 0 25 0 1 0 865355377 56205312 10220 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13722 10220 300 300 0 13422 0
vsize: 54888
[startup+790.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16243 0 0 0 78884 127 0 0 25 0 1 0 865355377 56340480 10256 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13755 10256 300 300 0 13455 0
vsize: 55020
[startup+800.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16261 0 0 0 79884 128 0 0 25 0 1 0 865355377 56340480 10274 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13755 10274 300 300 0 13455 0
vsize: 55020
[startup+810.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16282 0 0 0 80883 128 0 0 25 0 1 0 865355377 56340480 10295 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13755 10295 300 300 0 13455 0
vsize: 55020
[startup+820.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16488 0 0 0 81882 130 0 0 25 0 1 0 865355377 56340480 10309 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13755 10309 300 300 0 13455 0
vsize: 55020
[startup+830.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16506 0 0 0 82882 130 0 0 25 0 1 0 865355377 56340480 10327 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13755 10327 300 300 0 13455 0
vsize: 55020
[startup+840.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16522 0 0 0 83881 131 0 0 25 0 1 0 865355377 56340480 10343 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13755 10343 300 300 0 13455 0
vsize: 55020
[startup+850.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16575 0 0 0 84880 132 0 0 25 0 1 0 865355377 56610816 10396 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13821 10396 300 300 0 13521 0
vsize: 55284
[startup+860.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16624 0 0 0 85879 133 0 0 25 0 1 0 865355377 56745984 10445 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13854 10445 300 300 0 13554 0
vsize: 55416
[startup+870.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16640 0 0 0 86878 134 0 0 25 0 1 0 865355377 56745984 10461 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13854 10461 300 300 0 13554 0
vsize: 55416
[startup+880.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16656 0 0 0 87878 135 0 0 25 0 1 0 865355377 56745984 10477 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13854 10477 300 300 0 13554 0
vsize: 55416
[startup+890.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16719 0 0 0 88877 136 0 0 25 0 1 0 865355377 57016320 10540 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13920 10540 300 300 0 13620 0
vsize: 55680
[startup+900.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16966 0 0 0 89876 137 0 0 25 0 1 0 865355377 57286656 10595 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13986 10595 300 300 0 13686 0
vsize: 55944
[startup+910.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 16985 0 0 0 90875 138 0 0 25 0 1 0 865355377 57286656 10614 4294967295 134512640 135726644 3221224576 3221223200 134744594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13986 10614 300 300 0 13686 0
vsize: 55944
[startup+920.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17002 0 0 0 91875 139 0 0 25 0 1 0 865355377 57286656 10631 4294967295 134512640 135726644 3221224576 3221223072 134743978 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13986 10631 300 300 0 13686 0
vsize: 55944
[startup+930.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17020 0 0 0 92873 140 0 0 25 0 1 0 865355377 57286656 10649 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13986 10649 300 300 0 13686 0
vsize: 55944
[startup+940.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17032 0 0 0 93873 141 0 0 25 0 1 0 865355377 57286656 10661 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13986 10661 300 300 0 13686 0
vsize: 55944
[startup+950.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17042 0 0 0 94872 142 0 0 25 0 1 0 865355377 57286656 10671 4294967295 134512640 135726644 3221224576 3221223072 134744304 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13986 10671 300 300 0 13686 0
vsize: 55944
[startup+960.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17058 0 0 0 95871 143 0 0 25 0 1 0 865355377 57286656 10687 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13986 10687 300 300 0 13686 0
vsize: 55944
[startup+970.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17075 0 0 0 96871 144 0 0 25 0 1 0 865355377 57286656 10704 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13986 10704 300 300 0 13686 0
vsize: 55944
[startup+980.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17093 0 0 0 97870 145 0 0 25 0 1 0 865355377 57286656 10722 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13986 10722 300 300 0 13686 0
vsize: 55944
[startup+990.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17111 0 0 0 98869 146 0 0 25 0 1 0 865355377 57286656 10740 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13986 10740 300 300 0 13686 0
vsize: 55944
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17127 0 0 0 99869 146 0 0 25 0 1 0 865355377 57286656 10756 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13986 10756 300 300 0 13686 0
vsize: 55944
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17159 0 0 0 100868 147 0 0 25 0 1 0 865355377 57421824 10788 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14019 10788 300 300 0 13719 0
vsize: 56076
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17173 0 0 0 101868 148 0 0 25 0 1 0 865355377 57421824 10802 4294967295 134512640 135726644 3221224576 3221223168 134760006 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14019 10802 300 300 0 13719 0
vsize: 56076
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17190 0 0 0 102866 149 0 0 25 0 1 0 865355377 57421824 10819 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14019 10819 300 300 0 13719 0
vsize: 56076
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17205 0 0 0 103865 150 0 0 25 0 1 0 865355377 57421824 10834 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14019 10834 300 300 0 13719 0
vsize: 56076
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17220 0 0 0 104865 151 0 0 25 0 1 0 865355377 57421824 10849 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14019 10849 300 300 0 13719 0
vsize: 56076
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17237 0 0 0 105865 151 0 0 25 0 1 0 865355377 57421824 10866 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14019 10866 300 300 0 13719 0
vsize: 56076
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17270 0 0 0 106864 152 0 0 25 0 1 0 865355377 57556992 10899 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14052 10899 300 300 0 13752 0
vsize: 56208
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17310 0 0 0 107864 153 0 0 25 0 1 0 865355377 57692160 10939 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 10939 300 300 0 13785 0
vsize: 56340
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17328 0 0 0 108863 154 0 0 25 0 1 0 865355377 57692160 10957 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 10957 300 300 0 13785 0
vsize: 56340
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17345 0 0 0 109863 154 0 0 25 0 1 0 865355377 57692160 10974 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 10974 300 300 0 13785 0
vsize: 56340
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17359 0 0 0 110863 154 0 0 25 0 1 0 865355377 57692160 10988 4294967295 134512640 135726644 3221224576 3221223172 134743856 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 10988 300 300 0 13785 0
vsize: 56340
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17376 0 0 0 111862 155 0 0 25 0 1 0 865355377 57692160 11005 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 11005 300 300 0 13785 0
vsize: 56340
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17390 0 0 0 112861 156 0 0 25 0 1 0 865355377 57692160 11019 4294967295 134512640 135726644 3221224576 3221223184 134741670 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 11019 300 300 0 13785 0
vsize: 56340
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17403 0 0 0 113861 157 0 0 25 0 1 0 865355377 57692160 11032 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 11032 300 300 0 13785 0
vsize: 56340
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17418 0 0 0 114861 157 0 0 25 0 1 0 865355377 57692160 11047 4294967295 134512640 135726644 3221224576 3221223264 134744858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 11047 300 300 0 13785 0
vsize: 56340
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17437 0 0 0 115860 158 0 0 25 0 1 0 865355377 57692160 11066 4294967295 134512640 135726644 3221224576 3221223072 134744046 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 11066 300 300 0 13785 0
vsize: 56340
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.98 0.92 3/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17450 0 0 0 116859 159 0 0 25 0 1 0 865355377 57692160 11079 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 11079 300 300 0 13785 0
vsize: 56340
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17660 0 0 0 117858 161 0 0 25 0 1 0 865355377 57692160 11097 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14085 11097 300 300 0 13785 0
vsize: 56340
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17677 0 0 0 118857 161 0 0 25 0 1 0 865355377 57692160 11114 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 11114 300 300 0 13785 0
vsize: 56340
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 10907
Raw data (stat): 10850 (pb2sat) R 10849 1586 1585 0 -1 0 17693 0 0 0 119856 162 0 0 25 0 1 0 865355377 57692160 11130 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14085 11130 300 300 0 13785 0
vsize: 56340
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.29 s]
Raw data (loadavg): 1.00 0.98 0.92 1/54 10907
Raw data (stat): 10850 (pb2sat) Z 10849 1586 1585 0 -1 12 17694 0 0 0 119879 164 0 0 25 0 1 0 865355377 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.28
CPU time (s): 1200.45
CPU user time (s): 1198.8
CPU system time (s): 1.64775
CPU usage (%): 100.013
Max. virtual memory (Kb): 56340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####