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/frb59-26-opb/normalized-frb59-26-1.opb
MD5SUM	42c2d619b73aa24781f1b54bddde28cc
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-44
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
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	1534
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	1534
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.13
Number of variables	1534
Total number of constraints	126555
Number of constraints which are clauses	126555
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 35013

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc10 THE 2005-05-28 11:40:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24275 boxname=wulflinc10 idbench=349 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  42c2d619b73aa24781f1b54bddde28cc  /oldhome/oroussel/tmp/wulflinc10/normalized-frb59-26-1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc10/normalized-frb59-26-1.opb
IDLAUNCH: 24275
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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:        847864 kB
Buffers:         34312 kB
Cached:         130776 kB
SwapCached:         84 kB
Active:          51420 kB
Inactive:       116312 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        847612 kB
SwapTotal:     2097136 kB
SwapFree:      2096728 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5880 kB
Slab:            13364 kB
Committed_AS:    63592 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 12:00:06 (client local time) WITH STATUS 0 IN 1202.47 SECONDS
stats: 24275 7 1202.47 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 535644/1180426	Time: 209.777/86400
Decision: 539675/1180426	Time: 333.909/86400
Decision: 540680/1180426	Time: 469.388/86400
Decision: 546650/1180426	Time: 594.289/86400
Decision: 546650/1180426	Time: 694.815/86400
Decision: 563898/1180426	Time: 1049.91/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.95 0.90 2/54 21889
Raw data (stat): 21889 (runsolver) R 21888 15547 15546 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806306033 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+9.99992 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 29868 0 0 0 937 62 0 0 25 0 1 0 806306033 89862144 18957 4294967295 134512640 135726644 3221224592 3220717272 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21939 18957 300 300 0 21639 0
vsize: 87756
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 58493 0 0 0 1874 125 0 0 25 0 1 0 806306033 175853568 36624 4294967295 134512640 135726644 3221224592 3221203744 134554706 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42933 36624 300 300 0 42633 0
vsize: 171732
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 98200 0 0 0 2792 207 0 0 25 0 1 0 806306033 331751424 54659 4294967295 134512640 135726644 3221224592 3220974016 134780358 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80994 54659 300 300 0 80694 0
vsize: 323976
[startup+40.0006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 114747 0 0 0 3761 238 0 0 25 0 1 0 806306033 346619904 70975 4294967295 134512640 135726644 3221224592 3220899368 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84624 70975 300 300 0 84324 0
vsize: 338496
[startup+50.0011 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 146185 0 0 0 4700 299 0 0 25 0 1 0 806306033 537079808 101749 4294967295 134512640 135726644 3221224592 3221014776 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 131123 101753 300 300 0 130823 0
vsize: 524492
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 195016 0 0 0 5599 401 0 0 25 0 1 0 806306033 594280448 107899 4294967295 134512640 135726644 3221224592 3221221904 134566411 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145088 107899 300 300 0 144788 0
vsize: 580352
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 200685 0 0 0 6581 418 0 0 25 0 1 0 806306033 646725632 113568 4294967295 134512640 135726644 3221224592 3221222888 134761847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157892 113568 300 300 0 157592 0
vsize: 631568
[startup+80.0018 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 200688 0 0 0 7580 419 0 0 25 0 1 0 806306033 637280256 111265 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155586 111265 300 300 0 155286 0
vsize: 622344
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 200692 0 0 0 8580 419 0 0 25 0 1 0 806306033 637280256 111269 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155586 111269 300 300 0 155286 0
vsize: 622344
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 202983 0 0 0 9574 425 0 0 25 0 1 0 806306033 644997120 112674 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157470 112674 300 300 0 157170 0
vsize: 629880
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 205916 0 0 0 10568 431 0 0 25 0 1 0 806306033 653103104 114118 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159449 114118 300 300 0 159149 0
vsize: 637796
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 206687 0 0 0 11567 433 0 0 25 0 1 0 806306033 655339520 114452 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159995 114453 300 300 0 159695 0
vsize: 639980
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 209159 0 0 0 12562 438 0 0 25 0 1 0 806306033 662294528 115596 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 161693 115596 300 300 0 161393 0
vsize: 646772
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 211355 0 0 0 13558 442 0 0 25 0 1 0 806306033 668385280 116559 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163180 116559 300 300 0 162880 0
vsize: 652720
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 211392 0 0 0 14558 443 0 0 25 0 1 0 806306033 668385280 116596 4294967295 134512640 135726644 3221224592 3221223088 134744074 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163180 116596 300 300 0 162880 0
vsize: 652720
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 211706 0 0 0 15557 443 0 0 25 0 1 0 806306033 669433856 116653 4294967295 134512640 135726644 3221224592 3221223088 134743964 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163436 116653 300 300 0 163136 0
vsize: 653744
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 211955 0 0 0 16557 444 0 0 25 0 1 0 806306033 669962240 116804 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163565 116804 300 300 0 163265 0
vsize: 654260
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 211960 0 0 0 17557 444 0 0 25 0 1 0 806306033 669962240 116809 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163565 116809 300 300 0 163265 0
vsize: 654260
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 211963 0 0 0 18557 444 0 0 25 0 1 0 806306033 669962240 116812 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163565 116812 300 300 0 163265 0
vsize: 654260
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 212172 0 0 0 19557 444 0 0 25 0 1 0 806306033 670756864 116956 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163759 116956 300 300 0 163459 0
vsize: 655036
[startup+210.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 212216 0 0 0 20557 444 0 0 25 0 1 0 806306033 670756864 117000 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163759 117000 300 300 0 163459 0
vsize: 655036
[startup+220.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 212293 0 0 0 21557 445 0 0 25 0 1 0 806306033 670756864 117077 4294967295 134512640 135726644 3221224592 3221223088 134744028 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163759 117077 300 300 0 163459 0
vsize: 655036
[startup+230.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 212601 0 0 0 22556 445 0 0 25 0 1 0 806306033 671805440 117128 4294967295 134512640 135726644 3221224592 3221223072 134729220 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164015 117128 300 300 0 163715 0
vsize: 656060
[startup+240.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 212607 0 0 0 23557 445 0 0 25 0 1 0 806306033 671805440 117134 4294967295 134512640 135726644 3221224592 3221223088 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164015 117134 300 300 0 163715 0
vsize: 656060
[startup+250.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 212807 0 0 0 24556 446 0 0 25 0 1 0 806306033 672329728 117205 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164143 117205 300 300 0 163843 0
vsize: 656572
[startup+260.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 214865 0 0 0 25553 449 0 0 25 0 1 0 806306033 678809600 118189 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165725 118189 300 300 0 165425 0
vsize: 662900
[startup+270.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 215569 0 0 0 26552 451 0 0 25 0 1 0 806306033 680787968 118535 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 166208 118535 300 300 0 165908 0
vsize: 664832
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 218376 0 0 0 27545 457 0 0 25 0 1 0 806306033 682373120 118793 4294967295 134512640 135726644 3221224592 3221223180 134743858 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 166595 118793 300 300 0 166295 0
vsize: 666380
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 221107 0 0 0 28540 463 0 0 25 0 1 0 806306033 690155520 120203 4294967295 134512640 135726644 3221224592 3221223132 135297998 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168495 120212 300 300 0 168195 0
vsize: 673980
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 223663 0 0 0 29536 467 0 0 25 0 1 0 806306033 697282560 121314 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170235 121314 300 300 0 169935 0
vsize: 680940
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 225753 0 0 0 30532 471 0 0 25 0 1 0 806306033 703356928 122364 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171718 122364 300 300 0 171418 0
vsize: 686872
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 227707 0 0 0 31529 474 0 0 25 0 1 0 806306033 710295552 123476 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173412 123476 300 300 0 173112 0
vsize: 693648
[startup+330.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 228098 0 0 0 32528 475 0 0 25 0 1 0 806306033 711688192 123704 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173752 123704 300 300 0 173452 0
vsize: 695008
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 228746 0 0 0 33527 476 0 0 25 0 1 0 806306033 713875456 124060 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174286 124060 300 300 0 173986 0
vsize: 697144
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 229495 0 0 0 34526 478 0 0 25 0 1 0 806306033 716496896 124514 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174926 124514 300 300 0 174626 0
vsize: 699704
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 231309 0 0 0 35522 481 0 0 25 0 1 0 806306033 721113088 125418 4294967295 134512640 135726644 3221224592 3221223088 134744169 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176053 125418 300 300 0 175753 0
vsize: 704212
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 231514 0 0 0 36522 482 0 0 25 0 1 0 806306033 721645568 125557 4294967295 134512640 135726644 3221224592 3221223216 134744603 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176183 125557 300 300 0 175883 0
vsize: 704732
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 232854 0 0 0 37521 483 0 0 25 0 1 0 806306033 725331968 126151 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177083 126151 300 300 0 176783 0
vsize: 708332
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 233642 0 0 0 38520 484 0 0 25 0 1 0 806306033 728653824 126630 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177894 126630 300 300 0 177594 0
vsize: 711576
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 236070 0 0 0 39515 490 0 0 25 0 1 0 806306033 738631680 129025 4294967295 134512640 135726644 3221224592 3221222744 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180330 129025 300 300 0 180030 0
vsize: 721320
[startup+410.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 236649 0 0 0 40512 492 0 0 25 0 1 0 806306033 731496448 127200 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178588 127200 300 300 0 178288 0
vsize: 714352
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 237592 0 0 0 41511 494 0 0 25 0 1 0 806306033 734994432 127801 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 179442 127801 300 300 0 179142 0
vsize: 717768
[startup+430.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 238332 0 0 0 42510 495 0 0 25 0 1 0 806306033 737910784 128298 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180154 128298 300 300 0 179854 0
vsize: 720616
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 239333 0 0 0 43508 497 0 0 25 0 1 0 806306033 740954112 128809 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180897 128809 300 300 0 180597 0
vsize: 723588
[startup+450.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 240839 0 0 0 44505 500 0 0 25 0 1 0 806306033 745443328 129500 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181993 129500 300 300 0 181693 0
vsize: 727972
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 241015 0 0 0 45505 501 0 0 25 0 1 0 806306033 746242048 129643 4294967295 134512640 135726644 3221224592 3221223088 134744009 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182188 129643 300 300 0 181888 0
vsize: 728752
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 241350 0 0 0 46504 501 0 0 25 0 1 0 806306033 747565056 129848 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182511 129848 300 300 0 182211 0
vsize: 730044
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 241507 0 0 0 47504 502 0 0 25 0 1 0 806306033 748093440 129940 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182640 129940 300 300 0 182340 0
vsize: 730560
[startup+490.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 242521 0 0 0 48502 504 0 0 25 0 1 0 806306033 751251456 130371 4294967295 134512640 135726644 3221224592 3221223088 134744295 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183411 130371 300 300 0 183111 0
vsize: 733644
[startup+500.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 242759 0 0 0 49502 504 0 0 25 0 1 0 806306033 752312320 130544 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183670 130544 300 300 0 183370 0
vsize: 734680
[startup+510.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 242913 0 0 0 50502 504 0 0 25 0 1 0 806306033 752975872 130665 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183832 130665 300 300 0 183532 0
vsize: 735328
[startup+520.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 243189 0 0 0 51502 505 0 0 25 0 1 0 806306033 753631232 130778 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183992 130778 300 300 0 183692 0
vsize: 735968
[startup+530.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 243189 0 0 0 52502 505 0 0 25 0 1 0 806306033 753631232 130778 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183992 130778 300 300 0 183692 0
vsize: 735968
[startup+540.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 245619 0 0 0 53496 510 0 0 25 0 1 0 806306033 753766400 130902 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184025 130902 300 300 0 183725 0
vsize: 736100
[startup+550.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 246150 0 0 0 54495 512 0 0 25 0 1 0 806306033 755494912 131237 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184447 131237 300 300 0 184147 0
vsize: 737788
[startup+560.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 246956 0 0 0 55493 514 0 0 25 0 1 0 806306033 758136832 131589 4294967295 134512640 135726644 3221224592 3221223216 134744557 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185092 131589 300 300 0 184792 0
vsize: 740368
[startup+570.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 247335 0 0 0 56492 515 0 0 25 0 1 0 806306033 759197696 131803 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185351 131803 300 300 0 185051 0
vsize: 741404
[startup+580.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 247341 0 0 0 57492 515 0 0 25 0 1 0 806306033 759197696 131809 4294967295 134512640 135726644 3221224592 3221222976 135105719 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185351 131809 300 300 0 185051 0
vsize: 741404
[startup+590.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 247496 0 0 0 58492 516 0 0 25 0 1 0 806306033 759721984 131835 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185479 131835 300 300 0 185179 0
vsize: 741916
[startup+600.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 247497 0 0 0 59492 516 0 0 25 0 1 0 806306033 759721984 131836 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185479 131836 300 300 0 185179 0
vsize: 741916
[startup+610.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 247507 0 0 0 60492 516 0 0 25 0 1 0 806306033 759721984 131846 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185479 131846 300 300 0 185179 0
vsize: 741916
[startup+620.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 247508 0 0 0 61492 516 0 0 25 0 1 0 806306033 759721984 131847 4294967295 134512640 135726644 3221224592 3221223088 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185479 131847 300 300 0 185179 0
vsize: 741916
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 247508 0 0 0 62491 517 0 0 25 0 1 0 806306033 759721984 131847 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185479 131847 300 300 0 185179 0
vsize: 741916
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 247509 0 0 0 63492 517 0 0 25 0 1 0 806306033 759721984 131848 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185479 131848 300 300 0 185179 0
vsize: 741916
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 247509 0 0 0 64492 517 0 0 25 0 1 0 806306033 759721984 131848 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185479 131848 300 300 0 185179 0
vsize: 741916
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 249830 0 0 0 65486 522 0 0 25 0 1 0 806306033 769167360 134169 4294967295 134512640 135726644 3221224592 3221222768 134765226 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187785 134169 300 300 0 187485 0
vsize: 751140
[startup+670.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 250526 0 0 0 66484 525 0 0 25 0 1 0 806306033 761827328 132171 4294967295 134512640 135726644 3221224592 3221223088 134744113 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185993 132171 300 300 0 185693 0
vsize: 743972
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 250805 0 0 0 67483 525 0 0 25 0 1 0 806306033 762884096 132320 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186251 132320 300 300 0 185951 0
vsize: 745004
[startup+690.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 251584 0 0 0 68482 527 0 0 25 0 1 0 806306033 765276160 132804 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186835 132804 300 300 0 186535 0
vsize: 747340
[startup+700.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 251669 0 0 0 69482 527 0 0 25 0 1 0 806306033 765538304 132823 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186899 132823 300 300 0 186599 0
vsize: 747596
[startup+710.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 252194 0 0 0 70481 528 0 0 25 0 1 0 806306033 766996480 133152 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187255 133152 300 300 0 186955 0
vsize: 749020
[startup+720.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 252726 0 0 0 71480 529 0 0 25 0 1 0 806306033 768450560 133455 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187610 133455 300 300 0 187310 0
vsize: 750440
[startup+730.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 253123 0 0 0 72479 530 0 0 25 0 1 0 806306033 769646592 133721 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187902 133721 300 300 0 187602 0
vsize: 751608
[startup+740.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 253575 0 0 0 73479 531 0 0 25 0 1 0 806306033 771104768 133976 4294967295 134512640 135726644 3221224592 3221223088 134744039 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188258 133976 300 300 0 187958 0
vsize: 753032
[startup+750.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 253737 0 0 0 74479 531 0 0 25 0 1 0 806306033 771366912 134072 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188322 134072 300 300 0 188022 0
vsize: 753288
[startup+760.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 253985 0 0 0 75479 531 0 0 25 0 1 0 806306033 772022272 134157 4294967295 134512640 135726644 3221224592 3221223008 134737962 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188482 134157 300 300 0 188182 0
vsize: 753928
[startup+770.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 256674 0 0 0 76473 537 0 0 25 0 1 0 806306033 773210112 134313 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188772 134313 300 300 0 188472 0
vsize: 755088
[startup+780.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 258226 0 0 0 77471 540 0 0 25 0 1 0 806306033 777678848 134925 4294967295 134512640 135726644 3221224592 3221222840 135280859 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189863 134925 300 300 0 189563 0
vsize: 759452
[startup+790.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 259234 0 0 0 78469 542 0 0 25 0 1 0 806306033 780300288 135283 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190503 135283 300 300 0 190203 0
vsize: 762012
[startup+800.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 259460 0 0 0 79468 543 0 0 25 0 1 0 806306033 780828672 135411 4294967295 134512640 135726644 3221224592 3221222912 134728868 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190632 135411 300 300 0 190332 0
vsize: 762528
[startup+810.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 259506 0 0 0 80468 543 0 0 25 0 1 0 806306033 781099008 135457 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190698 135457 300 300 0 190398 0
vsize: 762792
[startup+820.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 259506 0 0 0 81469 543 0 0 25 0 1 0 806306033 781099008 135457 4294967295 134512640 135726644 3221224592 3221223216 134744582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190698 135457 300 300 0 190398 0
vsize: 762792
[startup+830.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 259572 0 0 0 82468 543 0 0 25 0 1 0 806306033 781365248 135523 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190763 135523 300 300 0 190463 0
vsize: 763052
[startup+840.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 259793 0 0 0 83468 544 0 0 25 0 1 0 806306033 781889536 135614 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190891 135614 300 300 0 190591 0
vsize: 763564
[startup+850.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 260226 0 0 0 84467 545 0 0 25 0 1 0 806306033 783204352 135788 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191212 135788 300 300 0 190912 0
vsize: 764848
[startup+860.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 260876 0 0 0 85466 546 0 0 25 0 1 0 806306033 784777216 136050 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191596 136050 300 300 0 191296 0
vsize: 766384
[startup+870.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 260920 0 0 0 86466 546 0 0 25 0 1 0 806306033 785043456 136094 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191661 136094 300 300 0 191361 0
vsize: 766644
[startup+880.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261116 0 0 0 87466 547 0 0 25 0 1 0 806306033 785571840 136225 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191790 136225 300 300 0 191490 0
vsize: 767160
[startup+890.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261783 0 0 0 88464 548 0 0 25 0 1 0 806306033 787410944 136504 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136504 300 300 0 191939 0
vsize: 768956
[startup+900.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261797 0 0 0 89464 548 0 0 25 0 1 0 806306033 787410944 136518 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136518 300 300 0 191939 0
vsize: 768956
[startup+910.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261801 0 0 0 90465 548 0 0 25 0 1 0 806306033 787410944 136522 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136522 300 300 0 191939 0
vsize: 768956
[startup+920.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261806 0 0 0 91465 549 0 0 25 0 1 0 806306033 787410944 136527 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136527 300 300 0 191939 0
vsize: 768956
[startup+930.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261819 0 0 0 92465 549 0 0 25 0 1 0 806306033 787410944 136540 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136540 300 300 0 191939 0
vsize: 768956
[startup+940.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261880 0 0 0 93465 549 0 0 25 0 1 0 806306033 787410944 136601 4294967295 134512640 135726644 3221224592 3221223088 134744048 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136601 300 300 0 191939 0
vsize: 768956
[startup+950.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261902 0 0 0 94465 549 0 0 25 0 1 0 806306033 787410944 136623 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136623 300 300 0 191939 0
vsize: 768956
[startup+960.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261917 0 0 0 95465 549 0 0 25 0 1 0 806306033 787410944 136638 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136638 300 300 0 191939 0
vsize: 768956
[startup+970.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261923 0 0 0 96465 549 0 0 25 0 1 0 806306033 787410944 136644 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136644 300 300 0 191939 0
vsize: 768956
[startup+980.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261926 0 0 0 97465 549 0 0 25 0 1 0 806306033 787410944 136647 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136647 300 300 0 191939 0
vsize: 768956
[startup+990.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261929 0 0 0 98466 549 0 0 25 0 1 0 806306033 787410944 136650 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136650 300 300 0 191939 0
vsize: 768956
[startup+1000 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261932 0 0 0 99466 549 0 0 25 0 1 0 806306033 787410944 136653 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136653 300 300 0 191939 0
vsize: 768956
[startup+1010 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261934 0 0 0 100466 549 0 0 25 0 1 0 806306033 787410944 136655 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136655 300 300 0 191939 0
vsize: 768956
[startup+1020 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261939 0 0 0 101466 549 0 0 25 0 1 0 806306033 787410944 136660 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136660 300 300 0 191939 0
vsize: 768956
[startup+1030 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261942 0 0 0 102466 549 0 0 25 0 1 0 806306033 787410944 136663 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136663 300 300 0 191939 0
vsize: 768956
[startup+1040 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261946 0 0 0 103466 549 0 0 25 0 1 0 806306033 787410944 136667 4294967295 134512640 135726644 3221224592 3221222912 134728923 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136667 300 300 0 191939 0
vsize: 768956
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261948 0 0 0 104467 549 0 0 25 0 1 0 806306033 787410944 136669 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136669 300 300 0 191939 0
vsize: 768956
[startup+1060 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261952 0 0 0 105467 549 0 0 25 0 1 0 806306033 787410944 136673 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136673 300 300 0 191939 0
vsize: 768956
[startup+1070 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261956 0 0 0 106467 549 0 0 25 0 1 0 806306033 787410944 136677 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136677 300 300 0 191939 0
vsize: 768956
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261960 0 0 0 107467 549 0 0 25 0 1 0 806306033 787410944 136681 4294967295 134512640 135726644 3221224592 3221223192 134744138 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136681 300 300 0 191939 0
vsize: 768956
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261962 0 0 0 108467 549 0 0 25 0 1 0 806306033 787410944 136683 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136683 300 300 0 191939 0
vsize: 768956
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261966 0 0 0 109467 549 0 0 25 0 1 0 806306033 787410944 136687 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136687 300 300 0 191939 0
vsize: 768956
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 261968 0 0 0 110467 550 0 0 25 0 1 0 806306033 787410944 136689 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192239 136689 300 300 0 191939 0
vsize: 768956
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 264585 0 0 0 111463 555 0 0 25 0 1 0 806306033 788459520 136743 4294967295 134512640 135726644 3221224592 3221222912 134728895 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 192495 136743 300 300 0 192195 0
vsize: 769980
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 264665 0 0 0 112461 555 0 0 25 0 1 0 806306033 788725760 136823 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192560 136823 300 300 0 192260 0
vsize: 770240
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 264666 0 0 0 113462 556 0 0 25 0 1 0 806306033 788725760 136824 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192560 136824 300 300 0 192260 0
vsize: 770240
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 265516 0 0 0 114460 557 0 0 25 0 1 0 806306033 790560768 137221 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193008 137221 300 300 0 192708 0
vsize: 772032
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 266274 0 0 0 115458 559 0 0 25 0 1 0 806306033 792399872 137590 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193457 137590 300 300 0 193157 0
vsize: 773828
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 267180 0 0 0 116457 561 0 0 25 0 1 0 806306033 794894336 137945 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194066 137945 300 300 0 193766 0
vsize: 776264
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 267394 0 0 0 117457 561 0 0 25 0 1 0 806306033 795418624 138030 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194194 138030 300 300 0 193894 0
vsize: 776776
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 21889
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 267484 0 0 0 118457 562 0 0 25 0 1 0 806306033 795418624 138120 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194194 138120 300 300 0 193894 0
vsize: 776776
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 3/56 21891
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 267484 0 0 0 119457 562 0 0 25 0 1 0 806306033 795418624 138120 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194194 138120 300 300 0 193894 0
vsize: 776776
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 21924
Raw data (stat): 21889 (pb2sat) R 21888 15547 15546 0 -1 0 267484 0 0 0 119457 562 0 0 25 0 1 0 806306033 795418624 138120 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194194 138120 300 300 0 193894 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.39
CPU time (s): 1202.47
CPU user time (s): 1196.58
CPU system time (s): 5.8961
CPU usage (%): 100.007
Max. virtual memory (Kb): 776776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####