PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-2.opb
MD5SUM	5b8ef604a7452dcb7c7d749b75aed566
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-45
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
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	1534
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	1175.15
Number of variables	1534
Total number of constraints	126163
Number of constraints which are clauses	126163
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 35015

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        701232 kB
Buffers:         35168 kB
Cached:         273952 kB
SwapCached:        552 kB
Active:          24596 kB
Inactive:       286564 kB
HighTotal:      131008 kB
HighFree:        24500 kB
LowTotal:       903652 kB
LowFree:        676732 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            16704 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:00:41 (client local time) WITH STATUS 0 IN 1202.46 SECONDS
stats: 24276 7 1202.46 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 526981/1180426	Time: 348.621/86400
Decision: 541018/1180426	Time: 782.526/86400
Decision: 545973/1180426	Time: 970.884/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.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (runsolver) R 17723 3944 3943 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806294707 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 29339 0 0 0 934 65 0 0 25 0 1 0 806294707 89051136 18435 4294967295 134512640 135726644 3221224592 3221163808 134607297 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21741 18437 300 300 0 21441 0
vsize: 86964
[startup+20.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 57627 0 0 0 1878 121 0 0 25 0 1 0 806294707 174637056 35768 4294967295 134512640 135726644 3221224592 3220761680 134767123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42636 35768 300 300 0 42336 0
vsize: 170544
[startup+30.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 97830 0 0 0 2794 205 0 0 25 0 1 0 806294707 298196992 54295 4294967295 134512640 135726644 3221224592 3221162072 135280658 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72802 54295 300 300 0 72502 0
vsize: 291208
[startup+40.0016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 113301 0 0 0 3758 242 0 0 25 0 1 0 806294707 344592384 69546 4294967295 134512640 135726644 3221224592 3221095308 134604449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84129 69547 300 300 0 83829 0
vsize: 336516
[startup+50.0014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 136372 0 0 0 4710 289 0 0 25 0 1 0 806294707 520994816 92264 4294967295 134512640 135726644 3221224592 3221014776 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127196 92266 300 300 0 126896 0
vsize: 508784
[startup+60.0011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 194016 0 0 0 5595 405 0 0 25 0 1 0 806294707 594280448 106916 4294967295 134512640 135726644 3221224592 3221144844 135298010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145088 106917 300 300 0 144788 0
vsize: 580352
[startup+70.0015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 200682 0 0 0 6576 423 0 0 25 0 1 0 806294707 646725632 113565 4294967295 134512640 135726644 3221224592 3221222928 134765200 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157892 113565 300 300 0 157592 0
vsize: 631568
[startup+80.0018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 200686 0 0 0 7575 424 0 0 25 0 1 0 806294707 637280256 111263 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155586 111263 300 300 0 155286 0
vsize: 622344
[startup+90.0015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 201709 0 0 0 8573 426 0 0 25 0 1 0 806294707 642056192 112091 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156752 112091 300 300 0 156452 0
vsize: 627008
[startup+100.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 204106 0 0 0 9568 431 0 0 25 0 1 0 806294707 649928704 113476 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158674 113476 300 300 0 158374 0
vsize: 634696
[startup+110.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 207085 0 0 0 10562 437 0 0 25 0 1 0 806294707 660328448 115311 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161213 115311 300 300 0 160913 0
vsize: 644852
[startup+120.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 209648 0 0 0 11557 442 0 0 25 0 1 0 806294707 668246016 116771 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163146 116771 300 300 0 162846 0
vsize: 652584
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 211533 0 0 0 12554 446 0 0 25 0 1 0 806294707 674304000 117621 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164625 117621 300 300 0 164325 0
vsize: 658500
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 211673 0 0 0 13553 447 0 0 25 0 1 0 806294707 674832384 117696 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164754 117696 300 300 0 164454 0
vsize: 659016
[startup+150.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 212179 0 0 0 14552 448 0 0 25 0 1 0 806294707 676679680 117942 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165205 117942 300 300 0 164905 0
vsize: 660820
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 212259 0 0 0 15551 449 0 0 25 0 1 0 806294707 676945920 117989 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165270 117989 300 300 0 164970 0
vsize: 661080
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 212275 0 0 0 16552 449 0 0 25 0 1 0 806294707 676945920 118005 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165270 118005 300 300 0 164970 0
vsize: 661080
[startup+180.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 212278 0 0 0 17552 449 0 0 25 0 1 0 806294707 676945920 118008 4294967295 134512640 135726644 3221224592 3221223216 134744582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165270 118008 300 300 0 164970 0
vsize: 661080
[startup+190.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 212441 0 0 0 18551 449 0 0 25 0 1 0 806294707 677478400 118105 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165400 118105 300 300 0 165100 0
vsize: 661600
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 212580 0 0 0 19551 449 0 0 25 0 1 0 806294707 678010880 118211 4294967295 134512640 135726644 3221224592 3221222840 135280958 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165530 118211 300 300 0 165230 0
vsize: 662120
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 212732 0 0 0 20551 450 0 0 25 0 1 0 806294707 678539264 118298 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165659 118298 300 300 0 165359 0
vsize: 662636
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 213363 0 0 0 21550 451 0 0 25 0 1 0 806294707 680919040 118669 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166240 118669 300 300 0 165940 0
vsize: 664960
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 213541 0 0 0 22549 452 0 0 25 0 1 0 806294707 681451520 118781 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166370 118781 300 300 0 166070 0
vsize: 665480
[startup+240 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 213729 0 0 0 23549 452 0 0 25 0 1 0 806294707 682119168 118903 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166533 118903 300 300 0 166233 0
vsize: 666132
[startup+250 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 213906 0 0 0 24549 453 0 0 25 0 1 0 806294707 682545152 119015 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166637 119015 300 300 0 166337 0
vsize: 666548
[startup+260.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 214159 0 0 0 25548 454 0 0 25 0 1 0 806294707 683540480 119235 4294967295 134512640 135726644 3221224592 3221222976 135105719 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166880 119235 300 300 0 166580 0
vsize: 667520
[startup+270.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 215495 0 0 0 26545 456 0 0 25 0 1 0 806294707 686960640 119858 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167715 119858 300 300 0 167415 0
vsize: 670860
[startup+280.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 215599 0 0 0 27545 457 0 0 25 0 1 0 806294707 687226880 119929 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167780 119929 300 300 0 167480 0
vsize: 671120
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 215611 0 0 0 28545 457 0 0 25 0 1 0 806294707 687226880 119941 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167780 119941 300 300 0 167480 0
vsize: 671120
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 215745 0 0 0 29545 457 0 0 25 0 1 0 806294707 687763456 120042 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167911 120042 300 300 0 167611 0
vsize: 671644
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 215862 0 0 0 30545 458 0 0 25 0 1 0 806294707 688025600 120093 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167975 120093 300 300 0 167675 0
vsize: 671900
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 215874 0 0 0 31545 458 0 0 25 0 1 0 806294707 688025600 120105 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167975 120105 300 300 0 167675 0
vsize: 671900
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 215891 0 0 0 32545 458 0 0 25 0 1 0 806294707 688025600 120122 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167975 120122 300 300 0 167675 0
vsize: 671900
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 215914 0 0 0 33545 458 0 0 25 0 1 0 806294707 688025600 120145 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167975 120145 300 300 0 167675 0
vsize: 671900
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 216195 0 0 0 34545 458 0 0 25 0 1 0 806294707 689074176 120169 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168231 120169 300 300 0 167931 0
vsize: 672924
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 216224 0 0 0 35545 459 0 0 25 0 1 0 806294707 689074176 120198 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168231 120198 300 300 0 167931 0
vsize: 672924
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 216307 0 0 0 36545 459 0 0 25 0 1 0 806294707 689336320 120216 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168295 120216 300 300 0 167995 0
vsize: 673180
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 216935 0 0 0 37544 460 0 0 25 0 1 0 806294707 690917376 120518 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168681 120518 300 300 0 168381 0
vsize: 674724
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 216963 0 0 0 38544 460 0 0 25 0 1 0 806294707 690917376 120546 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168681 120546 300 300 0 168381 0
vsize: 674724
[startup+400.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 217036 0 0 0 39544 460 0 0 25 0 1 0 806294707 690917376 120619 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168681 120619 300 300 0 168381 0
vsize: 674724
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 217272 0 0 0 40544 461 0 0 25 0 1 0 806294707 691441664 120726 4294967295 134512640 135726644 3221224592 3221223104 134742306 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168809 120726 300 300 0 168509 0
vsize: 675236
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 220494 0 0 0 41536 468 0 0 25 0 1 0 806294707 693678080 121205 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169355 121205 300 300 0 169055 0
vsize: 677420
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 223274 0 0 0 42530 474 0 0 25 0 1 0 806294707 702140416 122623 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171421 122623 300 300 0 171121 0
vsize: 685684
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 223619 0 0 0 43529 475 0 0 25 0 1 0 806294707 703979520 122968 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171870 122968 300 300 0 171570 0
vsize: 687480
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 226117 0 0 0 44524 480 0 0 25 0 1 0 806294707 712474624 124361 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173944 124361 300 300 0 173644 0
vsize: 695776
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 228909 0 0 0 45518 486 0 0 25 0 1 0 806294707 720248832 125732 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175842 125732 300 300 0 175542 0
vsize: 703368
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 229563 0 0 0 46517 487 0 0 25 0 1 0 806294707 721567744 126159 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176164 126159 300 300 0 175864 0
vsize: 704656
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 229607 0 0 0 47517 488 0 0 25 0 1 0 806294707 721838080 126203 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176230 126203 300 300 0 175930 0
vsize: 704920
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 230604 0 0 0 48515 490 0 0 25 0 1 0 806294707 725757952 126842 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177187 126842 300 300 0 176887 0
vsize: 708748
[startup+500.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 230782 0 0 0 49515 490 0 0 25 0 1 0 806294707 726429696 126987 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177351 126987 300 300 0 177051 0
vsize: 709404
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 231218 0 0 0 50514 491 0 0 25 0 1 0 806294707 727752704 127194 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177674 127194 300 300 0 177374 0
vsize: 710696
[startup+520.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 232278 0 0 0 51512 494 0 0 25 0 1 0 806294707 731066368 127765 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178483 127765 300 300 0 178183 0
vsize: 713932
[startup+530.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 233108 0 0 0 52511 495 0 0 25 0 1 0 806294707 733171712 128141 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178997 128141 300 300 0 178697 0
vsize: 715988
[startup+540.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 234126 0 0 0 53508 498 0 0 25 0 1 0 806294707 736342016 128673 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179771 128673 300 300 0 179471 0
vsize: 719084
[startup+550.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 235844 0 0 0 54506 500 0 0 25 0 1 0 806294707 741158912 129561 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180947 129561 300 300 0 180647 0
vsize: 723788
[startup+560.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 236577 0 0 0 55505 502 0 0 25 0 1 0 806294707 743407616 129902 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181496 129902 300 300 0 181196 0
vsize: 725984
[startup+570.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 237104 0 0 0 56503 503 0 0 25 0 1 0 806294707 745070592 130216 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181902 130216 300 300 0 181602 0
vsize: 727608
[startup+580.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 238095 0 0 0 57501 505 0 0 25 0 1 0 806294707 748371968 130718 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182708 130718 300 300 0 182408 0
vsize: 730832
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 238503 0 0 0 58500 507 0 0 25 0 1 0 806294707 749694976 130930 4294967295 134512640 135726644 3221224592 3221222920 134735638 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183031 130930 300 300 0 182731 0
vsize: 732124
[startup+600.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 240517 0 0 0 59496 511 0 0 25 0 1 0 806294707 755359744 131941 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184414 131941 300 300 0 184114 0
vsize: 737656
[startup+610.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 240921 0 0 0 60495 512 0 0 25 0 1 0 806294707 756948992 132214 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184802 132214 300 300 0 184502 0
vsize: 739208
[startup+620.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 241715 0 0 0 61494 514 0 0 25 0 1 0 806294707 759062528 132616 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185318 132616 300 300 0 185018 0
vsize: 741272
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 242192 0 0 0 62493 515 0 0 25 0 1 0 806294707 760385536 132864 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185641 132864 300 300 0 185341 0
vsize: 742564
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 242613 0 0 0 63492 516 0 0 25 0 1 0 806294707 761499648 133058 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185913 133058 300 300 0 185613 0
vsize: 743652
[startup+650.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 243184 0 0 0 64490 518 0 0 25 0 1 0 806294707 763215872 133334 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186332 133334 300 300 0 186032 0
vsize: 745328
[startup+660.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 243677 0 0 0 65489 519 0 0 25 0 1 0 806294707 765313024 133640 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186844 133640 300 300 0 186544 0
vsize: 747376
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 244312 0 0 0 66488 520 0 0 25 0 1 0 806294707 767160320 133916 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187295 133916 300 300 0 186995 0
vsize: 749180
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 245107 0 0 0 67487 522 0 0 25 0 1 0 806294707 769273856 134321 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187811 134321 300 300 0 187511 0
vsize: 751244
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 245154 0 0 0 68487 522 0 0 25 0 1 0 806294707 769409024 134368 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187844 134368 300 300 0 187544 0
vsize: 751376
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 245895 0 0 0 69486 524 0 0 25 0 1 0 806294707 771784704 134751 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188424 134751 300 300 0 188124 0
vsize: 753696
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 246193 0 0 0 70485 524 0 0 25 0 1 0 806294707 772710400 134886 4294967295 134512640 135726644 3221224592 3221223216 134744626 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188650 134886 300 300 0 188350 0
vsize: 754600
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 246916 0 0 0 71483 526 0 0 25 0 1 0 806294707 774688768 135268 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189133 135268 300 300 0 188833 0
vsize: 756532
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 248214 0 0 0 72481 529 0 0 25 0 1 0 806294707 778375168 135851 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190033 135851 300 300 0 189733 0
vsize: 760132
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 248214 0 0 0 73481 529 0 0 25 0 1 0 806294707 778375168 135851 4294967295 134512640 135726644 3221224592 3221223088 134743872 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190033 135851 300 300 0 189733 0
vsize: 760132
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 248215 0 0 0 74480 530 0 0 25 0 1 0 806294707 778375168 135852 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190033 135852 300 300 0 189733 0
vsize: 760132
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 248510 0 0 0 75480 530 0 0 25 0 1 0 806294707 779423744 135890 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190289 135890 300 300 0 189989 0
vsize: 761156
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 248511 0 0 0 76480 530 0 0 25 0 1 0 806294707 779423744 135891 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190289 135891 300 300 0 189989 0
vsize: 761156
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 248511 0 0 0 77480 530 0 0 25 0 1 0 806294707 779423744 135891 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190289 135891 300 300 0 189989 0
vsize: 761156
[startup+790.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 248511 0 0 0 78480 530 0 0 25 0 1 0 806294707 779423744 135891 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190289 135891 300 300 0 189989 0
vsize: 761156
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 248512 0 0 0 79481 531 0 0 25 0 1 0 806294707 779423744 135892 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190289 135892 300 300 0 189989 0
vsize: 761156
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 248919 0 0 0 80480 531 0 0 25 0 1 0 806294707 780472320 136040 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190545 136040 300 300 0 190245 0
vsize: 762180
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 249667 0 0 0 81478 534 0 0 25 0 1 0 806294707 782442496 136364 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191026 136364 300 300 0 190726 0
vsize: 764104
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 249674 0 0 0 82478 534 0 0 25 0 1 0 806294707 782442496 136371 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191026 136371 300 300 0 190726 0
vsize: 764104
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 249674 0 0 0 83478 534 0 0 25 0 1 0 806294707 782442496 136371 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191026 136371 300 300 0 190726 0
vsize: 764104
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 251980 0 0 0 84473 539 0 0 25 0 1 0 806294707 791887872 138677 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193332 138677 300 300 0 193032 0
vsize: 773328
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 252871 0 0 0 85470 541 0 0 25 0 1 0 806294707 785358848 136937 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191738 136937 300 300 0 191438 0
vsize: 766952
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 253670 0 0 0 86469 543 0 0 25 0 1 0 806294707 787652608 137220 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192298 137220 300 300 0 191998 0
vsize: 769192
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 254318 0 0 0 87468 545 0 0 25 0 1 0 806294707 789643264 137574 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192784 137574 300 300 0 192484 0
vsize: 771136
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 254906 0 0 0 88466 546 0 0 25 0 1 0 806294707 791228416 137871 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193171 137871 300 300 0 192871 0
vsize: 772684
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 255604 0 0 0 89465 548 0 0 25 0 1 0 806294707 793202688 138148 4294967295 134512640 135726644 3221224592 3221223088 134743907 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193653 138148 300 300 0 193353 0
vsize: 774612
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256419 0 0 0 90463 549 0 0 25 0 1 0 806294707 795185152 138605 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194137 138605 300 300 0 193837 0
vsize: 776548
[startup+920.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256422 0 0 0 91464 549 0 0 25 0 1 0 806294707 795185152 138608 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194137 138608 300 300 0 193837 0
vsize: 776548
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256786 0 0 0 92463 550 0 0 25 0 1 0 806294707 796233728 138715 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194393 138715 300 300 0 194093 0
vsize: 777572
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256836 0 0 0 93463 550 0 0 25 0 1 0 806294707 796233728 138765 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194393 138765 300 300 0 194093 0
vsize: 777572
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256840 0 0 0 94463 550 0 0 25 0 1 0 806294707 796233728 138769 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194393 138769 300 300 0 194093 0
vsize: 777572
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256844 0 0 0 95463 551 0 0 25 0 1 0 806294707 796233728 138773 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194393 138773 300 300 0 194093 0
vsize: 777572
[startup+970.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256850 0 0 0 96463 551 0 0 25 0 1 0 806294707 796233728 138779 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194393 138779 300 300 0 194093 0
vsize: 777572
[startup+980.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256854 0 0 0 97463 551 0 0 25 0 1 0 806294707 796233728 138783 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194393 138783 300 300 0 194093 0
vsize: 777572
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256865 0 0 0 98464 551 0 0 25 0 1 0 806294707 796233728 138794 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194393 138794 300 300 0 194093 0
vsize: 777572
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256871 0 0 0 99464 551 0 0 25 0 1 0 806294707 796233728 138800 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194393 138800 300 300 0 194093 0
vsize: 777572
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256875 0 0 0 100464 551 0 0 25 0 1 0 806294707 796233728 138804 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194393 138804 300 300 0 194093 0
vsize: 777572
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256877 0 0 0 101464 551 0 0 25 0 1 0 806294707 796233728 138806 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194393 138806 300 300 0 194093 0
vsize: 777572
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 256880 0 0 0 102464 551 0 0 25 0 1 0 806294707 796233728 138809 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194393 138809 300 300 0 194093 0
vsize: 777572
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 259188 0 0 0 103458 557 0 0 25 0 1 0 806294707 796233728 138811 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 194393 138811 300 300 0 194093 0
vsize: 777572
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 260217 0 0 0 104455 560 0 0 25 0 1 0 806294707 798928896 139288 4294967295 134512640 135726644 3221224592 3221223216 134744513 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 195051 139288 300 300 0 194751 0
vsize: 780204
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 260467 0 0 0 105453 561 0 0 25 0 1 0 806294707 799490048 139472 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195188 139472 300 300 0 194888 0
vsize: 780752
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 261517 0 0 0 106451 564 0 0 25 0 1 0 806294707 801996800 140035 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195800 140035 300 300 0 195500 0
vsize: 783200
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 263285 0 0 0 107448 567 0 0 25 0 1 0 806294707 807002112 140764 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197022 140764 300 300 0 196722 0
vsize: 788088
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 264151 0 0 0 108445 570 0 0 25 0 1 0 806294707 809508864 141143 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197634 141143 300 300 0 197334 0
vsize: 790536
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 264547 0 0 0 109444 571 0 0 25 0 1 0 806294707 810442752 141440 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197862 141440 300 300 0 197562 0
vsize: 791448
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 265673 0 0 0 110442 574 0 0 25 0 1 0 806294707 813678592 141996 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 198652 141996 300 300 0 198352 0
vsize: 794608
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 265865 0 0 0 111441 574 0 0 25 0 1 0 806294707 814206976 142123 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 198781 142123 300 300 0 198481 0
vsize: 795124
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 266737 0 0 0 112440 576 0 0 25 0 1 0 806294707 817115136 142572 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199491 142572 300 300 0 199191 0
vsize: 797964
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 266743 0 0 0 113440 576 0 0 25 0 1 0 806294707 817115136 142578 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199491 142578 300 300 0 199191 0
vsize: 797964
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 266749 0 0 0 114440 576 0 0 25 0 1 0 806294707 817115136 142584 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199491 142584 300 300 0 199191 0
vsize: 797964
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17724
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 266757 0 0 0 115440 576 0 0 25 0 1 0 806294707 817115136 142592 4294967295 134512640 135726644 3221224592 3221223136 134736730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199491 142592 300 300 0 199191 0
vsize: 797964
[startup+1170.02 s]
Raw data (loadavg): 1.07 0.99 0.91 3/57 17764
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 266763 0 0 0 116440 576 0 0 25 0 1 0 806294707 817115136 142598 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199491 142598 300 300 0 199191 0
vsize: 797964
[startup+1180.02 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 17777
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 266770 0 0 0 117441 576 0 0 25 0 1 0 806294707 817115136 142605 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199491 142605 300 300 0 199191 0
vsize: 797964
[startup+1190.02 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 17777
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 266785 0 0 0 118441 576 0 0 25 0 1 0 806294707 817115136 142620 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199491 142620 300 300 0 199191 0
vsize: 797964
[startup+1200.02 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 17777
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 266788 0 0 0 119441 576 0 0 25 0 1 0 806294707 817115136 142623 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199491 142623 300 300 0 199191 0
vsize: 797964
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.3 s]
Raw data (loadavg): 1.09 1.00 0.92 1/53 17777
Raw data (stat): 17724 (pb2sat) R 17723 3944 3943 0 -1 0 266788 0 0 0 119441 576 0 0 25 0 1 0 806294707 817115136 142623 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199491 142623 300 300 0 199191 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.3
CPU time (s): 1202.46
CPU user time (s): 1196.42
CPU system time (s): 6.04208
CPU usage (%): 100.013
Max. virtual memory (Kb): 797964
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####