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/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-bienst1.opb
MD5SUM	4ca22bc512e0c22cb7d573f87d47eeef
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1073741823
Optimality of the best value was proved	NO
Number of terms in the objective function	30
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	1073741823
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	13958659059
Number of bits of the biggest sum of numbers	34
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1262.34
Number of variables	13806
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	32
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	390
Trace number 35447

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-28 12:55:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24637 boxname=wulflinc22 idbench=1109 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4ca22bc512e0c22cb7d573f87d47eeef  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-bienst1.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-bienst1.opb
IDLAUNCH: 24637
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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	: 3
cpu MHz		: 451.031
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:        799440 kB
Buffers:         33492 kB
Cached:         170940 kB
SwapCached:        384 kB
Active:          53808 kB
Inactive:       160556 kB
HighTotal:      131008 kB
HighFree:        32060 kB
LowTotal:       903652 kB
LowFree:        767380 kB
SwapTotal:     2097892 kB
SwapFree:      2096800 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            15388 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 13:15:50 (client local time) WITH STATUS 0 IN 1202.48 SECONDS
stats: 24637 7 1202.48 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

Decision: 452949/1260160	Time: 308.349/86400
Decision: 452949/1260160	Time: 358.091/86400
Decision: 453162/1260160	Time: 418.041/86400
Decision: 453341/1260160	Time: 515.904/86400
Decision: 453341/1260160	Time: 581.387/86400
Decision: 453341/1260160	Time: 638.6/86400
Decision: 453341/1260160	Time: 679.654/86400
Decision: 453341/1260160	Time: 724.651/86400
Decision: 453600/1260160	Time: 831.732/86400
Decision: 453669/1260160	Time: 913.89/86400
Decision: 453747/1260160	Time: 981.578/86400
Decision: 453747/1260160	Time: 1022.72/86400
Decision: 453747/1260160	Time: 1053.7/86400
Decision: 453747/1260160	Time: 1090.6/86400
Decision: 453747/1260160	Time: 1127.54/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.91 0.93 0.90 2/54 611
Raw data (stat): 611 (runsolver) R 610 23310 23309 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864967252 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.0009 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 28920 0 0 0 925 73 0 0 25 0 1 0 864967252 79302656 17943 4294967295 134512640 135726644 3221224576 3221176140 135298008 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19361 17943 300 300 0 19061 0
vsize: 77444
[startup+20.0036 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 58286 0 0 0 1857 140 0 0 25 0 1 0 864967252 156942336 36041 4294967295 134512640 135726644 3221224576 3221134696 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38316 36041 300 300 0 38016 0
vsize: 153264
[startup+30.0064 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 96619 0 0 0 2777 220 0 0 25 0 1 0 864967252 300404736 52665 4294967295 134512640 135726644 3221224576 3221095896 134784091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73341 52665 300 300 0 73041 0
vsize: 293364
[startup+40.0068 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 116958 0 0 0 3723 275 0 0 25 0 1 0 864967252 455585792 72674 4294967295 134512640 135726644 3221224576 3221207904 134771729 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111260 72676 300 300 0 110960 0
vsize: 444908
[startup+50.0071 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 178830 0 0 0 4603 395 0 0 25 0 1 0 864967252 539967488 91418 4294967295 134512640 135726644 3221224576 3221209952 134606477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 131828 91418 300 300 0 131528 0
vsize: 527312
[startup+60.0073 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 187371 0 0 0 5582 415 0 0 25 0 1 0 864967252 550051840 97425 4294967295 134512640 135726644 3221224576 3221223244 134745065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134290 97425 300 300 0 133990 0
vsize: 537160
[startup+70.0069 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 187378 0 0 0 6581 416 0 0 25 0 1 0 864967252 550051840 97432 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134290 97432 300 300 0 133990 0
vsize: 537160
[startup+80.0083 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 187383 0 0 0 7581 416 0 0 25 0 1 0 864967252 550051840 97437 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134290 97437 300 300 0 133990 0
vsize: 537160
[startup+90.0084 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 187393 0 0 0 8581 417 0 0 25 0 1 0 864967252 550051840 97447 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134290 97447 300 300 0 133990 0
vsize: 537160
[startup+100.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 187401 0 0 0 9581 417 0 0 25 0 1 0 864967252 550051840 97455 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 134290 97455 300 300 0 133990 0
vsize: 537160
[startup+110.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 187902 0 0 0 10580 418 0 0 25 0 1 0 864967252 553246720 97956 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 135070 97956 300 300 0 134770 0
vsize: 540280
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 188206 0 0 0 11580 418 0 0 25 0 1 0 864967252 555110400 98260 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 135525 98260 300 300 0 135225 0
vsize: 542100
[startup+130.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 188803 0 0 0 12579 420 0 0 25 0 1 0 864967252 558301184 98792 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136304 98792 300 300 0 136004 0
vsize: 545216
[startup+140.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 189801 0 0 0 13577 422 0 0 25 0 1 0 864967252 561876992 99428 4294967295 134512640 135726644 3221224576 3221223072 134744147 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137177 99428 300 300 0 136877 0
vsize: 548708
[startup+150.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 190972 0 0 0 14574 425 0 0 25 0 1 0 864967252 565985280 100078 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138180 100078 300 300 0 137880 0
vsize: 552720
[startup+160.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 191452 0 0 0 15573 426 0 0 25 0 1 0 864967252 567566336 100363 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138566 100363 300 300 0 138266 0
vsize: 554264
[startup+170.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 191747 0 0 0 16573 427 0 0 25 0 1 0 864967252 568496128 100526 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138793 100526 300 300 0 138493 0
vsize: 555172
[startup+180.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 192373 0 0 0 17572 428 0 0 25 0 1 0 864967252 571023360 100921 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139410 100921 300 300 0 139110 0
vsize: 557640
[startup+190.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 192455 0 0 0 18572 428 0 0 25 0 1 0 864967252 571555840 101003 4294967295 134512640 135726644 3221224576 3221222896 134728892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139540 101003 300 300 0 139240 0
vsize: 558160
[startup+200.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 192556 0 0 0 19572 428 0 0 25 0 1 0 864967252 571817984 101039 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139604 101039 300 300 0 139304 0
vsize: 558416
[startup+210.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 192812 0 0 0 20572 429 0 0 25 0 1 0 864967252 572612608 101197 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139798 101197 300 300 0 139498 0
vsize: 559192
[startup+220.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 193195 0 0 0 21571 430 0 0 25 0 1 0 864967252 573669376 101417 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140056 101417 300 300 0 139756 0
vsize: 560224
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 193474 0 0 0 22571 430 0 0 25 0 1 0 864967252 574996480 101598 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140380 101598 300 300 0 140080 0
vsize: 561520
[startup+240.141 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 193546 0 0 0 23583 431 0 0 25 0 1 0 864967252 575262720 101670 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140445 101670 300 300 0 140145 0
vsize: 561780
[startup+250.161 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 611
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 193973 0 0 0 24584 432 0 0 25 0 1 0 864967252 576585728 101868 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140768 101868 300 300 0 140468 0
vsize: 563072
[startup+260.164 s]
Raw data (loadavg): 1.07 0.98 0.91 3/57 633
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 194642 0 0 0 25583 433 0 0 25 0 1 0 864967252 578785280 102291 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141305 102291 300 300 0 141005 0
vsize: 565220
[startup+270.164 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 664
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 194907 0 0 0 26582 434 0 0 25 0 1 0 864967252 579993600 102490 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 141600 102490 300 300 0 141300 0
vsize: 566400
[startup+280.165 s]
Raw data (loadavg): 1.19 1.01 0.93 2/54 664
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 195872 0 0 0 27580 437 0 0 25 0 1 0 864967252 583700480 103096 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 142505 103096 300 300 0 142205 0
vsize: 570020
[startup+290.166 s]
Raw data (loadavg): 1.16 1.01 0.93 2/54 664
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 196928 0 0 0 28578 439 0 0 25 0 1 0 864967252 588455936 103957 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 143666 103957 300 300 0 143366 0
vsize: 574664
[startup+300.166 s]
Raw data (loadavg): 1.14 1.01 0.93 2/54 664
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 197654 0 0 0 29575 442 0 0 25 0 1 0 864967252 590700544 104390 4294967295 134512640 135726644 3221224576 3221223244 134745065 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144214 104390 300 300 0 143914 0
vsize: 576856
[startup+310.166 s]
Raw data (loadavg): 1.12 1.01 0.93 2/54 664
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 198281 0 0 0 30574 443 0 0 25 0 1 0 864967252 592011264 104692 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144534 104692 300 300 0 144234 0
vsize: 578136
[startup+320.167 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 664
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 198671 0 0 0 31574 444 0 0 25 0 1 0 864967252 592797696 104887 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144726 104887 300 300 0 144426 0
vsize: 578904
[startup+330.168 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 664
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 199106 0 0 0 32573 444 0 0 25 0 1 0 864967252 593850368 105127 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 144983 105127 300 300 0 144683 0
vsize: 579932
[startup+340.167 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 199903 0 0 0 33572 446 0 0 25 0 1 0 864967252 597012480 105665 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145755 105665 300 300 0 145455 0
vsize: 583020
[startup+350.167 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 200168 0 0 0 34572 446 0 0 25 0 1 0 864967252 597270528 105735 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145818 105735 300 300 0 145518 0
vsize: 583272
[startup+360.18 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 202715 0 0 0 35566 453 0 0 25 0 1 0 864967252 597532672 105755 4294967295 134512640 135726644 3221224576 3221223200 134779655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 145882 105755 300 300 0 145582 0
vsize: 583528
[startup+370.18 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 202987 0 0 0 36565 454 0 0 25 0 1 0 864967252 598585344 105897 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146139 105897 300 300 0 145839 0
vsize: 584556
[startup+380.182 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 203392 0 0 0 37564 455 0 0 25 0 1 0 864967252 599371776 106107 4294967295 134512640 135726644 3221224576 3221223200 134744544 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146331 106107 300 300 0 146031 0
vsize: 585324
[startup+390.182 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 203721 0 0 0 38564 455 0 0 25 0 1 0 864967252 600563712 106338 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 146622 106338 300 300 0 146322 0
vsize: 586488
[startup+400.181 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 204327 0 0 0 39563 457 0 0 25 0 1 0 864967252 602800128 106652 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147168 106652 300 300 0 146868 0
vsize: 588672
[startup+410.182 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 204405 0 0 0 40563 457 0 0 25 0 1 0 864967252 603328512 106730 4294967295 134512640 135726644 3221224576 3221223200 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147297 106730 300 300 0 146997 0
vsize: 589188
[startup+420.182 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 205093 0 0 0 41560 459 0 0 25 0 1 0 864967252 605167616 107029 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147746 107029 300 300 0 147446 0
vsize: 590984
[startup+430.183 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 205295 0 0 0 42560 460 0 0 25 0 1 0 864967252 605822976 107133 4294967295 134512640 135726644 3221224576 3221223232 134731206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 147906 107133 300 300 0 147606 0
vsize: 591624
[startup+440.189 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 205905 0 0 0 43560 461 0 0 25 0 1 0 864967252 607399936 107419 4294967295 134512640 135726644 3221224576 3221223200 134744591 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148291 107419 300 300 0 147991 0
vsize: 593164
[startup+450.189 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 206356 0 0 0 44559 462 0 0 25 0 1 0 864967252 608718848 107675 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148613 107675 300 300 0 148313 0
vsize: 594452
[startup+460.19 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 206536 0 0 0 45559 462 0 0 25 0 1 0 864967252 609243136 107725 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148741 107725 300 300 0 148441 0
vsize: 594964
[startup+470.19 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 209268 0 0 0 46553 468 0 0 25 0 1 0 864967252 610295808 107865 4294967295 134512640 135726644 3221224576 3221223200 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148998 107865 300 300 0 148698 0
vsize: 595992
[startup+480.193 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 209663 0 0 0 47553 469 0 0 25 0 1 0 864967252 611082240 108066 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149190 108066 300 300 0 148890 0
vsize: 596760
[startup+490.193 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 210010 0 0 0 48552 470 0 0 25 0 1 0 864967252 611868672 108219 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149382 108219 300 300 0 149082 0
vsize: 597528
[startup+500.193 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 210015 0 0 0 49552 470 0 0 25 0 1 0 864967252 611868672 108224 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149382 108224 300 300 0 149082 0
vsize: 597528
[startup+510.193 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 210120 0 0 0 50552 471 0 0 25 0 1 0 864967252 611868672 108329 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149382 108329 300 300 0 149082 0
vsize: 597528
[startup+520.193 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 210416 0 0 0 51551 472 0 0 25 0 1 0 864967252 612659200 108496 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149575 108496 300 300 0 149275 0
vsize: 598300
[startup+530.194 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 210474 0 0 0 52551 472 0 0 25 0 1 0 864967252 612659200 108554 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149575 108554 300 300 0 149275 0
vsize: 598300
[startup+540.201 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 210666 0 0 0 53551 473 0 0 25 0 1 0 864967252 613183488 108617 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149703 108617 300 300 0 149403 0
vsize: 598812
[startup+550.2 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 210979 0 0 0 54551 473 0 0 25 0 1 0 864967252 613707776 108801 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 149831 108801 300 300 0 149531 0
vsize: 599324
[startup+560.202 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 211246 0 0 0 55550 475 0 0 25 0 1 0 864967252 614494208 108874 4294967295 134512640 135726644 3221224576 3221223200 134744550 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150023 108874 300 300 0 149723 0
vsize: 600092
[startup+570.203 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 213793 0 0 0 56543 481 0 0 25 0 1 0 864967252 614756352 108894 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 150087 108894 300 300 0 149787 0
vsize: 600348
[startup+580.203 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 213805 0 0 0 57542 482 0 0 25 0 1 0 864967252 614756352 108906 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150087 108906 300 300 0 149787 0
vsize: 600348
[startup+590.203 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 213993 0 0 0 58541 483 0 0 25 0 1 0 864967252 615546880 109029 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150280 109029 300 300 0 149980 0
vsize: 601120
[startup+600.212 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 214050 0 0 0 59542 483 0 0 25 0 1 0 864967252 615546880 109086 4294967295 134512640 135726644 3221224576 3221223072 134743864 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150280 109086 300 300 0 149980 0
vsize: 601120
[startup+610.212 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 214175 0 0 0 60541 484 0 0 25 0 1 0 864967252 615809024 109146 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150344 109146 300 300 0 150044 0
vsize: 601376
[startup+620.212 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 666
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 214557 0 0 0 61541 485 0 0 25 0 1 0 864967252 617390080 109398 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150730 109398 300 300 0 150430 0
vsize: 602920
[startup+630.214 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 215074 0 0 0 62540 486 0 0 25 0 1 0 864967252 619761664 109720 4294967295 134512640 135726644 3221224576 3221223088 134742482 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151309 109720 300 300 0 151009 0
vsize: 605236
[startup+640.215 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 217634 0 0 0 63535 491 0 0 25 0 1 0 864967252 620023808 109753 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151373 109753 300 300 0 151073 0
vsize: 605492
[startup+650.215 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 217647 0 0 0 64535 491 0 0 25 0 1 0 864967252 620023808 109766 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151373 109766 300 300 0 151073 0
vsize: 605492
[startup+660.215 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 217801 0 0 0 65535 492 0 0 25 0 1 0 864967252 620220416 109920 4294967295 134512640 135726644 3221224576 3221223232 134731185 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151421 109920 300 300 0 151121 0
vsize: 605684
[startup+670.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 217903 0 0 0 66535 492 0 0 25 0 1 0 864967252 620482560 109957 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151485 109957 300 300 0 151185 0
vsize: 605940
[startup+680.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 218155 0 0 0 67534 493 0 0 25 0 1 0 864967252 621146112 110110 4294967295 134512640 135726644 3221224576 3221223072 134744022 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151647 110110 300 300 0 151347 0
vsize: 606588
[startup+690.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 220696 0 0 0 68529 499 0 0 25 0 1 0 864967252 621412352 110156 4294967295 134512640 135726644 3221224576 3221223200 134779679 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151712 110156 300 300 0 151412 0
vsize: 606848
[startup+700.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 220873 0 0 0 69528 499 0 0 25 0 1 0 864967252 622202880 110268 4294967295 134512640 135726644 3221224576 3221223072 134743987 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151905 110268 300 300 0 151605 0
vsize: 607620
[startup+710.217 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 220980 0 0 0 70528 500 0 0 25 0 1 0 864967252 622465024 110310 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 151969 110310 300 300 0 151669 0
vsize: 607876
[startup+720.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 221301 0 0 0 71526 502 0 0 25 0 1 0 864967252 623812608 110598 4294967295 134512640 135726644 3221224576 3221223072 134743999 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152298 110598 300 300 0 151998 0
vsize: 609192
[startup+730.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 221460 0 0 0 72526 502 0 0 25 0 1 0 864967252 624488448 110757 4294967295 134512640 135726644 3221224576 3221223232 134731248 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152463 110757 300 300 0 152163 0
vsize: 609852
[startup+740.217 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 221918 0 0 0 73525 503 0 0 25 0 1 0 864967252 625537024 110956 4294967295 134512640 135726644 3221224576 3221223232 134731196 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152719 110956 300 300 0 152419 0
vsize: 610876
[startup+750.217 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 221920 0 0 0 74525 503 0 0 25 0 1 0 864967252 625537024 110958 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152719 110958 300 300 0 152419 0
vsize: 610876
[startup+760.217 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 221922 0 0 0 75525 504 0 0 25 0 1 0 864967252 625537024 110960 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 152719 110960 300 300 0 152419 0
vsize: 610876
[startup+770.217 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 222504 0 0 0 76524 505 0 0 25 0 1 0 864967252 627109888 111155 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153103 111155 300 300 0 152803 0
vsize: 612412
[startup+780.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 224968 0 0 0 77518 511 0 0 25 0 1 0 864967252 627109888 111157 4294967295 134512640 135726644 3221224576 3221223188 134744633 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153103 111157 300 300 0 152803 0
vsize: 612412
[startup+790.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 224971 0 0 0 78516 513 0 0 25 0 1 0 864967252 627109888 111160 4294967295 134512640 135726644 3221224576 3221223140 135175800 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153103 111160 300 300 0 152803 0
vsize: 612412
[startup+800.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 225407 0 0 0 79516 514 0 0 25 0 1 0 864967252 629350400 111434 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153650 111434 300 300 0 153350 0
vsize: 614600
[startup+810.217 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 225532 0 0 0 80515 515 0 0 25 0 1 0 864967252 629878784 111559 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153779 111559 300 300 0 153479 0
vsize: 615116
[startup+820.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 225586 0 0 0 81515 515 0 0 25 0 1 0 864967252 629878784 111613 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153779 111613 300 300 0 153479 0
vsize: 615116
[startup+830.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 225898 0 0 0 82514 516 0 0 25 0 1 0 864967252 630665216 111731 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 153971 111731 300 300 0 153671 0
vsize: 615884
[startup+840.217 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 226003 0 0 0 83513 517 0 0 25 0 1 0 864967252 630927360 111771 4294967295 134512640 135726644 3221224576 3221223224 134744473 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154035 111771 300 300 0 153735 0
vsize: 616140
[startup+850.216 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 226295 0 0 0 84512 518 0 0 25 0 1 0 864967252 631713792 111868 4294967295 134512640 135726644 3221224576 3221223168 134760010 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154227 111868 300 300 0 153927 0
vsize: 616908
[startup+860.217 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 226412 0 0 0 85512 518 0 0 25 0 1 0 864967252 632242176 111985 4294967295 134512640 135726644 3221224576 3221223168 134760008 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154356 111985 300 300 0 154056 0
vsize: 617424
[startup+870.217 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 226442 0 0 0 86512 518 0 0 25 0 1 0 864967252 632242176 112015 4294967295 134512640 135726644 3221224576 3221223168 134760396 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154356 112015 300 300 0 154056 0
vsize: 617424
[startup+880.217 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 226446 0 0 0 87512 519 0 0 25 0 1 0 864967252 632242176 112019 4294967295 134512640 135726644 3221224576 3221223088 134742265 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154356 112019 300 300 0 154056 0
vsize: 617424
[startup+890.217 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 229098 0 0 0 88505 525 0 0 25 0 1 0 864967252 633032704 112144 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154549 112144 300 300 0 154249 0
vsize: 618196
[startup+900.216 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 229102 0 0 0 89505 525 0 0 25 0 1 0 864967252 633032704 112148 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154549 112148 300 300 0 154249 0
vsize: 618196
[startup+910.216 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 229265 0 0 0 90505 526 0 0 25 0 1 0 864967252 633556992 112181 4294967295 134512640 135726644 3221224576 3221223184 134744653 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154677 112181 300 300 0 154377 0
vsize: 618708
[startup+920.217 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 229267 0 0 0 91505 526 0 0 25 0 1 0 864967252 633556992 112183 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154677 112183 300 300 0 154377 0
vsize: 618708
[startup+930.217 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 229382 0 0 0 92504 527 0 0 25 0 1 0 864967252 633819136 112233 4294967295 134512640 135726644 3221224576 3221223072 134743953 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154741 112233 300 300 0 154441 0
vsize: 618964
[startup+940.217 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 229398 0 0 0 93504 527 0 0 25 0 1 0 864967252 633819136 112249 4294967295 134512640 135726644 3221224576 3221223072 134744030 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154741 112249 300 300 0 154441 0
vsize: 618964
[startup+950.217 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 229539 0 0 0 94504 528 0 0 25 0 1 0 864967252 634482688 112357 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154903 112357 300 300 0 154603 0
vsize: 619612
[startup+960.216 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 229758 0 0 0 95503 528 0 0 25 0 1 0 864967252 635006976 112447 4294967295 134512640 135726644 3221224576 3221223164 134744135 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155031 112447 300 300 0 154731 0
vsize: 620124
[startup+970.216 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 232570 0 0 0 96497 535 0 0 25 0 1 0 864967252 636059648 112603 4294967295 134512640 135726644 3221224576 3221223072 134744063 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155288 112603 300 300 0 154988 0
vsize: 621152
[startup+980.216 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 232577 0 0 0 97497 535 0 0 25 0 1 0 864967252 636059648 112610 4294967295 134512640 135726644 3221224576 3221223232 134731263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155288 112610 300 300 0 154988 0
vsize: 621152
[startup+990.216 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 232593 0 0 0 98497 536 0 0 25 0 1 0 864967252 636059648 112626 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155288 112626 300 300 0 154988 0
vsize: 621152
[startup+1000.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 232820 0 0 0 99496 536 0 0 25 0 1 0 864967252 636583936 112724 4294967295 134512640 135726644 3221224576 3221223264 134744861 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155416 112724 300 300 0 155116 0
vsize: 621664
[startup+1010.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 233032 0 0 0 100496 537 0 0 25 0 1 0 864967252 637108224 112807 4294967295 134512640 135726644 3221224576 3221223072 134744014 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155544 112807 300 300 0 155244 0
vsize: 622176
[startup+1020.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 233080 0 0 0 101495 537 0 0 25 0 1 0 864967252 637108224 112855 4294967295 134512640 135726644 3221224576 3221222896 134728934 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155544 112855 300 300 0 155244 0
vsize: 622176
[startup+1030.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 235543 0 0 0 102489 544 0 0 25 0 1 0 864967252 637108224 112856 4294967295 134512640 135726644 3221224576 3221223200 134779432 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155544 112856 300 300 0 155244 0
vsize: 622176
[startup+1040.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 235755 0 0 0 103489 544 0 0 25 0 1 0 864967252 637898752 112939 4294967295 134512640 135726644 3221224576 3221223232 134731172 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155737 112939 300 300 0 155437 0
vsize: 622948
[startup+1050.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 235757 0 0 0 104489 545 0 0 25 0 1 0 864967252 637898752 112941 4294967295 134512640 135726644 3221224576 3221223072 134744235 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155737 112941 300 300 0 155437 0
vsize: 622948
[startup+1060.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 235932 0 0 0 105488 545 0 0 25 0 1 0 864967252 638423040 112987 4294967295 134512640 135726644 3221224576 3221223072 134743901 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 155865 112987 300 300 0 155565 0
vsize: 623460
[startup+1070.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 236416 0 0 0 106487 546 0 0 25 0 1 0 864967252 640000000 113342 4294967295 134512640 135726644 3221224576 3221223088 134742577 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156250 113342 300 300 0 155950 0
vsize: 625000
[startup+1080.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 238878 0 0 0 107482 552 0 0 25 0 1 0 864967252 640000000 113342 4294967295 134512640 135726644 3221224576 3221223072 134744163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156250 113342 300 300 0 155950 0
vsize: 625000
[startup+1090.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 239308 0 0 0 108480 554 0 0 25 0 1 0 864967252 641048576 113514 4294967295 134512640 135726644 3221224576 3221223072 134743980 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156506 113514 300 300 0 156206 0
vsize: 626024
[startup+1100.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 239316 0 0 0 109479 555 0 0 25 0 1 0 864967252 641048576 113522 4294967295 134512640 135726644 3221224576 3221223196 135337969 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156506 113522 300 300 0 156206 0
vsize: 626024
[startup+1110.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 241779 0 0 0 110474 561 0 0 25 0 1 0 864967252 641048576 113523 4294967295 134512640 135726644 3221224576 3221223232 134731175 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156506 113523 300 300 0 156206 0
vsize: 626024
[startup+1120.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 242024 0 0 0 111473 562 0 0 25 0 1 0 864967252 641572864 113639 4294967295 134512640 135726644 3221224576 3221223072 134744004 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156634 113639 300 300 0 156334 0
vsize: 626536
[startup+1130.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 242189 0 0 0 112473 562 0 0 25 0 1 0 864967252 642097152 113675 4294967295 134512640 135726644 3221224576 3221223232 134731196 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156762 113675 300 300 0 156462 0
vsize: 627048
[startup+1140.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 244656 0 0 0 113467 568 0 0 25 0 1 0 864967252 652181504 116142 4294967295 134512640 135726644 3221224576 3221222728 134761847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 159224 116142 300 300 0 158924 0
vsize: 636896
[startup+1150.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 244742 0 0 0 114466 569 0 0 25 0 1 0 864967252 642359296 113701 4294967295 134512640 135726644 3221224576 3221223232 134745082 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156826 113701 300 300 0 156526 0
vsize: 627304
[startup+1160.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 244760 0 0 0 115466 569 0 0 25 0 1 0 864967252 642555904 113719 4294967295 134512640 135726644 3221224576 3221223072 134743925 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156874 113719 300 300 0 156574 0
vsize: 627496
[startup+1170.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 244801 0 0 0 116466 569 0 0 25 0 1 0 864967252 642691072 113760 4294967295 134512640 135726644 3221224576 3221223072 134743877 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156907 113760 300 300 0 156607 0
vsize: 627628
[startup+1180.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 247264 0 0 0 117460 576 0 0 25 0 1 0 864967252 642691072 113761 4294967295 134512640 135726644 3221224576 3221222824 135281023 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156907 113761 300 300 0 156607 0
vsize: 627628
[startup+1190.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 247268 0 0 0 118460 576 0 0 25 0 1 0 864967252 642691072 113765 4294967295 134512640 135726644 3221224576 3221223232 134731251 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156907 113765 300 300 0 156607 0
vsize: 627628
[startup+1200.22 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 247271 0 0 0 119459 577 0 0 25 0 1 0 864967252 642691072 113768 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156907 113768 300 300 0 156607 0
vsize: 627628
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.33 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 668
Raw data (stat): 611 (pb2sat) R 610 23310 23309 0 -1 0 247271 0 0 0 119459 577 0 0 25 0 1 0 864967252 642691072 113768 4294967295 134512640 135726644 3221224576 3221223072 134743955 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156907 113768 300 300 0 156607 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.49
CPU system time (s): 5.99309
CPU usage (%): 100.013
Max. virtual memory (Kb): 636896
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####