PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-seymour.opb
MD5SUM	7a556e7a6f3a7d80c9337cf46e294ecb
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.05484
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 35302

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc9 THE 2005-05-28 12:28:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24530 boxname=wulflinc9 idbench=1002 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  7a556e7a6f3a7d80c9337cf46e294ecb  /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-seymour.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc9/normalized-mps-v2-20-10-seymour.opb
IDLAUNCH: 24530
/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	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        703712 kB
Buffers:         35468 kB
Cached:         271544 kB
SwapCached:        552 kB
Active:          18740 kB
Inactive:       290284 kB
HighTotal:      131008 kB
HighFree:         1764 kB
LowTotal:       903652 kB
LowFree:        701948 kB
SwapTotal:     2097136 kB
SwapFree:      2095648 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            16352 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:48:44 (client local time) WITH STATUS 0 IN 1202.33 SECONDS
stats: 24530 7 1202.33 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.121/86400
Decision: 691645/944638	Time: 280.612/86400
Decision: 691645/944638	Time: 329.326/86400
Decision: 691645/944638	Time: 362.946/86400
Decision: 691645/944638	Time: 393.083/86400
Decision: 692772/944638	Time: 446.944/86400
Decision: 692774/944638	Time: 487.665/86400
Decision: 693902/944638	Time: 531.403/86400
Decision: 693902/944638	Time: 566.436/86400
Decision: 693902/944638	Time: 586.131/86400
Decision: 693902/944638	Time: 629.037/86400
Decision: 693902/944638	Time: 669.813/86400
Decision: 693902/944638	Time: 710.642/86400
Decision: 693966/944638	Time: 769.255/86400
Decision: 693966/944638	Time: 812.373/86400
Decision: 693966/944638	Time: 855.368/86400
Decision: 693966/944638	Time: 902.664/86400
Decision: 693966/944638	Time: 944.3/86400
Decision: 696205/944638	Time: 1020.84/86400
Decision: 696205/944638	Time: 1054.76/86400
Decision: 696205/944638	Time: 1096.6/86400
Decision: 696205/944638	Time: 1132.35/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.92 0.94 0.90 1/54 19082
Raw data (stat): 19082 (runsolver) R 19081 3944 3943 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806583029 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.0042 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 29371 0 0 0 935 64 0 0 25 0 1 0 806583029 88952832 18466 4294967295 134512640 135726644 3221224576 3221077264 134767007 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21717 18467 300 300 0 21417 0
vsize: 86868
[startup+20.0133 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 57650 0 0 0 1876 124 0 0 25 0 1 0 806583029 174538752 35791 4294967295 134512640 135726644 3221224576 3221081256 135281876 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42612 35791 300 300 0 42312 0
vsize: 170448
[startup+30.0153 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 97826 0 0 0 2796 204 0 0 25 0 1 0 806583029 298098688 54291 4294967295 134512640 135726644 3221224576 3221038528 134554566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72778 54291 300 300 0 72478 0
vsize: 291112
[startup+40.0155 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 113370 0 0 0 3764 237 0 0 25 0 1 0 806583029 344494080 69613 4294967295 134512640 135726644 3221224576 3221148632 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84105 69613 300 300 0 83805 0
vsize: 336420
[startup+50.016 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 127442 0 0 0 4735 265 0 0 25 0 1 0 806583029 374349824 83566 4294967295 134512640 135726644 3221224576 3221222884 134765517 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.0207 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 130219 0 0 0 5729 272 0 0 25 0 1 0 806583029 374149120 82851 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 91345 82851 300 300 0 91045 0
vsize: 365380
[startup+70.026 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 133382 0 0 0 6723 278 0 0 25 0 1 0 806583029 381915136 84409 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 93241 84409 300 300 0 92941 0
vsize: 372964
[startup+80.0271 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 135578 0 0 0 7718 283 0 0 25 0 1 0 806583029 387710976 85404 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 94656 85405 300 300 0 94356 0
vsize: 378624
[startup+90.0269 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 138222 0 0 0 8713 289 0 0 25 0 1 0 806583029 394944512 86509 4294967295 134512640 135726644 3221224576 3221222896 134728892 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.032 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 139596 0 0 0 9711 291 0 0 25 0 1 0 806583029 398495744 87202 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97289 87202 300 300 0 96989 0
vsize: 389156
[startup+110.031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 141185 0 0 0 10710 293 0 0 25 0 1 0 806583029 402780160 87979 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98335 87979 300 300 0 98035 0
vsize: 393340
[startup+120.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 142370 0 0 0 11708 296 0 0 25 0 1 0 806583029 406224896 88610 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99176 88610 300 300 0 98876 0
vsize: 396704
[startup+130.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 143025 0 0 0 12706 297 0 0 25 0 1 0 806583029 408006656 88924 4294967295 134512640 135726644 3221224576 3221222912 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99611 88924 300 300 0 99311 0
vsize: 398444
[startup+140.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 143841 0 0 0 13705 298 0 0 25 0 1 0 806583029 409976832 89316 4294967295 134512640 135726644 3221224576 3221223200 134744588 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100092 89317 300 300 0 99792 0
vsize: 400368
[startup+150.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 144644 0 0 0 14704 300 0 0 25 0 1 0 806583029 412340224 89602 4294967295 134512640 135726644 3221224576 3221223240 134745066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100669 89602 300 300 0 100369 0
vsize: 402676
[startup+160.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 144771 0 0 0 15704 300 0 0 25 0 1 0 806583029 412602368 89664 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100733 89664 300 300 0 100433 0
vsize: 402932
[startup+170.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 144912 0 0 0 16704 301 0 0 25 0 1 0 806583029 413130752 89740 4294967295 134512640 135726644 3221224576 3221223232 134731258 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 100862 89740 300 300 0 100562 0
vsize: 403448
[startup+180.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 145605 0 0 0 17702 302 0 0 25 0 1 0 806583029 415641600 90140 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101475 90140 300 300 0 101175 0
vsize: 405900
[startup+190.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 145933 0 0 0 18702 303 0 0 25 0 1 0 806583029 416698368 90338 4294967295 134512640 135726644 3221224576 3221223072 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 101733 90338 300 300 0 101433 0
vsize: 406932
[startup+200.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 146526 0 0 0 19701 304 0 0 25 0 1 0 806583029 418283520 90670 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102120 90670 300 300 0 101820 0
vsize: 408480
[startup+210.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 147567 0 0 0 20699 306 0 0 25 0 1 0 806583029 421838848 91210 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102988 91210 300 300 0 102688 0
vsize: 411952
[startup+220.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 148291 0 0 0 21698 308 0 0 25 0 1 0 806583029 424214528 91546 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103568 91546 300 300 0 103268 0
vsize: 414272
[startup+230.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 149140 0 0 0 22696 309 0 0 25 0 1 0 806583029 426708992 91910 4294967295 134512640 135726644 3221224576 3221223264 134744911 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.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 149144 0 0 0 23697 310 0 0 25 0 1 0 806583029 426708992 91914 4294967295 134512640 135726644 3221224576 3221222896 134728892 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.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 149531 0 0 0 24696 311 0 0 25 0 1 0 806583029 428027904 92106 4294967295 134512640 135726644 3221224576 3221222896 134728892 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.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 149554 0 0 0 25696 311 0 0 25 0 1 0 806583029 428027904 92129 4294967295 134512640 135726644 3221224576 3221223072 134744043 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.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 149579 0 0 0 26696 312 0 0 25 0 1 0 806583029 428027904 92154 4294967295 134512640 135726644 3221224576 3221223232 134731263 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.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 149728 0 0 0 27695 313 0 0 25 0 1 0 806583029 428556288 92238 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104628 92238 300 300 0 104328 0
vsize: 418512
[startup+290.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 151754 0 0 0 28690 317 0 0 25 0 1 0 806583029 429219840 92354 4294967295 134512640 135726644 3221224576 3221223200 134779655 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.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 151893 0 0 0 29689 318 0 0 25 0 1 0 806583029 429481984 92428 4294967295 134512640 135726644 3221224576 3221223168 134743857 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.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 151894 0 0 0 30689 319 0 0 25 0 1 0 806583029 429481984 92429 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 104854 92429 300 300 0 104554 0
vsize: 419416
[startup+320.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 152015 0 0 0 31689 319 0 0 25 0 1 0 806583029 430219264 92550 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105034 92550 300 300 0 104734 0
vsize: 420136
[startup+330.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 153983 0 0 0 32683 325 0 0 25 0 1 0 806583029 430616576 92608 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105131 92608 300 300 0 104831 0
vsize: 420524
[startup+340.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 154979 0 0 0 33681 327 0 0 25 0 1 0 806583029 433393664 93113 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 105809 93113 300 300 0 105509 0
vsize: 423236
[startup+350.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 155261 0 0 0 34680 328 0 0 25 0 1 0 806583029 434327552 93363 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106037 93363 300 300 0 105737 0
vsize: 424148
[startup+360.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 155460 0 0 0 35680 329 0 0 25 0 1 0 806583029 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.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 155864 0 0 0 36679 330 0 0 25 0 1 0 806583029 436445184 93770 4294967295 134512640 135726644 3221224576 3221223200 134744550 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.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 157712 0 0 0 37674 335 0 0 25 0 1 0 806583029 436445184 93773 4294967295 134512640 135726644 3221224576 3221223232 134731192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106554 93773 300 300 0 106254 0
vsize: 426216
[startup+390.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 157718 0 0 0 38674 335 0 0 25 0 1 0 806583029 436445184 93779 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106554 93779 300 300 0 106254 0
vsize: 426216
[startup+400.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 157744 0 0 0 39674 335 0 0 25 0 1 0 806583029 436445184 93805 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106554 93805 300 300 0 106254 0
vsize: 426216
[startup+410.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 159789 0 0 0 40670 340 0 0 25 0 1 0 806583029 444534784 95784 4294967295 134512640 135726644 3221224576 3221222752 134769129 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108529 95784 300 300 0 108229 0
vsize: 434116
[startup+420.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 159817 0 0 0 41668 341 0 0 25 0 1 0 806583029 436973568 93967 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106683 93967 300 300 0 106383 0
vsize: 426732
[startup+430.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 159822 0 0 0 42668 341 0 0 25 0 1 0 806583029 436973568 93972 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106683 93972 300 300 0 106383 0
vsize: 426732
[startup+440.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 161671 0 0 0 43664 345 0 0 25 0 1 0 806583029 444534784 95821 4294967295 134512640 135726644 3221224576 3221222728 134761841 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108529 95821 300 300 0 108229 0
vsize: 434116
[startup+450.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 161673 0 0 0 44664 346 0 0 25 0 1 0 806583029 436973568 93978 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106683 93978 300 300 0 106383 0
vsize: 426732
[startup+460.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 161705 0 0 0 45663 346 0 0 25 0 1 0 806583029 437108736 94010 4294967295 134512640 135726644 3221224576 3221223184 134741266 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106716 94010 300 300 0 106416 0
vsize: 426864
[startup+470.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 161750 0 0 0 46663 347 0 0 25 0 1 0 806583029 437379072 94055 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106782 94055 300 300 0 106482 0
vsize: 427128
[startup+480.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 161766 0 0 0 47662 348 0 0 25 0 1 0 806583029 437379072 94071 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106782 94071 300 300 0 106482 0
vsize: 427128
[startup+490.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 163618 0 0 0 48659 351 0 0 25 0 1 0 806583029 444940288 95923 4294967295 134512640 135726644 3221224576 3221222736 134765518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 108628 95923 300 300 0 108328 0
vsize: 434512
[startup+500.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 163619 0 0 0 49658 352 0 0 25 0 1 0 806583029 437379072 94079 4294967295 134512640 135726644 3221224576 3221223264 134744832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106782 94079 300 300 0 106482 0
vsize: 427128
[startup+510.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 163743 0 0 0 50658 353 0 0 25 0 1 0 806583029 437915648 94170 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106913 94170 300 300 0 106613 0
vsize: 427652
[startup+520.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 163828 0 0 0 51657 354 0 0 25 0 1 0 806583029 438317056 94222 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107011 94222 300 300 0 106711 0
vsize: 428044
[startup+530.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 163928 0 0 0 52657 354 0 0 25 0 1 0 806583029 438857728 94322 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107143 94322 300 300 0 106843 0
vsize: 428572
[startup+540.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 165800 0 0 0 53652 359 0 0 25 0 1 0 806583029 439054336 94349 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94349 300 300 0 106891 0
vsize: 428764
[startup+550.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 165806 0 0 0 54651 360 0 0 25 0 1 0 806583029 439054336 94355 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94355 300 300 0 106891 0
vsize: 428764
[startup+560.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 165810 0 0 0 55651 360 0 0 25 0 1 0 806583029 439054336 94359 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94359 300 300 0 106891 0
vsize: 428764
[startup+570.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 165814 0 0 0 56651 361 0 0 25 0 1 0 806583029 439054336 94363 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107191 94363 300 300 0 106891 0
vsize: 428764
[startup+580.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 167684 0 0 0 57647 365 0 0 25 0 1 0 806583029 439250944 94388 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94388 300 300 0 106939 0
vsize: 428956
[startup+590.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 167691 0 0 0 58646 365 0 0 25 0 1 0 806583029 439250944 94395 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94395 300 300 0 106939 0
vsize: 428956
[startup+600.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 167697 0 0 0 59647 365 0 0 25 0 1 0 806583029 439250944 94401 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94401 300 300 0 106939 0
vsize: 428956
[startup+610.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 167704 0 0 0 60647 366 0 0 25 0 1 0 806583029 439250944 94408 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94408 300 300 0 106939 0
vsize: 428956
[startup+620.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 169552 0 0 0 61642 370 0 0 25 0 1 0 806583029 439250944 94411 4294967295 134512640 135726644 3221224576 3221223232 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94411 300 300 0 106939 0
vsize: 428956
[startup+630.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 169569 0 0 0 62642 371 0 0 25 0 1 0 806583029 439250944 94428 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94428 300 300 0 106939 0
vsize: 428956
[startup+640.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 171418 0 0 0 63638 375 0 0 25 0 1 0 806583029 439250944 94432 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94432 300 300 0 106939 0
vsize: 428956
[startup+650.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 171424 0 0 0 64637 375 0 0 25 0 1 0 806583029 439250944 94438 4294967295 134512640 135726644 3221224576 3221223264 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94438 300 300 0 106939 0
vsize: 428956
[startup+660.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 171426 0 0 0 65637 375 0 0 25 0 1 0 806583029 439250944 94440 4294967295 134512640 135726644 3221224576 3221223200 134744578 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94440 300 300 0 106939 0
vsize: 428956
[startup+670.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 171429 0 0 0 66637 376 0 0 25 0 1 0 806583029 439250944 94443 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94443 300 300 0 106939 0
vsize: 428956
[startup+680.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 173275 0 0 0 67633 381 0 0 25 0 1 0 806583029 439250944 94444 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94444 300 300 0 106939 0
vsize: 428956
[startup+690.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 173276 0 0 0 68632 381 0 0 25 0 1 0 806583029 439250944 94445 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94445 300 300 0 106939 0
vsize: 428956
[startup+700.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 173295 0 0 0 69632 381 0 0 25 0 1 0 806583029 439250944 94464 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94464 300 300 0 106939 0
vsize: 428956
[startup+710.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 173297 0 0 0 70632 381 0 0 25 0 1 0 806583029 439250944 94466 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94466 300 300 0 106939 0
vsize: 428956
[startup+720.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 173302 0 0 0 71632 381 0 0 25 0 1 0 806583029 439250944 94471 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94471 300 300 0 106939 0
vsize: 428956
[startup+730.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 173321 0 0 0 72632 382 0 0 25 0 1 0 806583029 439250944 94490 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94490 300 300 0 106939 0
vsize: 428956
[startup+740.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 173324 0 0 0 73632 382 0 0 25 0 1 0 806583029 439250944 94493 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94493 300 300 0 106939 0
vsize: 428956
[startup+750.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 173328 0 0 0 74632 383 0 0 25 0 1 0 806583029 439250944 94497 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94497 300 300 0 106939 0
vsize: 428956
[startup+760.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 175175 0 0 0 75628 387 0 0 25 0 1 0 806583029 439250944 94499 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94499 300 300 0 106939 0
vsize: 428956
[startup+770.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 175179 0 0 0 76628 387 0 0 25 0 1 0 806583029 439250944 94503 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94503 300 300 0 106939 0
vsize: 428956
[startup+780.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 175181 0 0 0 77627 387 0 0 25 0 1 0 806583029 439250944 94505 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94505 300 300 0 106939 0
vsize: 428956
[startup+790.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 175184 0 0 0 78627 388 0 0 25 0 1 0 806583029 439250944 94508 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94508 300 300 0 106939 0
vsize: 428956
[startup+800.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 175187 0 0 0 79627 388 0 0 25 0 1 0 806583029 439250944 94511 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94511 300 300 0 106939 0
vsize: 428956
[startup+810.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 175190 0 0 0 80627 388 0 0 25 0 1 0 806583029 439250944 94514 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94514 300 300 0 106939 0
vsize: 428956
[startup+820.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 177036 0 0 0 81623 393 0 0 25 0 1 0 806583029 439250944 94515 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107239 94515 300 300 0 106939 0
vsize: 428956
[startup+830.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 177055 0 0 0 82623 393 0 0 25 0 1 0 806583029 439447552 94534 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94534 300 300 0 106987 0
vsize: 429148
[startup+840.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 177058 0 0 0 83623 393 0 0 25 0 1 0 806583029 439447552 94537 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94537 300 300 0 106987 0
vsize: 429148
[startup+850.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 177071 0 0 0 84622 394 0 0 25 0 1 0 806583029 439447552 94550 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94550 300 300 0 106987 0
vsize: 429148
[startup+860.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 178919 0 0 0 85618 398 0 0 25 0 1 0 806583029 447008768 96398 4294967295 134512640 135726644 3221224576 3221222736 134765226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109133 96398 300 300 0 108833 0
vsize: 436532
[startup+870.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 178921 0 0 0 86618 399 0 0 25 0 1 0 806583029 439447552 94555 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94555 300 300 0 106987 0
vsize: 429148
[startup+880.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 178926 0 0 0 87617 399 0 0 25 0 1 0 806583029 439447552 94560 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94560 300 300 0 106987 0
vsize: 429148
[startup+890.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 178934 0 0 0 88617 400 0 0 25 0 1 0 806583029 439447552 94568 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94568 300 300 0 106987 0
vsize: 429148
[startup+900.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 180780 0 0 0 89613 404 0 0 25 0 1 0 806583029 439447552 94569 4294967295 134512640 135726644 3221224576 3221223200 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94569 300 300 0 106987 0
vsize: 429148
[startup+910.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 180781 0 0 0 90613 405 0 0 25 0 1 0 806583029 439447552 94570 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94570 300 300 0 106987 0
vsize: 429148
[startup+920.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 180781 0 0 0 91613 405 0 0 25 0 1 0 806583029 439447552 94570 4294967295 134512640 135726644 3221224576 3221223072 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94570 300 300 0 106987 0
vsize: 429148
[startup+930.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 180783 0 0 0 92613 405 0 0 25 0 1 0 806583029 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+940.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 180783 0 0 0 93613 405 0 0 25 0 1 0 806583029 439447552 94572 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94572 300 300 0 106987 0
vsize: 429148
[startup+950.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 182629 0 0 0 94608 410 0 0 25 0 1 0 806583029 447008768 96418 4294967295 134512640 135726644 3221224576 3221222712 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109133 96418 300 300 0 108833 0
vsize: 436532
[startup+960.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 182630 0 0 0 95608 411 0 0 25 0 1 0 806583029 439447552 94574 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94574 300 300 0 106987 0
vsize: 429148
[startup+970.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 182631 0 0 0 96608 411 0 0 25 0 1 0 806583029 439447552 94575 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94575 300 300 0 106987 0
vsize: 429148
[startup+980.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 182632 0 0 0 97608 411 0 0 25 0 1 0 806583029 439447552 94576 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94576 300 300 0 106987 0
vsize: 429148
[startup+990.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 182635 0 0 0 98608 411 0 0 25 0 1 0 806583029 439447552 94579 4294967295 134512640 135726644 3221224576 3221223088 134742493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94579 300 300 0 106987 0
vsize: 429148
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 184483 0 0 0 99603 416 0 0 25 0 1 0 806583029 439447552 94582 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94582 300 300 0 106987 0
vsize: 429148
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 184496 0 0 0 100603 416 0 0 25 0 1 0 806583029 439447552 94595 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94595 300 300 0 106987 0
vsize: 429148
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 184499 0 0 0 101603 416 0 0 25 0 1 0 806583029 439447552 94598 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94598 300 300 0 106987 0
vsize: 429148
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 184506 0 0 0 102603 417 0 0 25 0 1 0 806583029 439447552 94605 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94605 300 300 0 106987 0
vsize: 429148
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 184508 0 0 0 103603 417 0 0 25 0 1 0 806583029 439447552 94607 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94607 300 300 0 106987 0
vsize: 429148
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 184512 0 0 0 104603 418 0 0 25 0 1 0 806583029 439447552 94611 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94611 300 300 0 106987 0
vsize: 429148
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 184515 0 0 0 105603 418 0 0 25 0 1 0 806583029 439447552 94614 4294967295 134512640 135726644 3221224576 3221223200 134744532 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94614 300 300 0 106987 0
vsize: 429148
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 186367 0 0 0 106599 422 0 0 25 0 1 0 806583029 439447552 94621 4294967295 134512640 135726644 3221224576 3221223264 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94621 300 300 0 106987 0
vsize: 429148
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 186370 0 0 0 107598 423 0 0 25 0 1 0 806583029 439447552 94624 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94624 300 300 0 106987 0
vsize: 429148
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 186378 0 0 0 108598 423 0 0 25 0 1 0 806583029 439447552 94632 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107287 94632 300 300 0 106987 0
vsize: 429148
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 186432 0 0 0 109598 424 0 0 25 0 1 0 806583029 439840768 94686 4294967295 134512640 135726644 3221224576 3221223088 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94686 300 300 0 107083 0
vsize: 429532
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 188281 0 0 0 110593 429 0 0 25 0 1 0 806583029 439840768 94690 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94690 300 300 0 107083 0
vsize: 429532
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 188300 0 0 0 111593 430 0 0 25 0 1 0 806583029 439840768 94709 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94709 300 300 0 107083 0
vsize: 429532
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 188307 0 0 0 112593 430 0 0 25 0 1 0 806583029 439840768 94716 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107383 94716 300 300 0 107083 0
vsize: 429532
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 190197 0 0 0 113588 435 0 0 25 0 1 0 806583029 447672320 96606 4294967295 134512640 135726644 3221224576 3221222752 134765226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109295 96606 300 300 0 108995 0
vsize: 437180
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 190198 0 0 0 114588 435 0 0 25 0 1 0 806583029 440111104 94762 4294967295 134512640 135726644 3221224576 3221223072 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94762 300 300 0 107149 0
vsize: 429796
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 190199 0 0 0 115588 435 0 0 25 0 1 0 806583029 440111104 94763 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94763 300 300 0 107149 0
vsize: 429796
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 190201 0 0 0 116588 436 0 0 25 0 1 0 806583029 440111104 94765 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107449 94765 300 300 0 107149 0
vsize: 429796
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 192136 0 0 0 117584 440 0 0 25 0 1 0 806583029 448077824 96700 4294967295 134512640 135726644 3221224576 3221222848 134770881 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109394 96700 300 300 0 109094 0
vsize: 437576
[startup+1190.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 192136 0 0 0 118583 440 0 0 25 0 1 0 806583029 440516608 94855 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107548 94855 300 300 0 107248 0
vsize: 430192
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 192141 0 0 0 119584 441 0 0 25 0 1 0 806583029 440516608 94860 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107548 94860 300 300 0 107248 0
vsize: 430192
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.17 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19082
Raw data (stat): 19082 (pb2sat) R 19081 3944 3943 0 -1 0 192141 0 0 0 119584 441 0 0 25 0 1 0 806583029 440516608 94860 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107548 94860 300 300 0 107248 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.17
CPU time (s): 1202.33
CPU user time (s): 1197.73
CPU system time (s): 4.5973
CPU usage (%): 100.013
Max. virtual memory (Kb): 437576
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####