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/submitted/manquinho/primes-dimacs-cnf/normalized-par16-3.opb
MD5SUM	0c5e732518faa634f5236b6dfdf30123
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1015
Optimality of the best value was proved	NO
Number of terms in the objective function	2030
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	2030
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	2030
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	3.2935
Number of variables	2030
Total number of constraints	4359
Number of constraints which are clauses	4359
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	1
Maximum length of a constraint	3
Trace number 34907

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-28 10:54:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24124 boxname=wulflinc7 idbench=198 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0c5e732518faa634f5236b6dfdf30123  /oldhome/oroussel/tmp/wulflinc7/normalized-par16-3.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc7/normalized-par16-3.opb
IDLAUNCH: 24124
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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		: 451.050
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:        712168 kB
Buffers:         36476 kB
Cached:         264936 kB
SwapCached:        644 kB
Active:          23540 kB
Inactive:       279892 kB
HighTotal:      131008 kB
HighFree:        26712 kB
LowTotal:       903652 kB
LowFree:        685456 kB
SwapTotal:     2097136 kB
SwapFree:      2095560 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5108 kB
Slab:            13300 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 11:14:51 (client local time) WITH STATUS 0 IN 1202.59 SECONDS
stats: 24124 7 1202.59 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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.83 0.92 0.88 2/54 7657
Raw data (stat): 7657 (runsolver) R 7656 24300 24299 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 806029148 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.001 s]
Raw data (loadavg): 0.86 0.92 0.88 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 29126 0 0 0 933 66 0 0 25 0 1 0 806029148 88993792 18225 4294967295 134512640 135726644 3221224592 3220942016 135284874 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21727 18225 300 300 0 21427 0
vsize: 86908
[startup+20.0021 s]
Raw data (loadavg): 0.88 0.92 0.89 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 57400 0 0 0 1873 126 0 0 25 0 1 0 806029148 174579712 35544 4294967295 134512640 135726644 3221224592 3220512856 134771401 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42622 35544 300 300 0 42322 0
vsize: 170488
[startup+30.0032 s]
Raw data (loadavg): 0.90 0.92 0.89 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 97643 0 0 0 2787 212 0 0 25 0 1 0 806029148 298680320 54113 4294967295 134512640 135726644 3221224592 3220751344 134554691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 72920 54113 300 300 0 72620 0
vsize: 291680
[startup+40.0028 s]
Raw data (loadavg): 0.91 0.93 0.89 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 113035 0 0 0 3750 249 0 0 25 0 1 0 806029148 344670208 69284 4294967295 134512640 135726644 3221224592 3220675020 134634289 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84148 69284 300 300 0 83848 0
vsize: 336592
[startup+50.003 s]
Raw data (loadavg): 0.93 0.93 0.89 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 132891 0 0 0 4708 292 0 0 25 0 1 0 806029148 515801088 88904 4294967295 134512640 135726644 3221224592 3221021340 135105702 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 125928 88904 300 300 0 125628 0
vsize: 503712
[startup+60.0031 s]
Raw data (loadavg): 0.94 0.93 0.89 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 193473 0 0 0 5587 413 0 0 25 0 1 0 806029148 595034112 106385 4294967295 134512640 135726644 3221224592 3220790544 134554691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145272 106385 300 300 0 144972 0
vsize: 581088
[startup+70.0027 s]
Raw data (loadavg): 0.95 0.93 0.89 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 204868 0 0 0 6560 440 0 0 25 0 1 0 806029148 628588544 117577 4294967295 134512640 135726644 3221224592 3220860544 134554711 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 153464 117577 300 300 0 153164 0
vsize: 613856
[startup+80.0039 s]
Raw data (loadavg): 0.95 0.93 0.89 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 222230 0 0 0 7521 479 0 0 25 0 1 0 806029148 647917568 134713 4294967295 134512640 135726644 3221224592 3221108108 134604449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 158183 134713 300 300 0 157883 0
vsize: 632732
[startup+90.0046 s]
Raw data (loadavg): 0.96 0.93 0.89 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 239969 0 0 0 8480 519 0 0 25 0 1 0 806029148 723660800 152246 4294967295 134512640 135726644 3221224592 3220932416 134780348 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 176675 152246 300 300 0 176375 0
vsize: 706700
[startup+100.004 s]
Raw data (loadavg): 0.97 0.94 0.89 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 257401 0 0 0 9444 555 0 0 25 0 1 0 806029148 748666880 169476 4294967295 134512640 135726644 3221224592 3221190108 134604451 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182780 169476 300 300 0 182480 0
vsize: 731120
[startup+110.006 s]
Raw data (loadavg): 0.97 0.94 0.89 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 271151 0 0 0 10410 590 0 0 25 0 1 0 806029148 774799360 178908 4294967295 134512640 135726644 3221224592 3221222896 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 189160 178908 300 300 0 188860 0
vsize: 756640
[startup+120.005 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 279927 0 0 0 11389 611 0 0 25 0 1 0 806029148 803868672 184918 4294967295 134512640 135726644 3221224592 3221223088 134744305 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196257 184918 300 300 0 195957 0
vsize: 785028
[startup+130.005 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 280842 0 0 0 12387 613 0 0 25 0 1 0 806029148 806109184 185349 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196804 185349 300 300 0 196504 0
vsize: 787216
[startup+140.007 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 280969 0 0 0 13387 613 0 0 25 0 1 0 806029148 806506496 185460 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 196901 185460 300 300 0 196601 0
vsize: 787604
[startup+150.007 s]
Raw data (loadavg): 0.98 0.94 0.90 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 281473 0 0 0 14386 615 0 0 25 0 1 0 806029148 807817216 185642 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197221 185642 300 300 0 196921 0
vsize: 788884
[startup+160.006 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 281562 0 0 0 15385 615 0 0 25 0 1 0 806029148 808095744 185731 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197289 185731 300 300 0 196989 0
vsize: 789156
[startup+170.007 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 281901 0 0 0 16385 616 0 0 25 0 1 0 806029148 809160704 185876 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 197549 185876 300 300 0 197249 0
vsize: 790196
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 283218 0 0 0 17381 619 0 0 25 0 1 0 806029148 812916736 186340 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198466 186340 300 300 0 198166 0
vsize: 793864
[startup+190.008 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 283588 0 0 0 18381 620 0 0 25 0 1 0 806029148 813965312 186453 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198722 186453 300 300 0 198422 0
vsize: 794888
[startup+200.008 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 284047 0 0 0 19380 621 0 0 25 0 1 0 806029148 815017984 186685 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198979 186685 300 300 0 198679 0
vsize: 795916
[startup+210.009 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 284048 0 0 0 20379 622 0 0 25 0 1 0 806029148 815017984 186686 4294967295 134512640 135726644 3221224592 3221223088 134744142 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198979 186686 300 300 0 198679 0
vsize: 795916
[startup+220.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 284049 0 0 0 21379 622 0 0 25 0 1 0 806029148 815017984 186687 4294967295 134512640 135726644 3221224592 3221223088 134744117 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 198979 186687 300 300 0 198679 0
vsize: 795916
[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 284225 0 0 0 22379 622 0 0 25 0 1 0 806029148 815546368 186765 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199108 186765 300 300 0 198808 0
vsize: 796432
[startup+240.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 284515 0 0 0 23378 623 0 0 25 0 1 0 806029148 816070656 186926 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199236 186926 300 300 0 198936 0
vsize: 796944
[startup+250.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 284830 0 0 0 24377 624 0 0 25 0 1 0 806029148 817119232 186984 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199492 186984 300 300 0 199192 0
vsize: 797968
[startup+260.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 284852 0 0 0 25377 624 0 0 25 0 1 0 806029148 817119232 187006 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199492 187006 300 300 0 199192 0
vsize: 797968
[startup+270.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 284907 0 0 0 26377 625 0 0 25 0 1 0 806029148 817119232 187061 4294967295 134512640 135726644 3221224592 3221223088 134744156 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199492 187061 300 300 0 199192 0
vsize: 797968
[startup+280.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 284908 0 0 0 27377 625 0 0 25 0 1 0 806029148 817119232 187062 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199492 187062 300 300 0 199192 0
vsize: 797968
[startup+290.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 285100 0 0 0 28376 626 0 0 25 0 1 0 806029148 817647616 187156 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199621 187156 300 300 0 199321 0
vsize: 798484
[startup+300.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 285285 0 0 0 29375 627 0 0 25 0 1 0 806029148 818171904 187212 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199749 187212 300 300 0 199449 0
vsize: 798996
[startup+310.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 7657
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 285449 0 0 0 30374 628 0 0 25 0 1 0 806029148 818171904 187376 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 199749 187376 300 300 0 199449 0
vsize: 798996
[startup+320.011 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 7710
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 285449 0 0 0 31373 628 0 0 25 0 1 0 806029148 818171904 187376 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199749 187376 300 300 0 199449 0
vsize: 798996
[startup+330.012 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 7710
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 285524 0 0 0 32373 629 0 0 25 0 1 0 806029148 818311168 187451 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199783 187451 300 300 0 199483 0
vsize: 799132
[startup+340.012 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 7710
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 286007 0 0 0 33372 630 0 0 25 0 1 0 806029148 819499008 187677 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200073 187677 300 300 0 199773 0
vsize: 800292
[startup+350.012 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 7710
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 286008 0 0 0 34372 630 0 0 25 0 1 0 806029148 819499008 187678 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200073 187678 300 300 0 199773 0
vsize: 800292
[startup+360.012 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 7710
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 286009 0 0 0 35372 630 0 0 25 0 1 0 806029148 819499008 187679 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200073 187679 300 300 0 199773 0
vsize: 800292
[startup+370.012 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 7710
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 286010 0 0 0 36371 631 0 0 25 0 1 0 806029148 819499008 187680 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200073 187680 300 300 0 199773 0
vsize: 800292
[startup+380.012 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 286647 0 0 0 37370 633 0 0 25 0 1 0 806029148 820813824 188027 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200394 188027 300 300 0 200094 0
vsize: 801576
[startup+390.013 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 286987 0 0 0 38369 634 0 0 25 0 1 0 806029148 821735424 188173 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200619 188173 300 300 0 200319 0
vsize: 802476
[startup+400.012 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 286989 0 0 0 39369 635 0 0 25 0 1 0 806029148 821735424 188175 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200619 188175 300 300 0 200319 0
vsize: 802476
[startup+410.013 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287020 0 0 0 40368 635 0 0 25 0 1 0 806029148 821735424 188206 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200619 188206 300 300 0 200319 0
vsize: 802476
[startup+420.013 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287020 0 0 0 41368 636 0 0 25 0 1 0 806029148 821735424 188206 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200619 188206 300 300 0 200319 0
vsize: 802476
[startup+430.013 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287021 0 0 0 42368 636 0 0 25 0 1 0 806029148 821735424 188207 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200619 188207 300 300 0 200319 0
vsize: 802476
[startup+440.013 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287022 0 0 0 43368 636 0 0 25 0 1 0 806029148 821735424 188208 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200619 188208 300 300 0 200319 0
vsize: 802476
[startup+450.014 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287023 0 0 0 44368 637 0 0 25 0 1 0 806029148 821735424 188209 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200619 188209 300 300 0 200319 0
vsize: 802476
[startup+460.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287024 0 0 0 45368 637 0 0 25 0 1 0 806029148 821735424 188210 4294967295 134512640 135726644 3221224592 3221223216 134744678 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200619 188210 300 300 0 200319 0
vsize: 802476
[startup+470.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287025 0 0 0 46368 637 0 0 25 0 1 0 806029148 821735424 188211 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200619 188211 300 300 0 200319 0
vsize: 802476
[startup+480.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287027 0 0 0 47368 637 0 0 25 0 1 0 806029148 821735424 188213 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200619 188213 300 300 0 200319 0
vsize: 802476
[startup+490.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287027 0 0 0 48368 637 0 0 25 0 1 0 806029148 821735424 188213 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200619 188213 300 300 0 200319 0
vsize: 802476
[startup+500.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287059 0 0 0 49368 637 0 0 25 0 1 0 806029148 821735424 188245 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200619 188245 300 300 0 200319 0
vsize: 802476
[startup+510.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287060 0 0 0 50368 637 0 0 25 0 1 0 806029148 821735424 188246 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200619 188246 300 300 0 200319 0
vsize: 802476
[startup+520.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287114 0 0 0 51368 637 0 0 25 0 1 0 806029148 821866496 188267 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 200651 188267 300 300 0 200351 0
vsize: 802604
[startup+530.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287928 0 0 0 52367 639 0 0 25 0 1 0 806029148 823836672 188630 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201132 188630 300 300 0 200832 0
vsize: 804528
[startup+540.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287935 0 0 0 53367 639 0 0 25 0 1 0 806029148 823836672 188637 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201132 188637 300 300 0 200832 0
vsize: 804528
[startup+550.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 287970 0 0 0 54367 639 0 0 25 0 1 0 806029148 823836672 188672 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201132 188672 300 300 0 200832 0
vsize: 804528
[startup+560.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288249 0 0 0 55366 639 0 0 25 0 1 0 806029148 824885248 188694 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188694 300 300 0 201088 0
vsize: 805552
[startup+570.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288249 0 0 0 56367 639 0 0 25 0 1 0 806029148 824885248 188694 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188694 300 300 0 201088 0
vsize: 805552
[startup+580.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288252 0 0 0 57367 639 0 0 25 0 1 0 806029148 824885248 188697 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188697 300 300 0 201088 0
vsize: 805552
[startup+590.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288253 0 0 0 58367 639 0 0 25 0 1 0 806029148 824885248 188698 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188698 300 300 0 201088 0
vsize: 805552
[startup+600.014 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288254 0 0 0 59367 639 0 0 25 0 1 0 806029148 824885248 188699 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188699 300 300 0 201088 0
vsize: 805552
[startup+610.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288255 0 0 0 60367 639 0 0 25 0 1 0 806029148 824885248 188700 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188700 300 300 0 201088 0
vsize: 805552
[startup+620.015 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288257 0 0 0 61368 639 0 0 25 0 1 0 806029148 824885248 188702 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188702 300 300 0 201088 0
vsize: 805552
[startup+630.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288260 0 0 0 62368 639 0 0 25 0 1 0 806029148 824885248 188705 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188705 300 300 0 201088 0
vsize: 805552
[startup+640.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7712
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288261 0 0 0 63368 639 0 0 25 0 1 0 806029148 824885248 188706 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188706 300 300 0 201088 0
vsize: 805552
[startup+650.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288262 0 0 0 64368 639 0 0 25 0 1 0 806029148 824885248 188707 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188707 300 300 0 201088 0
vsize: 805552
[startup+660.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288263 0 0 0 65368 639 0 0 25 0 1 0 806029148 824885248 188708 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188708 300 300 0 201088 0
vsize: 805552
[startup+670.016 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288264 0 0 0 66369 639 0 0 25 0 1 0 806029148 824885248 188709 4294967295 134512640 135726644 3221224592 3221223088 134743946 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188709 300 300 0 201088 0
vsize: 805552
[startup+680.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288266 0 0 0 67369 639 0 0 25 0 1 0 806029148 824885248 188711 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188711 300 300 0 201088 0
vsize: 805552
[startup+690.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288268 0 0 0 68369 639 0 0 25 0 1 0 806029148 824885248 188713 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188713 300 300 0 201088 0
vsize: 805552
[startup+700.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288269 0 0 0 69369 639 0 0 25 0 1 0 806029148 824885248 188714 4294967295 134512640 135726644 3221224592 3221223088 134744140 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188714 300 300 0 201088 0
vsize: 805552
[startup+710.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288270 0 0 0 70369 639 0 0 25 0 1 0 806029148 824885248 188715 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188715 300 300 0 201088 0
vsize: 805552
[startup+720.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288271 0 0 0 71370 639 0 0 25 0 1 0 806029148 824885248 188716 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188716 300 300 0 201088 0
vsize: 805552
[startup+730.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288272 0 0 0 72370 640 0 0 25 0 1 0 806029148 824885248 188717 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188717 300 300 0 201088 0
vsize: 805552
[startup+740.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288273 0 0 0 73370 640 0 0 25 0 1 0 806029148 824885248 188718 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188718 300 300 0 201088 0
vsize: 805552
[startup+750.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288275 0 0 0 74370 640 0 0 25 0 1 0 806029148 824885248 188720 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188720 300 300 0 201088 0
vsize: 805552
[startup+760.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288277 0 0 0 75370 640 0 0 25 0 1 0 806029148 824885248 188722 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188722 300 300 0 201088 0
vsize: 805552
[startup+770.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288278 0 0 0 76370 640 0 0 25 0 1 0 806029148 824885248 188723 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188723 300 300 0 201088 0
vsize: 805552
[startup+780.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288289 0 0 0 77371 640 0 0 25 0 1 0 806029148 824885248 188734 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188734 300 300 0 201088 0
vsize: 805552
[startup+790.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288290 0 0 0 78371 640 0 0 25 0 1 0 806029148 824885248 188735 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188735 300 300 0 201088 0
vsize: 805552
[startup+800.017 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288291 0 0 0 79371 640 0 0 25 0 1 0 806029148 824885248 188736 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188736 300 300 0 201088 0
vsize: 805552
[startup+810.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288293 0 0 0 80371 640 0 0 25 0 1 0 806029148 824885248 188738 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188738 300 300 0 201088 0
vsize: 805552
[startup+820.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288294 0 0 0 81371 640 0 0 25 0 1 0 806029148 824885248 188739 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188739 300 300 0 201088 0
vsize: 805552
[startup+830.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288296 0 0 0 82372 640 0 0 25 0 1 0 806029148 824885248 188741 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188741 300 300 0 201088 0
vsize: 805552
[startup+840.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288298 0 0 0 83372 640 0 0 25 0 1 0 806029148 824885248 188743 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188743 300 300 0 201088 0
vsize: 805552
[startup+850.018 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288299 0 0 0 84372 640 0 0 25 0 1 0 806029148 824885248 188744 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188744 300 300 0 201088 0
vsize: 805552
[startup+860.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288300 0 0 0 85372 640 0 0 25 0 1 0 806029148 824885248 188745 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188745 300 300 0 201088 0
vsize: 805552
[startup+870.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288306 0 0 0 86372 640 0 0 25 0 1 0 806029148 824885248 188751 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188751 300 300 0 201088 0
vsize: 805552
[startup+880.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288307 0 0 0 87373 640 0 0 25 0 1 0 806029148 824885248 188752 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188752 300 300 0 201088 0
vsize: 805552
[startup+890.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288311 0 0 0 88373 640 0 0 25 0 1 0 806029148 824885248 188756 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188756 300 300 0 201088 0
vsize: 805552
[startup+900.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288314 0 0 0 89373 640 0 0 25 0 1 0 806029148 824885248 188759 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188759 300 300 0 201088 0
vsize: 805552
[startup+910.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288315 0 0 0 90373 640 0 0 25 0 1 0 806029148 824885248 188760 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201388 188760 300 300 0 201088 0
vsize: 805552
[startup+920.021 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288599 0 0 0 91373 640 0 0 25 0 1 0 806029148 825933824 188787 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201644 188787 300 300 0 201344 0
vsize: 806576
[startup+930.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288600 0 0 0 92373 640 0 0 25 0 1 0 806029148 825933824 188788 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201644 188788 300 300 0 201344 0
vsize: 806576
[startup+940.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288601 0 0 0 93373 640 0 0 25 0 1 0 806029148 825933824 188789 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201644 188789 300 300 0 201344 0
vsize: 806576
[startup+950.022 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288602 0 0 0 94373 640 0 0 25 0 1 0 806029148 825933824 188790 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201644 188790 300 300 0 201344 0
vsize: 806576
[startup+960.023 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288603 0 0 0 95374 640 0 0 25 0 1 0 806029148 825933824 188791 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201644 188791 300 300 0 201344 0
vsize: 806576
[startup+970.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288605 0 0 0 96374 640 0 0 25 0 1 0 806029148 825933824 188793 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201644 188793 300 300 0 201344 0
vsize: 806576
[startup+980.024 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288606 0 0 0 97374 640 0 0 25 0 1 0 806029148 825933824 188794 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201644 188794 300 300 0 201344 0
vsize: 806576
[startup+990.025 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288643 0 0 0 98374 641 0 0 25 0 1 0 806029148 826064896 188798 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201676 188798 300 300 0 201376 0
vsize: 806704
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288644 0 0 0 99374 641 0 0 25 0 1 0 806029148 826064896 188799 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201676 188799 300 300 0 201376 0
vsize: 806704
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288645 0 0 0 100375 641 0 0 25 0 1 0 806029148 826064896 188800 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201676 188800 300 300 0 201376 0
vsize: 806704
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288646 0 0 0 101375 641 0 0 25 0 1 0 806029148 826064896 188801 4294967295 134512640 135726644 3221224592 3221223216 134744555 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201676 188801 300 300 0 201376 0
vsize: 806704
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288647 0 0 0 102375 641 0 0 25 0 1 0 806029148 826064896 188802 4294967295 134512640 135726644 3221224592 3221223216 134744606 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201676 188802 300 300 0 201376 0
vsize: 806704
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288648 0 0 0 103375 641 0 0 25 0 1 0 806029148 826064896 188803 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201676 188803 300 300 0 201376 0
vsize: 806704
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288653 0 0 0 104375 641 0 0 25 0 1 0 806029148 826064896 188808 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201676 188808 300 300 0 201376 0
vsize: 806704
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288654 0 0 0 105376 641 0 0 25 0 1 0 806029148 826064896 188809 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201676 188809 300 300 0 201376 0
vsize: 806704
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288657 0 0 0 106376 641 0 0 25 0 1 0 806029148 826064896 188812 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201676 188812 300 300 0 201376 0
vsize: 806704
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288664 0 0 0 107376 641 0 0 25 0 1 0 806029148 826064896 188819 4294967295 134512640 135726644 3221224592 3221223216 134744582 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201676 188819 300 300 0 201376 0
vsize: 806704
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288671 0 0 0 108376 641 0 0 25 0 1 0 806029148 826064896 188826 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201676 188826 300 300 0 201376 0
vsize: 806704
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288765 0 0 0 109376 641 0 0 25 0 1 0 806029148 826327040 188855 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201740 188855 300 300 0 201440 0
vsize: 806960
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288980 0 0 0 110376 642 0 0 25 0 1 0 806029148 826990592 188941 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201902 188941 300 300 0 201602 0
vsize: 807608
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288981 0 0 0 111377 642 0 0 25 0 1 0 806029148 826990592 188942 4294967295 134512640 135726644 3221224592 3221223088 134743987 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201902 188942 300 300 0 201602 0
vsize: 807608
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288982 0 0 0 112377 642 0 0 25 0 1 0 806029148 826990592 188943 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201902 188943 300 300 0 201602 0
vsize: 807608
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 288983 0 0 0 113377 642 0 0 25 0 1 0 806029148 826990592 188944 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201902 188944 300 300 0 201602 0
vsize: 807608
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 289071 0 0 0 114377 642 0 0 25 0 1 0 806029148 827269120 189032 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201970 189032 300 300 0 201670 0
vsize: 807880
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 289071 0 0 0 115377 642 0 0 25 0 1 0 806029148 827269120 189032 4294967295 134512640 135726644 3221224592 3221223088 134743990 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201970 189032 300 300 0 201670 0
vsize: 807880
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 289076 0 0 0 116377 642 0 0 25 0 1 0 806029148 827269120 189037 4294967295 134512640 135726644 3221224592 3221223088 134744020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 201970 189037 300 300 0 201670 0
vsize: 807880
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 289564 0 0 0 117377 643 0 0 25 0 1 0 806029148 828317696 189268 4294967295 134512640 135726644 3221224592 3221223088 134744235 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202226 189268 300 300 0 201926 0
vsize: 808904
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 289619 0 0 0 118377 643 0 0 25 0 1 0 806029148 828317696 189323 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202226 189323 300 300 0 201926 0
vsize: 808904
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 289621 0 0 0 119377 643 0 0 25 0 1 0 806029148 828317696 189325 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202226 189325 300 300 0 201926 0
vsize: 808904
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.43 s]
Raw data (loadavg): 1.00 0.98 0.91 1/53 7714
Raw data (stat): 7657 (pb2sat) R 7656 24300 24299 0 -1 0 289621 0 0 0 119377 643 0 0 25 0 1 0 806029148 828317696 189325 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 202226 189325 300 300 0 201926 0
vsize: 0

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