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/miplib/normalized-mps-v2-20-10-vpm1.opb
MD5SUM	9d68724ddc6098af63bcc619f21688cc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	20
Optimality of the best value was proved	NO
Number of terms in the objective function	168
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	168
Number of bits of the sum of numbers in the objective function	8
Biggest number in a constraint	819200
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	4941871
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	459.704
Number of variables	2754
Total number of constraints	612
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	168
Number of constraints which are nor clauses,nor cardinality constraints	444
Minimum length of a constraint	1
Maximum length of a constraint	82
Trace number 35284

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        740776 kB
Buffers:         36100 kB
Cached:         236984 kB
SwapCached:        548 kB
Active:          58632 kB
Inactive:       216496 kB
HighTotal:      131008 kB
HighFree:        44268 kB
LowTotal:       903652 kB
LowFree:        696508 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5140 kB
Slab:            13056 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:41:59 (client local time) WITH STATUS 0 IN 1201.45 SECONDS
stats: 24480 7 1201.45 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 243464/1075667	Time: 199.21/86400
Decision: 243464/1075667	Time: 247.441/86400
Decision: 243464/1075667	Time: 283.592/86400
Decision: 243464/1075667	Time: 312.654/86400
Decision: 243464/1075667	Time: 333.459/86400
Decision: 243464/1075667	Time: 361.768/86400
Decision: 243464/1075667	Time: 382.089/86400
Decision: 243464/1075667	Time: 400.043/86400
Decision: 243464/1075667	Time: 421.413/86400
Decision: 243464/1075667	Time: 436.077/86400
Decision: 243464/1075667	Time: 461.013/86400
Decision: 243464/1075667	Time: 486.405/86400
Decision: 243464/1075667	Time: 508.23/86400
Decision: 243464/1075667	Time: 528.845/86400
Decision: 243464/1075667	Time: 550.049/86400
Decision: 243464/1075667	Time: 579.509/86400
Decision: 243464/1075667	Time: 607.953/86400
Decision: 243464/1075667	Time: 635.097/86400
Decision: 243464/1075667	Time: 659.735/86400
Decision: 243464/1075667	Time: 688.904/86400
Decision: 243464/1075667	Time: 720.464/86400
Decision: 243464/1075667	Time: 748.877/86400
Decision: 243464/1075667	Time: 774.741/86400
Decision: 243464/1075667	Time: 796.855/86400
Decision: 243464/1075667	Time: 822.284/86400
Decision: 243464/1075667	Time: 850.053/86400
Decision: 243464/1075667	Time: 875.038/86400
Decision: 243464/1075667	Time: 895.336/86400
Decision: 243464/1075667	Time: 918.972/86400
Decision: 243464/1075667	Time: 940.643/86400
Decision: 243464/1075667	Time: 974.101/86400
Decision: 243464/1075667	Time: 1002.33/86400
Decision: 243464/1075667	Time: 1033.86/86400
Decision: 243464/1075667	Time: 1068.04/86400
Decision: 243464/1075667	Time: 1103.96/86400
Decision: 243464/1075667	Time: 1143.67/86400s UNKNOWN
*** glibc detected *** corrupted double-linked list: 0x0bacab18 ***
#### 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.84 0.93 0.90 1/54 7109
Raw data (stat): 7109 (runsolver) R 7108 1269 1268 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806550177 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.0008 s]
Raw data (loadavg): 0.87 0.93 0.90 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 27568 0 0 0 935 64 0 0 25 0 1 0 806550177 78168064 16446 4294967295 134512640 135726644 3221224576 3221206736 134785168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19084 16446 300 300 0 18784 0
vsize: 76336
[startup+20.001 s]
Raw data (loadavg): 0.89 0.93 0.90 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 54997 0 0 0 1876 123 0 0 25 0 1 0 806550177 154157056 32882 4294967295 134512640 135726644 3221224576 3221199224 135287433 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37636 32882 300 300 0 37336 0
vsize: 150544
[startup+30.0022 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 92034 0 0 0 2798 201 0 0 25 0 1 0 806550177 298565632 48235 4294967295 134512640 135726644 3221224576 3221195780 135105744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72892 48235 300 300 0 72592 0
vsize: 291568
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 109539 0 0 0 3757 241 0 0 25 0 1 0 806550177 306405376 65447 4294967295 134512640 135726644 3221224576 3221200296 135287519 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74806 65447 300 300 0 74506 0
vsize: 299224
[startup+50.003 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 147870 0 0 0 4687 312 0 0 25 0 1 0 806550177 436191232 85240 4294967295 134512640 135726644 3221224576 3221222888 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106492 85240 300 300 0 106192 0
vsize: 425968
[startup+60.0035 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 148911 0 0 0 5683 315 0 0 25 0 1 0 806550177 431067136 83806 4294967295 134512640 135726644 3221224576 3221223168 134759982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 105241 83806 300 300 0 104941 0
vsize: 420964
[startup+70.0046 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 150363 0 0 0 6679 320 0 0 25 0 1 0 806550177 435556352 84594 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106337 84594 300 300 0 106037 0
vsize: 425348
[startup+80.0059 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 151825 0 0 0 7677 322 0 0 25 0 1 0 806550177 439779328 85403 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107368 85403 300 300 0 107068 0
vsize: 429472
[startup+90.0061 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 153340 0 0 0 8675 325 0 0 25 0 1 0 806550177 444436480 86175 4294967295 134512640 135726644 3221224576 3221223168 134760407 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108505 86175 300 300 0 108205 0
vsize: 434020
[startup+100.006 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 154233 0 0 0 9673 327 0 0 25 0 1 0 806550177 446889984 86656 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109104 86656 300 300 0 108804 0
vsize: 436416
[startup+110.006 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 154963 0 0 0 10672 328 0 0 25 0 1 0 806550177 448819200 86984 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109575 86984 300 300 0 109275 0
vsize: 438300
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 155492 0 0 0 11671 329 0 0 25 0 1 0 806550177 450936832 87415 4294967295 134512640 135726644 3221224576 3221223164 134743858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110092 87415 300 300 0 109792 0
vsize: 440368
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 155733 0 0 0 12670 330 0 0 25 0 1 0 806550177 451944448 87656 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110338 87656 300 300 0 110038 0
vsize: 441352
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 155848 0 0 0 13670 330 0 0 25 0 1 0 806550177 452341760 87705 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110435 87705 300 300 0 110135 0
vsize: 441740
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 155860 0 0 0 14670 330 0 0 25 0 1 0 806550177 452341760 87717 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110435 87717 300 300 0 110135 0
vsize: 441740
[startup+160.007 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 155948 0 0 0 15670 331 0 0 25 0 1 0 806550177 452882432 87805 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110567 87805 300 300 0 110267 0
vsize: 442268
[startup+170.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 156059 0 0 0 16670 331 0 0 25 0 1 0 806550177 453349376 87916 4294967295 134512640 135726644 3221224576 3221222896 134728861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110681 87916 300 300 0 110381 0
vsize: 442724
[startup+180.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 156240 0 0 0 17670 331 0 0 25 0 1 0 806550177 454148096 88048 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110876 88048 300 300 0 110576 0
vsize: 443504
[startup+190.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 156283 0 0 0 18670 332 0 0 25 0 1 0 806550177 454283264 88091 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110909 88091 300 300 0 110609 0
vsize: 443636
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 156300 0 0 0 19670 332 0 0 25 0 1 0 806550177 454283264 88108 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110909 88108 300 300 0 110609 0
vsize: 443636
[startup+210.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 156311 0 0 0 20670 332 0 0 25 0 1 0 806550177 454283264 88119 4294967295 134512640 135726644 3221224576 3221223216 134744671 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110909 88119 300 300 0 110609 0
vsize: 443636
[startup+220.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 156325 0 0 0 21670 332 0 0 25 0 1 0 806550177 454283264 88133 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110909 88133 300 300 0 110609 0
vsize: 443636
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 156392 0 0 0 22670 333 0 0 25 0 1 0 806550177 454553600 88200 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110975 88200 300 300 0 110675 0
vsize: 443900
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 156525 0 0 0 23670 333 0 0 25 0 1 0 806550177 455241728 88333 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111143 88333 300 300 0 110843 0
vsize: 444572
[startup+250.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 158641 0 0 0 24664 338 0 0 25 0 1 0 806550177 455241728 88348 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111143 88348 300 300 0 110843 0
vsize: 444572
[startup+260.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 159162 0 0 0 25663 340 0 0 25 0 1 0 806550177 457027584 88657 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111579 88657 300 300 0 111279 0
vsize: 446316
[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 161166 0 0 0 26659 344 0 0 25 0 1 0 806550177 463065088 89771 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113053 89771 300 300 0 112753 0
vsize: 452212
[startup+280.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 162353 0 0 0 27657 346 0 0 25 0 1 0 806550177 466890752 90375 4294967295 134512640 135726644 3221224576 3221223072 134743940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113987 90375 300 300 0 113687 0
vsize: 455948
[startup+290.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 162636 0 0 0 28657 347 0 0 25 0 1 0 806550177 468107264 90609 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114284 90609 300 300 0 113984 0
vsize: 457136
[startup+300.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 164977 0 0 0 29651 353 0 0 25 0 1 0 806550177 469278720 90849 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 114570 90849 300 300 0 114270 0
vsize: 458280
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 165136 0 0 0 30650 353 0 0 25 0 1 0 806550177 469983232 91008 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114742 91008 300 300 0 114442 0
vsize: 458968
[startup+320.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 165652 0 0 0 31649 354 0 0 25 0 1 0 806550177 472412160 91491 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115335 91491 300 300 0 115035 0
vsize: 461340
[startup+330.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 167999 0 0 0 32644 359 0 0 25 0 1 0 806550177 482095104 93805 4294967295 134512640 135726644 3221224576 3221222728 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117699 93805 300 300 0 117399 0
vsize: 470796
[startup+340.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 168083 0 0 0 33643 361 0 0 25 0 1 0 806550177 473894912 91788 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115697 91788 300 300 0 115397 0
vsize: 462788
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 168188 0 0 0 34643 361 0 0 25 0 1 0 806550177 474435584 91893 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115829 91893 300 300 0 115529 0
vsize: 463316
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 170292 0 0 0 35638 366 0 0 25 0 1 0 806550177 483041280 93997 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117930 93997 300 300 0 117630 0
vsize: 471720
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 170321 0 0 0 36637 367 0 0 25 0 1 0 806550177 474570752 91925 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115862 91925 300 300 0 115562 0
vsize: 463448
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 172428 0 0 0 37633 372 0 0 25 0 1 0 806550177 483176448 94032 4294967295 134512640 135726644 3221224576 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117963 94032 300 300 0 117663 0
vsize: 471852
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 172457 0 0 0 38632 373 0 0 25 0 1 0 806550177 474705920 91960 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115895 91960 300 300 0 115595 0
vsize: 463580
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 172465 0 0 0 39631 374 0 0 25 0 1 0 806550177 474705920 91968 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115895 91968 300 300 0 115595 0
vsize: 463580
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 174567 0 0 0 40626 379 0 0 25 0 1 0 806550177 474705920 91969 4294967295 134512640 135726644 3221224576 3221223200 134779692 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115895 91969 300 300 0 115595 0
vsize: 463580
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 174576 0 0 0 41625 380 0 0 25 0 1 0 806550177 474705920 91978 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 115895 91978 300 300 0 115595 0
vsize: 463580
[startup+430.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 176759 0 0 0 42620 385 0 0 25 0 1 0 806550177 483717120 94161 4294967295 134512640 135726644 3221224576 3221222712 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118095 94161 300 300 0 117795 0
vsize: 472380
[startup+440.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 176783 0 0 0 43619 387 0 0 25 0 1 0 806550177 475246592 92084 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116027 92084 300 300 0 115727 0
vsize: 464108
[startup+450.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 178906 0 0 0 44613 392 0 0 25 0 1 0 806550177 475381760 92106 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116060 92106 300 300 0 115760 0
vsize: 464240
[startup+460.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 178911 0 0 0 45613 393 0 0 25 0 1 0 806550177 475381760 92111 4294967295 134512640 135726644 3221224576 3221223072 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116060 92111 300 300 0 115760 0
vsize: 464240
[startup+470.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 181017 0 0 0 46608 398 0 0 25 0 1 0 806550177 475381760 92116 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116060 92116 300 300 0 115760 0
vsize: 464240
[startup+480.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 181025 0 0 0 47608 399 0 0 25 0 1 0 806550177 475381760 92124 4294967295 134512640 135726644 3221224576 3221223184 134740873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116060 92124 300 300 0 115760 0
vsize: 464240
[startup+490.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 183131 0 0 0 48603 404 0 0 25 0 1 0 806550177 475381760 92129 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116060 92129 300 300 0 115760 0
vsize: 464240
[startup+500.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 183138 0 0 0 49603 404 0 0 25 0 1 0 806550177 475381760 92136 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116060 92136 300 300 0 115760 0
vsize: 464240
[startup+510.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 185240 0 0 0 50598 410 0 0 25 0 1 0 806550177 475381760 92137 4294967295 134512640 135726644 3221224576 3221223072 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116060 92137 300 300 0 115760 0
vsize: 464240
[startup+520.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 185262 0 0 0 51597 410 0 0 25 0 1 0 806550177 475516928 92159 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92159 300 300 0 115793 0
vsize: 464372
[startup+530.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 185266 0 0 0 52597 411 0 0 25 0 1 0 806550177 475516928 92163 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92163 300 300 0 115793 0
vsize: 464372
[startup+540.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 187368 0 0 0 53593 417 0 0 25 0 1 0 806550177 475516928 92164 4294967295 134512640 135726644 3221224576 3221223072 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92164 300 300 0 115793 0
vsize: 464372
[startup+550.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 187370 0 0 0 54592 417 0 0 25 0 1 0 806550177 475516928 92166 4294967295 134512640 135726644 3221224576 3221223232 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92166 300 300 0 115793 0
vsize: 464372
[startup+560.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 189473 0 0 0 55587 423 0 0 25 0 1 0 806550177 475516928 92168 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92168 300 300 0 115793 0
vsize: 464372
[startup+570.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 189475 0 0 0 56586 424 0 0 25 0 1 0 806550177 475516928 92170 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92170 300 300 0 115793 0
vsize: 464372
[startup+580.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 191579 0 0 0 57581 429 0 0 25 0 1 0 806550177 475516928 92173 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92173 300 300 0 115793 0
vsize: 464372
[startup+590.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 191581 0 0 0 58580 430 0 0 25 0 1 0 806550177 475516928 92175 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92175 300 300 0 115793 0
vsize: 464372
[startup+600.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 193683 0 0 0 59575 435 0 0 25 0 1 0 806550177 475516928 92176 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92176 300 300 0 115793 0
vsize: 464372
[startup+610.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 193685 0 0 0 60575 436 0 0 25 0 1 0 806550177 475516928 92178 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92178 300 300 0 115793 0
vsize: 464372
[startup+620.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 193687 0 0 0 61575 436 0 0 25 0 1 0 806550177 475516928 92180 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92180 300 300 0 115793 0
vsize: 464372
[startup+630.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 195789 0 0 0 62570 441 0 0 25 0 1 0 806550177 475516928 92181 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92181 300 300 0 115793 0
vsize: 464372
[startup+640.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 195790 0 0 0 63570 442 0 0 25 0 1 0 806550177 475516928 92182 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92182 300 300 0 115793 0
vsize: 464372
[startup+650.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 195792 0 0 0 64570 442 0 0 25 0 1 0 806550177 475516928 92184 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92184 300 300 0 115793 0
vsize: 464372
[startup+660.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 197895 0 0 0 65565 447 0 0 25 0 1 0 806550177 475516928 92186 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92186 300 300 0 115793 0
vsize: 464372
[startup+670.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 197897 0 0 0 66564 447 0 0 25 0 1 0 806550177 475516928 92188 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92188 300 300 0 115793 0
vsize: 464372
[startup+680.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 197898 0 0 0 67564 448 0 0 25 0 1 0 806550177 475516928 92189 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92189 300 300 0 115793 0
vsize: 464372
[startup+690.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 200001 0 0 0 68559 453 0 0 25 0 1 0 806550177 475516928 92191 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92191 300 300 0 115793 0
vsize: 464372
[startup+700.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 200003 0 0 0 69558 454 0 0 25 0 1 0 806550177 475516928 92193 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92193 300 300 0 115793 0
vsize: 464372
[startup+710.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 202105 0 0 0 70553 460 0 0 25 0 1 0 806550177 475516928 92194 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92194 300 300 0 115793 0
vsize: 464372
[startup+720.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 202106 0 0 0 71553 460 0 0 25 0 1 0 806550177 475516928 92195 4294967295 134512640 135726644 3221224576 3221223232 134731258 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92195 300 300 0 115793 0
vsize: 464372
[startup+730.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 202108 0 0 0 72552 460 0 0 25 0 1 0 806550177 475516928 92197 4294967295 134512640 135726644 3221224576 3221223196 134727347 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92197 300 300 0 115793 0
vsize: 464372
[startup+740.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 204210 0 0 0 73547 466 0 0 25 0 1 0 806550177 475516928 92198 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92198 300 300 0 115793 0
vsize: 464372
[startup+750.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 204212 0 0 0 74547 467 0 0 25 0 1 0 806550177 475516928 92200 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92200 300 300 0 115793 0
vsize: 464372
[startup+760.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 204213 0 0 0 75547 467 0 0 25 0 1 0 806550177 475516928 92201 4294967295 134512640 135726644 3221224576 3221223072 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92201 300 300 0 115793 0
vsize: 464372
[startup+770.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 206315 0 0 0 76542 472 0 0 25 0 1 0 806550177 475516928 92202 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92202 300 300 0 115793 0
vsize: 464372
[startup+780.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 206317 0 0 0 77542 472 0 0 25 0 1 0 806550177 475516928 92204 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92204 300 300 0 115793 0
vsize: 464372
[startup+790.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 206318 0 0 0 78541 473 0 0 25 0 1 0 806550177 475516928 92205 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92205 300 300 0 115793 0
vsize: 464372
[startup+800.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 208420 0 0 0 79536 478 0 0 25 0 1 0 806550177 475516928 92206 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92206 300 300 0 115793 0
vsize: 464372
[startup+810.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 208422 0 0 0 80536 479 0 0 25 0 1 0 806550177 475516928 92208 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92208 300 300 0 115793 0
vsize: 464372
[startup+820.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 208424 0 0 0 81535 479 0 0 25 0 1 0 806550177 475516928 92210 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92210 300 300 0 115793 0
vsize: 464372
[startup+830.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 210526 0 0 0 82530 485 0 0 25 0 1 0 806550177 475516928 92211 4294967295 134512640 135726644 3221224576 3221223200 134744582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92211 300 300 0 115793 0
vsize: 464372
[startup+840.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 210529 0 0 0 83531 485 0 0 25 0 1 0 806550177 475516928 92214 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92214 300 300 0 115793 0
vsize: 464372
[startup+850.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 212632 0 0 0 84526 490 0 0 25 0 1 0 806550177 475516928 92216 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92216 300 300 0 115793 0
vsize: 464372
[startup+860.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 212636 0 0 0 85525 490 0 0 25 0 1 0 806550177 475516928 92220 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92220 300 300 0 115793 0
vsize: 464372
[startup+870.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 214740 0 0 0 86521 495 0 0 25 0 1 0 806550177 484122624 94324 4294967295 134512640 135726644 3221224576 3221222736 134765566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118194 94324 300 300 0 117894 0
vsize: 472776
[startup+880.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 214747 0 0 0 87520 495 0 0 25 0 1 0 806550177 475516928 92230 4294967295 134512640 135726644 3221224576 3221223232 134731245 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92230 300 300 0 115793 0
vsize: 464372
[startup+890.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 214752 0 0 0 88520 496 0 0 25 0 1 0 806550177 475516928 92235 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92235 300 300 0 115793 0
vsize: 464372
[startup+900.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 216854 0 0 0 89515 501 0 0 25 0 1 0 806550177 475516928 92236 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116093 92236 300 300 0 115793 0
vsize: 464372
[startup+910.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 216872 0 0 0 90515 502 0 0 25 0 1 0 806550177 475652096 92254 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92254 300 300 0 115826 0
vsize: 464504
[startup+920.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 216877 0 0 0 91514 502 0 0 25 0 1 0 806550177 475652096 92259 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92259 300 300 0 115826 0
vsize: 464504
[startup+930.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 218981 0 0 0 92509 508 0 0 25 0 1 0 806550177 475652096 92262 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92262 300 300 0 115826 0
vsize: 464504
[startup+940.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 218991 0 0 0 93510 508 0 0 25 0 1 0 806550177 475652096 92272 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92272 300 300 0 115826 0
vsize: 464504
[startup+950.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 221097 0 0 0 94505 512 0 0 25 0 1 0 806550177 475652096 92277 4294967295 134512640 135726644 3221224576 3221223232 134731265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92277 300 300 0 115826 0
vsize: 464504
[startup+960.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 221102 0 0 0 95505 513 0 0 25 0 1 0 806550177 475652096 92282 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92282 300 300 0 115826 0
vsize: 464504
[startup+970.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 223206 0 0 0 96499 518 0 0 25 0 1 0 806550177 475652096 92285 4294967295 134512640 135726644 3221224576 3221223072 134743889 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92285 300 300 0 115826 0
vsize: 464504
[startup+980.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 223215 0 0 0 97499 519 0 0 25 0 1 0 806550177 475652096 92294 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92294 300 300 0 115826 0
vsize: 464504
[startup+990.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 225321 0 0 0 98494 524 0 0 25 0 1 0 806550177 475652096 92299 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92299 300 300 0 115826 0
vsize: 464504
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 225325 0 0 0 99493 525 0 0 25 0 1 0 806550177 475652096 92303 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92303 300 300 0 115826 0
vsize: 464504
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 225328 0 0 0 100493 525 0 0 25 0 1 0 806550177 475652096 92306 4294967295 134512640 135726644 3221224576 3221223072 134743931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116126 92306 300 300 0 115826 0
vsize: 464504
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 227461 0 0 0 101487 531 0 0 25 0 1 0 806550177 475787264 92338 4294967295 134512640 135726644 3221224576 3221223196 134779522 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92338 300 300 0 115859 0
vsize: 464636
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 227463 0 0 0 102488 531 0 0 25 0 1 0 806550177 475787264 92340 4294967295 134512640 135726644 3221224576 3221223232 134731190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92340 300 300 0 115859 0
vsize: 464636
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 227464 0 0 0 103487 531 0 0 25 0 1 0 806550177 475787264 92341 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92341 300 300 0 115859 0
vsize: 464636
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 229566 0 0 0 104483 536 0 0 25 0 1 0 806550177 484392960 94443 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118260 94443 300 300 0 117960 0
vsize: 473040
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 229570 0 0 0 105483 537 0 0 25 0 1 0 806550177 475787264 92346 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92346 300 300 0 115859 0
vsize: 464636
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 229576 0 0 0 106483 537 0 0 25 0 1 0 806550177 475787264 92352 4294967295 134512640 135726644 3221224576 3221222824 135281200 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92352 300 300 0 115859 0
vsize: 464636
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 231680 0 0 0 107478 542 0 0 25 0 1 0 806550177 484392960 94456 4294967295 134512640 135726644 3221224576 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118260 94456 300 300 0 117960 0
vsize: 473040
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 231682 0 0 0 108477 543 0 0 25 0 1 0 806550177 475787264 92357 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92357 300 300 0 115859 0
vsize: 464636
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 231685 0 0 0 109477 543 0 0 25 0 1 0 806550177 475787264 92360 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92360 300 300 0 115859 0
vsize: 464636
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 231689 0 0 0 110477 543 0 0 25 0 1 0 806550177 475787264 92364 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92364 300 300 0 115859 0
vsize: 464636
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 233792 0 0 0 111470 550 0 0 25 0 1 0 806550177 475787264 92366 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92366 300 300 0 115859 0
vsize: 464636
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 233794 0 0 0 112471 550 0 0 25 0 1 0 806550177 475787264 92368 4294967295 134512640 135726644 3221224576 3221223072 134744142 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92368 300 300 0 115859 0
vsize: 464636
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 233805 0 0 0 113471 550 0 0 25 0 1 0 806550177 475787264 92379 4294967295 134512640 135726644 3221224576 3221222824 135282491 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92379 300 300 0 115859 0
vsize: 464636
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 235908 0 0 0 114466 555 0 0 25 0 1 0 806550177 484392960 94482 4294967295 134512640 135726644 3221224576 3221222728 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118260 94482 300 300 0 117960 0
vsize: 473040
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 235910 0 0 0 115466 555 0 0 25 0 1 0 806550177 475787264 92383 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92383 300 300 0 115859 0
vsize: 464636
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 235913 0 0 0 116466 556 0 0 25 0 1 0 806550177 475787264 92386 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92386 300 300 0 115859 0
vsize: 464636
[startup+1180.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 235915 0 0 0 117466 556 0 0 25 0 1 0 806550177 475787264 92388 4294967295 134512640 135726644 3221224576 3221222824 135281194 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92388 300 300 0 115859 0
vsize: 464636
[startup+1190.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 238018 0 0 0 118460 562 0 0 25 0 1 0 806550177 475787264 92390 4294967295 134512640 135726644 3221224576 3221223200 134779624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92390 300 300 0 115859 0
vsize: 464636
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 7109
Raw data (stat): 7109 (pb2sat) R 7108 1269 1268 0 -1 0 238020 0 0 0 119460 562 0 0 25 0 1 0 806550177 475787264 92392 4294967295 134512640 135726644 3221224576 3221223200 134744626 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116159 92392 300 300 0 115859 0
vsize: 464636
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.35 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 7109
Raw data (stat): 7109 (pb2sat) Z 7108 1269 1268 0 -1 1036 238023 0 0 0 119564 581 0 0 25 0 1 0 806550177 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 6 (SIGABRT)
Real time (s): 1201.34
CPU time (s): 1201.45
CPU user time (s): 1195.64
CPU system time (s): 5.81012
CPU usage (%): 100.009
Max. virtual memory (Kb): 473040
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####