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/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-pk1.opb
MD5SUM	4d8544323b5554a497d5d3c2a3b0ca03
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	2150078462
Number of bits of the biggest sum of numbers	32
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.06299
Number of variables	985
Total number of constraints	100
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	55
Number of constraints which are nor clauses,nor cardinality constraints	45
Minimum length of a constraint	1
Maximum length of a constraint	115
Trace number 35300

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-28 12:27:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24521 boxname=wulflinc1 idbench=993 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4d8544323b5554a497d5d3c2a3b0ca03  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-pk1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-pk1.opb
IDLAUNCH: 24521
/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:        712008 kB
Buffers:         36688 kB
Cached:         262036 kB
SwapCached:        680 kB
Active:          19024 kB
Inactive:       281856 kB
HighTotal:      131008 kB
HighFree:        25592 kB
LowTotal:       903652 kB
LowFree:        686416 kB
SwapTotal:     2097136 kB
SwapFree:      2095368 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5812 kB
Slab:            15868 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:47:02 (client local time) WITH STATUS 0 IN 1202.39 SECONDS
stats: 24521 7 1202.39 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 523/911656	Time: 161.289/86400
Decision: 525/911656	Time: 406.118/86400
Decision: 527/911656	Time: 639.27/86400
Decision: 531/911656	Time: 864.644/86400
Decision: 531/911656	Time: 929.368/86400
Decision: 531/911656	Time: 1000.76/86400
Decision: 535/911656	Time: 1140.13/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.89 0.93 0.90 2/55 19922
Raw data (stat): 19922 (runsolver) R 19921 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 749717427 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0009 s]
Raw data (loadavg): 0.90 0.93 0.90 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 27476 0 0 0 941 58 0 0 25 0 1 0 749717427 78667776 16397 4294967295 134512640 135726644 3221224592 3221204240 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19206 16398 300 300 0 18906 0
vsize: 76824
[startup+20.0078 s]
Raw data (loadavg): 0.92 0.93 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 53947 0 0 0 1888 112 0 0 25 0 1 0 749717427 153575424 31895 4294967295 134512640 135726644 3221224592 3221190408 134558765 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37494 31895 300 300 0 37194 0
vsize: 149976
[startup+30.0156 s]
Raw data (loadavg): 0.93 0.93 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 91543 0 0 0 2812 189 0 0 25 0 1 0 749717427 301498368 47818 4294967295 134512640 135726644 3221224592 3221202640 134783341 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73608 47818 300 300 0 73308 0
vsize: 294432
[startup+40.0164 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 107159 0 0 0 3774 226 0 0 25 0 1 0 749717427 303665152 63160 4294967295 134512640 135726644 3221224592 3221204496 134557057 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74137 63160 300 300 0 73837 0
vsize: 296548
[startup+50.0221 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 114430 0 0 0 4759 242 0 0 25 0 1 0 749717427 326709248 68577 4294967295 134512640 135726644 3221224592 3221223088 134744051 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79763 68577 300 300 0 79463 0
vsize: 319052
[startup+60.0229 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 115915 0 0 0 5756 245 0 0 25 0 1 0 749717427 331505664 69491 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 80934 69491 300 300 0 80634 0
vsize: 323736
[startup+70.0237 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 117015 0 0 0 6754 248 0 0 25 0 1 0 749717427 334540800 70006 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81675 70006 300 300 0 81375 0
vsize: 326700
[startup+80.0254 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 117826 0 0 0 7752 250 0 0 25 0 1 0 749717427 337051648 70394 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82288 70394 300 300 0 81988 0
vsize: 329152
[startup+90.0262 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 118928 0 0 0 8750 252 0 0 25 0 1 0 749717427 340611072 71010 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83157 71010 300 300 0 82857 0
vsize: 332628
[startup+100.026 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 120329 0 0 0 9747 256 0 0 25 0 1 0 749717427 344424448 71663 4294967295 134512640 135726644 3221224592 3221223088 134743875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84088 71663 300 300 0 83788 0
vsize: 336352
[startup+110.027 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 120784 0 0 0 10746 257 0 0 25 0 1 0 749717427 345477120 71924 4294967295 134512640 135726644 3221224592 3221223088 134744314 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84345 71924 300 300 0 84045 0
vsize: 337380
[startup+120.028 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 121317 0 0 0 11745 258 0 0 25 0 1 0 749717427 346791936 72198 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84666 72198 300 300 0 84366 0
vsize: 338664
[startup+130.027 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 121639 0 0 0 12744 259 0 0 25 0 1 0 749717427 347578368 72326 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84858 72326 300 300 0 84558 0
vsize: 339432
[startup+140.027 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 121748 0 0 0 13744 259 0 0 25 0 1 0 749717427 347840512 72370 4294967295 134512640 135726644 3221224592 3221223248 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84922 72370 300 300 0 84622 0
vsize: 339688
[startup+150.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 121753 0 0 0 14745 259 0 0 25 0 1 0 749717427 347840512 72375 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84922 72375 300 300 0 84622 0
vsize: 339688
[startup+160.036 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 122239 0 0 0 15744 260 0 0 25 0 1 0 749717427 349155328 72603 4294967295 134512640 135726644 3221224592 3221223216 134744570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85243 72603 300 300 0 84943 0
vsize: 340972
[startup+170.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 122327 0 0 0 16744 260 0 0 25 0 1 0 749717427 349286400 72658 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85275 72658 300 300 0 84975 0
vsize: 341100
[startup+180.035 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 122341 0 0 0 17745 260 0 0 25 0 1 0 749717427 349286400 72672 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85275 72672 300 300 0 84975 0
vsize: 341100
[startup+190.036 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 122343 0 0 0 18745 260 0 0 25 0 1 0 749717427 349286400 72674 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85275 72674 300 300 0 84975 0
vsize: 341100
[startup+200.037 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 124126 0 0 0 19741 264 0 0 25 0 1 0 749717427 349286400 72676 4294967295 134512640 135726644 3221224592 3221223216 134779608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 85275 72676 300 300 0 84975 0
vsize: 341100
[startup+210.038 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 125987 0 0 0 20736 269 0 0 25 0 1 0 749717427 354983936 73628 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 86666 73629 300 300 0 86366 0
vsize: 346664
[startup+220.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 127548 0 0 0 21733 271 0 0 25 0 1 0 749717427 359903232 74412 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 87867 74412 300 300 0 87567 0
vsize: 351468
[startup+230.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 129388 0 0 0 22730 275 0 0 25 0 1 0 749717427 364761088 75188 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89053 75188 300 300 0 88753 0
vsize: 356212
[startup+240.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 130255 0 0 0 23728 277 0 0 25 0 1 0 749717427 367407104 75663 4294967295 134512640 135726644 3221224592 3221223184 134759994 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89699 75663 300 300 0 89399 0
vsize: 358796
[startup+250.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 131114 0 0 0 24727 279 0 0 25 0 1 0 749717427 369373184 76036 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90179 76036 300 300 0 89879 0
vsize: 360716
[startup+260.039 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 131378 0 0 0 25726 279 0 0 25 0 1 0 749717427 369897472 76171 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90307 76171 300 300 0 90007 0
vsize: 361228
[startup+270.039 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 131700 0 0 0 26726 280 0 0 25 0 1 0 749717427 370946048 76235 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90563 76235 300 300 0 90263 0
vsize: 362252
[startup+280.039 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 131707 0 0 0 27726 280 0 0 25 0 1 0 749717427 370946048 76242 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90563 76242 300 300 0 90263 0
vsize: 362252
[startup+290.04 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 131841 0 0 0 28726 280 0 0 25 0 1 0 749717427 370946048 76376 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90563 76376 300 300 0 90263 0
vsize: 362252
[startup+300.04 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 131843 0 0 0 29726 280 0 0 25 0 1 0 749717427 370946048 76378 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90563 76378 300 300 0 90263 0
vsize: 362252
[startup+310.04 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132130 0 0 0 30726 281 0 0 25 0 1 0 749717427 371994624 76408 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90819 76408 300 300 0 90519 0
vsize: 363276
[startup+320.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132571 0 0 0 31725 282 0 0 25 0 1 0 749717427 373043200 76591 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91075 76591 300 300 0 90775 0
vsize: 364300
[startup+330.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132834 0 0 0 32725 282 0 0 25 0 1 0 749717427 373567488 76725 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91203 76725 300 300 0 90903 0
vsize: 364812
[startup+340.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132866 0 0 0 33725 282 0 0 25 0 1 0 749717427 373567488 76757 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91203 76757 300 300 0 90903 0
vsize: 364812
[startup+350.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132879 0 0 0 34725 282 0 0 25 0 1 0 749717427 373567488 76770 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91203 76770 300 300 0 90903 0
vsize: 364812
[startup+360.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132975 0 0 0 35725 283 0 0 25 0 1 0 749717427 373829632 76801 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91267 76801 300 300 0 90967 0
vsize: 365068
[startup+370.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132976 0 0 0 36726 283 0 0 25 0 1 0 749717427 373829632 76802 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91267 76802 300 300 0 90967 0
vsize: 365068
[startup+380.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132977 0 0 0 37726 283 0 0 25 0 1 0 749717427 373829632 76803 4294967295 134512640 135726644 3221224592 3221223280 134744969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91267 76803 300 300 0 90967 0
vsize: 365068
[startup+390.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132988 0 0 0 38726 283 0 0 25 0 1 0 749717427 373829632 76814 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91267 76814 300 300 0 90967 0
vsize: 365068
[startup+400.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132991 0 0 0 39726 283 0 0 25 0 1 0 749717427 373829632 76817 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91267 76817 300 300 0 90967 0
vsize: 365068
[startup+410.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132993 0 0 0 40726 283 0 0 25 0 1 0 749717427 373829632 76819 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91267 76819 300 300 0 90967 0
vsize: 365068
[startup+420.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 132994 0 0 0 41726 283 0 0 25 0 1 0 749717427 373829632 76820 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91267 76820 300 300 0 90967 0
vsize: 365068
[startup+430.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 133022 0 0 0 42726 283 0 0 25 0 1 0 749717427 373829632 76848 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91267 76848 300 300 0 90967 0
vsize: 365068
[startup+440.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 133198 0 0 0 43726 283 0 0 25 0 1 0 749717427 374353920 76895 4294967295 134512640 135726644 3221224592 3221222840 135280920 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91395 76895 300 300 0 91095 0
vsize: 365580
[startup+450.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 135748 0 0 0 44720 289 0 0 25 0 1 0 749717427 376594432 77213 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91942 77213 300 300 0 91642 0
vsize: 367768
[startup+460.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 136757 0 0 0 45717 292 0 0 25 0 1 0 749717427 379596800 77702 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92675 77702 300 300 0 92375 0
vsize: 370700
[startup+470.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 136878 0 0 0 46716 292 0 0 25 0 1 0 749717427 380129280 77823 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92805 77823 300 300 0 92505 0
vsize: 371220
[startup+480.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 138753 0 0 0 47713 296 0 0 25 0 1 0 749717427 385658880 78696 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94155 78696 300 300 0 93855 0
vsize: 376620
[startup+490.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 138848 0 0 0 48713 296 0 0 25 0 1 0 749717427 385921024 78726 4294967295 134512640 135726644 3221224592 3221223088 134744311 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94219 78726 300 300 0 93919 0
vsize: 376876
[startup+500.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 139085 0 0 0 49712 297 0 0 25 0 1 0 749717427 386445312 78834 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94347 78834 300 300 0 94047 0
vsize: 377388
[startup+510.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 139158 0 0 0 50712 297 0 0 25 0 1 0 749717427 386445312 78907 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94347 78907 300 300 0 94047 0
vsize: 377388
[startup+520.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 140053 0 0 0 51711 299 0 0 25 0 1 0 749717427 388542464 79288 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94859 79288 300 300 0 94559 0
vsize: 379436
[startup+530.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 140133 0 0 0 52710 299 0 0 25 0 1 0 749717427 388804608 79303 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94923 79303 300 300 0 94623 0
vsize: 379692
[startup+540.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 140263 0 0 0 53710 299 0 0 25 0 1 0 749717427 388804608 79433 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94923 79433 300 300 0 94623 0
vsize: 379692
[startup+550.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 141054 0 0 0 54709 301 0 0 25 0 1 0 749717427 391319552 79802 4294967295 134512640 135726644 3221224592 3221223088 134743967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95537 79802 300 300 0 95237 0
vsize: 382148
[startup+560.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 141895 0 0 0 55708 302 0 0 25 0 1 0 749717427 393154560 80189 4294967295 134512640 135726644 3221224592 3221222912 134729152 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95985 80189 300 300 0 95685 0
vsize: 383940
[startup+570.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 141897 0 0 0 56708 302 0 0 25 0 1 0 749717427 393154560 80191 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95985 80191 300 300 0 95685 0
vsize: 383940
[startup+580.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 142614 0 0 0 57707 303 0 0 25 0 1 0 749717427 395251712 80392 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96497 80392 300 300 0 96197 0
vsize: 385988
[startup+590.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 142688 0 0 0 58707 304 0 0 25 0 1 0 749717427 395251712 80466 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96497 80466 300 300 0 96197 0
vsize: 385988
[startup+600.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 143171 0 0 0 59706 304 0 0 25 0 1 0 749717427 396824576 80563 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96881 80563 300 300 0 96581 0
vsize: 387524
[startup+610.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 143390 0 0 0 60706 305 0 0 25 0 1 0 749717427 397348864 80653 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97009 80653 300 300 0 96709 0
vsize: 388036
[startup+620.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 143391 0 0 0 61706 305 0 0 25 0 1 0 749717427 397348864 80654 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97009 80654 300 300 0 96709 0
vsize: 388036
[startup+630.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 143551 0 0 0 62706 305 0 0 25 0 1 0 749717427 397873152 80685 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97137 80685 300 300 0 96837 0
vsize: 388548
[startup+640.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 143590 0 0 0 63706 305 0 0 25 0 1 0 749717427 397873152 80724 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97137 80724 300 300 0 96837 0
vsize: 388548
[startup+650.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 143591 0 0 0 64706 305 0 0 25 0 1 0 749717427 397873152 80725 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97137 80725 300 300 0 96837 0
vsize: 388548
[startup+660.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 143605 0 0 0 65706 305 0 0 25 0 1 0 749717427 397873152 80739 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97137 80739 300 300 0 96837 0
vsize: 388548
[startup+670.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 143609 0 0 0 66706 306 0 0 25 0 1 0 749717427 397873152 80743 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97137 80743 300 300 0 96837 0
vsize: 388548
[startup+680.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 145393 0 0 0 67702 311 0 0 25 0 1 0 749717427 397873152 80746 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 97137 80746 300 300 0 96837 0
vsize: 388548
[startup+690.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 147208 0 0 0 68700 313 0 0 25 0 1 0 749717427 402755584 81618 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98329 81618 300 300 0 98029 0
vsize: 393316
[startup+700.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 147633 0 0 0 69699 314 0 0 25 0 1 0 749717427 404205568 81752 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98683 81752 300 300 0 98383 0
vsize: 394732
[startup+710.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 148389 0 0 0 70698 315 0 0 25 0 1 0 749717427 406601728 82212 4294967295 134512640 135726644 3221224592 3221223216 134744513 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99268 82212 300 300 0 98968 0
vsize: 397072
[startup+720.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 149061 0 0 0 71697 316 0 0 25 0 1 0 749717427 408457216 82590 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99721 82590 300 300 0 99421 0
vsize: 398884
[startup+730.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 149317 0 0 0 72696 317 0 0 25 0 1 0 749717427 409247744 82717 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99914 82717 300 300 0 99614 0
vsize: 399656
[startup+740.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 150084 0 0 0 73695 319 0 0 25 0 1 0 749717427 411348992 83033 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100427 83033 300 300 0 100127 0
vsize: 401708
[startup+750.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 150385 0 0 0 74695 319 0 0 25 0 1 0 749717427 411873280 83204 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100555 83204 300 300 0 100255 0
vsize: 402220
[startup+760.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 150456 0 0 0 75694 319 0 0 25 0 1 0 749717427 412004352 83242 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100587 83242 300 300 0 100287 0
vsize: 402348
[startup+770.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 150458 0 0 0 76694 319 0 0 25 0 1 0 749717427 412004352 83244 4294967295 134512640 135726644 3221224592 3221223216 134744523 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100587 83244 300 300 0 100287 0
vsize: 402348
[startup+780.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 150459 0 0 0 77695 319 0 0 25 0 1 0 749717427 412004352 83245 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100587 83245 300 300 0 100287 0
vsize: 402348
[startup+790.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 150459 0 0 0 78695 320 0 0 25 0 1 0 749717427 412004352 83245 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100587 83245 300 300 0 100287 0
vsize: 402348
[startup+800.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 150460 0 0 0 79695 320 0 0 25 0 1 0 749717427 412004352 83246 4294967295 134512640 135726644 3221224592 3221223280 134744989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100587 83246 300 300 0 100287 0
vsize: 402348
[startup+810.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 150777 0 0 0 80694 320 0 0 25 0 1 0 749717427 412790784 83369 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100779 83369 300 300 0 100479 0
vsize: 403116
[startup+820.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 151806 0 0 0 81692 323 0 0 25 0 1 0 749717427 415150080 83816 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101355 83816 300 300 0 101055 0
vsize: 405420
[startup+830.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 151837 0 0 0 82692 323 0 0 25 0 1 0 749717427 415285248 83847 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101388 83847 300 300 0 101088 0
vsize: 405552
[startup+840.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 152074 0 0 0 83691 324 0 0 25 0 1 0 749717427 416075776 83953 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101581 83953 300 300 0 101281 0
vsize: 406324
[startup+850.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 152078 0 0 0 84692 324 0 0 25 0 1 0 749717427 416075776 83957 4294967295 134512640 135726644 3221224592 3221223216 134744570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101581 83957 300 300 0 101281 0
vsize: 406324
[startup+860.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 152084 0 0 0 85692 324 0 0 25 0 1 0 749717427 416075776 83963 4294967295 134512640 135726644 3221224592 3221223088 134743928 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101581 83963 300 300 0 101281 0
vsize: 406324
[startup+870.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 152087 0 0 0 86692 324 0 0 25 0 1 0 749717427 416075776 83966 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101581 83966 300 300 0 101281 0
vsize: 406324
[startup+880.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 152105 0 0 0 87692 324 0 0 25 0 1 0 749717427 416075776 83984 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101581 83984 300 300 0 101281 0
vsize: 406324
[startup+890.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 152107 0 0 0 88692 324 0 0 25 0 1 0 749717427 416075776 83986 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101581 83986 300 300 0 101281 0
vsize: 406324
[startup+900.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 152108 0 0 0 89692 324 0 0 25 0 1 0 749717427 416075776 83987 4294967295 134512640 135726644 3221224592 3221223280 134744989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101581 83987 300 300 0 101281 0
vsize: 406324
[startup+910.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 154074 0 0 0 90688 328 0 0 25 0 1 0 749717427 416600064 84043 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 101709 84043 300 300 0 101409 0
vsize: 406836
[startup+920.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 154074 0 0 0 91687 328 0 0 25 0 1 0 749717427 416600064 84043 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101709 84043 300 300 0 101409 0
vsize: 406836
[startup+930.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 154420 0 0 0 92687 329 0 0 25 0 1 0 749717427 417521664 84226 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101934 84226 300 300 0 101634 0
vsize: 407736
[startup+940.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 154422 0 0 0 93687 330 0 0 25 0 1 0 749717427 417521664 84228 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101934 84228 300 300 0 101634 0
vsize: 407736
[startup+950.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 154425 0 0 0 94687 330 0 0 25 0 1 0 749717427 417521664 84231 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101934 84231 300 300 0 101634 0
vsize: 407736
[startup+960.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 154456 0 0 0 95686 330 0 0 25 0 1 0 749717427 417521664 84262 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101934 84262 300 300 0 101634 0
vsize: 407736
[startup+970.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 154541 0 0 0 96686 330 0 0 25 0 1 0 749717427 417783808 84282 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101998 84282 300 300 0 101698 0
vsize: 407992
[startup+980.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 155073 0 0 0 97685 332 0 0 25 0 1 0 749717427 419778560 84617 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102485 84617 300 300 0 102185 0
vsize: 409940
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 155343 0 0 0 98685 332 0 0 25 0 1 0 749717427 420573184 84756 4294967295 134512640 135726644 3221224592 3221223088 134744372 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102679 84756 300 300 0 102379 0
vsize: 410716
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 155346 0 0 0 99685 333 0 0 25 0 1 0 749717427 420573184 84759 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102679 84759 300 300 0 102379 0
vsize: 410716
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 155348 0 0 0 100685 333 0 0 25 0 1 0 749717427 420573184 84761 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102679 84761 300 300 0 102379 0
vsize: 410716
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 155350 0 0 0 101685 333 0 0 25 0 1 0 749717427 420573184 84763 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102679 84763 300 300 0 102379 0
vsize: 410716
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 155353 0 0 0 102685 333 0 0 25 0 1 0 749717427 420573184 84766 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102679 84766 300 300 0 102379 0
vsize: 410716
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157136 0 0 0 103681 337 0 0 25 0 1 0 749717427 420573184 84768 4294967295 134512640 135726644 3221224592 3221223216 134779608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102679 84768 300 300 0 102379 0
vsize: 410716
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157386 0 0 0 104680 338 0 0 25 0 1 0 749717427 421097472 84889 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102807 84889 300 300 0 102507 0
vsize: 411228
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157403 0 0 0 105681 338 0 0 25 0 1 0 749717427 421097472 84906 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102807 84906 300 300 0 102507 0
vsize: 411228
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157429 0 0 0 106681 338 0 0 25 0 1 0 749717427 421097472 84932 4294967295 134512640 135726644 3221224592 3221223088 134743872 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102807 84932 300 300 0 102507 0
vsize: 411228
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157615 0 0 0 107681 338 0 0 25 0 1 0 749717427 421625856 85019 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102936 85019 300 300 0 102636 0
vsize: 411744
[startup+1090.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157615 0 0 0 108691 338 0 0 25 0 1 0 749717427 421625856 85019 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102936 85019 300 300 0 102636 0
vsize: 411744
[startup+1100.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157616 0 0 0 109692 338 0 0 25 0 1 0 749717427 421625856 85020 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102936 85020 300 300 0 102636 0
vsize: 411744
[startup+1110.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157787 0 0 0 110691 338 0 0 25 0 1 0 749717427 422150144 85062 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103064 85062 300 300 0 102764 0
vsize: 412256
[startup+1120.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157814 0 0 0 111691 339 0 0 25 0 1 0 749717427 422150144 85089 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103064 85089 300 300 0 102764 0
vsize: 412256
[startup+1130.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157825 0 0 0 112691 339 0 0 25 0 1 0 749717427 422150144 85100 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103064 85100 300 300 0 102764 0
vsize: 412256
[startup+1140.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157880 0 0 0 113692 339 0 0 25 0 1 0 749717427 422150144 85155 4294967295 134512640 135726644 3221224592 3221223200 134744653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103064 85155 300 300 0 102764 0
vsize: 412256
[startup+1150.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157881 0 0 0 114692 339 0 0 25 0 1 0 749717427 422150144 85156 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103064 85156 300 300 0 102764 0
vsize: 412256
[startup+1160.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157882 0 0 0 115692 339 0 0 25 0 1 0 749717427 422150144 85157 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103064 85157 300 300 0 102764 0
vsize: 412256
[startup+1170.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 157939 0 0 0 116692 339 0 0 25 0 1 0 749717427 422281216 85181 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103096 85181 300 300 0 102796 0
vsize: 412384
[startup+1180.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 159721 0 0 0 117687 344 0 0 25 0 1 0 749717427 422281216 85182 4294967295 134512640 135726644 3221224592 3221223008 134738146 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103096 85182 300 300 0 102796 0
vsize: 412384
[startup+1190.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 159721 0 0 0 118687 344 0 0 25 0 1 0 749717427 422281216 85182 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103096 85182 300 300 0 102796 0
vsize: 412384
[startup+1200.17 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 159721 0 0 0 119687 344 0 0 25 0 1 0 749717427 422281216 85182 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103096 85182 300 300 0 102796 0
vsize: 412384
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.25 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 19922
Raw data (stat): 19922 (pb2sat) R 19921 8378 8377 0 -1 0 159721 0 0 0 119687 344 0 0 25 0 1 0 749717427 422281216 85182 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103096 85182 300 300 0 102796 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.25
CPU time (s): 1202.39
CPU user time (s): 1198.78
CPU system time (s): 3.61445
CPU usage (%): 100.012
Max. virtual memory (Kb): 412384
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####