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-par16-4.opb
MD5SUM	ebb1659035ed2692908dffb1cbe7a576
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1015
Optimality of the best value was proved	NO
Number of terms in the objective function	2030
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	2030
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2030
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.03384
Number of variables	2030
Total number of constraints	4339
Number of constraints which are clauses	4339
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	1
Maximum length of a constraint	3
Trace number 34912

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-05-28 10:55:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24126 boxname=wulflinc4 idbench=200 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ebb1659035ed2692908dffb1cbe7a576  /oldhome/oroussel/tmp/wulflinc4/normalized-par16-4.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc4/normalized-par16-4.opb
IDLAUNCH: 24126
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 2
cpu MHz		: 451.169
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:        713684 kB
Buffers:         35236 kB
Cached:         265092 kB
SwapCached:        504 kB
Active:          18668 kB
Inactive:       284008 kB
HighTotal:      131008 kB
HighFree:        37408 kB
LowTotal:       903652 kB
LowFree:        676276 kB
SwapTotal:     2097136 kB
SwapFree:      2096000 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5796 kB
Slab:            12580 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:15:05 (client local time) WITH STATUS 0 IN 1202.58 SECONDS
stats: 24126 7 1202.58 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.90 2/54 28875
Raw data (stat): 28875 (runsolver) R 28874 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806013511 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+10.0017 s]
Raw data (loadavg): 0.93 0.96 0.90 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 29079 0 0 0 932 66 0 0 25 0 1 0 806013511 88858624 18178 4294967295 134512640 135726644 3221224592 3220881072 134560113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21694 18178 300 300 0 21394 0
vsize: 86776
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.96 0.90 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 57562 0 0 0 1873 126 0 0 25 0 1 0 806013511 174850048 35705 4294967295 134512640 135726644 3221224592 3220575848 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42688 35705 300 300 0 42388 0
vsize: 170752
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.90 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 97961 0 0 0 2792 207 0 0 25 0 1 0 806013511 298680320 54425 4294967295 134512640 135726644 3221224592 3220874968 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72920 54426 300 300 0 72620 0
vsize: 291680
[startup+40.0029 s]
Raw data (loadavg): 0.96 0.96 0.90 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 113832 0 0 0 3757 242 0 0 25 0 1 0 806013511 345751552 70072 4294967295 134512640 135726644 3221224592 3220688096 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84412 70073 300 300 0 84112 0
vsize: 337648
[startup+50.0034 s]
Raw data (loadavg): 0.96 0.96 0.90 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 139282 0 0 0 4706 293 0 0 25 0 1 0 806013511 526209024 95082 4294967295 134512640 135726644 3221224592 3221021376 134771796 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 128469 95084 300 300 0 128169 0
vsize: 513876
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.96 0.90 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 194428 0 0 0 5595 404 0 0 25 0 1 0 806013511 595034112 107323 4294967295 134512640 135726644 3221224592 3220818568 134784091 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145272 107324 300 300 0 144972 0
vsize: 581088
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.96 0.90 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 206039 0 0 0 6569 431 0 0 25 0 1 0 806013511 628588544 118727 4294967295 134512640 135726644 3221224592 3220758812 135298008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153464 118727 300 300 0 153164 0
vsize: 613856
[startup+80.0042 s]
Raw data (loadavg): 0.98 0.96 0.90 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 224307 0 0 0 7530 470 0 0 25 0 1 0 806013511 650891264 136766 4294967295 134512640 135726644 3221224592 3220880496 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158909 136766 300 300 0 158609 0
vsize: 635636
[startup+90.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 240262 0 0 0 8498 502 0 0 25 0 1 0 806013511 724066304 152536 4294967295 134512640 135726644 3221224592 3221002168 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176774 152536 300 300 0 176474 0
vsize: 707096
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 260114 0 0 0 9459 542 0 0 25 0 1 0 806013511 752451584 172158 4294967295 134512640 135726644 3221224592 3221140896 134782642 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 183704 172159 300 300 0 183404 0
vsize: 734816
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 273116 0 0 0 10427 573 0 0 25 0 1 0 806013511 781324288 180103 4294967295 134512640 135726644 3221224592 3221222896 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 190753 180103 300 300 0 190453 0
vsize: 763012
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 279201 0 0 0 11417 582 0 0 25 0 1 0 806013511 801734656 184513 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195736 184513 300 300 0 195436 0
vsize: 782944
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 279683 0 0 0 12416 583 0 0 25 0 1 0 806013511 802787328 184768 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195993 184768 300 300 0 195693 0
vsize: 783972
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 280019 0 0 0 13415 584 0 0 25 0 1 0 806013511 803581952 184942 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196187 184942 300 300 0 195887 0
vsize: 784748
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 281338 0 0 0 14413 586 0 0 25 0 1 0 806013511 807469056 185682 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197136 185682 300 300 0 196836 0
vsize: 788544
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 281644 0 0 0 15413 587 0 0 25 0 1 0 806013511 808128512 185859 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197297 185859 300 300 0 196997 0
vsize: 789188
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 282277 0 0 0 16412 588 0 0 25 0 1 0 806013511 809840640 186106 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197715 186106 300 300 0 197415 0
vsize: 790860
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 283204 0 0 0 17410 590 0 0 25 0 1 0 806013511 811954176 186549 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198231 186549 300 300 0 197931 0
vsize: 792924
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 283589 0 0 0 18409 591 0 0 25 0 1 0 806013511 813002752 186677 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198487 186677 300 300 0 198187 0
vsize: 793948
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 283602 0 0 0 19409 591 0 0 25 0 1 0 806013511 813002752 186690 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198487 186690 300 300 0 198187 0
vsize: 793948
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 283639 0 0 0 20409 591 0 0 25 0 1 0 806013511 813002752 186727 4294967295 134512640 135726644 3221224592 3221222912 134728868 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198487 186727 300 300 0 198187 0
vsize: 793948
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 283640 0 0 0 21409 591 0 0 25 0 1 0 806013511 813002752 186728 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198487 186728 300 300 0 198187 0
vsize: 793948
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 283680 0 0 0 22409 591 0 0 25 0 1 0 806013511 813211648 186754 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198538 186754 300 300 0 198238 0
vsize: 794152
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 283685 0 0 0 23409 591 0 0 25 0 1 0 806013511 813211648 186759 4294967295 134512640 135726644 3221224592 3221223184 134760402 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198538 186759 300 300 0 198238 0
vsize: 794152
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284054 0 0 0 24409 592 0 0 25 0 1 0 806013511 813998080 186934 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198730 186934 300 300 0 198430 0
vsize: 794920
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284055 0 0 0 25409 592 0 0 25 0 1 0 806013511 813998080 186935 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198730 186935 300 300 0 198430 0
vsize: 794920
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284056 0 0 0 26409 592 0 0 25 0 1 0 806013511 813998080 186936 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198730 186936 300 300 0 198430 0
vsize: 794920
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284057 0 0 0 27409 592 0 0 25 0 1 0 806013511 813998080 186937 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198730 186937 300 300 0 198430 0
vsize: 794920
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284058 0 0 0 28409 592 0 0 25 0 1 0 806013511 813998080 186938 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198730 186938 300 300 0 198430 0
vsize: 794920
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28875
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284107 0 0 0 29410 592 0 0 25 0 1 0 806013511 814194688 186987 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198778 186987 300 300 0 198478 0
vsize: 795112
[startup+310.012 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 28928
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284461 0 0 0 30406 595 0 0 25 0 1 0 806013511 815243264 187084 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199034 187084 300 300 0 198734 0
vsize: 796136
[startup+320.013 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 28928
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284462 0 0 0 31405 595 0 0 25 0 1 0 806013511 815243264 187085 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199034 187085 300 300 0 198734 0
vsize: 796136
[startup+330.013 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 28928
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284915 0 0 0 32405 596 0 0 25 0 1 0 806013511 816721920 187192 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199395 187192 300 300 0 199095 0
vsize: 797580
[startup+340.014 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 28928
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284915 0 0 0 33404 597 0 0 25 0 1 0 806013511 816721920 187192 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199395 187192 300 300 0 199095 0
vsize: 797580
[startup+350.014 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 28928
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284916 0 0 0 34404 597 0 0 25 0 1 0 806013511 816721920 187193 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199395 187193 300 300 0 199095 0
vsize: 797580
[startup+360.016 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 28928
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284916 0 0 0 35404 597 0 0 25 0 1 0 806013511 816721920 187193 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199395 187193 300 300 0 199095 0
vsize: 797580
[startup+370.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28928
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284918 0 0 0 36404 598 0 0 25 0 1 0 806013511 816721920 187195 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199395 187195 300 300 0 199095 0
vsize: 797580
[startup+380.017 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284919 0 0 0 37404 598 0 0 25 0 1 0 806013511 816721920 187196 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199395 187196 300 300 0 199095 0
vsize: 797580
[startup+390.018 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284995 0 0 0 38404 598 0 0 25 0 1 0 806013511 816988160 187239 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199460 187239 300 300 0 199160 0
vsize: 797840
[startup+400.018 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284995 0 0 0 39404 599 0 0 25 0 1 0 806013511 816988160 187239 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199460 187239 300 300 0 199160 0
vsize: 797840
[startup+410.019 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284996 0 0 0 40404 599 0 0 25 0 1 0 806013511 816988160 187240 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199460 187240 300 300 0 199160 0
vsize: 797840
[startup+420.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 284997 0 0 0 41404 599 0 0 25 0 1 0 806013511 816988160 187241 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199460 187241 300 300 0 199160 0
vsize: 797840
[startup+430.02 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 285006 0 0 0 42404 600 0 0 25 0 1 0 806013511 816988160 187250 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199460 187250 300 300 0 199160 0
vsize: 797840
[startup+440.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 285713 0 0 0 43402 601 0 0 25 0 1 0 806013511 818823168 187506 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199908 187506 300 300 0 199608 0
vsize: 799632
[startup+450.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 285714 0 0 0 44403 601 0 0 25 0 1 0 806013511 818823168 187507 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199908 187507 300 300 0 199608 0
vsize: 799632
[startup+460.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 285715 0 0 0 45402 601 0 0 25 0 1 0 806013511 818823168 187508 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199908 187508 300 300 0 199608 0
vsize: 799632
[startup+470.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 285738 0 0 0 46402 602 0 0 25 0 1 0 806013511 818823168 187531 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199908 187531 300 300 0 199608 0
vsize: 799632
[startup+480.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 285739 0 0 0 47402 602 0 0 25 0 1 0 806013511 818823168 187532 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199908 187532 300 300 0 199608 0
vsize: 799632
[startup+490.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 285778 0 0 0 48402 603 0 0 25 0 1 0 806013511 818823168 187571 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199908 187571 300 300 0 199608 0
vsize: 799632
[startup+500.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 285794 0 0 0 49402 603 0 0 25 0 1 0 806013511 818823168 187587 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199908 187587 300 300 0 199608 0
vsize: 799632
[startup+510.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 285815 0 0 0 50402 603 0 0 25 0 1 0 806013511 818958336 187608 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199941 187608 300 300 0 199641 0
vsize: 799764
[startup+520.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 286013 0 0 0 51401 604 0 0 25 0 1 0 806013511 819490816 187708 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200071 187708 300 300 0 199771 0
vsize: 800284
[startup+530.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 286055 0 0 0 52401 604 0 0 25 0 1 0 806013511 819490816 187750 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200071 187750 300 300 0 199771 0
vsize: 800284
[startup+540.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 286057 0 0 0 53401 604 0 0 25 0 1 0 806013511 819490816 187752 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200071 187752 300 300 0 199771 0
vsize: 800284
[startup+550.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 286063 0 0 0 54401 604 0 0 25 0 1 0 806013511 819490816 187758 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200071 187758 300 300 0 199771 0
vsize: 800284
[startup+560.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 286792 0 0 0 55400 606 0 0 25 0 1 0 806013511 821751808 187972 4294967295 134512640 135726644 3221224592 3221223216 134744520 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200623 187972 300 300 0 200323 0
vsize: 802492
[startup+570.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 286793 0 0 0 56400 606 0 0 25 0 1 0 806013511 821751808 187973 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200623 187973 300 300 0 200323 0
vsize: 802492
[startup+580.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 286809 0 0 0 57400 606 0 0 25 0 1 0 806013511 821751808 187989 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200623 187989 300 300 0 200323 0
vsize: 802492
[startup+590.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 286814 0 0 0 58400 607 0 0 25 0 1 0 806013511 821751808 187994 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200623 187994 300 300 0 200323 0
vsize: 802492
[startup+600.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 286838 0 0 0 59400 607 0 0 25 0 1 0 806013511 821751808 188018 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200623 188018 300 300 0 200323 0
vsize: 802492
[startup+610.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 286846 0 0 0 60400 607 0 0 25 0 1 0 806013511 821751808 188026 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200623 188026 300 300 0 200323 0
vsize: 802492
[startup+620.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 287734 0 0 0 61398 609 0 0 25 0 1 0 806013511 824406016 188401 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201271 188401 300 300 0 200971 0
vsize: 805084
[startup+630.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 287736 0 0 0 62398 609 0 0 25 0 1 0 806013511 824406016 188403 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201271 188403 300 300 0 200971 0
vsize: 805084
[startup+640.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 287737 0 0 0 63398 609 0 0 25 0 1 0 806013511 824406016 188404 4294967295 134512640 135726644 3221224592 3221223088 134743907 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201271 188404 300 300 0 200971 0
vsize: 805084
[startup+650.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 287738 0 0 0 64398 610 0 0 25 0 1 0 806013511 824406016 188405 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201271 188405 300 300 0 200971 0
vsize: 805084
[startup+660.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 287741 0 0 0 65398 610 0 0 25 0 1 0 806013511 824406016 188408 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201271 188408 300 300 0 200971 0
vsize: 805084
[startup+670.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28930
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 287741 0 0 0 66399 610 0 0 25 0 1 0 806013511 824406016 188408 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201271 188408 300 300 0 200971 0
vsize: 805084
[startup+680.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 287742 0 0 0 67399 610 0 0 25 0 1 0 806013511 824406016 188409 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201271 188409 300 300 0 200971 0
vsize: 805084
[startup+690.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288133 0 0 0 68398 610 0 0 25 0 1 0 806013511 825454592 188543 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201527 188543 300 300 0 201227 0
vsize: 806108
[startup+700.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288133 0 0 0 69398 610 0 0 25 0 1 0 806013511 825454592 188543 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201527 188543 300 300 0 201227 0
vsize: 806108
[startup+710.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288248 0 0 0 70398 611 0 0 25 0 1 0 806013511 825454592 188658 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201527 188658 300 300 0 201227 0
vsize: 806108
[startup+720.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288256 0 0 0 71398 611 0 0 25 0 1 0 806013511 825454592 188666 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201527 188666 300 300 0 201227 0
vsize: 806108
[startup+730.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288257 0 0 0 72398 611 0 0 25 0 1 0 806013511 825454592 188667 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201527 188667 300 300 0 201227 0
vsize: 806108
[startup+740.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288257 0 0 0 73399 611 0 0 25 0 1 0 806013511 825454592 188667 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201527 188667 300 300 0 201227 0
vsize: 806108
[startup+750.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288258 0 0 0 74399 611 0 0 25 0 1 0 806013511 825454592 188668 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201527 188668 300 300 0 201227 0
vsize: 806108
[startup+760.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288259 0 0 0 75399 611 0 0 25 0 1 0 806013511 825454592 188669 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201527 188669 300 300 0 201227 0
vsize: 806108
[startup+770.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288260 0 0 0 76399 611 0 0 25 0 1 0 806013511 825454592 188670 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201527 188670 300 300 0 201227 0
vsize: 806108
[startup+780.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288287 0 0 0 77399 611 0 0 25 0 1 0 806013511 825589760 188697 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201560 188697 300 300 0 201260 0
vsize: 806240
[startup+790.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288291 0 0 0 78399 611 0 0 25 0 1 0 806013511 825589760 188701 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201560 188701 300 300 0 201260 0
vsize: 806240
[startup+800.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288291 0 0 0 79400 611 0 0 25 0 1 0 806013511 825589760 188701 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201560 188701 300 300 0 201260 0
vsize: 806240
[startup+810.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288292 0 0 0 80400 611 0 0 25 0 1 0 806013511 825589760 188702 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201560 188702 300 300 0 201260 0
vsize: 806240
[startup+820.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288332 0 0 0 81400 611 0 0 25 0 1 0 806013511 825720832 188709 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201592 188709 300 300 0 201292 0
vsize: 806368
[startup+830.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288337 0 0 0 82400 611 0 0 25 0 1 0 806013511 825720832 188714 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201592 188714 300 300 0 201292 0
vsize: 806368
[startup+840.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288480 0 0 0 83400 612 0 0 25 0 1 0 806013511 825982976 188792 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201656 188792 300 300 0 201356 0
vsize: 806624
[startup+850.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288625 0 0 0 84400 612 0 0 25 0 1 0 806013511 826507264 188808 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188808 300 300 0 201484 0
vsize: 807136
[startup+860.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288626 0 0 0 85400 612 0 0 25 0 1 0 806013511 826507264 188809 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188809 300 300 0 201484 0
vsize: 807136
[startup+870.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288741 0 0 0 86400 612 0 0 25 0 1 0 806013511 826507264 188924 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188924 300 300 0 201484 0
vsize: 807136
[startup+880.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288741 0 0 0 87400 612 0 0 25 0 1 0 806013511 826507264 188924 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188924 300 300 0 201484 0
vsize: 807136
[startup+890.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288742 0 0 0 88400 613 0 0 25 0 1 0 806013511 826507264 188925 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188925 300 300 0 201484 0
vsize: 807136
[startup+900.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288743 0 0 0 89400 613 0 0 25 0 1 0 806013511 826507264 188926 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188926 300 300 0 201484 0
vsize: 807136
[startup+910.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288744 0 0 0 90401 613 0 0 25 0 1 0 806013511 826507264 188927 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188927 300 300 0 201484 0
vsize: 807136
[startup+920.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288745 0 0 0 91401 613 0 0 25 0 1 0 806013511 826507264 188928 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188928 300 300 0 201484 0
vsize: 807136
[startup+930.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288745 0 0 0 92401 613 0 0 25 0 1 0 806013511 826507264 188928 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188928 300 300 0 201484 0
vsize: 807136
[startup+940.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288746 0 0 0 93401 613 0 0 25 0 1 0 806013511 826507264 188929 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188929 300 300 0 201484 0
vsize: 807136
[startup+950.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288748 0 0 0 94401 613 0 0 25 0 1 0 806013511 826507264 188931 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188931 300 300 0 201484 0
vsize: 807136
[startup+960.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288749 0 0 0 95401 613 0 0 25 0 1 0 806013511 826507264 188932 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188932 300 300 0 201484 0
vsize: 807136
[startup+970.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288750 0 0 0 96402 613 0 0 25 0 1 0 806013511 826507264 188933 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188933 300 300 0 201484 0
vsize: 807136
[startup+980.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288750 0 0 0 97402 613 0 0 25 0 1 0 806013511 826507264 188933 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188933 300 300 0 201484 0
vsize: 807136
[startup+990.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288751 0 0 0 98402 613 0 0 25 0 1 0 806013511 826507264 188934 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188934 300 300 0 201484 0
vsize: 807136
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288752 0 0 0 99402 613 0 0 25 0 1 0 806013511 826507264 188935 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188935 300 300 0 201484 0
vsize: 807136
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288753 0 0 0 100402 613 0 0 25 0 1 0 806013511 826507264 188936 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188936 300 300 0 201484 0
vsize: 807136
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288753 0 0 0 101402 613 0 0 25 0 1 0 806013511 826507264 188936 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188936 300 300 0 201484 0
vsize: 807136
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288755 0 0 0 102403 613 0 0 25 0 1 0 806013511 826507264 188938 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188938 300 300 0 201484 0
vsize: 807136
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288756 0 0 0 103403 613 0 0 25 0 1 0 806013511 826507264 188939 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188939 300 300 0 201484 0
vsize: 807136
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288757 0 0 0 104403 613 0 0 25 0 1 0 806013511 826507264 188940 4294967295 134512640 135726644 3221224592 3221223280 134744977 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188940 300 300 0 201484 0
vsize: 807136
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288758 0 0 0 105403 613 0 0 25 0 1 0 806013511 826507264 188941 4294967295 134512640 135726644 3221224592 3221223280 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188941 300 300 0 201484 0
vsize: 807136
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288758 0 0 0 106403 613 0 0 25 0 1 0 806013511 826507264 188941 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188941 300 300 0 201484 0
vsize: 807136
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288759 0 0 0 107404 613 0 0 25 0 1 0 806013511 826507264 188942 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188942 300 300 0 201484 0
vsize: 807136
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288760 0 0 0 108404 613 0 0 25 0 1 0 806013511 826507264 188943 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201784 188943 300 300 0 201484 0
vsize: 807136
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288775 0 0 0 109404 613 0 0 25 0 1 0 806013511 826687488 188958 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201828 188958 300 300 0 201528 0
vsize: 807312
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288776 0 0 0 110404 613 0 0 25 0 1 0 806013511 826687488 188959 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201828 188959 300 300 0 201528 0
vsize: 807312
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288777 0 0 0 111404 613 0 0 25 0 1 0 806013511 826687488 188960 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201828 188960 300 300 0 201528 0
vsize: 807312
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288778 0 0 0 112404 613 0 0 25 0 1 0 806013511 826687488 188961 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201828 188961 300 300 0 201528 0
vsize: 807312
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 288778 0 0 0 113404 613 0 0 25 0 1 0 806013511 826687488 188961 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201828 188961 300 300 0 201528 0
vsize: 807312
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 289308 0 0 0 114403 614 0 0 25 0 1 0 806013511 827936768 189218 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202133 189218 300 300 0 201833 0
vsize: 808532
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 289309 0 0 0 115403 614 0 0 25 0 1 0 806013511 827936768 189219 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202133 189219 300 300 0 201833 0
vsize: 808532
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 289312 0 0 0 116404 615 0 0 25 0 1 0 806013511 827936768 189222 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202133 189222 300 300 0 201833 0
vsize: 808532
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 289313 0 0 0 117404 615 0 0 25 0 1 0 806013511 827936768 189223 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202133 189223 300 300 0 201833 0
vsize: 808532
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 289315 0 0 0 118404 615 0 0 25 0 1 0 806013511 827936768 189225 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202133 189225 300 300 0 201833 0
vsize: 808532
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 289316 0 0 0 119404 615 0 0 25 0 1 0 806013511 827936768 189226 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202133 189226 300 300 0 201833 0
vsize: 808532
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.48 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 28932
Raw data (stat): 28875 (pb2sat) R 28874 21152 21151 0 -1 0 289316 0 0 0 119404 615 0 0 25 0 1 0 806013511 827936768 189226 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202133 189226 300 300 0 201833 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.48
CPU time (s): 1202.58
CPU user time (s): 1196.04
CPU system time (s): 6.543
CPU usage (%): 100.009
Max. virtual memory (Kb): 808532
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####