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/submitted/manquinho/primes-dimacs-cnf/normalized-ii32d2.opb
MD5SUM	a483fc3761bb4050329265bf3a3a7ca5
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	372
Optimality of the best value was proved	NO
Number of terms in the objective function	808
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	808
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	808
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04284
Number of variables	808
Total number of constraints	5557
Number of constraints which are clauses	5557
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	32
Trace number 34809

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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:        712896 kB
Buffers:         36460 kB
Cached:         263532 kB
SwapCached:        636 kB
Active:          17600 kB
Inactive:       284396 kB
HighTotal:      131008 kB
HighFree:        29484 kB
LowTotal:       903652 kB
LowFree:        683412 kB
SwapTotal:     2097892 kB
SwapFree:      2096360 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            14172 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 10:55:11 (client local time) WITH STATUS 0 IN 1201.61 SECONDS
stats: 24082 7 1201.61 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 131879/328468	Time: 568.28/86400
Decision: 131879/328468	Time: 615.08/86400
Decision: 131879/328468	Time: 666.813/86400
Decision: 131879/328468	Time: 718.354/86400
Decision: 131879/328468	Time: 758.258/86400
Decision: 131879/328468	Time: 817.389/86400
Decision: 131879/328468	Time: 871.311/86400
Decision: 131879/328468	Time: 920.457/86400
Decision: 131879/328468	Time: 965.618/86400
Decision: 131879/328468	Time: 1004.61/86400
Decision: 131879/328468	Time: 1064.17/86400
Decision: 131879/328468	Time: 1117.68/86400
Decision: 131879/328468	Time: 1169.41/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.94 0.75 2/54 18412
Raw data (stat): 18412 (runsolver) R 18411 4613 4612 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864121833 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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+9.99985 s]
Raw data (loadavg): 0.92 0.95 0.75 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 29082 0 0 0 935 63 0 0 25 0 1 0 864121833 88354816 18180 4294967295 134512640 135726644 3221224592 3221087596 135287443 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21571 18180 300 300 0 21271 0
vsize: 86284
[startup+20.001 s]
Raw data (loadavg): 0.93 0.95 0.75 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 52270 0 0 0 1889 110 0 0 25 0 1 0 864121833 170393600 29859 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41600 29859 300 300 0 41300 0
vsize: 166400
[startup+30.0017 s]
Raw data (loadavg): 0.94 0.95 0.76 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 52630 0 0 0 2887 111 0 0 25 0 1 0 864121833 171782144 30153 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 41939 30153 300 300 0 41639 0
vsize: 167756
[startup+40.0009 s]
Raw data (loadavg): 0.95 0.95 0.76 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 53177 0 0 0 3884 113 0 0 25 0 1 0 864121833 173641728 30440 4294967295 134512640 135726644 3221224592 3221223216 134744594 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42393 30440 300 300 0 42093 0
vsize: 169572
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.95 0.76 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 53483 0 0 0 4884 114 0 0 25 0 1 0 864121833 174432256 30583 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42586 30583 300 300 0 42286 0
vsize: 170344
[startup+60.0017 s]
Raw data (loadavg): 0.96 0.95 0.76 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 54139 0 0 0 5882 116 0 0 25 0 1 0 864121833 176566272 30977 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43107 30977 300 300 0 42807 0
vsize: 172428
[startup+70.0019 s]
Raw data (loadavg): 0.97 0.95 0.76 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 55652 0 0 0 6879 119 0 0 25 0 1 0 864121833 181600256 31820 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44336 31820 300 300 0 44036 0
vsize: 177344
[startup+80.0019 s]
Raw data (loadavg): 0.97 0.95 0.77 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 56342 0 0 0 7878 120 0 0 25 0 1 0 864121833 183988224 32199 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44919 32199 300 300 0 44619 0
vsize: 179676
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.95 0.77 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 56793 0 0 0 8877 122 0 0 25 0 1 0 864121833 185581568 32519 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45308 32519 300 300 0 45008 0
vsize: 181232
[startup+100.002 s]
Raw data (loadavg): 0.98 0.95 0.77 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 57275 0 0 0 9876 123 0 0 25 0 1 0 864121833 187310080 32837 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45730 32837 300 300 0 45430 0
vsize: 182920
[startup+110.002 s]
Raw data (loadavg): 0.98 0.96 0.77 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 57861 0 0 0 10875 124 0 0 25 0 1 0 864121833 189366272 33161 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46232 33161 300 300 0 45932 0
vsize: 184928
[startup+120.003 s]
Raw data (loadavg): 0.98 0.96 0.77 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 58622 0 0 0 11873 126 0 0 25 0 1 0 864121833 191610880 33563 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46780 33563 300 300 0 46480 0
vsize: 187120
[startup+130.003 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 59182 0 0 0 12872 127 0 0 25 0 1 0 864121833 193470464 33894 4294967295 134512640 135726644 3221224592 3221222924 134735640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47234 33894 300 300 0 46934 0
vsize: 188936
[startup+140.003 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 59782 0 0 0 13872 128 0 0 25 0 1 0 864121833 195121152 34153 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47637 34153 300 300 0 47337 0
vsize: 190548
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 60022 0 0 0 14871 129 0 0 25 0 1 0 864121833 195776512 34230 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47797 34230 300 300 0 47497 0
vsize: 191188
[startup+160.003 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 60205 0 0 0 15871 129 0 0 25 0 1 0 864121833 196169728 34315 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47893 34315 300 300 0 47593 0
vsize: 191572
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.78 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 60716 0 0 0 16870 131 0 0 25 0 1 0 864121833 197488640 34598 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48215 34598 300 300 0 47915 0
vsize: 192860
[startup+180.004 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 61310 0 0 0 17868 132 0 0 25 0 1 0 864121833 199602176 34899 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48731 34899 300 300 0 48431 0
vsize: 194924
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 61499 0 0 0 18868 132 0 0 25 0 1 0 864121833 200404992 35023 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48927 35023 300 300 0 48627 0
vsize: 195708
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.79 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 61647 0 0 0 19868 132 0 0 25 0 1 0 864121833 200937472 35106 4294967295 134512640 135726644 3221224592 3221223216 134744580 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49057 35106 300 300 0 48757 0
vsize: 196228
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 61784 0 0 0 20868 133 0 0 25 0 1 0 864121833 201334784 35178 4294967295 134512640 135726644 3221224592 3221223088 134744053 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49154 35178 300 300 0 48854 0
vsize: 196616
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 61898 0 0 0 21868 133 0 0 25 0 1 0 864121833 201736192 35259 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49252 35259 300 300 0 48952 0
vsize: 197008
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.79 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 61994 0 0 0 22868 134 0 0 25 0 1 0 864121833 201998336 35290 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49316 35290 300 300 0 49016 0
vsize: 197264
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 62067 0 0 0 23867 134 0 0 25 0 1 0 864121833 202129408 35330 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49348 35330 300 300 0 49048 0
vsize: 197392
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 62076 0 0 0 24867 134 0 0 25 0 1 0 864121833 202129408 35339 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49348 35339 300 300 0 49048 0
vsize: 197392
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 62115 0 0 0 25867 135 0 0 25 0 1 0 864121833 202264576 35378 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49381 35378 300 300 0 49081 0
vsize: 197524
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 62669 0 0 0 26866 136 0 0 25 0 1 0 864121833 204132352 35734 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49837 35734 300 300 0 49537 0
vsize: 199348
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.80 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 62937 0 0 0 27865 137 0 0 25 0 1 0 864121833 204922880 35839 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50030 35839 300 300 0 49730 0
vsize: 200120
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 63027 0 0 0 28865 137 0 0 25 0 1 0 864121833 205189120 35896 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50095 35896 300 300 0 49795 0
vsize: 200380
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 63122 0 0 0 29864 138 0 0 25 0 1 0 864121833 205455360 35958 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50160 35958 300 300 0 49860 0
vsize: 200640
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 63907 0 0 0 30863 140 0 0 25 0 1 0 864121833 207876096 36401 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50751 36401 300 300 0 50451 0
vsize: 203004
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 64932 0 0 0 31861 142 0 0 25 0 1 0 864121833 210944000 36846 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 51500 36846 300 300 0 51200 0
vsize: 206000
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.81 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 65701 0 0 0 32859 144 0 0 25 0 1 0 864121833 213446656 37242 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52111 37242 300 300 0 51811 0
vsize: 208444
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 66174 0 0 0 33858 145 0 0 25 0 1 0 864121833 215433216 37633 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52596 37633 300 300 0 52296 0
vsize: 210384
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 66725 0 0 0 34858 146 0 0 25 0 1 0 864121833 216748032 37890 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 52917 37890 300 300 0 52617 0
vsize: 211668
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 66985 0 0 0 35857 146 0 0 25 0 1 0 864121833 217276416 38085 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53046 38085 300 300 0 52746 0
vsize: 212184
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 67912 0 0 0 36855 149 0 0 25 0 1 0 864121833 220180480 38557 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53755 38557 300 300 0 53455 0
vsize: 215020
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 68332 0 0 0 37854 150 0 0 25 0 1 0 864121833 221364224 38750 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54044 38750 300 300 0 53744 0
vsize: 216176
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 68534 0 0 0 38853 151 0 0 25 0 1 0 864121833 221888512 38822 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54172 38822 300 300 0 53872 0
vsize: 216688
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 69437 0 0 0 39852 153 0 0 25 0 1 0 864121833 224522240 39271 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54815 39271 300 300 0 54515 0
vsize: 219260
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 69700 0 0 0 40851 153 0 0 25 0 1 0 864121833 225046528 39405 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54943 39405 300 300 0 54643 0
vsize: 219772
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 69993 0 0 0 41851 154 0 0 25 0 1 0 864121833 225837056 39569 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55136 39569 300 300 0 54836 0
vsize: 220544
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 70144 0 0 0 42851 154 0 0 25 0 1 0 864121833 226099200 39654 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55200 39654 300 300 0 54900 0
vsize: 220800
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 70465 0 0 0 43850 155 0 0 25 0 1 0 864121833 226623488 39846 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55328 39846 300 300 0 55028 0
vsize: 221312
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 70670 0 0 0 44850 156 0 0 25 0 1 0 864121833 227020800 39986 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55425 39986 300 300 0 55125 0
vsize: 221700
[startup+460.01 s]
Raw data (loadavg): 1.07 0.99 0.83 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 70757 0 0 0 45850 156 0 0 25 0 1 0 864121833 227287040 40073 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55490 40073 300 300 0 55190 0
vsize: 221960
[startup+470.01 s]
Raw data (loadavg): 1.06 0.99 0.84 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 71005 0 0 0 46849 157 0 0 25 0 1 0 864121833 227946496 40192 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55651 40192 300 300 0 55351 0
vsize: 222604
[startup+480.01 s]
Raw data (loadavg): 1.05 0.99 0.84 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 71450 0 0 0 47848 158 0 0 25 0 1 0 864121833 229130240 40378 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55940 40378 300 300 0 55640 0
vsize: 223760
[startup+490.01 s]
Raw data (loadavg): 1.04 0.99 0.84 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 71705 0 0 0 48847 159 0 0 25 0 1 0 864121833 229654528 40502 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56068 40502 300 300 0 55768 0
vsize: 224272
[startup+500.011 s]
Raw data (loadavg): 1.03 0.99 0.84 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 72297 0 0 0 49846 161 0 0 25 0 1 0 864121833 231100416 40770 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56421 40770 300 300 0 56121 0
vsize: 225684
[startup+510.01 s]
Raw data (loadavg): 1.03 0.99 0.84 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 72413 0 0 0 50845 161 0 0 25 0 1 0 864121833 231641088 40886 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56553 40886 300 300 0 56253 0
vsize: 226212
[startup+520.011 s]
Raw data (loadavg): 1.02 0.99 0.84 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 72777 0 0 0 51844 162 0 0 25 0 1 0 864121833 232562688 41056 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56778 41056 300 300 0 56478 0
vsize: 227112
[startup+530.012 s]
Raw data (loadavg): 1.02 0.99 0.84 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 73174 0 0 0 52844 163 0 0 25 0 1 0 864121833 233742336 41161 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57066 41161 300 300 0 56766 0
vsize: 228264
[startup+540.012 s]
Raw data (loadavg): 1.02 0.99 0.84 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 74071 0 0 0 53842 166 0 0 25 0 1 0 864121833 237088768 41595 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57883 41595 300 300 0 57583 0
vsize: 231532
[startup+550.012 s]
Raw data (loadavg): 1.01 0.99 0.84 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 74568 0 0 0 54840 167 0 0 25 0 1 0 864121833 238399488 41769 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58203 41769 300 300 0 57903 0
vsize: 232812
[startup+560.012 s]
Raw data (loadavg): 1.01 0.99 0.84 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 74859 0 0 0 55840 168 0 0 25 0 1 0 864121833 239190016 41898 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58396 41898 300 300 0 58096 0
vsize: 233584
[startup+570.012 s]
Raw data (loadavg): 1.01 0.99 0.85 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 75300 0 0 0 56839 169 0 0 25 0 1 0 864121833 240373760 42112 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58685 42112 300 300 0 58385 0
vsize: 234740
[startup+580.012 s]
Raw data (loadavg): 1.01 0.99 0.85 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 75363 0 0 0 57839 169 0 0 25 0 1 0 864121833 240373760 42175 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 58685 42175 300 300 0 58385 0
vsize: 234740
[startup+590.012 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 76619 0 0 0 58836 172 0 0 25 0 1 0 864121833 242089984 42464 4294967295 134512640 135726644 3221224592 3221223216 134744555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59104 42464 300 300 0 58804 0
vsize: 236416
[startup+600.013 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 76831 0 0 0 59835 172 0 0 25 0 1 0 864121833 242614272 42545 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59232 42545 300 300 0 58932 0
vsize: 236928
[startup+610.013 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 77174 0 0 0 60833 174 0 0 25 0 1 0 864121833 243666944 42694 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59489 42694 300 300 0 59189 0
vsize: 237956
[startup+620.014 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 77193 0 0 0 61832 174 0 0 25 0 1 0 864121833 243666944 42713 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59489 42713 300 300 0 59189 0
vsize: 237956
[startup+630.015 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 77302 0 0 0 62832 174 0 0 25 0 1 0 864121833 243929088 42757 4294967295 134512640 135726644 3221224592 3221223184 134760213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59553 42757 300 300 0 59253 0
vsize: 238212
[startup+640.014 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 77945 0 0 0 63829 176 0 0 25 0 1 0 864121833 243929088 42758 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59553 42758 300 300 0 59253 0
vsize: 238212
[startup+650.014 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 78117 0 0 0 64828 177 0 0 25 0 1 0 864121833 244453376 42801 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59681 42801 300 300 0 59381 0
vsize: 238724
[startup+660.015 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 78117 0 0 0 65828 177 0 0 25 0 1 0 864121833 244453376 42801 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59681 42801 300 300 0 59381 0
vsize: 238724
[startup+670.015 s]
Raw data (loadavg): 1.00 0.99 0.85 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 78118 0 0 0 66828 178 0 0 25 0 1 0 864121833 244453376 42802 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59681 42802 300 300 0 59381 0
vsize: 238724
[startup+680.015 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 78121 0 0 0 67828 178 0 0 25 0 1 0 864121833 244453376 42805 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59681 42805 300 300 0 59381 0
vsize: 238724
[startup+690.015 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 78976 0 0 0 68826 180 0 0 25 0 1 0 864121833 244846592 42920 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 42920 300 300 0 59477 0
vsize: 239108
[startup+700.015 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 78983 0 0 0 69826 180 0 0 25 0 1 0 864121833 244846592 42927 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 42927 300 300 0 59477 0
vsize: 239108
[startup+710.015 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 78993 0 0 0 70826 180 0 0 25 0 1 0 864121833 244846592 42937 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 42937 300 300 0 59477 0
vsize: 239108
[startup+720.016 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 79001 0 0 0 71826 180 0 0 25 0 1 0 864121833 244846592 42945 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 42945 300 300 0 59477 0
vsize: 239108
[startup+730.016 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 79008 0 0 0 72826 181 0 0 25 0 1 0 864121833 244846592 42952 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 42952 300 300 0 59477 0
vsize: 239108
[startup+740.016 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 79654 0 0 0 73825 182 0 0 25 0 1 0 864121833 244846592 42956 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 42956 300 300 0 59477 0
vsize: 239108
[startup+750.017 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 79660 0 0 0 74825 182 0 0 25 0 1 0 864121833 244846592 42962 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 42962 300 300 0 59477 0
vsize: 239108
[startup+760.016 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 79664 0 0 0 75825 182 0 0 25 0 1 0 864121833 244846592 42966 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 42966 300 300 0 59477 0
vsize: 239108
[startup+770.017 s]
Raw data (loadavg): 1.00 0.99 0.86 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 79671 0 0 0 76825 182 0 0 25 0 1 0 864121833 244846592 42973 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 42973 300 300 0 59477 0
vsize: 239108
[startup+780.018 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 80319 0 0 0 77823 184 0 0 25 0 1 0 864121833 244846592 42979 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59777 42979 300 300 0 59477 0
vsize: 239108
[startup+790.018 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 80326 0 0 0 78822 184 0 0 25 0 1 0 864121833 244846592 42986 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 42986 300 300 0 59477 0
vsize: 239108
[startup+800.019 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 80334 0 0 0 79822 184 0 0 25 0 1 0 864121833 244846592 42994 4294967295 134512640 135726644 3221224592 3221223204 134744633 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 42994 300 300 0 59477 0
vsize: 239108
[startup+810.019 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 80341 0 0 0 80823 184 0 0 25 0 1 0 864121833 244846592 43001 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43001 300 300 0 59477 0
vsize: 239108
[startup+820.019 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 80352 0 0 0 81823 185 0 0 25 0 1 0 864121833 244846592 43012 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43012 300 300 0 59477 0
vsize: 239108
[startup+830.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 80358 0 0 0 82823 185 0 0 25 0 1 0 864121833 244846592 43018 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43018 300 300 0 59477 0
vsize: 239108
[startup+840.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 81003 0 0 0 83822 186 0 0 25 0 1 0 864121833 244846592 43021 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43021 300 300 0 59477 0
vsize: 239108
[startup+850.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 81004 0 0 0 84822 186 0 0 25 0 1 0 864121833 244846592 43022 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43022 300 300 0 59477 0
vsize: 239108
[startup+860.02 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 81004 0 0 0 85822 186 0 0 25 0 1 0 864121833 244846592 43022 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43022 300 300 0 59477 0
vsize: 239108
[startup+870.021 s]
Raw data (loadavg): 1.00 0.99 0.87 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 81005 0 0 0 86822 186 0 0 25 0 1 0 864121833 244846592 43023 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43023 300 300 0 59477 0
vsize: 239108
[startup+880.022 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 81006 0 0 0 87823 186 0 0 25 0 1 0 864121833 244846592 43024 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43024 300 300 0 59477 0
vsize: 239108
[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 81649 0 0 0 88820 188 0 0 25 0 1 0 864121833 244846592 43025 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43025 300 300 0 59477 0
vsize: 239108
[startup+900.021 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 81650 0 0 0 89820 188 0 0 25 0 1 0 864121833 244846592 43026 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43026 300 300 0 59477 0
vsize: 239108
[startup+910.022 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 81651 0 0 0 90820 188 0 0 25 0 1 0 864121833 244846592 43027 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43027 300 300 0 59477 0
vsize: 239108
[startup+920.022 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 81651 0 0 0 91821 188 0 0 25 0 1 0 864121833 244846592 43027 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43027 300 300 0 59477 0
vsize: 239108
[startup+930.022 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 81652 0 0 0 92820 189 0 0 25 0 1 0 864121833 244846592 43028 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43028 300 300 0 59477 0
vsize: 239108
[startup+940.022 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 82299 0 0 0 93819 190 0 0 25 0 1 0 864121833 244846592 43033 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59777 43033 300 300 0 59477 0
vsize: 239108
[startup+950.022 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 82390 0 0 0 94819 191 0 0 25 0 1 0 864121833 245108736 43059 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59841 43059 300 300 0 59541 0
vsize: 239364
[startup+960.022 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 82391 0 0 0 95819 191 0 0 25 0 1 0 864121833 245108736 43060 4294967295 134512640 135726644 3221224592 3221223216 134744544 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59841 43060 300 300 0 59541 0
vsize: 239364
[startup+970.023 s]
Raw data (loadavg): 1.00 0.99 0.88 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 82392 0 0 0 96819 191 0 0 25 0 1 0 864121833 245108736 43061 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59841 43061 300 300 0 59541 0
vsize: 239364
[startup+980.023 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 82393 0 0 0 97819 191 0 0 25 0 1 0 864121833 245108736 43062 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59841 43062 300 300 0 59541 0
vsize: 239364
[startup+990.023 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 83036 0 0 0 98817 193 0 0 25 0 1 0 864121833 245108736 43063 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59841 43063 300 300 0 59541 0
vsize: 239364
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 83037 0 0 0 99818 193 0 0 25 0 1 0 864121833 245108736 43064 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59841 43064 300 300 0 59541 0
vsize: 239364
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 83038 0 0 0 100817 193 0 0 25 0 1 0 864121833 245108736 43065 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59841 43065 300 300 0 59541 0
vsize: 239364
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 83065 0 0 0 101817 193 0 0 25 0 1 0 864121833 245108736 43092 4294967295 134512640 135726644 3221224592 3221223104 134742621 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59841 43092 300 300 0 59541 0
vsize: 239364
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 83722 0 0 0 102816 195 0 0 25 0 1 0 864121833 245108736 43107 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59841 43107 300 300 0 59541 0
vsize: 239364
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 83790 0 0 0 103816 195 0 0 25 0 1 0 864121833 245370880 43110 4294967295 134512640 135726644 3221224592 3221222912 134728890 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59905 43110 300 300 0 59605 0
vsize: 239620
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 83909 0 0 0 104815 196 0 0 25 0 1 0 864121833 245633024 43164 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59969 43164 300 300 0 59669 0
vsize: 239876
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 83917 0 0 0 105815 197 0 0 25 0 1 0 864121833 245633024 43172 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 59969 43172 300 300 0 59669 0
vsize: 239876
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 84097 0 0 0 106815 197 0 0 25 0 1 0 864121833 246157312 43223 4294967295 134512640 135726644 3221224592 3221223088 134744172 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60097 43223 300 300 0 59797 0
vsize: 240388
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.89 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 84759 0 0 0 107814 198 0 0 25 0 1 0 864121833 246157312 43243 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60097 43243 300 300 0 59797 0
vsize: 240388
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 84760 0 0 0 108814 199 0 0 25 0 1 0 864121833 246157312 43244 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60097 43244 300 300 0 59797 0
vsize: 240388
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 84762 0 0 0 109814 199 0 0 25 0 1 0 864121833 246157312 43246 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60097 43246 300 300 0 59797 0
vsize: 240388
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 84762 0 0 0 110814 199 0 0 25 0 1 0 864121833 246157312 43246 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60097 43246 300 300 0 59797 0
vsize: 240388
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 84763 0 0 0 111814 199 0 0 25 0 1 0 864121833 246157312 43247 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60097 43247 300 300 0 59797 0
vsize: 240388
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 84765 0 0 0 112814 199 0 0 25 0 1 0 864121833 246157312 43249 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60097 43249 300 300 0 59797 0
vsize: 240388
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 85408 0 0 0 113812 201 0 0 25 0 1 0 864121833 246157312 43250 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60097 43250 300 300 0 59797 0
vsize: 240388
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 85408 0 0 0 114812 201 0 0 25 0 1 0 864121833 246157312 43250 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60097 43250 300 300 0 59797 0
vsize: 240388
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 85409 0 0 0 115813 201 0 0 25 0 1 0 864121833 246157312 43251 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60097 43251 300 300 0 59797 0
vsize: 240388
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 85410 0 0 0 116813 201 0 0 25 0 1 0 864121833 246157312 43252 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60097 43252 300 300 0 59797 0
vsize: 240388
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.90 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 85575 0 0 0 117813 201 0 0 25 0 1 0 864121833 246681600 43288 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60225 43288 300 300 0 59925 0
vsize: 240900
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 86218 0 0 0 118811 203 0 0 25 0 1 0 864121833 246681600 43289 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60225 43289 300 300 0 59925 0
vsize: 240900
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 18412
Raw data (stat): 18412 (pb2sat) R 18411 4613 4612 0 -1 0 86229 0 0 0 119811 203 0 0 25 0 1 0 864121833 246681600 43300 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60225 43300 300 300 0 59925 0
vsize: 240900
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.49 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 18412
Raw data (stat): 18412 (pb2sat) Z 18411 4613 4612 0 -1 12 86230 0 0 0 119948 212 0 0 25 0 1 0 864121833 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.49
CPU time (s): 1201.61
CPU user time (s): 1199.48
CPU system time (s): 2.12668
CPU usage (%): 100.01
Max. virtual memory (Kb): 240900
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####