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/uclid_pb_benchmarks/normalized-cache.inv14.ucl.opb
MD5SUM	5b41c3eb79e4b3bf301d25b20a1c7b76
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	33
Number of bits of the biggest number in a constraint	6
Biggest sum of numbers in a constraint	126
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	62704
Total number of constraints	187107
Number of constraints which are clauses	186603
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	504
Minimum length of a constraint	1
Maximum length of a constraint	11
Trace number 34942

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
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:        875160 kB
Buffers:         31900 kB
Cached:         107004 kB
SwapCached:        700 kB
Active:          50240 kB
Inactive:        90784 kB
HighTotal:      131008 kB
HighFree:        28644 kB
LowTotal:       903652 kB
LowFree:        846516 kB
SwapTotal:     2097136 kB
SwapFree:      2095556 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5028 kB
Slab:            12848 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:33:30 (client local time) WITH STATUS 0 IN 1200.61 SECONDS
stats: 24212 7 1200.61 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 1340/70264	Time: 17.1184/86400
Decision: 2347/70264	Time: 37.1703/86400
Decision: 3179/70264	Time: 51.6951/86400
Decision: 5202/70264	Time: 201.306/86400
Decision: 5202/70264	Time: 224.407/86400
Decision: 6690/70264	Time: 268.812/86400
Decision: 6797/70264	Time: 373.358/86400
Decision: 8047/70264	Time: 443.758/86400
Decision: 8231/70264	Time: 500.76/86400
Decision: 8231/70264	Time: 510.232/86400
Decision: 8466/70264	Time: 530.54/86400
Decision: 8758/70264	Time: 590.93/86400
Decision: 8758/70264	Time: 611.137/86400
Decision: 8904/70264	Time: 719.336/86400
Decision: 8904/70264	Time: 756.869/86400
Decision: 8904/70264	Time: 798.719/86400
Decision: 8911/70264	Time: 835.505/86400
Decision: 8927/70264	Time: 884.414/86400
Decision: 8927/70264	Time: 914.44/86400
Decision: 9139/70264	Time: 1021.4/86400
Decision: 9141/70264	Time: 1037.96/86400
Decision: 9170/70264	Time: 1084.5/86400
Decision: 9170/70264	Time: 1119.86/86400
Decision: 9170/70264	Time: 1144.5/86400
Decision: 9170/70264	Time: 1167.38/86400
Decision: 9170/70264	Time: 1181.06/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 7872
Raw data (stat): 7872 (runsolver) R 7871 5562 5561 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864356514 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.92 0.95 0.90 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 5288 0 0 0 984 14 0 0 25 0 1 0 864356514 17342464 3361 4294967295 134512640 135726644 3221224592 3221221792 134574540 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4234 3361 300 300 0 3934 0
vsize: 16936
[startup+20.0012 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 10656 0 0 0 1968 31 0 0 25 0 1 0 864356514 34729984 6540 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8479 6540 300 300 0 8179 0
vsize: 33916
[startup+30.0019 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 12198 0 0 0 2964 36 0 0 25 0 1 0 864356514 42250240 7901 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10315 7901 300 300 0 10015 0
vsize: 41260
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 13051 0 0 0 3961 38 0 0 25 0 1 0 864356514 45568000 8517 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11125 8517 300 300 0 10825 0
vsize: 44500
[startup+50.0036 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 13592 0 0 0 4959 40 0 0 25 0 1 0 864356514 47996928 9025 4294967295 134512640 135726644 3221224592 3221223088 134743877 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11718 9025 300 300 0 11418 0
vsize: 46872
[startup+60.0038 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 14194 0 0 0 5957 43 0 0 25 0 1 0 864356514 49905664 9390 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12184 9390 300 300 0 11884 0
vsize: 48736
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 14457 0 0 0 6955 44 0 0 25 0 1 0 864356514 50335744 9515 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12289 9515 300 300 0 11989 0
vsize: 49156
[startup+80.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 15355 0 0 0 7952 48 0 0 25 0 1 0 864356514 54255616 10281 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13246 10281 300 300 0 12946 0
vsize: 52984
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 15829 0 0 0 8950 50 0 0 25 0 1 0 864356514 56250368 10623 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13733 10623 300 300 0 13433 0
vsize: 54932
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 16269 0 0 0 9948 52 0 0 25 0 1 0 864356514 58236928 10931 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14218 10931 300 300 0 13918 0
vsize: 56872
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 16694 0 0 0 10946 54 0 0 25 0 1 0 864356514 60223488 11290 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14703 11290 300 300 0 14403 0
vsize: 58812
[startup+120.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 16995 0 0 0 11944 56 0 0 25 0 1 0 864356514 61222912 11525 4294967295 134512640 135726644 3221224592 3221223200 134741266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14947 11525 300 300 0 14647 0
vsize: 59788
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 17781 0 0 0 12942 59 0 0 25 0 1 0 864356514 64352256 12113 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 15711 12113 300 300 0 15411 0
vsize: 62844
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 18169 0 0 0 13941 60 0 0 25 0 1 0 864356514 65937408 12402 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16098 12402 300 300 0 15798 0
vsize: 64392
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 18390 0 0 0 14940 61 0 0 25 0 1 0 864356514 66940928 12590 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16343 12590 300 300 0 16043 0
vsize: 65372
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 18765 0 0 0 15938 63 0 0 25 0 1 0 864356514 68689920 12899 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16770 12899 300 300 0 16470 0
vsize: 67080
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 18949 0 0 0 16937 64 0 0 25 0 1 0 864356514 69492736 13050 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16966 13050 300 300 0 16666 0
vsize: 67864
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 19395 0 0 0 17935 66 0 0 25 0 1 0 864356514 75431936 13397 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18416 13397 300 300 0 18116 0
vsize: 73664
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 19598 0 0 0 18933 68 0 0 25 0 1 0 864356514 76103680 13600 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18580 13600 300 300 0 18280 0
vsize: 74320
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 19727 0 0 0 19932 69 0 0 25 0 1 0 864356514 76234752 13696 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18612 13696 300 300 0 18312 0
vsize: 74448
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 19873 0 0 0 20931 71 0 0 25 0 1 0 864356514 76632064 13776 4294967295 134512640 135726644 3221224592 3221223248 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18709 13776 300 300 0 18409 0
vsize: 74836
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 20096 0 0 0 21930 72 0 0 25 0 1 0 864356514 77037568 13861 4294967295 134512640 135726644 3221224592 3221222912 134728931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18808 13861 300 300 0 18508 0
vsize: 75232
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 20325 0 0 0 22928 73 0 0 25 0 1 0 864356514 77832192 14024 4294967295 134512640 135726644 3221224592 3221223184 134744136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19002 14024 300 300 0 18702 0
vsize: 76008
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 20486 0 0 0 23926 75 0 0 25 0 1 0 864356514 78364672 14119 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19132 14119 300 300 0 18832 0
vsize: 76528
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 20683 0 0 0 24925 77 0 0 25 0 1 0 864356514 78499840 14178 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19165 14178 300 300 0 18865 0
vsize: 76660
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 20834 0 0 0 25924 78 0 0 25 0 1 0 864356514 78893056 14230 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19261 14230 300 300 0 18961 0
vsize: 77044
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 20978 0 0 0 26923 79 0 0 25 0 1 0 864356514 79556608 14341 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19423 14341 300 300 0 19123 0
vsize: 77692
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 21023 0 0 0 27922 80 0 0 25 0 1 0 864356514 79556608 14386 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19423 14386 300 300 0 19123 0
vsize: 77692
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 21218 0 0 0 28921 81 0 0 25 0 1 0 864356514 79556608 14443 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19423 14443 300 300 0 19123 0
vsize: 77692
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 21284 0 0 0 29920 82 0 0 25 0 1 0 864356514 79687680 14476 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19455 14476 300 300 0 19155 0
vsize: 77820
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 21375 0 0 0 30919 83 0 0 25 0 1 0 864356514 80084992 14534 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19552 14534 300 300 0 19252 0
vsize: 78208
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 21493 0 0 0 31919 84 0 0 25 0 1 0 864356514 80486400 14619 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19650 14619 300 300 0 19350 0
vsize: 78600
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 21589 0 0 0 32918 85 0 0 25 0 1 0 864356514 80748544 14649 4294967295 134512640 135726644 3221224592 3221223280 134744961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19714 14649 300 300 0 19414 0
vsize: 78856
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 21675 0 0 0 33917 86 0 0 25 0 1 0 864356514 81014784 14702 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19779 14702 300 300 0 19479 0
vsize: 79116
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 21723 0 0 0 34916 87 0 0 25 0 1 0 864356514 81281024 14750 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19844 14750 300 300 0 19544 0
vsize: 79376
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 21834 0 0 0 35915 88 0 0 25 0 1 0 864356514 81543168 14795 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19908 14795 300 300 0 19608 0
vsize: 79632
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 21837 0 0 0 36914 89 0 0 25 0 1 0 864356514 81543168 14798 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19908 14798 300 300 0 19608 0
vsize: 79632
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 21895 0 0 0 37913 90 0 0 25 0 1 0 864356514 81674240 14823 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19940 14823 300 300 0 19640 0
vsize: 79760
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 22037 0 0 0 38912 92 0 0 25 0 1 0 864356514 82239488 14965 4294967295 134512640 135726644 3221224592 3221222752 134765208 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20078 14965 300 300 0 19778 0
vsize: 80312
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 22148 0 0 0 39911 93 0 0 25 0 1 0 864356514 82071552 14905 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20037 14905 300 300 0 19737 0
vsize: 80148
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 22246 0 0 0 40910 94 0 0 25 0 1 0 864356514 82333696 14937 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20101 14937 300 300 0 19801 0
vsize: 80404
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 22322 0 0 0 41909 95 0 0 25 0 1 0 864356514 82735104 15013 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20199 15013 300 300 0 19899 0
vsize: 80796
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 22335 0 0 0 42908 95 0 0 25 0 1 0 864356514 82735104 15026 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20199 15026 300 300 0 19899 0
vsize: 80796
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 22482 0 0 0 43908 96 0 0 25 0 1 0 864356514 83263488 15107 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20328 15107 300 300 0 20028 0
vsize: 81312
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 22605 0 0 0 44907 97 0 0 25 0 1 0 864356514 83660800 15197 4294967295 134512640 135726644 3221224592 3221223216 134744538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20425 15197 300 300 0 20125 0
vsize: 81700
[startup+460.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 22689 0 0 0 45906 98 0 0 25 0 1 0 864356514 83660800 15281 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20425 15281 300 300 0 20125 0
vsize: 81700
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 22995 0 0 0 46904 100 0 0 25 0 1 0 864356514 84189184 15383 4294967295 134512640 135726644 3221224592 3221222912 134728948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20554 15383 300 300 0 20254 0
vsize: 82216
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 23075 0 0 0 47904 101 0 0 25 0 1 0 864356514 84320256 15430 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20586 15430 300 300 0 20286 0
vsize: 82344
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 23184 0 0 0 48903 102 0 0 25 0 1 0 864356514 84582400 15473 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20650 15473 300 300 0 20350 0
vsize: 82600
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 23274 0 0 0 49902 102 0 0 25 0 1 0 864356514 84713472 15530 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20682 15530 300 300 0 20382 0
vsize: 82728
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 23440 0 0 0 50901 104 0 0 25 0 1 0 864356514 85241856 15630 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20811 15630 300 300 0 20511 0
vsize: 83244
[startup+520.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 23658 0 0 0 51900 105 0 0 25 0 1 0 864356514 85241856 15710 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20811 15710 300 300 0 20511 0
vsize: 83244
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 23904 0 0 0 52899 106 0 0 25 0 1 0 864356514 85241856 15818 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20811 15818 300 300 0 20511 0
vsize: 83244
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 23982 0 0 0 53898 107 0 0 25 0 1 0 864356514 85372928 15863 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20843 15863 300 300 0 20543 0
vsize: 83372
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24178 0 0 0 54897 108 0 0 25 0 1 0 864356514 85372928 15921 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20843 15921 300 300 0 20543 0
vsize: 83372
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24189 0 0 0 55895 110 0 0 25 0 1 0 864356514 85372928 15932 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20843 15932 300 300 0 20543 0
vsize: 83372
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24253 0 0 0 56895 110 0 0 25 0 1 0 864356514 85639168 15996 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20908 15996 300 300 0 20608 0
vsize: 83632
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24264 0 0 0 57894 111 0 0 25 0 1 0 864356514 85639168 16007 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20908 16007 300 300 0 20608 0
vsize: 83632
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24267 0 0 0 58893 112 0 0 25 0 1 0 864356514 85639168 16010 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20908 16010 300 300 0 20608 0
vsize: 83632
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24270 0 0 0 59892 113 0 0 25 0 1 0 864356514 85639168 16013 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20908 16013 300 300 0 20608 0
vsize: 83632
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24508 0 0 0 60891 114 0 0 25 0 1 0 864356514 85770240 16080 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20940 16080 300 300 0 20640 0
vsize: 83760
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24597 0 0 0 61890 115 0 0 25 0 1 0 864356514 86036480 16169 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21005 16169 300 300 0 20705 0
vsize: 84020
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24769 0 0 0 62888 117 0 0 25 0 1 0 864356514 86036480 16203 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21005 16203 300 300 0 20705 0
vsize: 84020
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24808 0 0 0 63888 118 0 0 25 0 1 0 864356514 86036480 16242 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21005 16242 300 300 0 20705 0
vsize: 84020
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24876 0 0 0 64887 119 0 0 25 0 1 0 864356514 86167552 16277 4294967295 134512640 135726644 3221224592 3221222912 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21037 16277 300 300 0 20737 0
vsize: 84148
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24902 0 0 0 65886 120 0 0 25 0 1 0 864356514 86167552 16303 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21037 16303 300 300 0 20737 0
vsize: 84148
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24924 0 0 0 66886 120 0 0 25 0 1 0 864356514 86167552 16325 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21037 16325 300 300 0 20737 0
vsize: 84148
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24953 0 0 0 67885 121 0 0 25 0 1 0 864356514 86167552 16354 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21037 16354 300 300 0 20737 0
vsize: 84148
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 24982 0 0 0 68885 122 0 0 25 0 1 0 864356514 86167552 16383 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21037 16383 300 300 0 20737 0
vsize: 84148
[startup+700.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25005 0 0 0 69884 122 0 0 25 0 1 0 864356514 94556160 16406 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23085 16406 300 300 0 22785 0
vsize: 92340
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25077 0 0 0 70884 123 0 0 25 0 1 0 864356514 94687232 16445 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23117 16445 300 300 0 22817 0
vsize: 92468
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25141 0 0 0 71883 124 0 0 25 0 1 0 864356514 94953472 16509 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23182 16509 300 300 0 22882 0
vsize: 92728
[startup+730.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25198 0 0 0 72882 125 0 0 25 0 1 0 864356514 95084544 16533 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23214 16533 300 300 0 22914 0
vsize: 92856
[startup+740.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25389 0 0 0 73882 125 0 0 25 0 1 0 864356514 95350784 16586 4294967295 134512640 135726644 3221224592 3221223280 134744864 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23279 16586 300 300 0 22979 0
vsize: 93116
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25421 0 0 0 74882 126 0 0 25 0 1 0 864356514 95350784 16618 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23279 16618 300 300 0 22979 0
vsize: 93116
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25450 0 0 0 75881 126 0 0 25 0 1 0 864356514 95350784 16647 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23279 16647 300 300 0 22979 0
vsize: 93116
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25474 0 0 0 76881 127 0 0 25 0 1 0 864356514 95350784 16671 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23279 16671 300 300 0 22979 0
vsize: 93116
[startup+780.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25640 0 0 0 77879 128 0 0 25 0 1 0 864356514 95350784 16699 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23279 16699 300 300 0 22979 0
vsize: 93116
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25718 0 0 0 78879 129 0 0 25 0 1 0 864356514 95481856 16744 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23311 16744 300 300 0 23011 0
vsize: 93244
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25748 0 0 0 79879 129 0 0 25 0 1 0 864356514 95481856 16774 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23311 16774 300 300 0 23011 0
vsize: 93244
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25821 0 0 0 80878 130 0 0 25 0 1 0 864356514 95612928 16814 4294967295 134512640 135726644 3221224592 3221223088 134743940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23343 16814 300 300 0 23043 0
vsize: 93372
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 25969 0 0 0 81877 132 0 0 25 0 1 0 864356514 95612928 16824 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23343 16824 300 300 0 23043 0
vsize: 93372
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26043 0 0 0 82876 133 0 0 25 0 1 0 864356514 95879168 16898 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23408 16898 300 300 0 23108 0
vsize: 93632
[startup+840.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26056 0 0 0 83875 133 0 0 25 0 1 0 864356514 95879168 16911 4294967295 134512640 135726644 3221224592 3221223088 134744043 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23408 16911 300 300 0 23108 0
vsize: 93632
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26065 0 0 0 84875 134 0 0 25 0 1 0 864356514 95879168 16920 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23408 16920 300 300 0 23108 0
vsize: 93632
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26206 0 0 0 85874 135 0 0 25 0 1 0 864356514 95879168 16923 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23408 16923 300 300 0 23108 0
vsize: 93632
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26249 0 0 0 86874 135 0 0 25 0 1 0 864356514 95875072 16900 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23407 16900 300 300 0 23107 0
vsize: 93628
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26255 0 0 0 87873 136 0 0 25 0 1 0 864356514 95875072 16906 4294967295 134512640 135726644 3221224592 3221223088 134744120 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23407 16906 300 300 0 23107 0
vsize: 93628
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26256 0 0 0 88873 137 0 0 25 0 1 0 864356514 95875072 16907 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23407 16907 300 300 0 23107 0
vsize: 93628
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26260 0 0 0 89872 138 0 0 25 0 1 0 864356514 95875072 16911 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23407 16911 300 300 0 23107 0
vsize: 93628
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26416 0 0 0 90871 139 0 0 25 0 1 0 864356514 95875072 16929 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23407 16929 300 300 0 23107 0
vsize: 93628
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26536 0 0 0 91871 139 0 0 25 0 1 0 864356514 96137216 16983 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23471 16983 300 300 0 23171 0
vsize: 93884
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26563 0 0 0 92870 140 0 0 25 0 1 0 864356514 96137216 17010 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23471 17010 300 300 0 23171 0
vsize: 93884
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26726 0 0 0 93869 141 0 0 25 0 1 0 864356514 96137216 17035 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23471 17035 300 300 0 23171 0
vsize: 93884
[startup+950.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26794 0 0 0 94869 141 0 0 25 0 1 0 864356514 96268288 17070 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23503 17070 300 300 0 23203 0
vsize: 94012
[startup+960.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26816 0 0 0 95869 142 0 0 25 0 1 0 864356514 96268288 17092 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23503 17092 300 300 0 23203 0
vsize: 94012
[startup+970.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26843 0 0 0 96869 142 0 0 25 0 1 0 864356514 96268288 17119 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23503 17119 300 300 0 23203 0
vsize: 94012
[startup+980.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26872 0 0 0 97869 143 0 0 25 0 1 0 864356514 96268288 17148 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23503 17148 300 300 0 23203 0
vsize: 94012
[startup+990.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26910 0 0 0 98868 144 0 0 25 0 1 0 864356514 96268288 17186 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23503 17186 300 300 0 23203 0
vsize: 94012
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26956 0 0 0 99867 144 0 0 25 0 1 0 864356514 96268288 17232 4294967295 134512640 135726644 3221224592 3221223088 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23503 17232 300 300 0 23203 0
vsize: 94012
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 26998 0 0 0 100867 145 0 0 25 0 1 0 864356514 96268288 17274 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23503 17274 300 300 0 23203 0
vsize: 94012
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27045 0 0 0 101866 146 0 0 25 0 1 0 864356514 96268288 17321 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23503 17321 300 300 0 23203 0
vsize: 94012
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27069 0 0 0 102866 146 0 0 25 0 1 0 864356514 96268288 17345 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23503 17345 300 300 0 23203 0
vsize: 94012
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27245 0 0 0 103865 147 0 0 25 0 1 0 864356514 96268288 17383 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23503 17383 300 300 0 23203 0
vsize: 94012
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27340 0 0 0 104864 147 0 0 25 0 1 0 864356514 96268288 17478 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23503 17478 300 300 0 23203 0
vsize: 94012
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27557 0 0 0 105863 148 0 0 25 0 1 0 864356514 96268288 17557 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23503 17557 300 300 0 23203 0
vsize: 94012
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27606 0 0 0 106863 149 0 0 25 0 1 0 864356514 96534528 17606 4294967295 134512640 135726644 3221224592 3221223184 134744136 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23568 17606 300 300 0 23268 0
vsize: 94272
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27607 0 0 0 107862 149 0 0 25 0 1 0 864356514 96534528 17607 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23568 17607 300 300 0 23268 0
vsize: 94272
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27609 0 0 0 108862 149 0 0 25 0 1 0 864356514 96534528 17609 4294967295 134512640 135726644 3221224592 3221223280 134744838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23568 17609 300 300 0 23268 0
vsize: 94272
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27611 0 0 0 109862 150 0 0 25 0 1 0 864356514 96534528 17611 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23568 17611 300 300 0 23268 0
vsize: 94272
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27849 0 0 0 110861 151 0 0 25 0 1 0 864356514 97067008 17711 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23698 17711 300 300 0 23398 0
vsize: 94792
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27850 0 0 0 111860 152 0 0 25 0 1 0 864356514 97067008 17712 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23698 17712 300 300 0 23398 0
vsize: 94792
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 27852 0 0 0 112860 153 0 0 25 0 1 0 864356514 97067008 17714 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23698 17714 300 300 0 23398 0
vsize: 94792
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 28034 0 0 0 113860 153 0 0 25 0 1 0 864356514 97198080 17725 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23730 17725 300 300 0 23430 0
vsize: 94920
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 28060 0 0 0 114859 154 0 0 25 0 1 0 864356514 97198080 17751 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23730 17751 300 300 0 23430 0
vsize: 94920
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 28132 0 0 0 115859 154 0 0 25 0 1 0 864356514 97198080 17823 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23730 17823 300 300 0 23430 0
vsize: 94920
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 28361 0 0 0 116857 156 0 0 25 0 1 0 864356514 97198080 17914 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23730 17914 300 300 0 23430 0
vsize: 94920
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 28394 0 0 0 117857 156 0 0 25 0 1 0 864356514 97198080 17947 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23730 17947 300 300 0 23430 0
vsize: 94920
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 28601 0 0 0 118856 157 0 0 25 0 1 0 864356514 97198080 18016 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23730 18016 300 300 0 23430 0
vsize: 94920
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7872
Raw data (stat): 7872 (pb2sat) R 7871 5562 5561 0 -1 0 28813 0 0 0 119855 159 0 0 25 0 1 0 864356514 97198080 18090 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23730 18090 300 300 0 23430 0
vsize: 94920
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.47 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 7872
Raw data (stat): 7872 (pb2sat) Z 7871 5562 5561 0 -1 12 28814 0 0 0 119897 162 0 0 25 0 1 0 864356514 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.47
CPU time (s): 1200.61
CPU user time (s): 1198.98
CPU system time (s): 1.62875
CPU usage (%): 100.011
Max. virtual memory (Kb): 94920
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####