PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb59-26-opb/normalized-frb59-26-5.opb
MD5SUM	a5354df485c2b6c1695d0d26c0cdb212
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-42
Optimality of the best value was proved	NO
Number of terms in the objective function	1534
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1534
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1534
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.13
Number of variables	1534
Total number of constraints	125982
Number of constraints which are clauses	125982
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 35030

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.220
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        707492 kB
Buffers:         36512 kB
Cached:         269648 kB
SwapCached:        996 kB
Active:          38968 kB
Inactive:       269352 kB
HighTotal:      131008 kB
HighFree:         8316 kB
LowTotal:       903652 kB
LowFree:        699176 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            13120 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:03:55 (client local time) WITH STATUS 0 IN 1202.48 SECONDS
stats: 24279 7 1202.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 528360/1180426	Time: 319.591/86400
Decision: 540750/1180426	Time: 614.76/86400
Decision: 540750/1180426	Time: 713.802/86400
Decision: 562403/1180426	Time: 855.119/86400
Decision: 562630/1180426	Time: 1042.04/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.85 0.95 0.90 2/54 8693
Raw data (stat): 8693 (runsolver) R 8692 1586 1585 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864551460 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.87 0.95 0.90 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 29463 0 0 0 935 64 0 0 25 0 1 0 864551460 89186304 18557 4294967295 134512640 135726644 3221224592 3221110144 134554704 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21774 18557 300 300 0 21474 0
vsize: 87096
[startup+20.0005 s]
Raw data (loadavg): 0.89 0.95 0.90 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 57749 0 0 0 1875 123 0 0 25 0 1 0 864551460 174772224 35889 4294967295 134512640 135726644 3221224592 3221036480 134783484 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42669 35889 300 300 0 42369 0
vsize: 170676
[startup+30.0009 s]
Raw data (loadavg): 0.91 0.95 0.90 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 98032 0 0 0 2790 207 0 0 25 0 1 0 864551460 298196992 54493 4294967295 134512640 135726644 3221224592 3220899680 134739663 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72802 54493 300 300 0 72502 0
vsize: 291208
[startup+40.0021 s]
Raw data (loadavg): 0.92 0.95 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 113921 0 0 0 3756 242 0 0 25 0 1 0 864551460 345403392 70158 4294967295 134512640 135726644 3221224592 3221046168 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 84327 70158 300 300 0 84027 0
vsize: 337308
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 141519 0 0 0 4697 301 0 0 25 0 1 0 864551460 529510400 97239 4294967295 134512640 135726644 3221224592 3221014776 135282351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 129275 97241 300 300 0 128975 0
vsize: 517100
[startup+60.0017 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 194866 0 0 0 5585 414 0 0 25 0 1 0 864551460 594280448 107751 4294967295 134512640 135726644 3221224592 3221211232 135278593 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145088 107752 300 300 0 144788 0
vsize: 580352
[startup+70.0048 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 200680 0 0 0 6566 432 0 0 25 0 1 0 864551460 646725632 113563 4294967295 134512640 135726644 3221224592 3221222904 134761841 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 157892 113563 300 300 0 157592 0
vsize: 631568
[startup+80.0049 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 200685 0 0 0 7565 433 0 0 25 0 1 0 864551460 637280256 111262 4294967295 134512640 135726644 3221224592 3221223280 134744966 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155586 111262 300 300 0 155286 0
vsize: 622344
[startup+90.0055 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 202281 0 0 0 8562 436 0 0 25 0 1 0 864551460 643117056 112302 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 157011 112302 300 300 0 156711 0
vsize: 628044
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 206941 0 0 0 9555 443 0 0 25 0 1 0 864551460 656855040 114415 4294967295 134512640 135726644 3221224592 3221223088 134744046 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 160365 114416 300 300 0 160065 0
vsize: 641460
[startup+110.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 210325 0 0 0 10548 450 0 0 25 0 1 0 864551460 665829376 116071 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162556 116071 300 300 0 162256 0
vsize: 650224
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 211694 0 0 0 11545 453 0 0 25 0 1 0 864551460 669511680 116630 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163455 116630 300 300 0 163155 0
vsize: 653820
[startup+130.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 213734 0 0 0 12541 458 0 0 25 0 1 0 864551460 674775040 117535 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164740 117535 300 300 0 164440 0
vsize: 658960
[startup+140.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 214271 0 0 0 13540 459 0 0 25 0 1 0 864551460 676098048 117843 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165063 117843 300 300 0 164763 0
vsize: 660252
[startup+150.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 215586 0 0 0 14537 462 0 0 25 0 1 0 864551460 679911424 118318 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 165994 118318 300 300 0 165694 0
vsize: 663976
[startup+160.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 216709 0 0 0 15535 464 0 0 25 0 1 0 864551460 684343296 119097 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167076 119097 300 300 0 166776 0
vsize: 668304
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 217345 0 0 0 16534 466 0 0 25 0 1 0 864551460 686219264 119377 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167534 119377 300 300 0 167234 0
vsize: 670136
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 217485 0 0 0 17534 466 0 0 25 0 1 0 864551460 686485504 119484 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167599 119484 300 300 0 167299 0
vsize: 670396
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 217835 0 0 0 18533 467 0 0 25 0 1 0 864551460 687247360 119697 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167785 119697 300 300 0 167485 0
vsize: 671140
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 217848 0 0 0 19533 467 0 0 25 0 1 0 864551460 687247360 119710 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 167785 119710 300 300 0 167485 0
vsize: 671140
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 218252 0 0 0 20532 468 0 0 25 0 1 0 864551460 688689152 119759 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168137 119759 300 300 0 167837 0
vsize: 672548
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 218254 0 0 0 21533 468 0 0 25 0 1 0 864551460 688689152 119761 4294967295 134512640 135726644 3221224592 3221223280 134744961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 168137 119761 300 300 0 167837 0
vsize: 672548
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 219712 0 0 0 22529 471 0 0 25 0 1 0 864551460 692465664 120543 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169059 120543 300 300 0 168759 0
vsize: 676236
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 219796 0 0 0 23529 472 0 0 25 0 1 0 864551460 692731904 120594 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169124 120594 300 300 0 168824 0
vsize: 676496
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 219935 0 0 0 24529 472 0 0 25 0 1 0 864551460 693125120 120635 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169220 120635 300 300 0 168920 0
vsize: 676880
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 219943 0 0 0 25529 472 0 0 25 0 1 0 864551460 693125120 120643 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 169220 120643 300 300 0 168920 0
vsize: 676880
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220325 0 0 0 26527 474 0 0 25 0 1 0 864551460 694030336 120879 4294967295 134512640 135726644 3221224592 3221223088 134743978 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169441 120879 300 300 0 169141 0
vsize: 677764
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220362 0 0 0 27527 474 0 0 25 0 1 0 864551460 694030336 120916 4294967295 134512640 135726644 3221224592 3221223184 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169441 120916 300 300 0 169141 0
vsize: 677764
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220367 0 0 0 28527 474 0 0 25 0 1 0 864551460 694030336 120921 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169441 120921 300 300 0 169141 0
vsize: 677764
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220701 0 0 0 29527 474 0 0 25 0 1 0 864551460 695078912 120998 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169697 120998 300 300 0 169397 0
vsize: 678788
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220707 0 0 0 30527 474 0 0 25 0 1 0 864551460 695078912 121004 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169697 121004 300 300 0 169397 0
vsize: 678788
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220713 0 0 0 31527 474 0 0 25 0 1 0 864551460 695078912 121010 4294967295 134512640 135726644 3221224592 3221223184 134760396 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169697 121010 300 300 0 169397 0
vsize: 678788
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220718 0 0 0 32527 474 0 0 25 0 1 0 864551460 695078912 121015 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169697 121015 300 300 0 169397 0
vsize: 678788
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220736 0 0 0 33527 475 0 0 25 0 1 0 864551460 695078912 121033 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169697 121033 300 300 0 169397 0
vsize: 678788
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220741 0 0 0 34528 475 0 0 25 0 1 0 864551460 695078912 121038 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169697 121038 300 300 0 169397 0
vsize: 678788
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220745 0 0 0 35528 475 0 0 25 0 1 0 864551460 695078912 121042 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169697 121042 300 300 0 169397 0
vsize: 678788
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220750 0 0 0 36528 475 0 0 25 0 1 0 864551460 695218176 121047 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169731 121047 300 300 0 169431 0
vsize: 678924
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 220807 0 0 0 37528 475 0 0 25 0 1 0 864551460 695414784 121104 4294967295 134512640 135726644 3221224592 3221223104 134742276 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169779 121104 300 300 0 169479 0
vsize: 679116
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 223787 0 0 0 38521 482 0 0 25 0 1 0 864551460 697532416 121420 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 170296 121420 300 300 0 169996 0
vsize: 681184
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 224083 0 0 0 39520 483 0 0 25 0 1 0 864551460 698667008 121655 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 170573 121655 300 300 0 170273 0
vsize: 682292
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 224870 0 0 0 40519 485 0 0 25 0 1 0 864551460 701202432 122128 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 171192 122128 300 300 0 170892 0
vsize: 684768
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 225909 0 0 0 41517 487 0 0 25 0 1 0 864551460 705019904 122757 4294967295 134512640 135726644 3221224592 3221223088 134743982 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172124 122757 300 300 0 171824 0
vsize: 688496
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 227046 0 0 0 42514 490 0 0 25 0 1 0 864551460 709296128 123533 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 173168 123533 300 300 0 172868 0
vsize: 692672
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 228748 0 0 0 43510 494 0 0 25 0 1 0 864551460 714051584 124404 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 174329 124404 300 300 0 174029 0
vsize: 697316
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 231040 0 0 0 44506 498 0 0 25 0 1 0 864551460 720650240 125624 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 175940 125624 300 300 0 175640 0
vsize: 703760
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 232725 0 0 0 45504 500 0 0 25 0 1 0 864551460 725762048 126384 4294967295 134512640 135726644 3221224592 3221222956 135287582 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 177188 126384 300 300 0 176888 0
vsize: 708752
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 234089 0 0 0 46502 503 0 0 25 0 1 0 864551460 729178112 127037 4294967295 134512640 135726644 3221224592 3221223088 134744365 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178022 127037 300 300 0 177722 0
vsize: 712088
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 234397 0 0 0 47501 504 0 0 25 0 1 0 864551460 730226688 127088 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 178278 127088 300 300 0 177978 0
vsize: 713112
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 236939 0 0 0 48496 509 0 0 25 0 1 0 864551460 737443840 128309 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 180040 128309 300 300 0 179740 0
vsize: 720160
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 238240 0 0 0 49495 511 0 0 25 0 1 0 864551460 742064128 128961 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181168 128961 300 300 0 180868 0
vsize: 724672
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 238775 0 0 0 50493 512 0 0 25 0 1 0 864551460 743784448 129236 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181588 129236 300 300 0 181288 0
vsize: 726352
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 239758 0 0 0 51492 514 0 0 25 0 1 0 864551460 746827776 129746 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 182331 129746 300 300 0 182031 0
vsize: 729324
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 240738 0 0 0 52490 516 0 0 25 0 1 0 864551460 749596672 130288 4294967295 134512640 135726644 3221224592 3221222912 134728875 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183007 130288 300 300 0 182707 0
vsize: 732028
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 240761 0 0 0 53490 516 0 0 25 0 1 0 864551460 749731840 130311 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183040 130311 300 300 0 182740 0
vsize: 732160
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241035 0 0 0 54490 517 0 0 25 0 1 0 864551460 750858240 130496 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130496 300 300 0 183015 0
vsize: 733260
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241038 0 0 0 55490 517 0 0 25 0 1 0 864551460 750858240 130499 4294967295 134512640 135726644 3221224592 3221223088 134744041 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130499 300 300 0 183015 0
vsize: 733260
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241038 0 0 0 56490 517 0 0 25 0 1 0 864551460 750858240 130499 4294967295 134512640 135726644 3221224592 3221223184 134760424 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130499 300 300 0 183015 0
vsize: 733260
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241039 0 0 0 57490 517 0 0 25 0 1 0 864551460 750858240 130500 4294967295 134512640 135726644 3221224592 3221222912 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130500 300 300 0 183015 0
vsize: 733260
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241039 0 0 0 58490 517 0 0 25 0 1 0 864551460 750858240 130500 4294967295 134512640 135726644 3221224592 3221223088 134744320 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130500 300 300 0 183015 0
vsize: 733260
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241039 0 0 0 59491 517 0 0 25 0 1 0 864551460 750858240 130500 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130500 300 300 0 183015 0
vsize: 733260
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241040 0 0 0 60491 517 0 0 25 0 1 0 864551460 750858240 130501 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130501 300 300 0 183015 0
vsize: 733260
[startup+620.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241040 0 0 0 61491 517 0 0 25 0 1 0 864551460 750858240 130501 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130501 300 300 0 183015 0
vsize: 733260
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241041 0 0 0 62491 517 0 0 25 0 1 0 864551460 750858240 130502 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130502 300 300 0 183015 0
vsize: 733260
[startup+640.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241041 0 0 0 63491 517 0 0 25 0 1 0 864551460 750858240 130502 4294967295 134512640 135726644 3221224592 3221223088 134743961 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130502 300 300 0 183015 0
vsize: 733260
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241043 0 0 0 64491 517 0 0 25 0 1 0 864551460 750858240 130504 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130504 300 300 0 183015 0
vsize: 733260
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241047 0 0 0 65491 517 0 0 25 0 1 0 864551460 750858240 130508 4294967295 134512640 135726644 3221224592 3221223088 134744056 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130508 300 300 0 183015 0
vsize: 733260
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241051 0 0 0 66491 518 0 0 25 0 1 0 864551460 750858240 130512 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130512 300 300 0 183015 0
vsize: 733260
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 241055 0 0 0 67491 518 0 0 25 0 1 0 864551460 750858240 130516 4294967295 134512640 135726644 3221224592 3221223104 134742495 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183315 130516 300 300 0 183015 0
vsize: 733260
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 244080 0 0 0 68483 525 0 0 25 0 1 0 864551460 753229824 130910 4294967295 134512640 135726644 3221224592 3221223088 134743975 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 183894 130910 300 300 0 183594 0
vsize: 735576
[startup+700.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 245290 0 0 0 69481 527 0 0 25 0 1 0 864551460 757694464 131762 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 184984 131762 300 300 0 184684 0
vsize: 739936
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 246692 0 0 0 70478 531 0 0 25 0 1 0 864551460 761712640 132482 4294967295 134512640 135726644 3221224592 3221223248 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 185965 132482 300 300 0 185665 0
vsize: 743860
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 246892 0 0 0 71477 532 0 0 25 0 1 0 864551460 762245120 132617 4294967295 134512640 135726644 3221224592 3221223248 134745082 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186095 132617 300 300 0 185795 0
vsize: 744380
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 246892 0 0 0 72477 532 0 0 25 0 1 0 864551460 762245120 132617 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186095 132617 300 300 0 185795 0
vsize: 744380
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 246894 0 0 0 73477 532 0 0 25 0 1 0 864551460 762245120 132619 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186095 132619 300 300 0 185795 0
vsize: 744380
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 247203 0 0 0 74476 533 0 0 25 0 1 0 864551460 763305984 132797 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186354 132797 300 300 0 186054 0
vsize: 745416
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 247353 0 0 0 75476 534 0 0 25 0 1 0 864551460 763703296 132914 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186451 132914 300 300 0 186151 0
vsize: 745804
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 247486 0 0 0 76477 534 0 0 25 0 1 0 864551460 764235776 133047 4294967295 134512640 135726644 3221224592 3221223248 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 186581 133047 300 300 0 186281 0
vsize: 746324
[startup+780.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 249855 0 0 0 77471 540 0 0 25 0 1 0 864551460 773947392 135416 4294967295 134512640 135726644 3221224592 3221222768 134765513 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188952 135416 300 300 0 188652 0
vsize: 755808
[startup+790.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 251213 0 0 0 78468 543 0 0 25 0 1 0 864551460 769253376 133821 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 187806 133821 300 300 0 187506 0
vsize: 751224
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 252717 0 0 0 79464 547 0 0 25 0 1 0 864551460 774000640 134580 4294967295 134512640 135726644 3221224592 3221222920 134735633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188965 134580 300 300 0 188665 0
vsize: 755860
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 253712 0 0 0 80462 549 0 0 25 0 1 0 864551460 777437184 135154 4294967295 134512640 135726644 3221224592 3221223192 134743853 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 189804 135154 300 300 0 189504 0
vsize: 759216
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 254655 0 0 0 81460 551 0 0 25 0 1 0 864551460 779812864 135641 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 190384 135641 300 300 0 190084 0
vsize: 761536
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 256058 0 0 0 82458 553 0 0 25 0 1 0 864551460 783372288 136329 4294967295 134512640 135726644 3221224592 3221223280 134744915 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191253 136329 300 300 0 190953 0
vsize: 765012
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 256248 0 0 0 83458 553 0 0 25 0 1 0 864551460 783900672 136454 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191382 136454 300 300 0 191082 0
vsize: 765528
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 257211 0 0 0 84456 556 0 0 25 0 1 0 864551460 786395136 136835 4294967295 134512640 135726644 3221224592 3221223088 134744382 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 191991 136835 300 300 0 191691 0
vsize: 767964
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 257930 0 0 0 85454 558 0 0 25 0 1 0 864551460 788369408 137197 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192473 137197 300 300 0 192173 0
vsize: 769892
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 258406 0 0 0 86453 559 0 0 25 0 1 0 864551460 789684224 137414 4294967295 134512640 135726644 3221224592 3221223280 134744911 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 192794 137414 300 300 0 192494 0
vsize: 771176
[startup+880.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 259111 0 0 0 87453 560 0 0 25 0 1 0 864551460 791793664 137795 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193309 137795 300 300 0 193009 0
vsize: 773236
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 259112 0 0 0 88453 560 0 0 25 0 1 0 864551460 791793664 137796 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193309 137796 300 300 0 193009 0
vsize: 773236
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 259112 0 0 0 89453 560 0 0 25 0 1 0 864551460 791793664 137796 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193309 137796 300 300 0 193009 0
vsize: 773236
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 259119 0 0 0 90453 560 0 0 25 0 1 0 864551460 791793664 137803 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193309 137803 300 300 0 193009 0
vsize: 773236
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 259139 0 0 0 91453 560 0 0 25 0 1 0 864551460 791793664 137823 4294967295 134512640 135726644 3221224592 3221223104 134742274 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193309 137823 300 300 0 193009 0
vsize: 773236
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 262514 0 0 0 92445 568 0 0 25 0 1 0 864551460 794415104 138244 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 193949 138244 300 300 0 193649 0
vsize: 775796
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 262960 0 0 0 93443 570 0 0 25 0 1 0 864551460 795729920 138495 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 194270 138495 300 300 0 193970 0
vsize: 777080
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 264600 0 0 0 94440 573 0 0 25 0 1 0 864551460 800268288 139195 4294967295 134512640 135726644 3221224592 3221223212 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195378 139195 300 300 0 195078 0
vsize: 781512
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 265207 0 0 0 95439 574 0 0 25 0 1 0 864551460 802267136 139573 4294967295 134512640 135726644 3221224592 3221223248 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 195866 139573 300 300 0 195566 0
vsize: 783464
[startup+970.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8693
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 265564 0 0 0 96440 575 0 0 25 0 1 0 864551460 803319808 139736 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 196123 139736 300 300 0 195823 0
vsize: 784492
[startup+980.033 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 8746
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 266091 0 0 0 97438 576 0 0 25 0 1 0 864551460 805167104 140003 4294967295 134512640 135726644 3221224592 3221223260 134745062 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 196574 140003 300 300 0 196274 0
vsize: 786296
[startup+990.033 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 8746
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 266564 0 0 0 98437 577 0 0 25 0 1 0 864551460 806477824 140153 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 196894 140153 300 300 0 196594 0
vsize: 787576
[startup+1000.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 8746
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 266789 0 0 0 99437 577 0 0 25 0 1 0 864551460 807272448 140313 4294967295 134512640 135726644 3221224592 3221223184 134743857 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197088 140313 300 300 0 196788 0
vsize: 788352
[startup+1010.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8746
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 266840 0 0 0 100437 577 0 0 25 0 1 0 864551460 807272448 140364 4294967295 134512640 135726644 3221224592 3221223216 134744616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197088 140364 300 300 0 196788 0
vsize: 788352
[startup+1020.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 8746
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 266844 0 0 0 101437 577 0 0 25 0 1 0 864551460 807272448 140368 4294967295 134512640 135726644 3221224592 3221223072 134729188 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197088 140368 300 300 0 196788 0
vsize: 788352
[startup+1030.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8746
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 266856 0 0 0 102437 578 0 0 25 0 1 0 864551460 807272448 140380 4294967295 134512640 135726644 3221224592 3221223088 134744069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197088 140380 300 300 0 196788 0
vsize: 788352
[startup+1040.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 8746
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 266878 0 0 0 103437 578 0 0 25 0 1 0 864551460 807272448 140402 4294967295 134512640 135726644 3221224592 3221222912 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197088 140402 300 300 0 196788 0
vsize: 788352
[startup+1050.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 266883 0 0 0 104438 578 0 0 25 0 1 0 864551460 807272448 140407 4294967295 134512640 135726644 3221224592 3221223280 134744838 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197088 140407 300 300 0 196788 0
vsize: 788352
[startup+1060.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 266891 0 0 0 105438 578 0 0 25 0 1 0 864551460 807272448 140415 4294967295 134512640 135726644 3221224592 3221223088 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197088 140415 300 300 0 196788 0
vsize: 788352
[startup+1070.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 266935 0 0 0 106438 578 0 0 25 0 1 0 864551460 807272448 140459 4294967295 134512640 135726644 3221224592 3221223088 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197088 140459 300 300 0 196788 0
vsize: 788352
[startup+1080.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 267103 0 0 0 107438 578 0 0 25 0 1 0 864551460 807796736 140498 4294967295 134512640 135726644 3221224592 3221223088 134744351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197216 140498 300 300 0 196916 0
vsize: 788864
[startup+1090.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 267176 0 0 0 108437 578 0 0 25 0 1 0 864551460 807796736 140571 4294967295 134512640 135726644 3221224592 3221223088 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197216 140571 300 300 0 196916 0
vsize: 788864
[startup+1100.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 267206 0 0 0 109438 579 0 0 25 0 1 0 864551460 807796736 140601 4294967295 134512640 135726644 3221224592 3221223088 134744153 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197216 140601 300 300 0 196916 0
vsize: 788864
[startup+1110.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 269521 0 0 0 110433 584 0 0 25 0 1 0 864551460 817242112 142916 4294967295 134512640 135726644 3221224592 3221222776 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199522 142916 300 300 0 199222 0
vsize: 798088
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 270766 0 0 0 111429 587 0 0 25 0 1 0 864551460 810561536 141270 4294967295 134512640 135726644 3221224592 3221222928 134735629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 197891 141270 300 300 0 197591 0
vsize: 791564
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 271541 0 0 0 112428 589 0 0 25 0 1 0 864551460 812535808 141622 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 198373 141622 300 300 0 198073 0
vsize: 793492
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 272454 0 0 0 113426 590 0 0 25 0 1 0 864551460 814907392 142048 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 198952 142048 300 300 0 198652 0
vsize: 795808
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 273238 0 0 0 114424 593 0 0 25 0 1 0 864551460 817012736 142377 4294967295 134512640 135726644 3221224592 3221223088 134743996 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199466 142377 300 300 0 199166 0
vsize: 797864
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 273239 0 0 0 115425 593 0 0 25 0 1 0 864551460 817012736 142378 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199466 142378 300 300 0 199166 0
vsize: 797864
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 273604 0 0 0 116424 594 0 0 25 0 1 0 864551460 817799168 142549 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 199658 142549 300 300 0 199358 0
vsize: 798632
[startup+1180.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 274499 0 0 0 117423 596 0 0 25 0 1 0 864551460 820031488 142958 4294967295 134512640 135726644 3221224592 3221223088 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200203 142958 300 300 0 199903 0
vsize: 800812
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 275205 0 0 0 118421 597 0 0 25 0 1 0 864551460 821866496 143212 4294967295 134512640 135726644 3221224592 3221223088 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200651 143212 300 300 0 200351 0
vsize: 802604
[startup+1200.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 275207 0 0 0 119421 597 0 0 25 0 1 0 864551460 821866496 143214 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200651 143214 300 300 0 200351 0
vsize: 802604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.33 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 8748
Raw data (stat): 8693 (pb2sat) R 8692 1586 1585 0 -1 0 275207 0 0 0 119421 597 0 0 25 0 1 0 864551460 821866496 143214 4294967295 134512640 135726644 3221224592 3221223088 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 200651 143214 300 300 0 200351 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.33
CPU time (s): 1202.48
CPU user time (s): 1196.22
CPU system time (s): 6.25905
CPU usage (%): 100.012
Max. virtual memory (Kb): 802604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####