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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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.04884
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 35760

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc18 THE 2005-05-28 13:45:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24981 boxname=wulflinc18 idbench=1453 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  05874b307d1504e7159d47fddfd8a0be  /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-seymour.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-seymour.opb
IDLAUNCH: 24981
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.177
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	: 3
cpu MHz		: 451.177
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:        754352 kB
Buffers:         32404 kB
Cached:         218148 kB
SwapCached:        708 kB
Active:          19856 kB
Inactive:       232700 kB
HighTotal:      131008 kB
HighFree:        26404 kB
LowTotal:       903652 kB
LowFree:        727948 kB
SwapTotal:     2097892 kB
SwapFree:      2096240 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5120 kB
Slab:            22056 kB
Committed_AS:    63568 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 14:05:11 (client local time) WITH STATUS 0 IN 1202.38 SECONDS
stats: 24981 7 1202.38 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.597/86400
Decision: 691645/944638	Time: 281.213/86400
Decision: 691645/944638	Time: 330.05/86400
Decision: 691645/944638	Time: 363.482/86400
Decision: 691645/944638	Time: 393.455/86400
Decision: 692772/944638	Time: 446.943/86400
Decision: 692774/944638	Time: 487.397/86400
Decision: 693902/944638	Time: 530.803/86400
Decision: 693902/944638	Time: 565.591/86400
Decision: 693902/944638	Time: 585.109/86400
Decision: 693902/944638	Time: 627.724/86400
Decision: 693902/944638	Time: 668.43/86400
Decision: 693902/944638	Time: 709.267/86400
Decision: 693966/944638	Time: 767.883/86400
Decision: 693966/944638	Time: 810.842/86400
Decision: 693966/944638	Time: 853.883/86400
Decision: 693966/944638	Time: 901.49/86400
Decision: 693966/944638	Time: 943.451/86400
Decision: 696205/944638	Time: 1020.39/86400
Decision: 696205/944638	Time: 1054.49/86400
Decision: 696205/944638	Time: 1096.5/86400
Decision: 696205/944638	Time: 1132.42/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.93 0.90 2/54 3708
Raw data (stat): 3708 (runsolver) R 3707 24172 24171 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 865249680 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.93 0.90 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 29232 0 0 0 938 60 0 0 25 0 1 0 865249680 88817664 18329 4294967295 134512640 135726644 3221224576 3220863832 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21684 18329 300 300 0 21384 0
vsize: 86736
[startup+20.0018 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 57467 0 0 0 1881 117 0 0 25 0 1 0 865249680 174268416 35610 4294967295 134512640 135726644 3221224576 3221129312 134554627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42546 35611 300 300 0 42246 0
vsize: 170184
[startup+30.003 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 97697 0 0 0 2801 198 0 0 25 0 1 0 865249680 298098688 54164 4294967295 134512640 135726644 3221224576 3220962064 134767234 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72778 54164 300 300 0 72478 0
vsize: 291112
[startup+40.0026 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 113150 0 0 0 3767 232 0 0 25 0 1 0 865249680 344223744 69396 4294967295 134512640 135726644 3221224576 3221025260 134766300 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84039 69397 300 300 0 83739 0
vsize: 336156
[startup+50.0037 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 127442 0 0 0 4739 260 0 0 25 0 1 0 865249680 374349824 83566 4294967295 134512640 135726644 3221224576 3221222872 134761847 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.0038 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 130206 0 0 0 5733 266 0 0 25 0 1 0 865249680 374149120 82838 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91345 82838 300 300 0 91045 0
vsize: 365380
[startup+70.0044 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 133149 0 0 0 6726 273 0 0 25 0 1 0 865249680 381390848 84305 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93113 84305 300 300 0 92813 0
vsize: 372452
[startup+80.0053 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 135502 0 0 0 7722 278 0 0 25 0 1 0 865249680 387444736 85361 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.0055 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 138222 0 0 0 8716 284 0 0 25 0 1 0 865249680 394944512 86509 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 139597 0 0 0 9713 287 0 0 25 0 1 0 865249680 398495744 87203 4294967295 134512640 135726644 3221224576 3221223072 134744063 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.013 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 141188 0 0 0 10711 290 0 0 25 0 1 0 865249680 402780160 87982 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98335 87982 300 300 0 98035 0
vsize: 393340
[startup+120.014 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 142372 0 0 0 11709 292 0 0 25 0 1 0 865249680 406224896 88612 4294967295 134512640 135726644 3221224576 3221223192 134744630 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.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 142853 0 0 0 12708 293 0 0 25 0 1 0 865249680 407482368 88881 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99483 88881 300 300 0 99183 0
vsize: 397932
[startup+140.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 143705 0 0 0 13707 295 0 0 25 0 1 0 865249680 409583616 89278 4294967295 134512640 135726644 3221224576 3221223072 134744063 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.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 144646 0 0 0 14705 297 0 0 25 0 1 0 865249680 412340224 89604 4294967295 134512640 135726644 3221224576 3221223072 134743953 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.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 144773 0 0 0 15706 297 0 0 25 0 1 0 865249680 412602368 89666 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 144913 0 0 0 16705 298 0 0 25 0 1 0 865249680 413130752 89741 4294967295 134512640 135726644 3221224576 3221222896 134728934 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.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 145607 0 0 0 17703 300 0 0 25 0 1 0 865249680 415641600 90142 4294967295 134512640 135726644 3221224576 3221223072 134744117 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.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 145997 0 0 0 18703 301 0 0 25 0 1 0 865249680 416964608 90402 4294967295 134512640 135726644 3221224576 3221223232 134731175 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.032 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 146320 0 0 0 19703 302 0 0 25 0 1 0 865249680 417886208 90627 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102023 90627 300 300 0 101723 0
vsize: 408092
[startup+210.033 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 147562 0 0 0 20700 304 0 0 25 0 1 0 865249680 421572608 91156 4294967295 134512640 135726644 3221224576 3221222896 134728892 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.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 148328 0 0 0 21700 305 0 0 25 0 1 0 865249680 424079360 91501 4294967295 134512640 135726644 3221224576 3221223072 134743953 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.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 149254 0 0 0 22697 307 0 0 25 0 1 0 865249680 426708992 91910 4294967295 134512640 135726644 3221224576 3221223072 134744295 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.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 149258 0 0 0 23697 308 0 0 25 0 1 0 865249680 426708992 91914 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104177 91914 300 300 0 103877 0
vsize: 416708
[startup+250.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 149645 0 0 0 24697 308 0 0 25 0 1 0 865249680 428027904 92106 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104499 92106 300 300 0 104199 0
vsize: 417996
[startup+260.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 149668 0 0 0 25697 308 0 0 25 0 1 0 865249680 428027904 92129 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104499 92129 300 300 0 104199 0
vsize: 417996
[startup+270.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 149693 0 0 0 26697 309 0 0 25 0 1 0 865249680 428027904 92154 4294967295 134512640 135726644 3221224576 3221223072 134744063 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.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 149840 0 0 0 27697 309 0 0 25 0 1 0 865249680 428556288 92236 4294967295 134512640 135726644 3221224576 3221223232 134731248 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.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 151868 0 0 0 28692 314 0 0 25 0 1 0 865249680 429219840 92354 4294967295 134512640 135726644 3221224576 3221223200 134779692 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.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 152007 0 0 0 29691 315 0 0 25 0 1 0 865249680 429481984 92428 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104854 92428 300 300 0 104554 0
vsize: 419416
[startup+310.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 152008 0 0 0 30690 316 0 0 25 0 1 0 865249680 429481984 92429 4294967295 134512640 135726644 3221224576 3221223072 134744022 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.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 152114 0 0 0 31690 316 0 0 25 0 1 0 865249680 430084096 92535 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105001 92535 300 300 0 104701 0
vsize: 420004
[startup+330.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 154099 0 0 0 32685 321 0 0 25 0 1 0 865249680 430616576 92610 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 154891 0 0 0 33684 323 0 0 25 0 1 0 865249680 432730112 93010 4294967295 134512640 135726644 3221224576 3221223200 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105647 93010 300 300 0 105347 0
vsize: 422588
[startup+350.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 155374 0 0 0 34682 324 0 0 25 0 1 0 865249680 434327552 93362 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106037 93362 300 300 0 105737 0
vsize: 424148
[startup+360.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 155574 0 0 0 35682 325 0 0 25 0 1 0 865249680 434991104 93529 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106199 93529 300 300 0 105899 0
vsize: 424796
[startup+370.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 155978 0 0 0 36681 326 0 0 25 0 1 0 865249680 436445184 93770 4294967295 134512640 135726644 3221224576 3221223072 134743955 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.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 157824 0 0 0 37675 332 0 0 25 0 1 0 865249680 436445184 93771 4294967295 134512640 135726644 3221224576 3221223072 134744163 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.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 157832 0 0 0 38674 332 0 0 25 0 1 0 865249680 436445184 93779 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106554 93779 300 300 0 106254 0
vsize: 426216
[startup+400.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 157858 0 0 0 39674 333 0 0 25 0 1 0 865249680 436445184 93805 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106554 93805 300 300 0 106254 0
vsize: 426216
[startup+410.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 159903 0 0 0 40668 339 0 0 25 0 1 0 865249680 444534784 95784 4294967295 134512640 135726644 3221224576 3221222728 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108529 95784 300 300 0 108229 0
vsize: 434116
[startup+420.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 159931 0 0 0 41667 339 0 0 25 0 1 0 865249680 436973568 93967 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106683 93967 300 300 0 106383 0
vsize: 426732
[startup+430.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 159935 0 0 0 42667 340 0 0 25 0 1 0 865249680 436973568 93971 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106683 93971 300 300 0 106383 0
vsize: 426732
[startup+440.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 161785 0 0 0 43662 345 0 0 25 0 1 0 865249680 444534784 95821 4294967295 134512640 135726644 3221224576 3221222736 134765518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108529 95821 300 300 0 108229 0
vsize: 434116
[startup+450.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 161787 0 0 0 44661 346 0 0 25 0 1 0 865249680 436973568 93978 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106683 93978 300 300 0 106383 0
vsize: 426732
[startup+460.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 161819 0 0 0 45660 347 0 0 25 0 1 0 865249680 437108736 94010 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106716 94010 300 300 0 106416 0
vsize: 426864
[startup+470.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 161863 0 0 0 46660 348 0 0 25 0 1 0 865249680 437379072 94054 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106782 94054 300 300 0 106482 0
vsize: 427128
[startup+480.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 161879 0 0 0 47659 349 0 0 25 0 1 0 865249680 437379072 94070 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106782 94070 300 300 0 106482 0
vsize: 427128
[startup+490.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 163732 0 0 0 48654 353 0 0 25 0 1 0 865249680 444940288 95923 4294967295 134512640 135726644 3221224576 3221222752 134765226 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 108628 95923 300 300 0 108328 0
vsize: 434512
[startup+500.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 163733 0 0 0 49653 355 0 0 25 0 1 0 865249680 437379072 94079 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106782 94079 300 300 0 106482 0
vsize: 427128
[startup+510.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 163857 0 0 0 50653 355 0 0 25 0 1 0 865249680 437915648 94170 4294967295 134512640 135726644 3221224576 3221223184 135280459 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 106913 94170 300 300 0 106613 0
vsize: 427652
[startup+520.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 163942 0 0 0 51652 356 0 0 25 0 1 0 865249680 438317056 94222 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107011 94222 300 300 0 106711 0
vsize: 428044
[startup+530.05 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 164042 0 0 0 52651 357 0 0 25 0 1 0 865249680 438857728 94322 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107143 94322 300 300 0 106843 0
vsize: 428572
[startup+540.05 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 165916 0 0 0 53646 362 0 0 25 0 1 0 865249680 439054336 94351 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107191 94351 300 300 0 106891 0
vsize: 428764
[startup+550.051 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 165921 0 0 0 54646 362 0 0 25 0 1 0 865249680 439054336 94356 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107191 94356 300 300 0 106891 0
vsize: 428764
[startup+560.052 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 165925 0 0 0 55645 363 0 0 25 0 1 0 865249680 439054336 94360 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107191 94360 300 300 0 106891 0
vsize: 428764
[startup+570.052 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 165929 0 0 0 56644 364 0 0 25 0 1 0 865249680 439054336 94364 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107191 94364 300 300 0 106891 0
vsize: 428764
[startup+580.053 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 167800 0 0 0 57639 369 0 0 25 0 1 0 865249680 439250944 94390 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94390 300 300 0 106939 0
vsize: 428956
[startup+590.053 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 167807 0 0 0 58639 370 0 0 25 0 1 0 865249680 439250944 94397 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94397 300 300 0 106939 0
vsize: 428956
[startup+600.057 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 167813 0 0 0 59639 370 0 0 25 0 1 0 865249680 439250944 94403 4294967295 134512640 135726644 3221224576 3221223072 134744113 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94403 300 300 0 106939 0
vsize: 428956
[startup+610.058 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 167819 0 0 0 60638 371 0 0 25 0 1 0 865249680 439250944 94409 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94409 300 300 0 106939 0
vsize: 428956
[startup+620.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 169667 0 0 0 61633 376 0 0 25 0 1 0 865249680 439250944 94412 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94412 300 300 0 106939 0
vsize: 428956
[startup+630.058 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 169685 0 0 0 62633 377 0 0 25 0 1 0 865249680 439250944 94430 4294967295 134512640 135726644 3221224576 3221223088 134742198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94430 300 300 0 106939 0
vsize: 428956
[startup+640.061 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 171533 0 0 0 63628 381 0 0 25 0 1 0 865249680 439250944 94433 4294967295 134512640 135726644 3221224576 3221223072 134743982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94433 300 300 0 106939 0
vsize: 428956
[startup+650.061 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 171539 0 0 0 64628 381 0 0 25 0 1 0 865249680 439250944 94439 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94439 300 300 0 106939 0
vsize: 428956
[startup+660.062 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 171542 0 0 0 65627 382 0 0 25 0 1 0 865249680 439250944 94442 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94442 300 300 0 106939 0
vsize: 428956
[startup+670.165 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 171544 0 0 0 66637 383 0 0 25 0 1 0 865249680 439250944 94444 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94444 300 300 0 106939 0
vsize: 428956
[startup+680.166 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 173390 0 0 0 67631 388 0 0 25 0 1 0 865249680 439250944 94445 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94445 300 300 0 106939 0
vsize: 428956
[startup+690.167 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 173391 0 0 0 68631 389 0 0 25 0 1 0 865249680 439250944 94446 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94446 300 300 0 106939 0
vsize: 428956
[startup+700.168 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 173412 0 0 0 69631 389 0 0 25 0 1 0 865249680 439250944 94467 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94467 300 300 0 106939 0
vsize: 428956
[startup+710.168 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 173414 0 0 0 70630 390 0 0 25 0 1 0 865249680 439250944 94469 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94469 300 300 0 106939 0
vsize: 428956
[startup+720.168 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 173418 0 0 0 71629 391 0 0 25 0 1 0 865249680 439250944 94473 4294967295 134512640 135726644 3221224576 3221223072 134744268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94473 300 300 0 106939 0
vsize: 428956
[startup+730.17 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 173439 0 0 0 72629 392 0 0 25 0 1 0 865249680 439250944 94494 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94494 300 300 0 106939 0
vsize: 428956
[startup+740.17 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 173441 0 0 0 73628 393 0 0 25 0 1 0 865249680 439250944 94496 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94496 300 300 0 106939 0
vsize: 428956
[startup+750.171 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 173445 0 0 0 74627 394 0 0 25 0 1 0 865249680 439250944 94500 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94500 300 300 0 106939 0
vsize: 428956
[startup+760.172 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 175292 0 0 0 75622 399 0 0 25 0 1 0 865249680 439250944 94502 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94502 300 300 0 106939 0
vsize: 428956
[startup+770.172 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 175296 0 0 0 76622 399 0 0 25 0 1 0 865249680 439250944 94506 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94506 300 300 0 106939 0
vsize: 428956
[startup+780.172 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 175298 0 0 0 77621 400 0 0 25 0 1 0 865249680 439250944 94508 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94508 300 300 0 106939 0
vsize: 428956
[startup+790.172 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 175301 0 0 0 78620 401 0 0 25 0 1 0 865249680 439250944 94511 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94511 300 300 0 106939 0
vsize: 428956
[startup+800.173 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 175304 0 0 0 79619 402 0 0 25 0 1 0 865249680 439250944 94514 4294967295 134512640 135726644 3221224576 3221223200 134744503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94514 300 300 0 106939 0
vsize: 428956
[startup+810.173 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 175307 0 0 0 80618 403 0 0 25 0 1 0 865249680 439250944 94517 4294967295 134512640 135726644 3221224576 3221223072 134744169 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94517 300 300 0 106939 0
vsize: 428956
[startup+820.173 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 177154 0 0 0 81613 408 0 0 25 0 1 0 865249680 439250944 94519 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107239 94519 300 300 0 106939 0
vsize: 428956
[startup+830.174 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 177171 0 0 0 82612 409 0 0 25 0 1 0 865249680 439447552 94536 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107287 94536 300 300 0 106987 0
vsize: 429148
[startup+840.18 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 177174 0 0 0 83612 410 0 0 25 0 1 0 865249680 439447552 94539 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107287 94539 300 300 0 106987 0
vsize: 429148
[startup+850.181 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 177188 0 0 0 84612 411 0 0 25 0 1 0 865249680 439447552 94553 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107287 94553 300 300 0 106987 0
vsize: 429148
[startup+860.181 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 179035 0 0 0 85606 417 0 0 25 0 1 0 865249680 439447552 94555 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107287 94555 300 300 0 106987 0
vsize: 429148
[startup+870.181 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 179037 0 0 0 86605 418 0 0 25 0 1 0 865249680 439447552 94557 4294967295 134512640 135726644 3221224576 3221223072 134744268 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107287 94557 300 300 0 106987 0
vsize: 429148
[startup+880.182 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 179043 0 0 0 87604 419 0 0 25 0 1 0 865249680 439447552 94563 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107287 94563 300 300 0 106987 0
vsize: 429148
[startup+890.181 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 3708
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 179051 0 0 0 88603 419 0 0 25 0 1 0 865249680 439447552 94571 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94571 300 300 0 106987 0
vsize: 429148
[startup+900.182 s]
Raw data (loadavg): 1.16 1.03 0.93 2/57 3760
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 180896 0 0 0 89599 424 0 0 25 0 1 0 865249680 439447552 94571 4294967295 134512640 135726644 3221224576 3221223200 134779717 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.183 s]
Raw data (loadavg): 1.13 1.03 0.93 2/54 3761
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 180897 0 0 0 90598 424 0 0 25 0 1 0 865249680 439447552 94572 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94572 300 300 0 106987 0
vsize: 429148
[startup+920.183 s]
Raw data (loadavg): 1.11 1.03 0.93 2/54 3761
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 180898 0 0 0 91597 426 0 0 25 0 1 0 865249680 439447552 94573 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94573 300 300 0 106987 0
vsize: 429148
[startup+930.183 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 3761
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 180899 0 0 0 92597 427 0 0 25 0 1 0 865249680 439447552 94574 4294967295 134512640 135726644 3221224576 3221223072 134744346 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94574 300 300 0 106987 0
vsize: 429148
[startup+940.183 s]
Raw data (loadavg): 1.08 1.03 0.93 2/54 3761
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 180900 0 0 0 93596 427 0 0 25 0 1 0 865249680 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+950.184 s]
Raw data (loadavg): 1.07 1.03 0.93 2/54 3761
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 182745 0 0 0 94592 432 0 0 25 0 1 0 865249680 439447552 94575 4294967295 134512640 135726644 3221224576 3221223200 134744588 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.183 s]
Raw data (loadavg): 1.06 1.03 0.93 2/54 3761
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 182746 0 0 0 95592 432 0 0 25 0 1 0 865249680 439447552 94576 4294967295 134512640 135726644 3221224576 3221223024 134726931 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94576 300 300 0 106987 0
vsize: 429148
[startup+970.183 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 3761
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 182747 0 0 0 96591 433 0 0 25 0 1 0 865249680 439447552 94577 4294967295 134512640 135726644 3221224576 3221223072 134743980 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.184 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 182748 0 0 0 97591 433 0 0 25 0 1 0 865249680 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.184 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 184596 0 0 0 98586 438 0 0 25 0 1 0 865249680 447008768 96426 4294967295 134512640 135726644 3221224576 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109133 96426 300 300 0 108833 0
vsize: 436532
[startup+1000.18 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 184599 0 0 0 99585 439 0 0 25 0 1 0 865249680 439447552 94584 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94584 300 300 0 106987 0
vsize: 429148
[startup+1010.19 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 184613 0 0 0 100585 440 0 0 25 0 1 0 865249680 439447552 94598 4294967295 134512640 135726644 3221224576 3221223072 134743907 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94598 300 300 0 106987 0
vsize: 429148
[startup+1020.18 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 184616 0 0 0 101584 440 0 0 25 0 1 0 865249680 439447552 94601 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94601 300 300 0 106987 0
vsize: 429148
[startup+1030.19 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 184623 0 0 0 102584 441 0 0 25 0 1 0 865249680 439447552 94608 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94608 300 300 0 106987 0
vsize: 429148
[startup+1040.2 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 184626 0 0 0 103585 441 0 0 25 0 1 0 865249680 439447552 94611 4294967295 134512640 135726644 3221224576 3221223072 134744354 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94611 300 300 0 106987 0
vsize: 429148
[startup+1050.2 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 184629 0 0 0 104584 442 0 0 25 0 1 0 865249680 439447552 94614 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94614 300 300 0 106987 0
vsize: 429148
[startup+1060.2 s]
Raw data (loadavg): 1.01 1.02 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 184633 0 0 0 105583 443 0 0 25 0 1 0 865249680 439447552 94618 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 107287 94618 300 300 0 106987 0
vsize: 429148
[startup+1070.2 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 186484 0 0 0 106579 448 0 0 25 0 1 0 865249680 439447552 94624 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94624 300 300 0 106987 0
vsize: 429148
[startup+1080.2 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 186488 0 0 0 107579 448 0 0 25 0 1 0 865249680 439447552 94628 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94628 300 300 0 106987 0
vsize: 429148
[startup+1090.2 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 186495 0 0 0 108578 449 0 0 25 0 1 0 865249680 439447552 94635 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94635 300 300 0 106987 0
vsize: 429148
[startup+1100.2 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 186552 0 0 0 109578 449 0 0 25 0 1 0 865249680 439840768 94692 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94692 300 300 0 107083 0
vsize: 429532
[startup+1110.2 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 188401 0 0 0 110573 454 0 0 25 0 1 0 865249680 439840768 94696 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94696 300 300 0 107083 0
vsize: 429532
[startup+1120.2 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 188421 0 0 0 111573 455 0 0 25 0 1 0 865249680 439840768 94716 4294967295 134512640 135726644 3221224576 3221223164 134743858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94716 300 300 0 107083 0
vsize: 429532
[startup+1130.2 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 188428 0 0 0 112572 456 0 0 25 0 1 0 865249680 439840768 94723 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94723 300 300 0 107083 0
vsize: 429532
[startup+1140.2 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 190317 0 0 0 113567 460 0 0 25 0 1 0 865249680 447672320 96612 4294967295 134512640 135726644 3221224576 3221222736 134769085 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109295 96612 300 300 0 108995 0
vsize: 437180
[startup+1150.2 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 190318 0 0 0 114567 461 0 0 25 0 1 0 865249680 440111104 94768 4294967295 134512640 135726644 3221224576 3221223200 134744656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94768 300 300 0 107149 0
vsize: 429796
[startup+1160.2 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 190319 0 0 0 115566 462 0 0 25 0 1 0 865249680 440111104 94769 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94769 300 300 0 107149 0
vsize: 429796
[startup+1170.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 190321 0 0 0 116566 463 0 0 25 0 1 0 865249680 440111104 94771 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94771 300 300 0 107149 0
vsize: 429796
[startup+1180.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 192256 0 0 0 117561 468 0 0 25 0 1 0 865249680 448077824 96706 4294967295 134512640 135726644 3221224576 3221222736 134765234 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109394 96706 300 300 0 109094 0
vsize: 437576
[startup+1190.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 192256 0 0 0 118559 469 0 0 25 0 1 0 865249680 440516608 94861 4294967295 134512640 135726644 3221224576 3221223072 134744069 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.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 192261 0 0 0 119559 469 0 0 25 0 1 0 865249680 440516608 94866 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107548 94866 300 300 0 107248 0
vsize: 430192
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.29 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 3763
Raw data (stat): 3708 (pb2sat) R 3707 24172 24171 0 -1 0 192261 0 0 0 119559 469 0 0 25 0 1 0 865249680 440516608 94866 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107548 94866 300 300 0 107248 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.29
CPU time (s): 1202.38
CPU user time (s): 1197.5
CPU system time (s): 4.88326
CPU usage (%): 100.007
Max. virtual memory (Kb): 437576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####