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/submitted/een/normalized-seymour.opb
MD5SUM	23a177449585151350479e80b33e6416
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	353
Optimality of the best value was proved	NO
Number of terms in the objective function	1372
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	1372
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1372
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.04984
Number of variables	1255
Total number of constraints	4827
Number of constraints which are clauses	4827
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	19
Trace number 35103

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        884408 kB
Buffers:         32896 kB
Cached:          96064 kB
SwapCached:        240 kB
Active:          48736 kB
Inactive:        82844 kB
HighTotal:      131008 kB
HighFree:        32788 kB
LowTotal:       903652 kB
LowFree:        851620 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6320 kB
Slab:            13212 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:16:18 (client local time) WITH STATUS 0 IN 1202.48 SECONDS
stats: 24311 7 1202.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 527967/944638	Time: 92.5849/86400
Decision: 541695/944638	Time: 197.03/86400
Decision: 583165/944638	Time: 561.314/86400
Decision: 584180/944638	Time: 639.906/86400
Decision: 584185/944638	Time: 709.244/86400
Decision: 584185/944638	Time: 764.985/86400
Decision: 584185/944638	Time: 816.342/86400
Decision: 584185/944638	Time: 870.885/86400
Decision: 584187/944638	Time: 962.006/86400
Decision: 584187/944638	Time: 1005.28/86400
Decision: 584187/944638	Time: 1056.91/86400
Decision: 584187/944638	Time: 1096.13/86400
Decision: 584187/944638	Time: 1139.78/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.95 0.97 0.91 1/54 27969
Raw data (stat): 27969 (runsolver) R 27968 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806381884 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.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 29385 0 0 0 933 65 0 0 25 0 1 0 806381884 89079808 18480 4294967295 134512640 135726644 3221224592 3220923696 134782792 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21748 18481 300 300 0 21448 0
vsize: 86992
[startup+20.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 57618 0 0 0 1877 121 0 0 25 0 1 0 806381884 174530560 35759 4294967295 134512640 135726644 3221224592 3221022896 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42610 35760 300 300 0 42310 0
vsize: 170440
[startup+30.0021 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 97788 0 0 0 2798 201 0 0 25 0 1 0 806381884 298090496 54253 4294967295 134512640 135726644 3221224592 3220912096 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72776 54254 300 300 0 72476 0
vsize: 291104
[startup+40.0023 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 113298 0 0 0 3766 233 0 0 25 0 1 0 806381884 344350720 69542 4294967295 134512640 135726644 3221224592 3221120080 134767091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84070 69542 300 300 0 83770 0
vsize: 336280
[startup+50.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 129314 0 0 0 4730 269 0 0 25 0 1 0 806381884 373084160 83109 4294967295 134512640 135726644 3221224592 3221222896 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91085 83109 300 300 0 90785 0
vsize: 364340
[startup+60.0037 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 134238 0 0 0 5720 278 0 0 25 0 1 0 806381884 390123520 86557 4294967295 134512640 135726644 3221224592 3221223192 134743853 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95245 86557 300 300 0 94945 0
vsize: 380980
[startup+70.0039 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 135251 0 0 0 6718 281 0 0 25 0 1 0 806381884 392974336 86993 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95941 86993 300 300 0 95641 0
vsize: 383764
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 137459 0 0 0 7713 286 0 0 25 0 1 0 806381884 398839808 87921 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97373 87921 300 300 0 97073 0
vsize: 389492
[startup+90.0043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 138299 0 0 0 8711 288 0 0 25 0 1 0 806381884 401186816 88294 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97946 88294 300 300 0 97646 0
vsize: 391784
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 139101 0 0 0 9709 290 0 0 25 0 1 0 806381884 403288064 88612 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98459 88612 300 300 0 98159 0
vsize: 393836
[startup+110.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 139770 0 0 0 10708 292 0 0 25 0 1 0 806381884 405463040 89001 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98990 89001 300 300 0 98690 0
vsize: 395960
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 140939 0 0 0 11706 294 0 0 25 0 1 0 806381884 409112576 89698 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99881 89698 300 300 0 99581 0
vsize: 399524
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 141412 0 0 0 12705 295 0 0 25 0 1 0 806381884 411119616 90039 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100371 90039 300 300 0 100071 0
vsize: 401484
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 143945 0 0 0 13699 301 0 0 25 0 1 0 806381884 413233152 90467 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 100887 90467 300 300 0 100587 0
vsize: 403548
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 144590 0 0 0 14696 303 0 0 25 0 1 0 806381884 415821824 90822 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101519 90822 300 300 0 101219 0
vsize: 406076
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 147410 0 0 0 15691 308 0 0 25 0 1 0 806381884 423780352 91963 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103462 91963 300 300 0 103162 0
vsize: 413848
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 148731 0 0 0 16687 313 0 0 25 0 1 0 806381884 428421120 92703 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104595 92703 300 300 0 104295 0
vsize: 418380
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 149607 0 0 0 17685 315 0 0 25 0 1 0 806381884 430649344 93028 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105139 93028 300 300 0 104839 0
vsize: 420556
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 149701 0 0 0 18685 315 0 0 25 0 1 0 806381884 431050752 93089 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105237 93089 300 300 0 104937 0
vsize: 420948
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 150830 0 0 0 19682 318 0 0 25 0 1 0 806381884 433938432 93540 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105942 93540 300 300 0 105642 0
vsize: 423768
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 152476 0 0 0 20680 321 0 0 25 0 1 0 806381884 437882880 94341 4294967295 134512640 135726644 3221224592 3221223088 134744320 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106905 94341 300 300 0 106605 0
vsize: 427620
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 27969
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 152611 0 0 0 21679 321 0 0 25 0 1 0 806381884 438149120 94476 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106970 94476 300 300 0 106670 0
vsize: 427880
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 27977
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 153567 0 0 0 22678 323 0 0 25 0 1 0 806381884 440389632 95011 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107517 95011 300 300 0 107217 0
vsize: 430068
[startup+240.008 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 28022
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 156067 0 0 0 23673 327 0 0 25 0 1 0 806381884 445771776 96281 4294967295 134512640 135726644 3221224592 3221223104 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108831 96281 300 300 0 108531 0
vsize: 435324
[startup+250.008 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 28022
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 157918 0 0 0 24668 332 0 0 25 0 1 0 806381884 445771776 96287 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108831 96287 300 300 0 108531 0
vsize: 435324
[startup+260.01 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 28022
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 158229 0 0 0 25667 334 0 0 25 0 1 0 806381884 446820352 96341 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109087 96341 300 300 0 108787 0
vsize: 436348
[startup+270.01 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 28022
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 158760 0 0 0 26666 335 0 0 25 0 1 0 806381884 447873024 96678 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109344 96678 300 300 0 109044 0
vsize: 437376
[startup+280.01 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 28022
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 158765 0 0 0 27665 335 0 0 25 0 1 0 806381884 447873024 96683 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109344 96683 300 300 0 109044 0
vsize: 437376
[startup+290.01 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 28022
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 158779 0 0 0 28665 335 0 0 25 0 1 0 806381884 447873024 96697 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109344 96697 300 300 0 109044 0
vsize: 437376
[startup+300.01 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 28022
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 158781 0 0 0 29665 336 0 0 25 0 1 0 806381884 447873024 96699 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109344 96699 300 300 0 109044 0
vsize: 437376
[startup+310.01 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 158829 0 0 0 30665 336 0 0 25 0 1 0 806381884 448139264 96747 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109409 96747 300 300 0 109109 0
vsize: 437636
[startup+320.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 159276 0 0 0 31663 338 0 0 25 0 1 0 806381884 450134016 97029 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109896 97029 300 300 0 109596 0
vsize: 439584
[startup+330.01 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 159518 0 0 0 32663 339 0 0 25 0 1 0 806381884 451325952 97172 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110187 97172 300 300 0 109887 0
vsize: 440748
[startup+340.01 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 159562 0 0 0 33662 339 0 0 25 0 1 0 806381884 451592192 97216 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110252 97216 300 300 0 109952 0
vsize: 441008
[startup+350.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 159621 0 0 0 34662 340 0 0 25 0 1 0 806381884 451588096 97209 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110251 97209 300 300 0 109951 0
vsize: 441004
[startup+360.011 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 160168 0 0 0 35660 342 0 0 25 0 1 0 806381884 453439488 97562 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110703 97562 300 300 0 110403 0
vsize: 442812
[startup+370.01 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 160328 0 0 0 36660 342 0 0 25 0 1 0 806381884 453832704 97623 4294967295 134512640 135726644 3221224592 3221222840 135281353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110799 97623 300 300 0 110499 0
vsize: 443196
[startup+380.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 160533 0 0 0 37660 343 0 0 25 0 1 0 806381884 454565888 97812 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110978 97812 300 300 0 110678 0
vsize: 443912
[startup+390.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 160615 0 0 0 38660 343 0 0 25 0 1 0 806381884 454565888 97894 4294967295 134512640 135726644 3221224592 3221223216 134744575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110978 97894 300 300 0 110678 0
vsize: 443912
[startup+400.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 160650 0 0 0 39660 343 0 0 25 0 1 0 806381884 454565888 97929 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110978 97929 300 300 0 110678 0
vsize: 443912
[startup+410.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 160931 0 0 0 40659 343 0 0 25 0 1 0 806381884 455352320 98016 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111170 98016 300 300 0 110870 0
vsize: 444680
[startup+420.011 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 160980 0 0 0 41659 344 0 0 25 0 1 0 806381884 455352320 98065 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111170 98065 300 300 0 110870 0
vsize: 444680
[startup+430.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 160992 0 0 0 42660 344 0 0 25 0 1 0 806381884 455352320 98077 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111170 98077 300 300 0 110870 0
vsize: 444680
[startup+440.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 161309 0 0 0 43659 344 0 0 25 0 1 0 806381884 456278016 98232 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111396 98232 300 300 0 111096 0
vsize: 445584
[startup+450.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 161580 0 0 0 44658 345 0 0 25 0 1 0 806381884 456802304 98373 4294967295 134512640 135726644 3221224592 3221223088 134744053 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111524 98373 300 300 0 111224 0
vsize: 446096
[startup+460.01 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 161652 0 0 0 45658 345 0 0 25 0 1 0 806381884 456802304 98445 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111524 98445 300 300 0 111224 0
vsize: 446096
[startup+470.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 161719 0 0 0 46658 346 0 0 25 0 1 0 806381884 457068544 98512 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111589 98512 300 300 0 111289 0
vsize: 446356
[startup+480.011 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 161942 0 0 0 47657 347 0 0 25 0 1 0 806381884 457592832 98605 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111717 98605 300 300 0 111417 0
vsize: 446868
[startup+490.113 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 162258 0 0 0 48667 347 0 0 25 0 1 0 806381884 458379264 98727 4294967295 134512640 135726644 3221224592 3221223088 134743948 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111909 98727 300 300 0 111609 0
vsize: 447636
[startup+500.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 162550 0 0 0 49666 348 0 0 25 0 1 0 806381884 459165696 98824 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112101 98824 300 300 0 111801 0
vsize: 448404
[startup+510.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 162790 0 0 0 50666 349 0 0 25 0 1 0 806381884 459689984 98934 4294967295 134512640 135726644 3221224592 3221223248 134731240 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112229 98934 300 300 0 111929 0
vsize: 448916
[startup+520.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 163448 0 0 0 51665 350 0 0 25 0 1 0 806381884 461524992 99138 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 112677 99138 300 300 0 112377 0
vsize: 450708
[startup+530.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 164472 0 0 0 52663 352 0 0 25 0 1 0 806381884 464674816 99515 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113446 99515 300 300 0 113146 0
vsize: 453784
[startup+540.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 165936 0 0 0 53660 355 0 0 25 0 1 0 806381884 469143552 100268 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114537 100268 300 300 0 114237 0
vsize: 458148
[startup+550.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 166945 0 0 0 54658 357 0 0 25 0 1 0 806381884 472301568 100890 4294967295 134512640 135726644 3221224592 3221223088 134743907 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115308 100890 300 300 0 115008 0
vsize: 461232
[startup+560.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 167669 0 0 0 55658 358 0 0 25 0 1 0 806381884 474398720 101226 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115820 101226 300 300 0 115520 0
vsize: 463280
[startup+570.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 168168 0 0 0 56656 359 0 0 25 0 1 0 806381884 475594752 101467 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116112 101467 300 300 0 115812 0
vsize: 464448
[startup+580.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 170513 0 0 0 57651 365 0 0 25 0 1 0 806381884 483033088 102764 4294967295 134512640 135726644 3221224592 3221223088 134744379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117928 102764 300 300 0 117628 0
vsize: 471712
[startup+590.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28024
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 170876 0 0 0 58651 365 0 0 25 0 1 0 806381884 484753408 103062 4294967295 134512640 135726644 3221224592 3221223088 134744053 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118348 103062 300 300 0 118048 0
vsize: 473392
[startup+600.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 170985 0 0 0 59650 366 0 0 25 0 1 0 806381884 485220352 103171 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118462 103171 300 300 0 118162 0
vsize: 473848
[startup+610.115 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 172984 0 0 0 60646 371 0 0 25 0 1 0 806381884 485752832 103259 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 118592 103259 300 300 0 118292 0
vsize: 474368
[startup+620.115 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 173104 0 0 0 61644 372 0 0 25 0 1 0 806381884 486281216 103379 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118721 103379 300 300 0 118421 0
vsize: 474884
[startup+630.115 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 173378 0 0 0 62643 372 0 0 25 0 1 0 806381884 487649280 103653 4294967295 134512640 135726644 3221224592 3221223200 134744653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119055 103653 300 300 0 118755 0
vsize: 476220
[startup+640.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 173405 0 0 0 63643 373 0 0 25 0 1 0 806381884 487784448 103680 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119088 103680 300 300 0 118788 0
vsize: 476352
[startup+650.114 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 173407 0 0 0 64642 374 0 0 25 0 1 0 806381884 487784448 103682 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119088 103682 300 300 0 118788 0
vsize: 476352
[startup+660.121 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 173425 0 0 0 65642 375 0 0 25 0 1 0 806381884 487919616 103700 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119121 103700 300 300 0 118821 0
vsize: 476484
[startup+670.121 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 173484 0 0 0 66641 376 0 0 25 0 1 0 806381884 488251392 103759 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119202 103759 300 300 0 118902 0
vsize: 476808
[startup+680.121 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 173485 0 0 0 67641 376 0 0 25 0 1 0 806381884 488251392 103760 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119202 103760 300 300 0 118902 0
vsize: 476808
[startup+690.122 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 175367 0 0 0 68636 381 0 0 25 0 1 0 806381884 488521728 103797 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119268 103797 300 300 0 118968 0
vsize: 477072
[startup+700.122 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 175452 0 0 0 69636 382 0 0 25 0 1 0 806381884 489062400 103882 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119400 103882 300 300 0 119100 0
vsize: 477600
[startup+710.122 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 175530 0 0 0 70635 383 0 0 25 0 1 0 806381884 489664512 103960 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119547 103960 300 300 0 119247 0
vsize: 478188
[startup+720.122 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 175532 0 0 0 71635 383 0 0 25 0 1 0 806381884 489664512 103962 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119547 103962 300 300 0 119247 0
vsize: 478188
[startup+730.122 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 175534 0 0 0 72634 384 0 0 25 0 1 0 806381884 489664512 103964 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119547 103964 300 300 0 119247 0
vsize: 478188
[startup+740.122 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 175535 0 0 0 73633 385 0 0 25 0 1 0 806381884 489664512 103965 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119547 103965 300 300 0 119247 0
vsize: 478188
[startup+750.122 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 175538 0 0 0 74633 385 0 0 25 0 1 0 806381884 489664512 103968 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119547 103968 300 300 0 119247 0
vsize: 478188
[startup+760.123 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 177383 0 0 0 75629 389 0 0 25 0 1 0 806381884 489664512 103968 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119547 103968 300 300 0 119247 0
vsize: 478188
[startup+770.122 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 177428 0 0 0 76629 390 0 0 25 0 1 0 806381884 489861120 104013 4294967295 134512640 135726644 3221224592 3221223200 134741062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119595 104013 300 300 0 119295 0
vsize: 478380
[startup+780.122 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 177453 0 0 0 77628 391 0 0 25 0 1 0 806381884 490024960 104038 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119635 104038 300 300 0 119335 0
vsize: 478540
[startup+790.123 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 177499 0 0 0 78628 391 0 0 25 0 1 0 806381884 490295296 104084 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119701 104084 300 300 0 119401 0
vsize: 478804
[startup+800.127 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 177542 0 0 0 79628 392 0 0 25 0 1 0 806381884 490459136 104127 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119741 104127 300 300 0 119441 0
vsize: 478964
[startup+810.128 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 179393 0 0 0 80623 397 0 0 25 0 1 0 806381884 490459136 104133 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119741 104133 300 300 0 119441 0
vsize: 478964
[startup+820.129 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 179443 0 0 0 81623 397 0 0 25 0 1 0 806381884 490758144 104183 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119814 104183 300 300 0 119514 0
vsize: 479256
[startup+830.128 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 179467 0 0 0 82622 398 0 0 25 0 1 0 806381884 490905600 104207 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119850 104207 300 300 0 119550 0
vsize: 479400
[startup+840.128 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 179468 0 0 0 83622 398 0 0 25 0 1 0 806381884 490905600 104208 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119850 104208 300 300 0 119550 0
vsize: 479400
[startup+850.128 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 179469 0 0 0 84622 399 0 0 25 0 1 0 806381884 490905600 104209 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119850 104209 300 300 0 119550 0
vsize: 479400
[startup+860.132 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 181340 0 0 0 85618 403 0 0 25 0 1 0 806381884 498663424 106080 4294967295 134512640 135726644 3221224592 3221222768 134765538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121744 106080 300 300 0 121444 0
vsize: 486976
[startup+870.132 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 181340 0 0 0 86617 404 0 0 25 0 1 0 806381884 491102208 104235 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104235 300 300 0 119598 0
vsize: 479592
[startup+880.132 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 181341 0 0 0 87617 405 0 0 25 0 1 0 806381884 491102208 104236 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104236 300 300 0 119598 0
vsize: 479592
[startup+890.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 181354 0 0 0 88616 406 0 0 25 0 1 0 806381884 491102208 104249 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104249 300 300 0 119598 0
vsize: 479592
[startup+900.132 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 181355 0 0 0 89615 407 0 0 25 0 1 0 806381884 491102208 104250 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104250 300 300 0 119598 0
vsize: 479592
[startup+910.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 181362 0 0 0 90615 407 0 0 25 0 1 0 806381884 491102208 104257 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104257 300 300 0 119598 0
vsize: 479592
[startup+920.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 183207 0 0 0 91611 412 0 0 25 0 1 0 806381884 491102208 104257 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104257 300 300 0 119598 0
vsize: 479592
[startup+930.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 183208 0 0 0 92610 413 0 0 25 0 1 0 806381884 491102208 104258 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104258 300 300 0 119598 0
vsize: 479592
[startup+940.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 183209 0 0 0 93609 413 0 0 25 0 1 0 806381884 491102208 104259 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104259 300 300 0 119598 0
vsize: 479592
[startup+950.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 183217 0 0 0 94608 414 0 0 25 0 1 0 806381884 491102208 104267 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104267 300 300 0 119598 0
vsize: 479592
[startup+960.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 183218 0 0 0 95608 415 0 0 25 0 1 0 806381884 491102208 104268 4294967295 134512640 135726644 3221224592 3221223216 134744582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104268 300 300 0 119598 0
vsize: 479592
[startup+970.133 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 183219 0 0 0 96607 416 0 0 25 0 1 0 806381884 491102208 104269 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104269 300 300 0 119598 0
vsize: 479592
[startup+980.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 183220 0 0 0 97608 416 0 0 25 0 1 0 806381884 491102208 104270 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104270 300 300 0 119598 0
vsize: 479592
[startup+990.141 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 183221 0 0 0 98607 417 0 0 25 0 1 0 806381884 491102208 104271 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104271 300 300 0 119598 0
vsize: 479592
[startup+1000.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 183223 0 0 0 99606 418 0 0 25 0 1 0 806381884 491102208 104273 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104273 300 300 0 119598 0
vsize: 479592
[startup+1010.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 185068 0 0 0 100602 422 0 0 25 0 1 0 806381884 491102208 104273 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119898 104273 300 300 0 119598 0
vsize: 479592
[startup+1020.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 185073 0 0 0 101600 423 0 0 25 0 1 0 806381884 491102208 104278 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 119898 104278 300 300 0 119598 0
vsize: 479592
[startup+1030.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 185075 0 0 0 102600 424 0 0 25 0 1 0 806381884 491102208 104280 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104280 300 300 0 119598 0
vsize: 479592
[startup+1040.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 185079 0 0 0 103599 424 0 0 25 0 1 0 806381884 491102208 104284 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119898 104284 300 300 0 119598 0
vsize: 479592
[startup+1050.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 186927 0 0 0 104595 429 0 0 25 0 1 0 806381884 498663424 106132 4294967295 134512640 135726644 3221224592 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121744 106132 300 300 0 121444 0
vsize: 486976
[startup+1060.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 187022 0 0 0 105594 431 0 0 25 0 1 0 806381884 491429888 104349 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119978 104349 300 300 0 119678 0
vsize: 479912
[startup+1070.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 187084 0 0 0 106593 432 0 0 25 0 1 0 806381884 491823104 104411 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120074 104411 300 300 0 119774 0
vsize: 480296
[startup+1080.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 187087 0 0 0 107592 432 0 0 25 0 1 0 806381884 491823104 104414 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120074 104414 300 300 0 119774 0
vsize: 480296
[startup+1090.14 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 187093 0 0 0 108592 433 0 0 25 0 1 0 806381884 491823104 104420 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120074 104420 300 300 0 119774 0
vsize: 480296
[startup+1100.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 188956 0 0 0 109587 438 0 0 25 0 1 0 806381884 491958272 104438 4294967295 134512640 135726644 3221224592 3221223212 134779550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120107 104438 300 300 0 119807 0
vsize: 480428
[startup+1110.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 188957 0 0 0 110586 438 0 0 25 0 1 0 806381884 491958272 104439 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120107 104439 300 300 0 119807 0
vsize: 480428
[startup+1120.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 188960 0 0 0 111586 439 0 0 25 0 1 0 806381884 491958272 104442 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120107 104442 300 300 0 119807 0
vsize: 480428
[startup+1130.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 188962 0 0 0 112585 439 0 0 25 0 1 0 806381884 491958272 104444 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120107 104444 300 300 0 119807 0
vsize: 480428
[startup+1140.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 190810 0 0 0 113581 444 0 0 25 0 1 0 806381884 499519488 106292 4294967295 134512640 135726644 3221224592 3221222768 134765547 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121953 106292 300 300 0 121653 0
vsize: 487812
[startup+1150.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 190812 0 0 0 114581 444 0 0 25 0 1 0 806381884 491958272 104449 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120107 104449 300 300 0 119807 0
vsize: 480428
[startup+1160.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 190861 0 0 0 115580 445 0 0 25 0 1 0 806381884 492228608 104498 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120173 104498 300 300 0 119873 0
vsize: 480692
[startup+1170.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 190907 0 0 0 116580 446 0 0 25 0 1 0 806381884 492363776 104544 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120206 104544 300 300 0 119906 0
vsize: 480824
[startup+1180.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 190909 0 0 0 117580 446 0 0 25 0 1 0 806381884 492363776 104546 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120206 104546 300 300 0 119906 0
vsize: 480824
[startup+1190.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 192757 0 0 0 118575 451 0 0 25 0 1 0 806381884 492363776 104549 4294967295 134512640 135726644 3221224592 3221223184 134760055 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120206 104549 300 300 0 119906 0
vsize: 480824
[startup+1200.15 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 192760 0 0 0 119574 452 0 0 25 0 1 0 806381884 492363776 104552 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120206 104552 300 300 0 119906 0
vsize: 480824
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.37 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 28026
Raw data (stat): 27969 (pb2sat) R 27968 20224 20223 0 -1 0 192760 0 0 0 119574 452 0 0 25 0 1 0 806381884 492363776 104552 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 120206 104552 300 300 0 119906 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.36
CPU time (s): 1202.48
CPU user time (s): 1197.75
CPU system time (s): 4.73428
CPU usage (%): 100.01
Max. virtual memory (Kb): 487812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####