PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb40-19-opb/normalized-frb40-19-5.opb
MD5SUM	38d41fdbe49543e8928c5210e4323f00
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-31
Optimality of the best value was proved	NO
Number of terms in the objective function	760
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	760
Number of bits of the sum of numbers in the objective function	10
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	760
Number of bits of the biggest sum of numbers	10
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.08
Number of variables	760
Total number of constraints	41619
Number of constraints which are clauses	41619
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34963

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-28 11:28:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24254 boxname=wulflinc1 idbench=328 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  38d41fdbe49543e8928c5210e4323f00  /oldhome/oroussel/tmp/wulflinc1/normalized-frb40-19-5.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-frb40-19-5.opb
IDLAUNCH: 24254
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        711912 kB
Buffers:         36864 kB
Cached:         261636 kB
SwapCached:        700 kB
Active:          18680 kB
Inactive:       282048 kB
HighTotal:      131008 kB
HighFree:        41720 kB
LowTotal:       903652 kB
LowFree:        670192 kB
SwapTotal:     2097136 kB
SwapFree:      2095368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5812 kB
Slab:            16188 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:48:07 (client local time) WITH STATUS 0 IN 1201.56 SECONDS
stats: 24254 7 1201.56 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 159955/290714	Time: 317.64/86400c [startup+506.984 s]  setting bit 9 to 0

Decision: 55956/290714	Time: 28.7646/86400
Decision: 55956/290714	Time: 59.9249/86400
Decision: 55969/290714	Time: 95.1135/86400
Decision: 55969/290714	Time: 127.516/86400
Decision: 55969/290714	Time: 157.811/86400
Decision: 56479/290714	Time: 188.648/86400
Decision: 56725/290714	Time: 233.343/86400
Decision: 56733/290714	Time: 268.272/86400
Decision: 57488/290714	Time: 334.241/86400
Decision: 57493/290714	Time: 384.537/86400
Decision: 57493/290714	Time: 418.415/86400
Decision: 57493/290714	Time: 452.693/86400
Decision: 57493/290714	Time: 477.37/86400
Decision: 57493/290714	Time: 509.796/86400
Decision: 57493/290714	Time: 538.622/86400
Decision: 57493/290714	Time: 577.288/86400
Decision: 57493/290714	Time: 608.931/86400
Decision: 57493/290714	Time: 643.341/86400
Decision: 57493/290714	Time: 682.665/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/55 18841
Raw data (stat): 18841 (runsolver) R 18840 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 749363758 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0004 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 29493 0 0 0 935 64 0 0 25 0 1 0 749363758 88866816 18586 4294967295 134512640 135726644 3221224592 3221089368 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21696 18587 300 300 0 21396 0
vsize: 86784
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 50070 0 0 0 1887 111 0 0 25 0 1 0 749363758 152027136 27770 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37116 27770 300 300 0 36816 0
vsize: 148464
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 52574 0 0 0 2882 117 0 0 25 0 1 0 749363758 161374208 29515 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39398 29515 300 300 0 39098 0
vsize: 157592
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 53626 0 0 0 3879 120 0 0 25 0 1 0 749363758 181202944 30108 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44239 30108 300 300 0 43939 0
vsize: 176956
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54011 0 0 0 4878 120 0 0 25 0 1 0 749363758 182386688 30233 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44528 30233 300 300 0 44228 0
vsize: 178112
[startup+60.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54132 0 0 0 5878 121 0 0 25 0 1 0 749363758 182648832 30289 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44592 30289 300 300 0 44292 0
vsize: 178368
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54138 0 0 0 6878 121 0 0 25 0 1 0 749363758 182648832 30295 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44592 30295 300 300 0 44292 0
vsize: 178368
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54148 0 0 0 7878 121 0 0 25 0 1 0 749363758 182648832 30305 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44592 30305 300 300 0 44292 0
vsize: 178368
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54274 0 0 0 8878 122 0 0 25 0 1 0 749363758 183050240 30398 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44690 30398 300 300 0 44390 0
vsize: 178760
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54320 0 0 0 9878 122 0 0 25 0 1 0 749363758 183185408 30444 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44723 30444 300 300 0 44423 0
vsize: 178892
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54326 0 0 0 10878 122 0 0 25 0 1 0 749363758 183185408 30450 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44723 30450 300 300 0 44423 0
vsize: 178892
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54331 0 0 0 11879 122 0 0 25 0 1 0 749363758 183185408 30455 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44723 30455 300 300 0 44423 0
vsize: 178892
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54338 0 0 0 12879 122 0 0 25 0 1 0 749363758 183185408 30462 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44723 30462 300 300 0 44423 0
vsize: 178892
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54360 0 0 0 13879 122 0 0 25 0 1 0 749363758 183386112 30484 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44772 30484 300 300 0 44472 0
vsize: 179088
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54368 0 0 0 14879 122 0 0 25 0 1 0 749363758 183386112 30492 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44772 30492 300 300 0 44472 0
vsize: 179088
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54379 0 0 0 15879 122 0 0 25 0 1 0 749363758 183386112 30503 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44772 30503 300 300 0 44472 0
vsize: 179088
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54471 0 0 0 16879 123 0 0 25 0 1 0 749363758 183648256 30530 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44836 30530 300 300 0 44536 0
vsize: 179344
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54478 0 0 0 17879 123 0 0 25 0 1 0 749363758 183648256 30537 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44836 30537 300 300 0 44536 0
vsize: 179344
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54484 0 0 0 18879 123 0 0 25 0 1 0 749363758 183648256 30543 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44836 30543 300 300 0 44536 0
vsize: 179344
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54492 0 0 0 19879 123 0 0 25 0 1 0 749363758 183648256 30551 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44836 30551 300 300 0 44536 0
vsize: 179344
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54499 0 0 0 20879 123 0 0 25 0 1 0 749363758 183648256 30558 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44836 30558 300 300 0 44536 0
vsize: 179344
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54508 0 0 0 21879 123 0 0 25 0 1 0 749363758 183648256 30567 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44836 30567 300 300 0 44536 0
vsize: 179344
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54515 0 0 0 22879 123 0 0 25 0 1 0 749363758 183648256 30574 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44836 30574 300 300 0 44536 0
vsize: 179344
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54522 0 0 0 23879 123 0 0 25 0 1 0 749363758 183648256 30581 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44836 30581 300 300 0 44536 0
vsize: 179344
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54529 0 0 0 24880 123 0 0 25 0 1 0 749363758 183648256 30588 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44836 30588 300 300 0 44536 0
vsize: 179344
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54535 0 0 0 25880 123 0 0 25 0 1 0 749363758 183648256 30594 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44836 30594 300 300 0 44536 0
vsize: 179344
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54555 0 0 0 26880 123 0 0 25 0 1 0 749363758 183648256 30614 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 44836 30614 300 300 0 44536 0
vsize: 179344
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54876 0 0 0 27880 124 0 0 25 0 1 0 749363758 185057280 30886 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45180 30886 300 300 0 44880 0
vsize: 180720
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54883 0 0 0 28880 124 0 0 25 0 1 0 749363758 185057280 30893 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45180 30893 300 300 0 44880 0
vsize: 180720
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54893 0 0 0 29880 124 0 0 25 0 1 0 749363758 185057280 30903 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45180 30903 300 300 0 44880 0
vsize: 180720
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54916 0 0 0 30880 124 0 0 25 0 1 0 749363758 185057280 30926 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45180 30926 300 300 0 44880 0
vsize: 180720
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54972 0 0 0 31880 124 0 0 25 0 1 0 749363758 185188352 30949 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45212 30949 300 300 0 44912 0
vsize: 180848
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 54984 0 0 0 32880 125 0 0 25 0 1 0 749363758 185188352 30961 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45212 30961 300 300 0 44912 0
vsize: 180848
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55621 0 0 0 33878 126 0 0 25 0 1 0 749363758 185458688 31030 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45278 31030 300 300 0 44978 0
vsize: 181112
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55649 0 0 0 34878 127 0 0 25 0 1 0 749363758 185593856 31058 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31058 300 300 0 45011 0
vsize: 181244
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55650 0 0 0 35878 127 0 0 25 0 1 0 749363758 185593856 31059 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31059 300 300 0 45011 0
vsize: 181244
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55651 0 0 0 36878 127 0 0 25 0 1 0 749363758 185593856 31060 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31060 300 300 0 45011 0
vsize: 181244
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55652 0 0 0 37878 127 0 0 25 0 1 0 749363758 185593856 31061 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31061 300 300 0 45011 0
vsize: 181244
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55653 0 0 0 38878 127 0 0 25 0 1 0 749363758 185593856 31062 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31062 300 300 0 45011 0
vsize: 181244
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55655 0 0 0 39878 127 0 0 25 0 1 0 749363758 185593856 31064 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31064 300 300 0 45011 0
vsize: 181244
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55655 0 0 0 40878 127 0 0 25 0 1 0 749363758 185593856 31064 4294967295 134512640 135726644 3221224592 3221223088 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31064 300 300 0 45011 0
vsize: 181244
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55656 0 0 0 41878 127 0 0 25 0 1 0 749363758 185593856 31065 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31065 300 300 0 45011 0
vsize: 181244
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55657 0 0 0 42878 127 0 0 25 0 1 0 749363758 185593856 31066 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31066 300 300 0 45011 0
vsize: 181244
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55658 0 0 0 43878 128 0 0 25 0 1 0 749363758 185593856 31067 4294967295 134512640 135726644 3221224592 3221223216 134744578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31067 300 300 0 45011 0
vsize: 181244
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55659 0 0 0 44878 128 0 0 25 0 1 0 749363758 185593856 31068 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31068 300 300 0 45011 0
vsize: 181244
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55660 0 0 0 45878 128 0 0 25 0 1 0 749363758 185593856 31069 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31069 300 300 0 45011 0
vsize: 181244
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55660 0 0 0 46878 128 0 0 25 0 1 0 749363758 185593856 31069 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31069 300 300 0 45011 0
vsize: 181244
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55661 0 0 0 47879 128 0 0 25 0 1 0 749363758 185593856 31070 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31070 300 300 0 45011 0
vsize: 181244
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55662 0 0 0 48879 128 0 0 25 0 1 0 749363758 185593856 31071 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31071 300 300 0 45011 0
vsize: 181244
[startup+500.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 55663 0 0 0 49879 128 0 0 25 0 1 0 749363758 185593856 31072 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45311 31072 300 300 0 45011 0
vsize: 181244
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 56493 0 0 0 50876 130 0 0 25 0 1 0 749363758 187695104 31334 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45824 31334 300 300 0 45524 0
vsize: 183296
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 56508 0 0 0 51876 130 0 0 25 0 1 0 749363758 187559936 31316 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45791 31316 300 300 0 45491 0
vsize: 183164
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 56545 0 0 0 52876 130 0 0 25 0 1 0 749363758 187559936 31353 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45791 31353 300 300 0 45491 0
vsize: 183164
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 57261 0 0 0 53874 132 0 0 25 0 1 0 749363758 188227584 31468 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45954 31468 300 300 0 45654 0
vsize: 183816
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 57299 0 0 0 54874 132 0 0 25 0 1 0 749363758 188227584 31506 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 45954 31506 300 300 0 45654 0
vsize: 183816
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 57405 0 0 0 55874 133 0 0 25 0 1 0 749363758 188489728 31547 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46018 31547 300 300 0 45718 0
vsize: 184072
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 58001 0 0 0 56873 134 0 0 25 0 1 0 749363758 188686336 31575 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46066 31575 300 300 0 45766 0
vsize: 184264
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 58099 0 0 0 57873 134 0 0 25 0 1 0 749363758 189083648 31640 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46163 31640 300 300 0 45863 0
vsize: 184652
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 58189 0 0 0 58873 134 0 0 25 0 1 0 749363758 189612032 31730 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46292 31730 300 300 0 45992 0
vsize: 185168
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 58214 0 0 0 59873 135 0 0 25 0 1 0 749363758 189612032 31755 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46292 31755 300 300 0 45992 0
vsize: 185168
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 58886 0 0 0 60871 136 0 0 25 0 1 0 749363758 190013440 31859 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46390 31859 300 300 0 46090 0
vsize: 185560
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 58913 0 0 0 61871 136 0 0 25 0 1 0 749363758 190013440 31886 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46390 31886 300 300 0 46090 0
vsize: 185560
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 58931 0 0 0 62872 136 0 0 25 0 1 0 749363758 190013440 31904 4294967295 134512640 135726644 3221224592 3221223088 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46390 31904 300 300 0 46090 0
vsize: 185560
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 59521 0 0 0 63870 138 0 0 25 0 1 0 749363758 190013440 31926 4294967295 134512640 135726644 3221224592 3221223216 134744659 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46390 31926 300 300 0 46090 0
vsize: 185560
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 59550 0 0 0 64870 138 0 0 25 0 1 0 749363758 190013440 31955 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46390 31955 300 300 0 46090 0
vsize: 185560
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 59582 0 0 0 65870 138 0 0 25 0 1 0 749363758 190013440 31987 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46390 31987 300 300 0 46090 0
vsize: 185560
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 60169 0 0 0 66869 140 0 0 25 0 1 0 749363758 190013440 32006 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46390 32006 300 300 0 46090 0
vsize: 185560
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 60191 0 0 0 67869 140 0 0 25 0 1 0 749363758 190013440 32028 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46390 32028 300 300 0 46090 0
vsize: 185560
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 60294 0 0 0 68868 140 0 0 25 0 1 0 749363758 190275584 32066 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46454 32066 300 300 0 46154 0
vsize: 185816
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 60870 0 0 0 69867 142 0 0 25 0 1 0 749363758 190275584 32074 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46454 32074 300 300 0 46154 0
vsize: 185816
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 60884 0 0 0 70867 142 0 0 25 0 1 0 749363758 190275584 32088 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46454 32088 300 300 0 46154 0
vsize: 185816
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 60910 0 0 0 71867 142 0 0 25 0 1 0 749363758 190275584 32114 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46454 32114 300 300 0 46154 0
vsize: 185816
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 60942 0 0 0 72868 142 0 0 25 0 1 0 749363758 190275584 32146 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46454 32146 300 300 0 46154 0
vsize: 185816
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 61543 0 0 0 73866 143 0 0 25 0 1 0 749363758 192741376 32747 4294967295 134512640 135726644 3221224592 3221222752 134765566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47056 32747 300 300 0 46756 0
vsize: 188224
[startup+750.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 61568 0 0 0 74866 144 0 0 25 0 1 0 749363758 190414848 32204 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46488 32204 300 300 0 46188 0
vsize: 185952
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 61600 0 0 0 75866 144 0 0 25 0 1 0 749363758 190414848 32236 4294967295 134512640 135726644 3221224592 3221223280 134744969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46488 32236 300 300 0 46188 0
vsize: 185952
[startup+770.015 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 61839 0 0 0 76865 146 0 0 25 0 1 0 749363758 191541248 32442 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46763 32442 300 300 0 46463 0
vsize: 187052
[startup+780.015 s]
Raw data (loadavg): 1.14 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 62424 0 0 0 77863 147 0 0 25 0 1 0 749363758 191541248 32459 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46763 32459 300 300 0 46463 0
vsize: 187052
[startup+790.015 s]
Raw data (loadavg): 1.11 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 62452 0 0 0 78863 148 0 0 25 0 1 0 749363758 191541248 32487 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 46763 32487 300 300 0 46463 0
vsize: 187052
[startup+800.016 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 63590 0 0 0 79860 150 0 0 25 0 1 0 749363758 196386816 33343 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 47946 33343 300 300 0 47646 0
vsize: 191784
[startup+810.016 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 65437 0 0 0 80856 155 0 0 25 0 1 0 749363758 202158080 34376 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49355 34376 300 300 0 49055 0
vsize: 197420
[startup+820.016 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 65993 0 0 0 81855 156 0 0 25 0 1 0 749363758 204750848 34833 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49988 34833 300 300 0 49688 0
vsize: 199952
[startup+830.016 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 66078 0 0 0 82855 157 0 0 25 0 1 0 749363758 205017088 34885 4294967295 134512640 135726644 3221224592 3221223248 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50053 34885 300 300 0 49753 0
vsize: 200212
[startup+840.016 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 66302 0 0 0 83855 157 0 0 25 0 1 0 749363758 206020608 35085 4294967295 134512640 135726644 3221224592 3221223104 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50298 35085 300 300 0 49998 0
vsize: 201192
[startup+850.016 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 66888 0 0 0 84853 159 0 0 25 0 1 0 749363758 206020608 35103 4294967295 134512640 135726644 3221224592 3221223072 134729041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50298 35103 300 300 0 49998 0
vsize: 201192
[startup+860.015 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 66912 0 0 0 85853 159 0 0 25 0 1 0 749363758 206020608 35127 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50298 35127 300 300 0 49998 0
vsize: 201192
[startup+870.017 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 66929 0 0 0 86853 159 0 0 25 0 1 0 749363758 206020608 35144 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50298 35144 300 300 0 49998 0
vsize: 201192
[startup+880.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 66952 0 0 0 87853 159 0 0 25 0 1 0 749363758 206020608 35167 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50298 35167 300 300 0 49998 0
vsize: 201192
[startup+890.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 66977 0 0 0 88853 159 0 0 25 0 1 0 749363758 206020608 35192 4294967295 134512640 135726644 3221224592 3221223072 134729041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50298 35192 300 300 0 49998 0
vsize: 201192
[startup+900.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 67567 0 0 0 89852 161 0 0 25 0 1 0 749363758 206020608 35214 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50298 35214 300 300 0 49998 0
vsize: 201192
[startup+910.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 67597 0 0 0 90852 161 0 0 25 0 1 0 749363758 206020608 35244 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50298 35244 300 300 0 49998 0
vsize: 201192
[startup+920.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 67622 0 0 0 91852 161 0 0 25 0 1 0 749363758 206020608 35269 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50298 35269 300 300 0 49998 0
vsize: 201192
[startup+930.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 68208 0 0 0 92851 162 0 0 25 0 1 0 749363758 206020608 35287 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50298 35287 300 300 0 49998 0
vsize: 201192
[startup+940.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 68673 0 0 0 93850 163 0 0 25 0 1 0 749363758 207945728 35620 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50768 35620 300 300 0 50468 0
vsize: 203072
[startup+950.016 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 68675 0 0 0 94850 163 0 0 25 0 1 0 749363758 207945728 35622 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50768 35622 300 300 0 50468 0
vsize: 203072
[startup+960.015 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 69244 0 0 0 95849 165 0 0 25 0 1 0 749363758 207945728 35623 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50768 35623 300 300 0 50468 0
vsize: 203072
[startup+970.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 69246 0 0 0 96848 165 0 0 25 0 1 0 749363758 207945728 35625 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50768 35625 300 300 0 50468 0
vsize: 203072
[startup+980.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 69247 0 0 0 97849 165 0 0 25 0 1 0 749363758 207945728 35626 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50768 35626 300 300 0 50468 0
vsize: 203072
[startup+990.017 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 69816 0 0 0 98847 167 0 0 25 0 1 0 749363758 207945728 35627 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50768 35627 300 300 0 50468 0
vsize: 203072
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 69818 0 0 0 99847 167 0 0 25 0 1 0 749363758 207945728 35629 4294967295 134512640 135726644 3221224592 3221223184 134760017 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50768 35629 300 300 0 50468 0
vsize: 203072
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 69839 0 0 0 100847 167 0 0 25 0 1 0 749363758 208080896 35650 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50801 35650 300 300 0 50501 0
vsize: 203204
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 70414 0 0 0 101846 168 0 0 25 0 1 0 749363758 208080896 35657 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50801 35657 300 300 0 50501 0
vsize: 203204
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 70416 0 0 0 102846 169 0 0 25 0 1 0 749363758 208080896 35659 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50801 35659 300 300 0 50501 0
vsize: 203204
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 70418 0 0 0 103846 169 0 0 25 0 1 0 749363758 208080896 35661 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50801 35661 300 300 0 50501 0
vsize: 203204
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 70987 0 0 0 104845 170 0 0 25 0 1 0 749363758 208080896 35662 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50801 35662 300 300 0 50501 0
vsize: 203204
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 70990 0 0 0 105845 170 0 0 25 0 1 0 749363758 208080896 35665 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50801 35665 300 300 0 50501 0
vsize: 203204
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 71021 0 0 0 106845 171 0 0 25 0 1 0 749363758 208080896 35696 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50801 35696 300 300 0 50501 0
vsize: 203204
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 71087 0 0 0 107845 171 0 0 25 0 1 0 749363758 208211968 35729 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35729 300 300 0 50533 0
vsize: 203332
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 71661 0 0 0 108843 172 0 0 25 0 1 0 749363758 208211968 35735 4294967295 134512640 135726644 3221224592 3221223184 134759980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35735 300 300 0 50533 0
vsize: 203332
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 71662 0 0 0 109843 172 0 0 25 0 1 0 749363758 208211968 35736 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35736 300 300 0 50533 0
vsize: 203332
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 71664 0 0 0 110844 172 0 0 25 0 1 0 749363758 208211968 35738 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35738 300 300 0 50533 0
vsize: 203332
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 72233 0 0 0 111842 174 0 0 25 0 1 0 749363758 208211968 35739 4294967295 134512640 135726644 3221224592 3221223088 134744002 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35739 300 300 0 50533 0
vsize: 203332
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 72234 0 0 0 112842 174 0 0 25 0 1 0 749363758 208211968 35740 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35740 300 300 0 50533 0
vsize: 203332
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 72235 0 0 0 113842 174 0 0 25 0 1 0 749363758 208211968 35741 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35741 300 300 0 50533 0
vsize: 203332
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 72804 0 0 0 114841 176 0 0 25 0 1 0 749363758 210538496 36310 4294967295 134512640 135726644 3221224592 3221222752 134765226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51401 36310 300 300 0 51101 0
vsize: 205604
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 72805 0 0 0 115841 176 0 0 25 0 1 0 749363758 208211968 35743 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35743 300 300 0 50533 0
vsize: 203332
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 72813 0 0 0 116841 176 0 0 25 0 1 0 749363758 208211968 35751 4294967295 134512640 135726644 3221224592 3221223280 134744867 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35751 300 300 0 50533 0
vsize: 203332
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 72814 0 0 0 117841 176 0 0 25 0 1 0 749363758 208211968 35752 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35752 300 300 0 50533 0
vsize: 203332
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 73384 0 0 0 118840 178 0 0 25 0 1 0 749363758 208211968 35754 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35754 300 300 0 50533 0
vsize: 203332
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18841
Raw data (stat): 18841 (pb2sat) R 18840 8378 8377 0 -1 0 73385 0 0 0 119840 178 0 0 25 0 1 0 749363758 208211968 35755 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50833 35755 300 300 0 50533 0
vsize: 203332
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.4 s]
Raw data (loadavg): 1.00 1.00 0.92 1/55 18841
Raw data (stat): 18841 (pb2sat) Z 18840 8378 8377 0 -1 12 73386 0 0 0 119971 185 0 0 25 0 1 0 749363758 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 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.4
CPU time (s): 1201.56
CPU user time (s): 1199.71
CPU system time (s): 1.85072
CPU usage (%): 100.013
Max. virtual memory (Kb): 205604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####