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-ooo.ex.mem.LdValue.ucl.opb
MD5SUM	ccbca61851d5d361647c00bb58b30d92
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	129
Number of bits of the biggest number in a constraint	8
Biggest sum of numbers in a constraint	510
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	77106
Total number of constraints	218779
Number of constraints which are clauses	205559
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	13220
Minimum length of a constraint	1
Maximum length of a constraint	15
Trace number 34946

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-28 11:15:05 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24229 boxname=wulflinc8 idbench=303 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ccbca61851d5d361647c00bb58b30d92  /oldhome/oroussel/tmp/wulflinc8/normalized-ooo.ex.mem.LdValue.ucl.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-ooo.ex.mem.LdValue.ucl.opb
IDLAUNCH: 24229
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        701976 kB
Buffers:         37432 kB
Cached:         271956 kB
SwapCached:        896 kB
Active:          64068 kB
Inactive:       247652 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        701724 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5196 kB
Slab:            15164 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:35:08 (client local time) WITH STATUS 0 IN 1201.24 SECONDS
stats: 24229 7 1201.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 15843/328860	Time: 16.2025/86400
Decision: 15969/328860	Time: 28.8366/86400
Decision: 15969/328860	Time: 40.0239/86400
Decision: 15969/328860	Time: 56.1045/86400
Decision: 15986/328860	Time: 87.7287/86400
Decision: 15986/328860	Time: 101.875/86400
Decision: 15986/328860	Time: 110.276/86400
Decision: 15986/328860	Time: 124.736/86400
Decision: 16174/328860	Time: 146.249/86400
Decision: 16178/328860	Time: 171.094/86400
Decision: 16178/328860	Time: 189.223/86400
Decision: 16178/328860	Time: 207.182/86400
Decision: 16178/328860	Time: 219.088/86400
Decision: 16178/328860	Time: 230.855/86400
Decision: 16178/328860	Time: 245.444/86400
Decision: 16178/328860	Time: 262.774/86400
Decision: 16431/328860	Time: 325.558/86400
Decision: 16431/328860	Time: 346.877/86400
Decision: 16431/328860	Time: 368.344/86400
Decision: 16431/328860	Time: 386.462/86400
Decision: 16431/328860	Time: 408.234/86400
Decision: 16647/328860	Time: 457.84/86400
Decision: 16653/328860	Time: 523.236/86400
Decision: 16653/328860	Time: 545.642/86400
Decision: 16655/328860	Time: 579.15/86400
Decision: 16655/328860	Time: 600.328/86400
Decision: 16655/328860	Time: 621.274/86400
Decision: 16657/328860	Time: 659.577/86400
Decision: 16662/328860	Time: 717.559/86400
Decision: 18463/328860	Time: 775.685/86400
Decision: 18463/328860	Time: 794.149/86400
Decision: 18463/328860	Time: 822.245/86400
Decision: 18463/328860	Time: 845.975/86400
Decision: 18478/328860	Time: 880.881/86400
Decision: 18478/328860	Time: 898.533/86400
Decision: 18478/328860	Time: 918.843/86400
Decision: 18478/328860	Time: 944.302/86400
Decision: 18478/328860	Time: 962.082/86400
Decision: 18478/328860	Time: 981.667/86400
Decision: 18478/328860	Time: 1004.29/86400
Decision: 18478/328860	Time: 1028.78/86400
Decision: 18478/328860	Time: 1050.35/86400
Decision: 18482/328860	Time: 1083.43/86400
Decision: 18482/328860	Time: 1105.2/86400
Decision: 18482/328860	Time: 1125.81/86400
Decision: 18482/328860	Time: 1151.33/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.95 0.96 0.91 1/54 15316
Raw data (stat): 15316 (runsolver) D 15315 3132 3131 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 792576394 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 5332 0 0 0 986 13 0 0 25 0 1 0 792576394 17457152 3401 4294967295 134512640 135726644 3221224576 3221221520 134541150 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4262 3401 300 300 0 3962 0
vsize: 17048
[startup+20.002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 13376 0 0 0 1966 32 0 0 25 0 1 0 792576394 40337408 7859 4294967295 134512640 135726644 3221224576 3221221632 134851324 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 9848 7859 300 300 0 9548 0
vsize: 39392
[startup+30.0028 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 37211 0 0 0 2917 82 0 0 25 0 1 0 792576394 113143808 21145 4294967295 134512640 135726644 3221224576 3221215576 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27623 21145 300 300 0 27323 0
vsize: 110492
[startup+40.0035 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 41004 0 0 0 3907 92 0 0 25 0 1 0 792576394 117809152 24253 4294967295 134512640 135726644 3221224576 3221223116 135297998 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28762 24253 300 300 0 28462 0
vsize: 115048
[startup+50.0043 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 41537 0 0 0 4905 94 0 0 25 0 1 0 792576394 120270848 24786 4294967295 134512640 135726644 3221224576 3221223200 134744582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29363 24786 300 300 0 29063 0
vsize: 117452
[startup+60.0051 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 42428 0 0 0 5903 97 0 0 25 0 1 0 792576394 124182528 25677 4294967295 134512640 135726644 3221224576 3221222720 134762532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30318 25677 300 300 0 30018 0
vsize: 121272
[startup+70.0058 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 42897 0 0 0 6901 98 0 0 25 0 1 0 792576394 123969536 25503 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30266 25503 300 300 0 29966 0
vsize: 121064
[startup+80.0076 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 43843 0 0 0 7899 101 0 0 25 0 1 0 792576394 125378560 25773 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30610 25773 300 300 0 30310 0
vsize: 122440
[startup+90.0086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 44803 0 0 0 8895 104 0 0 25 0 1 0 792576394 126894080 26090 4294967295 134512640 135726644 3221224576 3221223168 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30980 26090 300 300 0 30680 0
vsize: 123920
[startup+100.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 45002 0 0 0 9894 106 0 0 25 0 1 0 792576394 127942656 26289 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31236 26289 300 300 0 30936 0
vsize: 124944
[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 45183 0 0 0 10892 108 0 0 25 0 1 0 792576394 128933888 26470 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31478 26470 300 300 0 31178 0
vsize: 125912
[startup+120.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 45973 0 0 0 11889 111 0 0 25 0 1 0 792576394 129597440 26617 4294967295 134512640 135726644 3221224576 3221223232 134731202 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31640 26617 300 300 0 31340 0
vsize: 126560
[startup+130.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 46052 0 0 0 12888 112 0 0 25 0 1 0 792576394 129929216 26696 4294967295 134512640 135726644 3221224576 3221223232 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31721 26696 300 300 0 31421 0
vsize: 126884
[startup+140.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 46784 0 0 0 13885 115 0 0 25 0 1 0 792576394 130322432 26785 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31817 26785 300 300 0 31517 0
vsize: 127268
[startup+150.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 47513 0 0 0 14881 119 0 0 25 0 1 0 792576394 130654208 26871 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31898 26871 300 300 0 31598 0
vsize: 127592
[startup+160.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 48203 0 0 0 15879 122 0 0 25 0 1 0 792576394 130953216 26918 4294967295 134512640 135726644 3221224576 3221223264 134745044 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31971 26918 300 300 0 31671 0
vsize: 127884
[startup+170.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 48244 0 0 0 16877 124 0 0 25 0 1 0 792576394 131088384 26959 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32004 26959 300 300 0 31704 0
vsize: 128016
[startup+180.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 48978 0 0 0 17874 127 0 0 25 0 1 0 792576394 131493888 27050 4294967295 134512640 135726644 3221224576 3221223264 134745044 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32103 27050 300 300 0 31803 0
vsize: 128412
[startup+190.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 49142 0 0 0 18872 129 0 0 25 0 1 0 792576394 132415488 27214 4294967295 134512640 135726644 3221224576 3221222896 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32328 27214 300 300 0 32028 0
vsize: 129312
[startup+200.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 49201 0 0 0 19872 130 0 0 25 0 1 0 792576394 132550656 27273 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32361 27273 300 300 0 32061 0
vsize: 129444
[startup+210.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 49882 0 0 0 20868 133 0 0 25 0 1 0 792576394 132685824 27311 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32394 27311 300 300 0 32094 0
vsize: 129576
[startup+220.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 50533 0 0 0 21866 136 0 0 25 0 1 0 792576394 135319552 27962 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33037 27962 300 300 0 32737 0
vsize: 132148
[startup+230.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 50678 0 0 0 22864 137 0 0 25 0 1 0 792576394 133451776 27464 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32581 27464 300 300 0 32281 0
vsize: 130324
[startup+240.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 51403 0 0 0 23862 139 0 0 25 0 1 0 792576394 133857280 27546 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32680 27546 300 300 0 32380 0
vsize: 130720
[startup+250.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 51428 0 0 0 24861 141 0 0 25 0 1 0 792576394 133857280 27571 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32680 27571 300 300 0 32380 0
vsize: 130720
[startup+260.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 52112 0 0 0 25858 144 0 0 25 0 1 0 792576394 133992448 27612 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32713 27612 300 300 0 32413 0
vsize: 130852
[startup+270.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 52795 0 0 0 26856 146 0 0 25 0 1 0 792576394 134127616 27652 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32746 27652 300 300 0 32446 0
vsize: 130984
[startup+280.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 53455 0 0 0 27854 148 0 0 25 0 1 0 792576394 134127616 27669 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32746 27669 300 300 0 32446 0
vsize: 130984
[startup+290.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 53544 0 0 0 28852 151 0 0 25 0 1 0 792576394 134668288 27758 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32878 27758 300 300 0 32578 0
vsize: 131512
[startup+300.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 54235 0 0 0 29849 154 0 0 25 0 1 0 792576394 134938624 27806 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32944 27806 300 300 0 32644 0
vsize: 131776
[startup+310.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 54238 0 0 0 30847 155 0 0 25 0 1 0 792576394 134938624 27809 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32944 27809 300 300 0 32644 0
vsize: 131776
[startup+320.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 54261 0 0 0 31847 156 0 0 25 0 1 0 792576394 134938624 27832 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32944 27832 300 300 0 32644 0
vsize: 131776
[startup+330.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 54303 0 0 0 32845 158 0 0 25 0 1 0 792576394 135073792 27874 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32977 27874 300 300 0 32677 0
vsize: 131908
[startup+340.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 54374 0 0 0 33844 159 0 0 25 0 1 0 792576394 135204864 27912 4294967295 134512640 135726644 3221224576 3221223168 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33009 27912 300 300 0 32709 0
vsize: 132036
[startup+350.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 54408 0 0 0 34843 161 0 0 25 0 1 0 792576394 135340032 27946 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33042 27946 300 300 0 32742 0
vsize: 132168
[startup+360.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 55101 0 0 0 35840 163 0 0 25 0 1 0 792576394 135475200 27996 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33075 27996 300 300 0 32775 0
vsize: 132300
[startup+370.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 55150 0 0 0 36838 165 0 0 25 0 1 0 792576394 135610368 28045 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33108 28045 300 300 0 32808 0
vsize: 132432
[startup+380.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 55846 0 0 0 37835 169 0 0 25 0 1 0 792576394 135880704 28098 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33174 28098 300 300 0 32874 0
vsize: 132696
[startup+390.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 55855 0 0 0 38834 170 0 0 25 0 1 0 792576394 135880704 28107 4294967295 134512640 135726644 3221224576 3221223072 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33174 28107 300 300 0 32874 0
vsize: 132696
[startup+400.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 62653 0 0 0 39818 186 0 0 25 0 1 0 792576394 163680256 28760 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39961 28760 300 300 0 39661 0
vsize: 159844
[startup+410.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 62695 0 0 0 40816 188 0 0 25 0 1 0 792576394 161181696 28159 4294967295 134512640 135726644 3221224576 3221223072 134744046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39351 28159 300 300 0 39051 0
vsize: 157404
[startup+420.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 63419 0 0 0 41814 190 0 0 25 0 1 0 792576394 161480704 28240 4294967295 134512640 135726644 3221224576 3221223184 134741191 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39424 28240 300 300 0 39124 0
vsize: 157696
[startup+430.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 63461 0 0 0 42813 192 0 0 25 0 1 0 792576394 161615872 28282 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39457 28282 300 300 0 39157 0
vsize: 157828
[startup+440.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 64131 0 0 0 43810 194 0 0 25 0 1 0 792576394 161751040 28309 4294967295 134512640 135726644 3221224576 3221223200 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39490 28309 300 300 0 39190 0
vsize: 157960
[startup+450.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 64182 0 0 0 44808 196 0 0 25 0 1 0 792576394 162021376 28360 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39556 28360 300 300 0 39256 0
vsize: 158224
[startup+460.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 64231 0 0 0 45808 197 0 0 25 0 1 0 792576394 162291712 28409 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39622 28409 300 300 0 39322 0
vsize: 158488
[startup+470.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 64246 0 0 0 46806 198 0 0 25 0 1 0 792576394 162291712 28424 4294967295 134512640 135726644 3221224576 3221223072 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39622 28424 300 300 0 39322 0
vsize: 158488
[startup+480.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 64249 0 0 0 47805 200 0 0 25 0 1 0 792576394 162291712 28427 4294967295 134512640 135726644 3221224576 3221223264 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39622 28427 300 300 0 39322 0
vsize: 158488
[startup+490.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 64897 0 0 0 48802 203 0 0 25 0 1 0 792576394 162291712 28432 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39622 28432 300 300 0 39322 0
vsize: 158488
[startup+500.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 64902 0 0 0 49801 204 0 0 25 0 1 0 792576394 162291712 28437 4294967295 134512640 135726644 3221224576 3221223200 134744575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39622 28437 300 300 0 39322 0
vsize: 158488
[startup+510.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 64970 0 0 0 50799 206 0 0 25 0 1 0 792576394 162697216 28505 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39721 28505 300 300 0 39421 0
vsize: 158884
[startup+520.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 64987 0 0 0 51798 207 0 0 25 0 1 0 792576394 162697216 28522 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39721 28522 300 300 0 39421 0
vsize: 158884
[startup+530.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 65019 0 0 0 52797 209 0 0 25 0 1 0 792576394 162832384 28554 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39754 28554 300 300 0 39454 0
vsize: 159016
[startup+540.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 65047 0 0 0 53796 210 0 0 25 0 1 0 792576394 162967552 28582 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39787 28582 300 300 0 39487 0
vsize: 159148
[startup+550.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 65099 0 0 0 54795 211 0 0 25 0 1 0 792576394 163237888 28634 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39853 28634 300 300 0 39553 0
vsize: 159412
[startup+560.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 65755 0 0 0 55793 214 0 0 25 0 1 0 792576394 163237888 28647 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39853 28647 300 300 0 39553 0
vsize: 159412
[startup+570.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 65794 0 0 0 56791 216 0 0 25 0 1 0 792576394 163373056 28686 4294967295 134512640 135726644 3221224576 3221223072 134743934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39886 28686 300 300 0 39586 0
vsize: 159544
[startup+580.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 66443 0 0 0 57789 218 0 0 25 0 1 0 792576394 163373056 28692 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39886 28692 300 300 0 39586 0
vsize: 159544
[startup+590.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 66460 0 0 0 58788 219 0 0 25 0 1 0 792576394 163373056 28709 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39886 28709 300 300 0 39586 0
vsize: 159544
[startup+600.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 66539 0 0 0 59787 221 0 0 25 0 1 0 792576394 163778560 28788 4294967295 134512640 135726644 3221224576 3221223180 134743852 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39985 28788 300 300 0 39685 0
vsize: 159940
[startup+610.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 66556 0 0 0 60785 222 0 0 25 0 1 0 792576394 163778560 28805 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39985 28805 300 300 0 39685 0
vsize: 159940
[startup+620.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 67216 0 0 0 61783 225 0 0 25 0 1 0 792576394 163778560 28822 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39985 28822 300 300 0 39685 0
vsize: 159940
[startup+630.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 67226 0 0 0 62781 226 0 0 25 0 1 0 792576394 163778560 28832 4294967295 134512640 135726644 3221224576 3221223168 134743857 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39985 28832 300 300 0 39685 0
vsize: 159940
[startup+640.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 67913 0 0 0 63779 229 0 0 25 0 1 0 792576394 163909632 28843 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40017 28843 300 300 0 39717 0
vsize: 160068
[startup+650.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 67946 0 0 0 64779 229 0 0 25 0 1 0 792576394 164044800 28876 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40050 28876 300 300 0 39750 0
vsize: 160200
[startup+660.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 68620 0 0 0 65777 231 0 0 25 0 1 0 792576394 164179968 28907 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40083 28907 300 300 0 39783 0
vsize: 160332
[startup+670.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 68643 0 0 0 66776 233 0 0 25 0 1 0 792576394 164179968 28930 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40083 28930 300 300 0 39783 0
vsize: 160332
[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 68653 0 0 0 67776 233 0 0 25 0 1 0 792576394 164179968 28940 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40083 28940 300 300 0 39783 0
vsize: 160332
[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 68666 0 0 0 68775 234 0 0 25 0 1 0 792576394 164179968 28953 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40083 28953 300 300 0 39783 0
vsize: 160332
[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 69319 0 0 0 69773 236 0 0 25 0 1 0 792576394 164179968 28963 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40083 28963 300 300 0 39783 0
vsize: 160332
[startup+710.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 69355 0 0 0 70773 237 0 0 25 0 1 0 792576394 164315136 28999 4294967295 134512640 135726644 3221224576 3221223200 134744485 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40116 28999 300 300 0 39816 0
vsize: 160464
[startup+720.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 69367 0 0 0 71771 238 0 0 25 0 1 0 792576394 164315136 29011 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40116 29011 300 300 0 39816 0
vsize: 160464
[startup+730.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 69377 0 0 0 72771 239 0 0 25 0 1 0 792576394 164315136 29021 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40116 29021 300 300 0 39816 0
vsize: 160464
[startup+740.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 69388 0 0 0 73770 240 0 0 25 0 1 0 792576394 164315136 29032 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40116 29032 300 300 0 39816 0
vsize: 160464
[startup+750.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 70058 0 0 0 74768 242 0 0 25 0 1 0 792576394 164315136 29059 4294967295 134512640 135726644 3221224576 3221223184 134744653 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40116 29059 300 300 0 39816 0
vsize: 160464
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 70069 0 0 0 75767 244 0 0 25 0 1 0 792576394 164315136 29070 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40116 29070 300 300 0 39816 0
vsize: 160464
[startup+770.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 70199 0 0 0 76765 246 0 0 25 0 1 0 792576394 164855808 29200 4294967295 134512640 135726644 3221224576 3221223072 134744203 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40248 29200 300 300 0 39948 0
vsize: 160992
[startup+780.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 70211 0 0 0 77764 247 0 0 25 0 1 0 792576394 164855808 29212 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40248 29212 300 300 0 39948 0
vsize: 160992
[startup+790.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 70221 0 0 0 78764 248 0 0 25 0 1 0 792576394 164855808 29222 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40248 29222 300 300 0 39948 0
vsize: 160992
[startup+800.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 70261 0 0 0 79763 249 0 0 25 0 1 0 792576394 164990976 29262 4294967295 134512640 135726644 3221224576 3221223264 134744876 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40281 29262 300 300 0 39981 0
vsize: 161124
[startup+810.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 70917 0 0 0 80761 251 0 0 25 0 1 0 792576394 164990976 29275 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40281 29275 300 300 0 39981 0
vsize: 161124
[startup+820.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 70932 0 0 0 81760 252 0 0 25 0 1 0 792576394 164990976 29290 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40281 29290 300 300 0 39981 0
vsize: 161124
[startup+830.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 71612 0 0 0 82757 255 0 0 25 0 1 0 792576394 165126144 29327 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40314 29327 300 300 0 40014 0
vsize: 161256
[startup+840.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 71613 0 0 0 83756 257 0 0 25 0 1 0 792576394 165126144 29328 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40314 29328 300 300 0 40014 0
vsize: 161256
[startup+850.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 71622 0 0 0 84755 258 0 0 25 0 1 0 792576394 165126144 29337 4294967295 134512640 135726644 3221224576 3221223216 134762117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40314 29337 300 300 0 40014 0
vsize: 161256
[startup+860.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 72283 0 0 0 85752 260 0 0 25 0 1 0 792576394 165261312 29355 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40347 29355 300 300 0 40047 0
vsize: 161388
[startup+870.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 72285 0 0 0 86751 262 0 0 25 0 1 0 792576394 165261312 29357 4294967295 134512640 135726644 3221224576 3221223200 134744557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40347 29357 300 300 0 40047 0
vsize: 161388
[startup+880.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 72930 0 0 0 87749 265 0 0 25 0 1 0 792576394 165261312 29359 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40347 29359 300 300 0 40047 0
vsize: 161388
[startup+890.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 72948 0 0 0 88747 266 0 0 25 0 1 0 792576394 165396480 29377 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40380 29377 300 300 0 40080 0
vsize: 161520
[startup+900.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 72950 0 0 0 89746 267 0 0 25 0 1 0 792576394 165396480 29379 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40380 29379 300 300 0 40080 0
vsize: 161520
[startup+910.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 72953 0 0 0 90746 268 0 0 25 0 1 0 792576394 165396480 29382 4294967295 134512640 135726644 3221224576 3221223072 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40380 29382 300 300 0 40080 0
vsize: 161520
[startup+920.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 73613 0 0 0 91744 270 0 0 25 0 1 0 792576394 165396480 29399 4294967295 134512640 135726644 3221224576 3221223192 134744630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40380 29399 300 300 0 40080 0
vsize: 161520
[startup+930.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 74318 0 0 0 92743 271 0 0 25 0 1 0 792576394 168300544 30104 4294967295 134512640 135726644 3221224576 3221222716 134761832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 41089 30104 300 300 0 40789 0
vsize: 164356
[startup+940.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 74336 0 0 0 93741 273 0 0 25 0 1 0 792576394 165666816 29479 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40446 29479 300 300 0 40146 0
vsize: 161784
[startup+950.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 74987 0 0 0 94739 276 0 0 25 0 1 0 792576394 165666816 29487 4294967295 134512640 135726644 3221224576 3221223116 135298010 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40446 29487 300 300 0 40146 0
vsize: 161784
[startup+960.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 74988 0 0 0 95738 277 0 0 25 0 1 0 792576394 165666816 29488 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40446 29488 300 300 0 40146 0
vsize: 161784
[startup+970.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 75001 0 0 0 96736 278 0 0 25 0 1 0 792576394 165666816 29501 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40446 29501 300 300 0 40146 0
vsize: 161784
[startup+980.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 75645 0 0 0 97734 281 0 0 25 0 1 0 792576394 165666816 29502 4294967295 134512640 135726644 3221224576 3221223264 134744982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40446 29502 300 300 0 40146 0
vsize: 161784
[startup+990.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 75648 0 0 0 98733 282 0 0 25 0 1 0 792576394 165666816 29505 4294967295 134512640 135726644 3221224576 3221223072 134744297 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40446 29505 300 300 0 40146 0
vsize: 161784
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 76295 0 0 0 99731 285 0 0 25 0 1 0 792576394 165666816 29509 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40446 29509 300 300 0 40146 0
vsize: 161784
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 76335 0 0 0 100729 286 0 0 25 0 1 0 792576394 165937152 29549 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40512 29549 300 300 0 40212 0
vsize: 162048
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 76985 0 0 0 101726 290 0 0 25 0 1 0 792576394 165937152 29556 4294967295 134512640 135726644 3221224576 3221223232 134731177 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40512 29556 300 300 0 40212 0
vsize: 162048
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 77000 0 0 0 102725 290 0 0 25 0 1 0 792576394 165937152 29571 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40512 29571 300 300 0 40212 0
vsize: 162048
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 77652 0 0 0 103723 293 0 0 25 0 1 0 792576394 165937152 29580 4294967295 134512640 135726644 3221224576 3221223200 134744582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40512 29580 300 300 0 40212 0
vsize: 162048
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 77663 0 0 0 104723 294 0 0 25 0 1 0 792576394 165937152 29591 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40512 29591 300 300 0 40212 0
vsize: 162048
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 78315 0 0 0 105721 296 0 0 25 0 1 0 792576394 165937152 29600 4294967295 134512640 135726644 3221224576 3221223200 134779638 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40512 29600 300 300 0 40212 0
vsize: 162048
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 78336 0 0 0 106720 297 0 0 25 0 1 0 792576394 166072320 29621 4294967295 134512640 135726644 3221224576 3221223072 134744260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40545 29621 300 300 0 40245 0
vsize: 162180
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 78345 0 0 0 107719 298 0 0 25 0 1 0 792576394 166072320 29630 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40545 29630 300 300 0 40245 0
vsize: 162180
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 78383 0 0 0 108718 299 0 0 25 0 1 0 792576394 166207488 29668 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40578 29668 300 300 0 40278 0
vsize: 162312
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 78400 0 0 0 109718 300 0 0 25 0 1 0 792576394 166207488 29685 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40578 29685 300 300 0 40278 0
vsize: 162312
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 78402 0 0 0 110716 301 0 0 25 0 1 0 792576394 166207488 29687 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40578 29687 300 300 0 40278 0
vsize: 162312
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 79053 0 0 0 111712 304 0 0 25 0 1 0 792576394 166207488 29695 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40578 29695 300 300 0 40278 0
vsize: 162312
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 79065 0 0 0 112710 306 0 0 25 0 1 0 792576394 166207488 29707 4294967295 134512640 135726644 3221224576 3221223072 134743931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40578 29707 300 300 0 40278 0
vsize: 162312
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 79727 0 0 0 113706 309 0 0 25 0 1 0 792576394 166207488 29726 4294967295 134512640 135726644 3221224576 3221223072 134744041 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40578 29726 300 300 0 40278 0
vsize: 162312
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 79743 0 0 0 114705 310 0 0 25 0 1 0 792576394 166207488 29742 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40578 29742 300 300 0 40278 0
vsize: 162312
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 80398 0 0 0 115703 313 0 0 25 0 1 0 792576394 182984704 29754 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44674 29754 300 300 0 44374 0
vsize: 178696
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 80415 0 0 0 116701 314 0 0 25 0 1 0 792576394 182984704 29771 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44674 29771 300 300 0 44374 0
vsize: 178696
[startup+1180.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 80425 0 0 0 117701 315 0 0 25 0 1 0 792576394 182984704 29781 4294967295 134512640 135726644 3221224576 3221223072 134743875 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44674 29781 300 300 0 44374 0
vsize: 178696
[startup+1190.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 81070 0 0 0 118698 318 0 0 25 0 1 0 792576394 182984704 29783 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44674 29783 300 300 0 44374 0
vsize: 178696
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15316
Raw data (stat): 15316 (pb2sat) R 15315 3132 3131 0 -1 0 81074 0 0 0 119698 319 0 0 25 0 1 0 792576394 182984704 29787 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44674 29787 300 300 0 44374 0
vsize: 178696
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.13 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 15316
Raw data (stat): 15316 (pb2sat) Z 15315 3132 3131 0 -1 12 81075 0 0 0 119798 324 0 0 25 0 1 0 792576394 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.13
CPU time (s): 1201.24
CPU user time (s): 1197.99
CPU system time (s): 3.24951
CPU usage (%): 100.009
Max. virtual memory (Kb): 178696
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####