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/miplib3/normalized-mps-v2-20-10-seymour.opb
MD5SUM	05874b307d1504e7159d47fddfd8a0be
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	482
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.04784
Number of variables	1372
Total number of constraints	6316
Number of constraints which are clauses	4944
Number of constraints which are cardinality constraints (but not clauses)	1372
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	19
Trace number 35357

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.037
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        984852 kB
Buffers:          1252 kB
Cached:          27708 kB
SwapCached:        824 kB
Active:          16536 kB
Inactive:        14312 kB
HighTotal:      131008 kB
HighFree:       110068 kB
LowTotal:       903652 kB
LowFree:        874784 kB
SwapTotal:     2097892 kB
SwapFree:      2095972 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4628 kB
Slab:            13324 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:01:02 (client local time) WITH STATUS 0 IN 1202.29 SECONDS
stats: 24597 7 1202.29 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 691645/944638	Time: 243.697/86400
Decision: 691645/944638	Time: 281.304/86400
Decision: 691645/944638	Time: 330.19/86400
Decision: 691645/944638	Time: 363.937/86400
Decision: 691645/944638	Time: 394.098/86400
Decision: 692772/944638	Time: 448.204/86400
Decision: 692774/944638	Time: 489.104/86400
Decision: 693902/944638	Time: 532.993/86400
Decision: 693902/944638	Time: 568.157/86400
Decision: 693902/944638	Time: 587.956/86400
Decision: 693902/944638	Time: 631.079/86400
Decision: 693902/944638	Time: 672.186/86400
Decision: 693902/944638	Time: 713.396/86400
Decision: 693966/944638	Time: 772.569/86400
Decision: 693966/944638	Time: 815.917/86400
Decision: 693966/944638	Time: 859.172/86400
Decision: 693966/944638	Time: 906.708/86400
Decision: 693966/944638	Time: 948.561/86400
Decision: 696205/944638	Time: 1025.46/86400
Decision: 696205/944638	Time: 1059.56/86400
Decision: 696205/944638	Time: 1101.6/86400
Decision: 696205/944638	Time: 1137.53/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.90 0.94 0.90 2/54 20301
Raw data (stat): 20301 (runsolver) R 20300 10795 10794 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864871859 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.92 0.94 0.90 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 29084 0 0 0 933 65 0 0 25 0 1 0 864871859 88547328 18182 4294967295 134512640 135726644 3221224576 3220970500 135279151 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21618 18182 300 300 0 21318 0
vsize: 86472
[startup+20.0014 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 56980 0 0 0 1872 126 0 0 25 0 1 0 864871859 173592576 35128 4294967295 134512640 135726644 3221224576 3220934552 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42381 35128 300 300 0 42081 0
vsize: 169524
[startup+30.0009 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 97309 0 0 0 2786 212 0 0 25 0 1 0 864871859 298098688 53783 4294967295 134512640 135726644 3221224576 3221166240 134558854 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72778 53783 300 300 0 72478 0
vsize: 291112
[startup+40.0007 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 112483 0 0 0 3755 243 0 0 25 0 1 0 864871859 343277568 68737 4294967295 134512640 135726644 3221224576 3221212552 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83808 68737 300 300 0 83508 0
vsize: 335232
[startup+50.001 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 127442 0 0 0 4721 277 0 0 25 0 1 0 864871859 374349824 83566 4294967295 134512640 135726644 3221224576 3221222888 134761838 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91394 83566 300 300 0 91094 0
vsize: 365576
[startup+60.0014 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 129840 0 0 0 5716 281 0 0 25 0 1 0 864871859 373096448 82699 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91088 82699 300 300 0 90788 0
vsize: 364352
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 133011 0 0 0 6710 287 0 0 25 0 1 0 864871859 381128704 84232 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 93049 84232 300 300 0 92749 0
vsize: 372196
[startup+80.0032 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 135502 0 0 0 7706 291 0 0 25 0 1 0 864871859 387444736 85361 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94591 85361 300 300 0 94291 0
vsize: 378364
[startup+90.0037 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 138222 0 0 0 8700 297 0 0 25 0 1 0 864871859 394944512 86509 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 96422 86509 300 300 0 96122 0
vsize: 385688
[startup+100.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 139597 0 0 0 9697 301 0 0 25 0 1 0 864871859 398495744 87203 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97289 87203 300 300 0 96989 0
vsize: 389156
[startup+110.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 141176 0 0 0 10694 304 0 0 25 0 1 0 864871859 402583552 87970 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98287 87970 300 300 0 97987 0
vsize: 393148
[startup+120.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 142372 0 0 0 11692 306 0 0 25 0 1 0 864871859 406224896 88612 4294967295 134512640 135726644 3221224576 3221223232 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99176 88612 300 300 0 98876 0
vsize: 396704
[startup+130.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 142733 0 0 0 12691 308 0 0 25 0 1 0 864871859 407220224 88826 4294967295 134512640 135726644 3221224576 3221223072 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99419 88826 300 300 0 99119 0
vsize: 397676
[startup+140.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 143705 0 0 0 13689 309 0 0 25 0 1 0 864871859 409583616 89278 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99996 89278 300 300 0 99696 0
vsize: 399984
[startup+150.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 144646 0 0 0 14686 312 0 0 25 0 1 0 864871859 412340224 89604 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100669 89604 300 300 0 100369 0
vsize: 402676
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 144773 0 0 0 15686 313 0 0 25 0 1 0 864871859 412602368 89666 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100733 89666 300 300 0 100433 0
vsize: 402932
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 144913 0 0 0 16685 314 0 0 25 0 1 0 864871859 413130752 89741 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100862 89741 300 300 0 100562 0
vsize: 403448
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 145607 0 0 0 17683 316 0 0 25 0 1 0 864871859 415641600 90142 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101475 90142 300 300 0 101175 0
vsize: 405900
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 145997 0 0 0 18683 316 0 0 25 0 1 0 864871859 416964608 90402 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101798 90402 300 300 0 101498 0
vsize: 407192
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 146170 0 0 0 19682 317 0 0 25 0 1 0 864871859 417357824 90542 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101894 90542 300 300 0 101594 0
vsize: 407576
[startup+210.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 147562 0 0 0 20680 320 0 0 25 0 1 0 864871859 421572608 91156 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102923 91156 300 300 0 102623 0
vsize: 411692
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 148328 0 0 0 21678 322 0 0 25 0 1 0 864871859 424079360 91501 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103535 91501 300 300 0 103235 0
vsize: 414140
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 149254 0 0 0 22676 324 0 0 25 0 1 0 864871859 426708992 91910 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104177 91910 300 300 0 103877 0
vsize: 416708
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 149257 0 0 0 23676 324 0 0 25 0 1 0 864871859 426708992 91913 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104177 91913 300 300 0 103877 0
vsize: 416708
[startup+250.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 149567 0 0 0 24676 325 0 0 25 0 1 0 864871859 427765760 92093 4294967295 134512640 135726644 3221224576 3221222824 135280838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104435 92093 300 300 0 104135 0
vsize: 417740
[startup+260.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 149667 0 0 0 25676 325 0 0 25 0 1 0 864871859 428027904 92128 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104499 92128 300 300 0 104199 0
vsize: 417996
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 149693 0 0 0 26676 326 0 0 25 0 1 0 864871859 428027904 92154 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104499 92154 300 300 0 104199 0
vsize: 417996
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 149840 0 0 0 27675 326 0 0 25 0 1 0 864871859 428556288 92236 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104628 92236 300 300 0 104328 0
vsize: 418512
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 151868 0 0 0 28671 331 0 0 25 0 1 0 864871859 429219840 92354 4294967295 134512640 135726644 3221224576 3221223116 135298010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104790 92354 300 300 0 104490 0
vsize: 419160
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 152007 0 0 0 29670 332 0 0 25 0 1 0 864871859 429481984 92428 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 104854 92428 300 300 0 104554 0
vsize: 419416
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 152008 0 0 0 30669 332 0 0 25 0 1 0 864871859 429481984 92429 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104854 92429 300 300 0 104554 0
vsize: 419416
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 152075 0 0 0 31669 332 0 0 25 0 1 0 864871859 429813760 92496 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104935 92496 300 300 0 104635 0
vsize: 419740
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 154099 0 0 0 32665 337 0 0 25 0 1 0 864871859 430616576 92610 4294967295 134512640 135726644 3221224576 3221223200 134744570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105131 92610 300 300 0 104831 0
vsize: 420524
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 154867 0 0 0 33663 339 0 0 25 0 1 0 864871859 432594944 92986 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105614 92986 300 300 0 105314 0
vsize: 422456
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 155367 0 0 0 34662 340 0 0 25 0 1 0 864871859 434327552 93355 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106037 93355 300 300 0 105737 0
vsize: 424148
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 155520 0 0 0 35662 341 0 0 25 0 1 0 864871859 434724864 93475 4294967295 134512640 135726644 3221224576 3221223200 134744620 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106134 93475 300 300 0 105834 0
vsize: 424536
[startup+370.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 155978 0 0 0 36662 341 0 0 25 0 1 0 864871859 436445184 93770 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106554 93770 300 300 0 106254 0
vsize: 426216
[startup+380.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 157824 0 0 0 37657 346 0 0 25 0 1 0 864871859 436445184 93771 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106554 93771 300 300 0 106254 0
vsize: 426216
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 157832 0 0 0 38657 347 0 0 25 0 1 0 864871859 436445184 93779 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106554 93779 300 300 0 106254 0
vsize: 426216
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 157857 0 0 0 39656 347 0 0 25 0 1 0 864871859 436445184 93804 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106554 93804 300 300 0 106254 0
vsize: 426216
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 158058 0 0 0 40656 348 0 0 25 0 1 0 864871859 436973568 93939 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106683 93939 300 300 0 106383 0
vsize: 426732
[startup+420.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 159930 0 0 0 41650 353 0 0 25 0 1 0 864871859 436973568 93966 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106683 93966 300 300 0 106383 0
vsize: 426732
[startup+430.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 159935 0 0 0 42649 354 0 0 25 0 1 0 864871859 436973568 93971 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106683 93971 300 300 0 106383 0
vsize: 426732
[startup+440.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 159940 0 0 0 43649 354 0 0 25 0 1 0 864871859 436973568 93976 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106683 93976 300 300 0 106383 0
vsize: 426732
[startup+450.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 161787 0 0 0 44644 359 0 0 25 0 1 0 864871859 436973568 93978 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106683 93978 300 300 0 106383 0
vsize: 426732
[startup+460.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 161819 0 0 0 45643 360 0 0 25 0 1 0 864871859 437108736 94010 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106716 94010 300 300 0 106416 0
vsize: 426864
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 161862 0 0 0 46643 361 0 0 25 0 1 0 864871859 437379072 94053 4294967295 134512640 135726644 3221224576 3221222824 135281124 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106782 94053 300 300 0 106482 0
vsize: 427128
[startup+480.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 161879 0 0 0 47642 362 0 0 25 0 1 0 864871859 437379072 94070 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106782 94070 300 300 0 106482 0
vsize: 427128
[startup+490.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 161887 0 0 0 48642 362 0 0 25 0 1 0 864871859 437379072 94078 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106782 94078 300 300 0 106482 0
vsize: 427128
[startup+500.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 163733 0 0 0 49637 367 0 0 25 0 1 0 864871859 437379072 94079 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106782 94079 300 300 0 106482 0
vsize: 427128
[startup+510.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 163857 0 0 0 50637 368 0 0 25 0 1 0 864871859 437915648 94170 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106913 94170 300 300 0 106613 0
vsize: 427652
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 163875 0 0 0 51636 368 0 0 25 0 1 0 864871859 438050816 94188 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106946 94188 300 300 0 106646 0
vsize: 427784
[startup+530.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 164041 0 0 0 52635 369 0 0 25 0 1 0 864871859 438857728 94321 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107143 94321 300 300 0 106843 0
vsize: 428572
[startup+540.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 165914 0 0 0 53631 374 0 0 25 0 1 0 864871859 439054336 94349 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94349 300 300 0 106891 0
vsize: 428764
[startup+550.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 165919 0 0 0 54631 374 0 0 25 0 1 0 864871859 439054336 94354 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94354 300 300 0 106891 0
vsize: 428764
[startup+560.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 165924 0 0 0 55630 375 0 0 25 0 1 0 864871859 439054336 94359 4294967295 134512640 135726644 3221224576 3221222912 134735631 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94359 300 300 0 106891 0
vsize: 428764
[startup+570.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 165928 0 0 0 56630 375 0 0 25 0 1 0 864871859 439054336 94363 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94363 300 300 0 106891 0
vsize: 428764
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 167799 0 0 0 57626 380 0 0 25 0 1 0 864871859 446812160 96234 4294967295 134512640 135726644 3221224576 3221222752 134765566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109085 96234 300 300 0 108785 0
vsize: 436340
[startup+590.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 167804 0 0 0 58626 380 0 0 25 0 1 0 864871859 439250944 94394 4294967295 134512640 135726644 3221224576 3221223244 134745065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94394 300 300 0 106939 0
vsize: 428956
[startup+600.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 167811 0 0 0 59626 380 0 0 25 0 1 0 864871859 439250944 94401 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94401 300 300 0 106939 0
vsize: 428956
[startup+610.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 167818 0 0 0 60625 380 0 0 25 0 1 0 864871859 439250944 94408 4294967295 134512640 135726644 3221224576 3221223168 134744136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94408 300 300 0 106939 0
vsize: 428956
[startup+620.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 169666 0 0 0 61621 385 0 0 25 0 1 0 864871859 439250944 94411 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94411 300 300 0 106939 0
vsize: 428956
[startup+630.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 169679 0 0 0 62621 386 0 0 25 0 1 0 864871859 439250944 94424 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94424 300 300 0 106939 0
vsize: 428956
[startup+640.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 171532 0 0 0 63617 390 0 0 25 0 1 0 864871859 439250944 94432 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94432 300 300 0 106939 0
vsize: 428956
[startup+650.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 171536 0 0 0 64616 390 0 0 25 0 1 0 864871859 439250944 94436 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94436 300 300 0 106939 0
vsize: 428956
[startup+660.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 171541 0 0 0 65616 391 0 0 25 0 1 0 864871859 439250944 94441 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94441 300 300 0 106939 0
vsize: 428956
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 171544 0 0 0 66616 391 0 0 25 0 1 0 864871859 439250944 94444 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94444 300 300 0 106939 0
vsize: 428956
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 173389 0 0 0 67612 395 0 0 25 0 1 0 864871859 439250944 94444 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94444 300 300 0 106939 0
vsize: 428956
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 173390 0 0 0 68612 395 0 0 25 0 1 0 864871859 439250944 94445 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94445 300 300 0 106939 0
vsize: 428956
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 173397 0 0 0 69612 396 0 0 25 0 1 0 864871859 439250944 94452 4294967295 134512640 135726644 3221224576 3221223072 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94452 300 300 0 106939 0
vsize: 428956
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 173412 0 0 0 70611 396 0 0 25 0 1 0 864871859 439250944 94467 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94467 300 300 0 106939 0
vsize: 428956
[startup+720.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 173416 0 0 0 71611 397 0 0 25 0 1 0 864871859 439250944 94471 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94471 300 300 0 106939 0
vsize: 428956
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 173437 0 0 0 72611 397 0 0 25 0 1 0 864871859 439250944 94492 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94492 300 300 0 106939 0
vsize: 428956
[startup+740.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 173441 0 0 0 73611 398 0 0 25 0 1 0 864871859 439250944 94496 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94496 300 300 0 106939 0
vsize: 428956
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 173444 0 0 0 74610 398 0 0 25 0 1 0 864871859 439250944 94499 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94499 300 300 0 106939 0
vsize: 428956
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 175291 0 0 0 75606 403 0 0 25 0 1 0 864871859 446812160 96346 4294967295 134512640 135726644 3221224576 3221222768 134769157 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109085 96346 300 300 0 108785 0
vsize: 436340
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 175295 0 0 0 76605 404 0 0 25 0 1 0 864871859 439250944 94505 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94505 300 300 0 106939 0
vsize: 428956
[startup+780.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 175296 0 0 0 77605 404 0 0 25 0 1 0 864871859 439250944 94506 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94506 300 300 0 106939 0
vsize: 428956
[startup+790.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 175299 0 0 0 78605 404 0 0 25 0 1 0 864871859 439250944 94509 4294967295 134512640 135726644 3221224576 3221223232 134731279 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94509 300 300 0 106939 0
vsize: 428956
[startup+800.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 175303 0 0 0 79605 405 0 0 25 0 1 0 864871859 439250944 94513 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94513 300 300 0 106939 0
vsize: 428956
[startup+810.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 175306 0 0 0 80604 405 0 0 25 0 1 0 864871859 439250944 94516 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94516 300 300 0 106939 0
vsize: 428956
[startup+820.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 177153 0 0 0 81600 410 0 0 25 0 1 0 864871859 446812160 96363 4294967295 134512640 135726644 3221224576 3221222752 134765566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109085 96363 300 300 0 108785 0
vsize: 436340
[startup+830.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 177156 0 0 0 82599 411 0 0 25 0 1 0 864871859 439250944 94521 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94521 300 300 0 106939 0
vsize: 428956
[startup+840.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 177173 0 0 0 83599 411 0 0 25 0 1 0 864871859 439447552 94538 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94538 300 300 0 106987 0
vsize: 429148
[startup+850.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 177177 0 0 0 84599 411 0 0 25 0 1 0 864871859 439447552 94542 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94542 300 300 0 106987 0
vsize: 429148
[startup+860.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 177190 0 0 0 85600 411 0 0 25 0 1 0 864871859 439447552 94555 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94555 300 300 0 106987 0
vsize: 429148
[startup+870.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 179036 0 0 0 86596 416 0 0 25 0 1 0 864871859 439447552 94556 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94556 300 300 0 106987 0
vsize: 429148
[startup+880.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 179039 0 0 0 87596 416 0 0 25 0 1 0 864871859 439447552 94559 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94559 300 300 0 106987 0
vsize: 429148
[startup+890.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 179047 0 0 0 88597 416 0 0 25 0 1 0 864871859 439447552 94567 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94567 300 300 0 106987 0
vsize: 429148
[startup+900.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 179051 0 0 0 89597 416 0 0 25 0 1 0 864871859 439447552 94571 4294967295 134512640 135726644 3221224576 3221223264 134744901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94571 300 300 0 106987 0
vsize: 429148
[startup+910.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 180896 0 0 0 90592 421 0 0 25 0 1 0 864871859 439447552 94571 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94571 300 300 0 106987 0
vsize: 429148
[startup+920.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 180897 0 0 0 91592 421 0 0 25 0 1 0 864871859 439447552 94572 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94572 300 300 0 106987 0
vsize: 429148
[startup+930.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 180898 0 0 0 92592 422 0 0 25 0 1 0 864871859 439447552 94573 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94573 300 300 0 106987 0
vsize: 429148
[startup+940.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 180899 0 0 0 93591 422 0 0 25 0 1 0 864871859 439447552 94574 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94574 300 300 0 106987 0
vsize: 429148
[startup+950.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 180900 0 0 0 94591 422 0 0 25 0 1 0 864871859 439447552 94575 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94575 300 300 0 106987 0
vsize: 429148
[startup+960.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 182745 0 0 0 95587 427 0 0 25 0 1 0 864871859 439447552 94575 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94575 300 300 0 106987 0
vsize: 429148
[startup+970.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 182747 0 0 0 96587 427 0 0 25 0 1 0 864871859 439447552 94577 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94577 300 300 0 106987 0
vsize: 429148
[startup+980.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 182748 0 0 0 97587 427 0 0 25 0 1 0 864871859 439447552 94578 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94578 300 300 0 106987 0
vsize: 429148
[startup+990.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 182750 0 0 0 98586 428 0 0 25 0 1 0 864871859 439447552 94580 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94580 300 300 0 106987 0
vsize: 429148
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 184597 0 0 0 99582 432 0 0 25 0 1 0 864871859 439447552 94582 4294967295 134512640 135726644 3221224576 3221222824 135281144 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94582 300 300 0 106987 0
vsize: 429148
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 184600 0 0 0 100582 432 0 0 25 0 1 0 864871859 439447552 94585 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94585 300 300 0 106987 0
vsize: 429148
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 184615 0 0 0 101582 433 0 0 25 0 1 0 864871859 439447552 94600 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94600 300 300 0 106987 0
vsize: 429148
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 184621 0 0 0 102584 433 0 0 25 0 1 0 864871859 439447552 94606 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94606 300 300 0 106987 0
vsize: 429148
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 184625 0 0 0 103583 433 0 0 25 0 1 0 864871859 439447552 94610 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94610 300 300 0 106987 0
vsize: 429148
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 184627 0 0 0 104583 434 0 0 25 0 1 0 864871859 439447552 94612 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94612 300 300 0 106987 0
vsize: 429148
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 184631 0 0 0 105583 434 0 0 25 0 1 0 864871859 439447552 94616 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94616 300 300 0 106987 0
vsize: 429148
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 184638 0 0 0 106582 435 0 0 25 0 1 0 864871859 439447552 94623 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94623 300 300 0 106987 0
vsize: 429148
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 186485 0 0 0 107577 440 0 0 25 0 1 0 864871859 439447552 94625 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94625 300 300 0 106987 0
vsize: 429148
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 186492 0 0 0 108577 441 0 0 25 0 1 0 864871859 439447552 94632 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94632 300 300 0 106987 0
vsize: 429148
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 186550 0 0 0 109577 441 0 0 25 0 1 0 864871859 439840768 94690 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94690 300 300 0 107083 0
vsize: 429532
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 188397 0 0 0 110571 446 0 0 25 0 1 0 864871859 439840768 94692 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94692 300 300 0 107083 0
vsize: 429532
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 188419 0 0 0 111571 447 0 0 25 0 1 0 864871859 439840768 94714 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94714 300 300 0 107083 0
vsize: 429532
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 188426 0 0 0 112571 447 0 0 25 0 1 0 864871859 439840768 94721 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94721 300 300 0 107083 0
vsize: 429532
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20301
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 188472 0 0 0 113571 448 0 0 25 0 1 0 864871859 440111104 94767 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94767 300 300 0 107149 0
vsize: 429796
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/57 20336
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 190317 0 0 0 114566 452 0 0 25 0 1 0 864871859 440111104 94767 4294967295 134512640 135726644 3221224576 3221223200 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94767 300 300 0 107149 0
vsize: 429796
[startup+1160.09 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 20354
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 190318 0 0 0 115565 453 0 0 25 0 1 0 864871859 440111104 94768 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94768 300 300 0 107149 0
vsize: 429796
[startup+1170.09 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 20354
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 190320 0 0 0 116565 453 0 0 25 0 1 0 864871859 440111104 94770 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94770 300 300 0 107149 0
vsize: 429796
[startup+1180.09 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 20354
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 190391 0 0 0 117564 454 0 0 25 0 1 0 864871859 440381440 94841 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107515 94841 300 300 0 107215 0
vsize: 430060
[startup+1190.09 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 20354
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 192256 0 0 0 118559 459 0 0 25 0 1 0 864871859 440516608 94861 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107548 94861 300 300 0 107248 0
vsize: 430192
[startup+1200.09 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 20354
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 192257 0 0 0 119560 459 0 0 25 0 1 0 864871859 440516608 94862 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107548 94862 300 300 0 107248 0
vsize: 430192
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.19 s]
Raw data (loadavg): 1.03 0.99 0.91 1/53 20354
Raw data (stat): 20301 (pb2sat) R 20300 10795 10794 0 -1 0 192257 0 0 0 119560 459 0 0 25 0 1 0 864871859 440516608 94862 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107548 94862 300 300 0 107248 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.19
CPU time (s): 1202.29
CPU user time (s): 1197.51
CPU system time (s): 4.78827
CPU usage (%): 100.009
Max. virtual memory (Kb): 436340
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####