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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb56-25-opb/normalized-frb56-25-3.opb
MD5SUM	3f087816af6a7fb75be2e9f81cc24df7
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-41
Optimality of the best value was proved	NO
Number of terms in the objective function	1400
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	1400
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	1400
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	1175.11
Number of variables	1400
Total number of constraints	109379
Number of constraints which are clauses	109379
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 34993

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-28 11:36:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24272 boxname=wulflinc28 idbench=346 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3f087816af6a7fb75be2e9f81cc24df7  /oldhome/oroussel/tmp/wulflinc28/normalized-frb56-25-3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc28/normalized-frb56-25-3.opb
IDLAUNCH: 24272
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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.077
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:        691676 kB
Buffers:         40240 kB
Cached:         260900 kB
SwapCached:        780 kB
Active:          21240 kB
Inactive:       299996 kB
HighTotal:      131008 kB
HighFree:         7952 kB
LowTotal:       903652 kB
LowFree:        683724 kB
SwapTotal:     2097640 kB
SwapFree:      2096164 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5460 kB
Slab:            16064 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 11:56:37 (client local time) WITH STATUS 0 IN 1202.42 SECONDS
stats: 24272 7 1202.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 529047/983516	Time: 180.033/86400
Decision: 529047/983516	Time: 290.758/86400
Decision: 564049/983516	Time: 413.8/86400
Decision: 592923/983516	Time: 890.69/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.84 0.94 0.90 2/54 5902
Raw data (stat): 5902 (runsolver) R 5901 24821 24820 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864499242 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.0012 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 29638 0 0 0 937 62 0 0 25 0 1 0 864499242 89354240 18730 4294967295 134512640 135726644 3221224592 3221094624 134558137 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21815 18731 300 300 0 21515 0
vsize: 87260
[startup+20.0018 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 58236 0 0 0 1876 122 0 0 25 0 1 0 864499242 175480832 36370 4294967295 134512640 135726644 3221224592 3221137280 134767123 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42842 36370 300 300 0 42542 0
vsize: 171368
[startup+30.0013 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 98184 0 0 0 2793 206 0 0 25 0 1 0 864499242 331784192 54643 4294967295 134512640 135726644 3221224592 3221208816 134780348 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81002 54643 300 300 0 80702 0
vsize: 324008
[startup+40.0023 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 114540 0 0 0 3761 239 0 0 25 0 1 0 864499242 346247168 70770 4294967295 134512640 135726644 3221224592 3221115008 134607669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84533 70771 300 300 0 84233 0
vsize: 338132
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 127830 0 0 0 4729 270 0 0 25 0 1 0 864499242 365035520 83916 4294967295 134512640 135726644 3221224592 3221221792 134576060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89120 83916 300 300 0 88820 0
vsize: 356480
[startup+60.0034 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 137146 0 0 0 5706 293 0 0 25 0 1 0 864499242 391921664 90314 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95684 90314 300 300 0 95384 0
vsize: 382736
[startup+70.0044 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 139959 0 0 0 6701 298 0 0 25 0 1 0 864499242 399638528 91689 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 97568 91689 300 300 0 97268 0
vsize: 390272
[startup+80.0047 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 141790 0 0 0 7697 302 0 0 25 0 1 0 864499242 405049344 92561 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98889 92561 300 300 0 98589 0
vsize: 395556
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.95 0.91 3/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 141795 0 0 0 8696 303 0 0 25 0 1 0 864499242 405213184 92566 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 98929 92566 300 300 0 98629 0
vsize: 395716
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 142735 0 0 0 9694 306 0 0 25 0 1 0 864499242 408272896 93022 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99676 93022 300 300 0 99376 0
vsize: 398704
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 145448 0 0 0 10689 311 0 0 25 0 1 0 864499242 417800192 94680 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 102002 94680 300 300 0 101702 0
vsize: 408008
[startup+120.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 147555 0 0 0 11686 315 0 0 25 0 1 0 864499242 423890944 95772 4294967295 134512640 135726644 3221224592 3221223136 134736624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 103489 95772 300 300 0 103189 0
vsize: 413956
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 151232 0 0 0 12679 322 0 0 25 0 1 0 864499242 434450432 97429 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106067 97429 300 300 0 105767 0
vsize: 424268
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 152516 0 0 0 13677 323 0 0 25 0 1 0 864499242 437882880 98060 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 106905 98060 300 300 0 106605 0
vsize: 427620
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 153615 0 0 0 14675 326 0 0 25 0 1 0 864499242 441040896 98478 4294967295 134512640 135726644 3221224592 3221223184 134760422 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 107676 98478 300 300 0 107376 0
vsize: 430704
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 155940 0 0 0 15672 329 0 0 25 0 1 0 864499242 447365120 99503 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109220 99503 300 300 0 108920 0
vsize: 436880
[startup+170.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 156140 0 0 0 16672 330 0 0 25 0 1 0 864499242 447889408 99574 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109348 99574 300 300 0 109048 0
vsize: 437392
[startup+180.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 156141 0 0 0 17672 330 0 0 25 0 1 0 864499242 447889408 99575 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109348 99575 300 300 0 109048 0
vsize: 437392
[startup+190.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 156322 0 0 0 18672 330 0 0 25 0 1 0 864499242 448413696 99627 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109476 99627 300 300 0 109176 0
vsize: 437904
[startup+200.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 158862 0 0 0 19667 335 0 0 25 0 1 0 864499242 455004160 100834 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111085 100834 300 300 0 110785 0
vsize: 444340
[startup+210.008 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 162288 0 0 0 20661 341 0 0 25 0 1 0 864499242 464216064 102281 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 113334 102281 300 300 0 113034 0
vsize: 453336
[startup+220.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 165149 0 0 0 21656 346 0 0 25 0 1 0 864499242 471584768 103553 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115133 103553 300 300 0 114833 0
vsize: 460532
[startup+230.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 168682 0 0 0 22648 354 0 0 25 0 1 0 864499242 475795456 104257 4294967295 134512640 135726644 3221224592 3221223216 134779717 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116161 104257 300 300 0 115861 0
vsize: 464644
[startup+240.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 168698 0 0 0 23648 355 0 0 25 0 1 0 864499242 475795456 104273 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116161 104273 300 300 0 115861 0
vsize: 464644
[startup+250.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 168698 0 0 0 24648 355 0 0 25 0 1 0 864499242 475795456 104273 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116161 104273 300 300 0 115861 0
vsize: 464644
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 169312 0 0 0 25646 356 0 0 25 0 1 0 864499242 477642752 104529 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116612 104529 300 300 0 116312 0
vsize: 466448
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 169657 0 0 0 26646 357 0 0 25 0 1 0 864499242 478433280 104712 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116805 104712 300 300 0 116505 0
vsize: 467220
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 169676 0 0 0 27646 357 0 0 25 0 1 0 864499242 478568448 104731 4294967295 134512640 135726644 3221224592 3221223184 134760400 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116838 104731 300 300 0 116538 0
vsize: 467352
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 169698 0 0 0 28646 357 0 0 25 0 1 0 864499242 478703616 104753 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116871 104753 300 300 0 116571 0
vsize: 467484
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 169749 0 0 0 29646 357 0 0 25 0 1 0 864499242 478834688 104771 4294967295 134512640 135726644 3221224592 3221223088 134743898 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 116903 104771 300 300 0 116603 0
vsize: 467612
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 169969 0 0 0 30646 358 0 0 25 0 1 0 864499242 479363072 104893 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117032 104893 300 300 0 116732 0
vsize: 468128
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 170124 0 0 0 31645 358 0 0 25 0 1 0 864499242 479891456 104950 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117161 104950 300 300 0 116861 0
vsize: 468644
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 170161 0 0 0 32645 359 0 0 25 0 1 0 864499242 479891456 104987 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117161 104987 300 300 0 116861 0
vsize: 468644
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 170320 0 0 0 33645 359 0 0 25 0 1 0 864499242 480415744 105017 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 117289 105017 300 300 0 116989 0
vsize: 469156
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 174256 0 0 0 34636 367 0 0 25 0 1 0 864499242 486096896 105991 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 118676 105991 300 300 0 118376 0
vsize: 474704
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 175330 0 0 0 35634 369 0 0 25 0 1 0 864499242 489611264 106624 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 119534 106624 300 300 0 119234 0
vsize: 478136
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 177702 0 0 0 36630 374 0 0 25 0 1 0 864499242 496922624 107775 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 121319 107775 300 300 0 121019 0
vsize: 485276
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 179562 0 0 0 37626 378 0 0 25 0 1 0 864499242 502870016 108798 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 122771 108798 300 300 0 122471 0
vsize: 491084
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 180475 0 0 0 38624 380 0 0 25 0 1 0 864499242 505929728 109353 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123518 109353 300 300 0 123218 0
vsize: 494072
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 181007 0 0 0 39624 381 0 0 25 0 1 0 864499242 507379712 109592 4294967295 134512640 135726644 3221224592 3221223216 134744676 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123872 109592 300 300 0 123572 0
vsize: 495488
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 181056 0 0 0 40624 381 0 0 25 0 1 0 864499242 507514880 109641 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 123905 109641 300 300 0 123605 0
vsize: 495620
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 181383 0 0 0 41623 381 0 0 25 0 1 0 864499242 508432384 109741 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124129 109741 300 300 0 123829 0
vsize: 496516
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 181456 0 0 0 42623 382 0 0 25 0 1 0 864499242 508432384 109814 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124129 109814 300 300 0 123829 0
vsize: 496516
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 181936 0 0 0 43623 382 0 0 25 0 1 0 864499242 509612032 110002 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124417 110002 300 300 0 124117 0
vsize: 497668
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 181980 0 0 0 44623 383 0 0 25 0 1 0 864499242 509612032 110046 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124417 110046 300 300 0 124117 0
vsize: 497668
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 181981 0 0 0 45623 383 0 0 25 0 1 0 864499242 509612032 110047 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124417 110047 300 300 0 124117 0
vsize: 497668
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 184013 0 0 0 46617 388 0 0 25 0 1 0 864499242 510214144 110158 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 124564 110158 300 300 0 124264 0
vsize: 498256
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 185139 0 0 0 47614 391 0 0 25 0 1 0 864499242 513581056 110732 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125386 110732 300 300 0 125086 0
vsize: 501544
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 185721 0 0 0 48613 392 0 0 25 0 1 0 864499242 515731456 111118 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 125911 111118 300 300 0 125611 0
vsize: 503644
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187159 0 0 0 49611 395 0 0 25 0 1 0 864499242 519151616 111811 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126746 111811 300 300 0 126446 0
vsize: 506984
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187412 0 0 0 50610 395 0 0 25 0 1 0 864499242 519675904 111935 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 111935 300 300 0 126574 0
vsize: 507496
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187419 0 0 0 51610 395 0 0 25 0 1 0 864499242 519675904 111942 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 111942 300 300 0 126574 0
vsize: 507496
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187477 0 0 0 52610 396 0 0 25 0 1 0 864499242 519675904 112000 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 112000 300 300 0 126574 0
vsize: 507496
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187480 0 0 0 53611 396 0 0 25 0 1 0 864499242 519675904 112003 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 112003 300 300 0 126574 0
vsize: 507496
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187485 0 0 0 54611 396 0 0 25 0 1 0 864499242 519675904 112008 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 112008 300 300 0 126574 0
vsize: 507496
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187489 0 0 0 55611 396 0 0 25 0 1 0 864499242 519675904 112012 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 112012 300 300 0 126574 0
vsize: 507496
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187526 0 0 0 56611 396 0 0 25 0 1 0 864499242 519675904 112049 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 112049 300 300 0 126574 0
vsize: 507496
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187531 0 0 0 57611 396 0 0 25 0 1 0 864499242 519675904 112054 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 112054 300 300 0 126574 0
vsize: 507496
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187543 0 0 0 58610 397 0 0 25 0 1 0 864499242 519675904 112066 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 112066 300 300 0 126574 0
vsize: 507496
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187548 0 0 0 59610 397 0 0 25 0 1 0 864499242 519675904 112071 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 112071 300 300 0 126574 0
vsize: 507496
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187560 0 0 0 60610 397 0 0 25 0 1 0 864499242 519675904 112083 4294967295 134512640 135726644 3221224592 3221223072 134729041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 112083 300 300 0 126574 0
vsize: 507496
[startup+620.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187562 0 0 0 61610 397 0 0 25 0 1 0 864499242 519675904 112085 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 112085 300 300 0 126574 0
vsize: 507496
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 187566 0 0 0 62610 397 0 0 25 0 1 0 864499242 519675904 112089 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126874 112089 300 300 0 126574 0
vsize: 507496
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 188217 0 0 0 63609 399 0 0 25 0 1 0 864499242 521527296 112413 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127326 112413 300 300 0 127026 0
vsize: 509304
[startup+650.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 188753 0 0 0 64608 400 0 0 25 0 1 0 864499242 522846208 112689 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 127648 112689 300 300 0 127348 0
vsize: 510592
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 190075 0 0 0 65606 402 0 0 25 0 1 0 864499242 526667776 113230 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128581 113230 300 300 0 128281 0
vsize: 514324
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 190470 0 0 0 66606 403 0 0 25 0 1 0 864499242 527859712 113429 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 128872 113429 300 300 0 128572 0
vsize: 515488
[startup+680.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 190884 0 0 0 67606 403 0 0 25 0 1 0 864499242 528908288 113583 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129128 113583 300 300 0 128828 0
vsize: 516512
[startup+690.011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 190899 0 0 0 68606 403 0 0 25 0 1 0 864499242 528908288 113598 4294967295 134512640 135726644 3221224592 3221222912 134728898 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129128 113598 300 300 0 128828 0
vsize: 516512
[startup+700.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 190914 0 0 0 69606 403 0 0 25 0 1 0 864499242 528908288 113613 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129128 113613 300 300 0 128828 0
vsize: 516512
[startup+710.011 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 190988 0 0 0 70606 403 0 0 25 0 1 0 864499242 529174528 113654 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129193 113654 300 300 0 128893 0
vsize: 516772
[startup+720.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 190995 0 0 0 71606 403 0 0 25 0 1 0 864499242 529174528 113661 4294967295 134512640 135726644 3221224592 3221223088 134744377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129193 113661 300 300 0 128893 0
vsize: 516772
[startup+730.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 190998 0 0 0 72606 403 0 0 25 0 1 0 864499242 529174528 113664 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129193 113664 300 300 0 128893 0
vsize: 516772
[startup+740.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191332 0 0 0 73606 404 0 0 25 0 1 0 864499242 530223104 113741 4294967295 134512640 135726644 3221224592 3221223088 134744220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113741 300 300 0 129149 0
vsize: 517796
[startup+750.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191334 0 0 0 74606 404 0 0 25 0 1 0 864499242 530223104 113743 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113743 300 300 0 129149 0
vsize: 517796
[startup+760.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191337 0 0 0 75606 404 0 0 25 0 1 0 864499242 530223104 113746 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113746 300 300 0 129149 0
vsize: 517796
[startup+770.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191340 0 0 0 76606 404 0 0 25 0 1 0 864499242 530223104 113749 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113749 300 300 0 129149 0
vsize: 517796
[startup+780.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191344 0 0 0 77606 404 0 0 25 0 1 0 864499242 530223104 113753 4294967295 134512640 135726644 3221224592 3221223088 134744268 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113753 300 300 0 129149 0
vsize: 517796
[startup+790.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191350 0 0 0 78606 404 0 0 25 0 1 0 864499242 530223104 113759 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113759 300 300 0 129149 0
vsize: 517796
[startup+800.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191365 0 0 0 79607 404 0 0 25 0 1 0 864499242 530223104 113774 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113774 300 300 0 129149 0
vsize: 517796
[startup+810.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191370 0 0 0 80607 404 0 0 25 0 1 0 864499242 530223104 113779 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113779 300 300 0 129149 0
vsize: 517796
[startup+820.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191373 0 0 0 81607 404 0 0 25 0 1 0 864499242 530223104 113782 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113782 300 300 0 129149 0
vsize: 517796
[startup+830.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191378 0 0 0 82607 405 0 0 25 0 1 0 864499242 530223104 113787 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113787 300 300 0 129149 0
vsize: 517796
[startup+840.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191381 0 0 0 83607 405 0 0 25 0 1 0 864499242 530223104 113790 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113790 300 300 0 129149 0
vsize: 517796
[startup+850.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191386 0 0 0 84607 405 0 0 25 0 1 0 864499242 530223104 113795 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113795 300 300 0 129149 0
vsize: 517796
[startup+860.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191391 0 0 0 85607 405 0 0 25 0 1 0 864499242 530223104 113800 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113800 300 300 0 129149 0
vsize: 517796
[startup+870.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191394 0 0 0 86608 405 0 0 25 0 1 0 864499242 530223104 113803 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113803 300 300 0 129149 0
vsize: 517796
[startup+880.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191399 0 0 0 87608 405 0 0 25 0 1 0 864499242 530223104 113808 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113808 300 300 0 129149 0
vsize: 517796
[startup+890.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191402 0 0 0 88608 405 0 0 25 0 1 0 864499242 530223104 113811 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113811 300 300 0 129149 0
vsize: 517796
[startup+900.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191405 0 0 0 89608 405 0 0 25 0 1 0 864499242 530223104 113814 4294967295 134512640 135726644 3221224592 3221222912 134728875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113814 300 300 0 129149 0
vsize: 517796
[startup+910.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191409 0 0 0 90608 405 0 0 25 0 1 0 864499242 530223104 113818 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113818 300 300 0 129149 0
vsize: 517796
[startup+920.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191413 0 0 0 91608 405 0 0 25 0 1 0 864499242 530223104 113822 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113822 300 300 0 129149 0
vsize: 517796
[startup+930.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191418 0 0 0 92609 405 0 0 25 0 1 0 864499242 530223104 113827 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113827 300 300 0 129149 0
vsize: 517796
[startup+940.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 191421 0 0 0 93609 405 0 0 25 0 1 0 864499242 530223104 113830 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129449 113830 300 300 0 129149 0
vsize: 517796
[startup+950.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 194417 0 0 0 94602 412 0 0 25 0 1 0 864499242 532992000 114383 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 130125 114383 300 300 0 129825 0
vsize: 520500
[startup+960.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 195433 0 0 0 95599 414 0 0 25 0 1 0 864499242 536723456 115037 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131036 115037 300 300 0 130736 0
vsize: 524144
[startup+970.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197541 0 0 0 96596 418 0 0 25 0 1 0 864499242 542932992 116002 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132552 116002 300 300 0 132252 0
vsize: 530208
[startup+980.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197718 0 0 0 97595 418 0 0 25 0 1 0 864499242 543326208 116081 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132648 116081 300 300 0 132348 0
vsize: 530592
[startup+990.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197790 0 0 0 98596 418 0 0 25 0 1 0 864499242 543592448 116120 4294967295 134512640 135726644 3221224592 3221223136 134736622 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116120 300 300 0 132413 0
vsize: 530852
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197795 0 0 0 99596 418 0 0 25 0 1 0 864499242 543592448 116125 4294967295 134512640 135726644 3221224592 3221223216 134744518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116125 300 300 0 132413 0
vsize: 530852
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197802 0 0 0 100596 418 0 0 25 0 1 0 864499242 543592448 116132 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116132 300 300 0 132413 0
vsize: 530852
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197812 0 0 0 101596 419 0 0 25 0 1 0 864499242 543592448 116142 4294967295 134512640 135726644 3221224592 3221222912 134728909 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116142 300 300 0 132413 0
vsize: 530852
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197814 0 0 0 102596 419 0 0 25 0 1 0 864499242 543592448 116144 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116144 300 300 0 132413 0
vsize: 530852
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197817 0 0 0 103596 419 0 0 25 0 1 0 864499242 543592448 116147 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116147 300 300 0 132413 0
vsize: 530852
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197819 0 0 0 104596 419 0 0 25 0 1 0 864499242 543592448 116149 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116149 300 300 0 132413 0
vsize: 530852
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197823 0 0 0 105596 419 0 0 25 0 1 0 864499242 543592448 116153 4294967295 134512640 135726644 3221224592 3221222912 134728940 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116153 300 300 0 132413 0
vsize: 530852
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197826 0 0 0 106596 419 0 0 25 0 1 0 864499242 543592448 116156 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116156 300 300 0 132413 0
vsize: 530852
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197830 0 0 0 107596 419 0 0 25 0 1 0 864499242 543592448 116160 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116160 300 300 0 132413 0
vsize: 530852
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197835 0 0 0 108597 419 0 0 25 0 1 0 864499242 543592448 116165 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116165 300 300 0 132413 0
vsize: 530852
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197839 0 0 0 109597 419 0 0 25 0 1 0 864499242 543592448 116169 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116169 300 300 0 132413 0
vsize: 530852
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197844 0 0 0 110597 419 0 0 25 0 1 0 864499242 543592448 116174 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116174 300 300 0 132413 0
vsize: 530852
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197848 0 0 0 111597 419 0 0 25 0 1 0 864499242 543592448 116178 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116178 300 300 0 132413 0
vsize: 530852
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197874 0 0 0 112597 419 0 0 25 0 1 0 864499242 543592448 116204 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116204 300 300 0 132413 0
vsize: 530852
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197897 0 0 0 113598 419 0 0 25 0 1 0 864499242 543592448 116227 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116227 300 300 0 132413 0
vsize: 530852
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197900 0 0 0 114598 419 0 0 25 0 1 0 864499242 543592448 116230 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116230 300 300 0 132413 0
vsize: 530852
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197904 0 0 0 115598 419 0 0 25 0 1 0 864499242 543592448 116234 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116234 300 300 0 132413 0
vsize: 530852
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197910 0 0 0 116598 419 0 0 25 0 1 0 864499242 543592448 116240 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116240 300 300 0 132413 0
vsize: 530852
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197914 0 0 0 117598 419 0 0 25 0 1 0 864499242 543592448 116244 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116244 300 300 0 132413 0
vsize: 530852
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197932 0 0 0 118597 420 0 0 25 0 1 0 864499242 543592448 116262 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116262 300 300 0 132413 0
vsize: 530852
[startup+1200.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197936 0 0 0 119598 420 0 0 25 0 1 0 864499242 543592448 116266 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116266 300 300 0 132413 0
vsize: 530852
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.26 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 5902
Raw data (stat): 5902 (pb2sat) R 5901 24821 24820 0 -1 0 197936 0 0 0 119598 420 0 0 25 0 1 0 864499242 543592448 116266 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 132713 116266 300 300 0 132413 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.26
CPU time (s): 1202.42
CPU user time (s): 1197.98
CPU system time (s): 4.44232
CPU usage (%): 100.014
Max. virtual memory (Kb): 530852
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####