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-f1000.opb
MD5SUM	3b740c03d309134e8e181ea08fc4a1e3
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2000
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	2000
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	2000
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2000
Total number of constraints	5250
Number of constraints which are clauses	5250
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	3
Trace number 34782

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-05-28 10:32:24 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24053 boxname=wulflinc3 idbench=127 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  3b740c03d309134e8e181ea08fc4a1e3  /oldhome/oroussel/tmp/wulflinc3/normalized-f1000.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc3/normalized-f1000.opb
IDLAUNCH: 24053
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        896704 kB
Buffers:         32032 kB
Cached:          84280 kB
SwapCached:        240 kB
Active:          44932 kB
Inactive:        73952 kB
HighTotal:      131008 kB
HighFree:        44604 kB
LowTotal:       903652 kB
LowFree:        852100 kB
SwapTotal:     2097136 kB
SwapFree:      2096480 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6320 kB
Slab:            13364 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-28 10:52:27 (client local time) WITH STATUS 0 IN 1202.59 SECONDS
stats: 24053 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.39 0.78 0.67 1/54 27451
Raw data (stat): 27451 (runsolver) R 27450 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 805878688 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.49 0.79 0.67 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 29363 0 0 0 931 67 0 0 25 0 1 0 805878688 89243648 18459 4294967295 134512640 135726644 3221224592 3220743720 134604401 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21788 18459 300 300 0 21488 0
vsize: 87152
[startup+20.001 s]
Raw data (loadavg): 0.57 0.80 0.67 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 57657 0 0 0 1874 124 0 0 25 0 1 0 805878688 174964736 35799 4294967295 134512640 135726644 3221224592 3221176568 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 42716 35799 300 300 0 42416 0
vsize: 170864
[startup+30.0018 s]
Raw data (loadavg): 0.63 0.80 0.68 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 97827 0 0 0 2792 206 0 0 25 0 1 0 805878688 298659840 54294 4294967295 134512640 135726644 3221224592 3221108108 134604417 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72915 54295 300 300 0 72615 0
vsize: 291660
[startup+40.002 s]
Raw data (loadavg): 0.69 0.81 0.68 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 113326 0 0 0 3755 243 0 0 25 0 1 0 805878688 345055232 69571 4294967295 134512640 135726644 3221224592 3220640800 135280450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84242 69571 300 300 0 83942 0
vsize: 336968
[startup+50.0018 s]
Raw data (loadavg): 0.74 0.82 0.68 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 134787 0 0 0 4707 291 0 0 25 0 1 0 805878688 518889472 90736 4294967295 134512640 135726644 3221224592 3220978376 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 126682 90739 300 300 0 126382 0
vsize: 506728
[startup+60.0023 s]
Raw data (loadavg): 0.78 0.82 0.69 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 193764 0 0 0 5588 411 0 0 25 0 1 0 805878688 594878464 106671 4294967295 134512640 135726644 3221224592 3221054496 134782642 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145234 106671 300 300 0 144934 0
vsize: 580936
[startup+70.0024 s]
Raw data (loadavg): 0.81 0.83 0.69 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 205173 0 0 0 6562 437 0 0 25 0 1 0 805878688 628432896 117876 4294967295 134512640 135726644 3221224592 3220827368 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153426 117876 300 300 0 153126 0
vsize: 613704
[startup+80.0029 s]
Raw data (loadavg): 0.84 0.83 0.69 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 222710 0 0 0 7521 478 0 0 25 0 1 0 805878688 648437760 135187 4294967295 134512640 135726644 3221224592 3221029840 134604377 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 158310 135188 300 300 0 158010 0
vsize: 633240
[startup+90.0028 s]
Raw data (loadavg): 0.86 0.84 0.69 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 239939 0 0 0 8484 516 0 0 25 0 1 0 805878688 723505152 152217 4294967295 134512640 135726644 3221224592 3221214416 134780450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 176637 152217 300 300 0 176337 0
vsize: 706548
[startup+100.003 s]
Raw data (loadavg): 0.88 0.84 0.70 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 257186 0 0 0 9446 553 0 0 25 0 1 0 805878688 748240896 169264 4294967295 134512640 135726644 3221224592 3221223264 134738782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 182676 169264 300 300 0 182376 0
vsize: 730704
[startup+110.004 s]
Raw data (loadavg): 0.90 0.85 0.70 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 269530 0 0 0 10419 581 0 0 25 0 1 0 805878688 780726272 176596 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190607 176596 300 300 0 190307 0
vsize: 762428
[startup+120.004 s]
Raw data (loadavg): 0.92 0.85 0.70 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 271868 0 0 0 11415 585 0 0 25 0 1 0 805878688 787931136 177941 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192366 177941 300 300 0 192066 0
vsize: 769464
[startup+130.005 s]
Raw data (loadavg): 0.93 0.86 0.71 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 274114 0 0 0 12411 589 0 0 25 0 1 0 805878688 794394624 179094 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193944 179094 300 300 0 193644 0
vsize: 775776
[startup+140.006 s]
Raw data (loadavg): 0.94 0.86 0.71 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 275107 0 0 0 13409 591 0 0 25 0 1 0 805878688 797298688 179632 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194653 179632 300 300 0 194353 0
vsize: 778612
[startup+150.006 s]
Raw data (loadavg): 0.95 0.86 0.71 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 276412 0 0 0 14407 593 0 0 25 0 1 0 805878688 800985088 180239 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195553 180239 300 300 0 195253 0
vsize: 782212
[startup+160.006 s]
Raw data (loadavg): 0.95 0.87 0.71 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 276971 0 0 0 15406 594 0 0 25 0 1 0 805878688 802705408 180505 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195973 180505 300 300 0 195673 0
vsize: 783892
[startup+170.006 s]
Raw data (loadavg): 0.96 0.87 0.72 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 277216 0 0 0 16406 595 0 0 25 0 1 0 805878688 803393536 180621 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 196141 180621 300 300 0 195841 0
vsize: 784564
[startup+180.006 s]
Raw data (loadavg): 0.97 0.87 0.72 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 278096 0 0 0 17404 597 0 0 25 0 1 0 805878688 805228544 181046 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 196589 181046 300 300 0 196289 0
vsize: 786356
[startup+190.007 s]
Raw data (loadavg): 0.97 0.88 0.72 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 278881 0 0 0 18403 598 0 0 25 0 1 0 805878688 807419904 181491 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197124 181491 300 300 0 196824 0
vsize: 788496
[startup+200.007 s]
Raw data (loadavg): 0.98 0.88 0.73 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 278884 0 0 0 19403 598 0 0 25 0 1 0 805878688 807419904 181494 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197124 181494 300 300 0 196824 0
vsize: 788496
[startup+210.007 s]
Raw data (loadavg): 0.98 0.89 0.73 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 279276 0 0 0 20402 599 0 0 25 0 1 0 805878688 808673280 181724 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197430 181724 300 300 0 197130 0
vsize: 789720
[startup+220.007 s]
Raw data (loadavg): 0.98 0.89 0.73 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 279521 0 0 0 21402 600 0 0 25 0 1 0 805878688 809197568 181840 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197558 181840 300 300 0 197258 0
vsize: 790232
[startup+230.008 s]
Raw data (loadavg): 0.98 0.89 0.73 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 280026 0 0 0 22401 601 0 0 25 0 1 0 805878688 810512384 182085 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197879 182085 300 300 0 197579 0
vsize: 791516
[startup+240.008 s]
Raw data (loadavg): 0.99 0.89 0.73 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 280094 0 0 0 23401 601 0 0 25 0 1 0 805878688 810512384 182153 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197879 182153 300 300 0 197579 0
vsize: 791516
[startup+250.008 s]
Raw data (loadavg): 0.99 0.90 0.74 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 280470 0 0 0 24400 602 0 0 25 0 1 0 805878688 811724800 182271 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 198175 182271 300 300 0 197875 0
vsize: 792700
[startup+260.009 s]
Raw data (loadavg): 0.99 0.90 0.74 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 280871 0 0 0 25399 604 0 0 25 0 1 0 805878688 812679168 182510 4294967295 134512640 135726644 3221224592 3221223212 134744627 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 198408 182510 300 300 0 198108 0
vsize: 793632
[startup+270.009 s]
Raw data (loadavg): 0.99 0.90 0.74 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 281789 0 0 0 26397 605 0 0 25 0 1 0 805878688 815181824 182912 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199019 182912 300 300 0 198719 0
vsize: 796076
[startup+280.01 s]
Raw data (loadavg): 0.99 0.91 0.74 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 282538 0 0 0 27396 607 0 0 25 0 1 0 805878688 817414144 183146 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199564 183146 300 300 0 199264 0
vsize: 798256
[startup+290.011 s]
Raw data (loadavg): 0.99 0.91 0.74 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 282585 0 0 0 28396 607 0 0 25 0 1 0 805878688 817414144 183193 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199564 183193 300 300 0 199264 0
vsize: 798256
[startup+300.01 s]
Raw data (loadavg): 0.99 0.91 0.75 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 283147 0 0 0 29395 608 0 0 25 0 1 0 805878688 818987008 183368 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199948 183368 300 300 0 199648 0
vsize: 799792
[startup+310.01 s]
Raw data (loadavg): 0.99 0.91 0.75 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 283168 0 0 0 30395 608 0 0 25 0 1 0 805878688 818987008 183389 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199948 183389 300 300 0 199648 0
vsize: 799792
[startup+320.01 s]
Raw data (loadavg): 0.99 0.92 0.75 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 283170 0 0 0 31395 608 0 0 25 0 1 0 805878688 818987008 183391 4294967295 134512640 135726644 3221224592 3221223184 134759986 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199948 183391 300 300 0 199648 0
vsize: 799792
[startup+330.011 s]
Raw data (loadavg): 0.99 0.92 0.75 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 283232 0 0 0 32396 608 0 0 25 0 1 0 805878688 818987008 183453 4294967295 134512640 135726644 3221224592 3221223248 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199948 183453 300 300 0 199648 0
vsize: 799792
[startup+340.01 s]
Raw data (loadavg): 0.99 0.92 0.75 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 283292 0 0 0 33396 608 0 0 25 0 1 0 805878688 818987008 183513 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199948 183513 300 300 0 199648 0
vsize: 799792
[startup+350.011 s]
Raw data (loadavg): 0.99 0.92 0.76 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 283567 0 0 0 34395 609 0 0 25 0 1 0 805878688 819511296 183659 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200076 183659 300 300 0 199776 0
vsize: 800304
[startup+360.011 s]
Raw data (loadavg): 0.99 0.92 0.76 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 284344 0 0 0 35394 610 0 0 25 0 1 0 805878688 821616640 184047 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200590 184047 300 300 0 200290 0
vsize: 802360
[startup+370.011 s]
Raw data (loadavg): 0.99 0.93 0.76 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 284725 0 0 0 36394 611 0 0 25 0 1 0 805878688 822665216 184170 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200846 184170 300 300 0 200546 0
vsize: 803384
[startup+380.012 s]
Raw data (loadavg): 0.99 0.93 0.76 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 284728 0 0 0 37394 611 0 0 25 0 1 0 805878688 822665216 184173 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200846 184173 300 300 0 200546 0
vsize: 803384
[startup+390.013 s]
Raw data (loadavg): 0.99 0.93 0.76 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 284730 0 0 0 38394 611 0 0 25 0 1 0 805878688 822665216 184175 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200846 184175 300 300 0 200546 0
vsize: 803384
[startup+400.012 s]
Raw data (loadavg): 0.99 0.93 0.77 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 284732 0 0 0 39394 611 0 0 25 0 1 0 805878688 822665216 184177 4294967295 134512640 135726644 3221224592 3221223088 134744304 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200846 184177 300 300 0 200546 0
vsize: 803384
[startup+410.013 s]
Raw data (loadavg): 0.99 0.93 0.77 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 284736 0 0 0 40394 611 0 0 25 0 1 0 805878688 822665216 184181 4294967295 134512640 135726644 3221224592 3221223216 134744620 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200846 184181 300 300 0 200546 0
vsize: 803384
[startup+420.012 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 284739 0 0 0 41395 611 0 0 25 0 1 0 805878688 822665216 184184 4294967295 134512640 135726644 3221224592 3221223216 134744582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200846 184184 300 300 0 200546 0
vsize: 803384
[startup+430.013 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 284757 0 0 0 42395 611 0 0 25 0 1 0 805878688 822665216 184202 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200846 184202 300 300 0 200546 0
vsize: 803384
[startup+440.013 s]
Raw data (loadavg): 0.99 0.94 0.77 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 284785 0 0 0 43395 611 0 0 25 0 1 0 805878688 822861824 184230 4294967295 134512640 135726644 3221224592 3221223184 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200894 184230 300 300 0 200594 0
vsize: 803576
[startup+450.012 s]
Raw data (loadavg): 0.99 0.94 0.78 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 284789 0 0 0 44395 611 0 0 25 0 1 0 805878688 822861824 184234 4294967295 134512640 135726644 3221224592 3221223088 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200894 184234 300 300 0 200594 0
vsize: 803576
[startup+460.013 s]
Raw data (loadavg): 0.99 0.94 0.78 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 284807 0 0 0 45395 611 0 0 25 0 1 0 805878688 822861824 184252 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200894 184252 300 300 0 200594 0
vsize: 803576
[startup+470.014 s]
Raw data (loadavg): 0.99 0.94 0.78 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 285332 0 0 0 46394 612 0 0 25 0 1 0 805878688 824053760 184581 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201185 184581 300 300 0 200885 0
vsize: 804740
[startup+480.014 s]
Raw data (loadavg): 0.99 0.94 0.78 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 285523 0 0 0 47394 613 0 0 25 0 1 0 805878688 824578048 184643 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201313 184643 300 300 0 201013 0
vsize: 805252
[startup+490.014 s]
Raw data (loadavg): 0.99 0.95 0.78 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 285526 0 0 0 48394 613 0 0 25 0 1 0 805878688 824578048 184646 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201313 184646 300 300 0 201013 0
vsize: 805252
[startup+500.014 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 285969 0 0 0 49394 613 0 0 25 0 1 0 805878688 825626624 184832 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201569 184832 300 300 0 201269 0
vsize: 806276
[startup+510.013 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286270 0 0 0 50393 614 0 0 25 0 1 0 805878688 826552320 184971 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201795 184971 300 300 0 201495 0
vsize: 807180
[startup+520.013 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286348 0 0 0 51393 614 0 0 25 0 1 0 805878688 826687488 185049 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201828 185049 300 300 0 201528 0
vsize: 807312
[startup+530.014 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286351 0 0 0 52393 614 0 0 25 0 1 0 805878688 826687488 185052 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201828 185052 300 300 0 201528 0
vsize: 807312
[startup+540.015 s]
Raw data (loadavg): 0.99 0.95 0.79 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286361 0 0 0 53393 614 0 0 25 0 1 0 805878688 826687488 185062 4294967295 134512640 135726644 3221224592 3221223088 134744244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201828 185062 300 300 0 201528 0
vsize: 807312
[startup+550.015 s]
Raw data (loadavg): 0.99 0.95 0.80 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286507 0 0 0 54393 615 0 0 25 0 1 0 805878688 827211776 185079 4294967295 134512640 135726644 3221224592 3221223216 134744594 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201956 185079 300 300 0 201656 0
vsize: 807824
[startup+560.015 s]
Raw data (loadavg): 0.99 0.95 0.80 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286510 0 0 0 55393 615 0 0 25 0 1 0 805878688 827211776 185082 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201956 185082 300 300 0 201656 0
vsize: 807824
[startup+570.014 s]
Raw data (loadavg): 0.99 0.95 0.80 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286514 0 0 0 56393 615 0 0 25 0 1 0 805878688 827211776 185086 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201956 185086 300 300 0 201656 0
vsize: 807824
[startup+580.015 s]
Raw data (loadavg): 0.99 0.95 0.80 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286517 0 0 0 57394 615 0 0 25 0 1 0 805878688 827211776 185089 4294967295 134512640 135726644 3221224592 3221223184 134760410 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201956 185089 300 300 0 201656 0
vsize: 807824
[startup+590.015 s]
Raw data (loadavg): 0.99 0.95 0.80 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286519 0 0 0 58394 615 0 0 25 0 1 0 805878688 827211776 185091 4294967295 134512640 135726644 3221224592 3221223280 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201956 185091 300 300 0 201656 0
vsize: 807824
[startup+600.016 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286595 0 0 0 59394 615 0 0 25 0 1 0 805878688 827342848 185134 4294967295 134512640 135726644 3221224592 3221223088 134744369 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201988 185134 300 300 0 201688 0
vsize: 807952
[startup+610.016 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286597 0 0 0 60394 615 0 0 25 0 1 0 805878688 827342848 185136 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201988 185136 300 300 0 201688 0
vsize: 807952
[startup+620.016 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286600 0 0 0 61394 615 0 0 25 0 1 0 805878688 827342848 185139 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 201988 185139 300 300 0 201688 0
vsize: 807952
[startup+630.016 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 286751 0 0 0 62394 615 0 0 25 0 1 0 805878688 827867136 185161 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202116 185161 300 300 0 201816 0
vsize: 808464
[startup+640.017 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 287028 0 0 0 63394 616 0 0 25 0 1 0 805878688 828391424 185309 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202244 185309 300 300 0 201944 0
vsize: 808976
[startup+650.017 s]
Raw data (loadavg): 0.99 0.96 0.81 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 287215 0 0 0 64394 616 0 0 25 0 1 0 805878688 828915712 185367 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202372 185367 300 300 0 202072 0
vsize: 809488
[startup+660.018 s]
Raw data (loadavg): 0.99 0.96 0.82 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 287218 0 0 0 65394 616 0 0 25 0 1 0 805878688 828915712 185370 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202372 185370 300 300 0 202072 0
vsize: 809488
[startup+670.018 s]
Raw data (loadavg): 0.99 0.96 0.82 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 288056 0 0 0 66392 618 0 0 25 0 1 0 805878688 831021056 185787 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202886 185787 300 300 0 202586 0
vsize: 811544
[startup+680.019 s]
Raw data (loadavg): 0.99 0.96 0.82 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 288176 0 0 0 67392 618 0 0 25 0 1 0 805878688 831021056 185907 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202886 185907 300 300 0 202586 0
vsize: 811544
[startup+690.018 s]
Raw data (loadavg): 0.99 0.96 0.82 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 288216 0 0 0 68392 618 0 0 25 0 1 0 805878688 831021056 185947 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202886 185947 300 300 0 202586 0
vsize: 811544
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 288242 0 0 0 69392 619 0 0 25 0 1 0 805878688 831021056 185973 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202886 185973 300 300 0 202586 0
vsize: 811544
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 288244 0 0 0 70392 619 0 0 25 0 1 0 805878688 831021056 185975 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202886 185975 300 300 0 202586 0
vsize: 811544
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 288246 0 0 0 71392 619 0 0 25 0 1 0 805878688 831021056 185977 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202886 185977 300 300 0 202586 0
vsize: 811544
[startup+730.02 s]
Raw data (loadavg): 0.99 0.97 0.82 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 288249 0 0 0 72392 619 0 0 25 0 1 0 805878688 831021056 185980 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202886 185980 300 300 0 202586 0
vsize: 811544
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 288252 0 0 0 73392 619 0 0 25 0 1 0 805878688 831021056 185983 4294967295 134512640 135726644 3221224592 3221223216 134744606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 202886 185983 300 300 0 202586 0
vsize: 811544
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 288643 0 0 0 74391 620 0 0 25 0 1 0 805878688 832069632 186117 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203142 186117 300 300 0 202842 0
vsize: 812568
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 288778 0 0 0 75391 621 0 0 25 0 1 0 805878688 832331776 186187 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203206 186187 300 300 0 202906 0
vsize: 812824
[startup+770.02 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289530 0 0 0 76390 622 0 0 25 0 1 0 805878688 834035712 186518 4294967295 134512640 135726644 3221224592 3221222840 135280979 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186518 300 300 0 203322 0
vsize: 814488
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289535 0 0 0 77390 622 0 0 25 0 1 0 805878688 834035712 186523 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186523 300 300 0 203322 0
vsize: 814488
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289537 0 0 0 78390 622 0 0 25 0 1 0 805878688 834035712 186525 4294967295 134512640 135726644 3221224592 3221223088 134744011 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186525 300 300 0 203322 0
vsize: 814488
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289539 0 0 0 79390 622 0 0 25 0 1 0 805878688 834035712 186527 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186527 300 300 0 203322 0
vsize: 814488
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289543 0 0 0 80390 622 0 0 25 0 1 0 805878688 834035712 186531 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186531 300 300 0 203322 0
vsize: 814488
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289579 0 0 0 81390 622 0 0 25 0 1 0 805878688 834035712 186567 4294967295 134512640 135726644 3221224592 3221223088 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186567 300 300 0 203322 0
vsize: 814488
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.83 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289582 0 0 0 82391 622 0 0 25 0 1 0 805878688 834035712 186570 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186570 300 300 0 203322 0
vsize: 814488
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289584 0 0 0 83391 623 0 0 25 0 1 0 805878688 834035712 186572 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186572 300 300 0 203322 0
vsize: 814488
[startup+850.023 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289587 0 0 0 84391 623 0 0 25 0 1 0 805878688 834035712 186575 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186575 300 300 0 203322 0
vsize: 814488
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289628 0 0 0 85391 623 0 0 25 0 1 0 805878688 834035712 186616 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186616 300 300 0 203322 0
vsize: 814488
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289644 0 0 0 86391 623 0 0 25 0 1 0 805878688 834035712 186632 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186632 300 300 0 203322 0
vsize: 814488
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289646 0 0 0 87391 623 0 0 25 0 1 0 805878688 834035712 186634 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203622 186634 300 300 0 203322 0
vsize: 814488
[startup+890.023 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289727 0 0 0 88391 623 0 0 25 0 1 0 805878688 834301952 186682 4294967295 134512640 135726644 3221224592 3221223088 134744025 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203687 186682 300 300 0 203387 0
vsize: 814748
[startup+900.024 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289740 0 0 0 89391 623 0 0 25 0 1 0 805878688 834301952 186695 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203687 186695 300 300 0 203387 0
vsize: 814748
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 289742 0 0 0 90391 623 0 0 25 0 1 0 805878688 834301952 186697 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203687 186697 300 300 0 203387 0
vsize: 814748
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290077 0 0 0 91390 624 0 0 25 0 1 0 805878688 834826240 186903 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 186903 300 300 0 203515 0
vsize: 815260
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.84 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290080 0 0 0 92391 624 0 0 25 0 1 0 805878688 834826240 186906 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 186906 300 300 0 203515 0
vsize: 815260
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290082 0 0 0 93391 624 0 0 25 0 1 0 805878688 834826240 186908 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 186908 300 300 0 203515 0
vsize: 815260
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290134 0 0 0 94391 624 0 0 25 0 1 0 805878688 834826240 186960 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 186960 300 300 0 203515 0
vsize: 815260
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290149 0 0 0 95391 624 0 0 25 0 1 0 805878688 834826240 186975 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 186975 300 300 0 203515 0
vsize: 815260
[startup+970.024 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290159 0 0 0 96391 624 0 0 25 0 1 0 805878688 834826240 186985 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 186985 300 300 0 203515 0
vsize: 815260
[startup+980.026 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290162 0 0 0 97391 624 0 0 25 0 1 0 805878688 834826240 186988 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 186988 300 300 0 203515 0
vsize: 815260
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290187 0 0 0 98391 625 0 0 25 0 1 0 805878688 834826240 187013 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 187013 300 300 0 203515 0
vsize: 815260
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290205 0 0 0 99391 625 0 0 25 0 1 0 805878688 834826240 187031 4294967295 134512640 135726644 3221224592 3221223248 134731177 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 187031 300 300 0 203515 0
vsize: 815260
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290213 0 0 0 100391 625 0 0 25 0 1 0 805878688 834826240 187039 4294967295 134512640 135726644 3221224592 3221223088 134743951 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 187039 300 300 0 203515 0
vsize: 815260
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290215 0 0 0 101391 625 0 0 25 0 1 0 805878688 834826240 187041 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 187041 300 300 0 203515 0
vsize: 815260
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290219 0 0 0 102391 625 0 0 25 0 1 0 805878688 834826240 187045 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 187045 300 300 0 203515 0
vsize: 815260
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.85 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290221 0 0 0 103391 625 0 0 25 0 1 0 805878688 834826240 187047 4294967295 134512640 135726644 3221224592 3221223280 134744989 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 187047 300 300 0 203515 0
vsize: 815260
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 290223 0 0 0 104392 625 0 0 25 0 1 0 805878688 834826240 187049 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 203815 187049 300 300 0 203515 0
vsize: 815260
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 291723 0 0 0 105389 628 0 0 25 0 1 0 805878688 839299072 187709 4294967295 134512640 135726644 3221224592 3221223216 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 204907 187709 300 300 0 204607 0
vsize: 819628
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292257 0 0 0 106388 629 0 0 25 0 1 0 805878688 840880128 187951 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205293 187951 300 300 0 204993 0
vsize: 821172
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292434 0 0 0 107388 630 0 0 25 0 1 0 805878688 841404416 187999 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205421 187999 300 300 0 205121 0
vsize: 821684
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292437 0 0 0 108388 630 0 0 25 0 1 0 805878688 841404416 188002 4294967295 134512640 135726644 3221224592 3221223248 134731192 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205421 188002 300 300 0 205121 0
vsize: 821684
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292439 0 0 0 109388 630 0 0 25 0 1 0 805878688 841404416 188004 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205421 188004 300 300 0 205121 0
vsize: 821684
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292441 0 0 0 110388 630 0 0 25 0 1 0 805878688 841404416 188006 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205421 188006 300 300 0 205121 0
vsize: 821684
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292445 0 0 0 111388 630 0 0 25 0 1 0 805878688 841404416 188010 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205421 188010 300 300 0 205121 0
vsize: 821684
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292475 0 0 0 112388 630 0 0 25 0 1 0 805878688 841404416 188040 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205421 188040 300 300 0 205121 0
vsize: 821684
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.86 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292477 0 0 0 113389 630 0 0 25 0 1 0 805878688 841404416 188042 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205421 188042 300 300 0 205121 0
vsize: 821684
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292480 0 0 0 114389 630 0 0 25 0 1 0 805878688 841404416 188045 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205421 188045 300 300 0 205121 0
vsize: 821684
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292481 0 0 0 115389 630 0 0 25 0 1 0 805878688 841404416 188046 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205421 188046 300 300 0 205121 0
vsize: 821684
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292678 0 0 0 116389 631 0 0 25 0 1 0 805878688 842063872 188114 4294967295 134512640 135726644 3221224592 3221223088 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205582 188114 300 300 0 205282 0
vsize: 822328
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292680 0 0 0 117389 631 0 0 25 0 1 0 805878688 842063872 188116 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205582 188116 300 300 0 205282 0
vsize: 822328
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292698 0 0 0 118389 631 0 0 25 0 1 0 805878688 842063872 188134 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205582 188134 300 300 0 205282 0
vsize: 822328
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.87 2/54 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292700 0 0 0 119389 631 0 0 25 0 1 0 805878688 842063872 188136 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205582 188136 300 300 0 205282 0
vsize: 822328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.42 s]
Raw data (loadavg): 0.99 0.97 0.87 1/53 27451
Raw data (stat): 27451 (pb2sat) R 27450 20224 20223 0 -1 0 292700 0 0 0 119389 631 0 0 25 0 1 0 805878688 842063872 188136 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 205582 188136 300 300 0 205282 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.9
CPU system time (s): 6.69798
CPU usage (%): 100.014
Max. virtual memory (Kb): 822328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####