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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fixnet6.opb
MD5SUM	5efced6eaf647505ade406591fd69d4e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5123480
Optimality of the best value was proved	NO
Number of terms in the objective function	8282
Biggest coefficient in the objective function	1048576
Number of bits for the biggest coefficient in the objective function	21
Sum of the numbers in the objective function	524133752
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	1048576
Number of bits of the biggest number in a constraint	21
Biggest sum of numbers in a constraint	524133752
Number of bits of the biggest sum of numbers	29
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1216.42
Number of variables	9890
Total number of constraints	978
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	378
Number of constraints which are nor clauses,nor cardinality constraints	600
Minimum length of a constraint	1
Maximum length of a constraint	1072
Trace number 42904

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 17:52:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26112 boxname=wulflinc6 idbench=1412 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  5efced6eaf647505ade406591fd69d4e  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet6.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-fixnet6.opb
IDLAUNCH: 26112
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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	: 2
cpu MHz		: 451.042
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:        613960 kB
Buffers:         26792 kB
Cached:         371096 kB
SwapCached:       1000 kB
Active:          31284 kB
Inactive:       368752 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        613708 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14984 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 18:12:14 (client local time) WITH STATUS 0 IN 1202.46 SECONDS
stats: 26112 7 1202.46 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 321681/1103678	Time: 214.452/86400
c Decision: 321681/1103678	Time: 243.765/86400
c Decision: 321681/1103678	Time: 269.631/86400
c Decision: 321681/1103678	Time: 296.583/86400
c Decision: 321681/1103678	Time: 322.237/86400
c Decision: 321681/1103678	Time: 346.188/86400
c Decision: 321681/1103678	Time: 367.16/86400
c Decision: 321681/1103678	Time: 395.292/86400
c Decision: 321681/1103678	Time: 422.913/86400
c Decision: 321681/1103678	Time: 450.656/86400
c Decision: 321681/1103678	Time: 483.004/86400
c Decision: 321681/1103678	Time: 507.196/86400
c Decision: 321681/1103678	Time: 537.476/86400
c Decision: 321681/1103678	Time: 565.974/86400
c Decision: 321681/1103678	Time: 591.273/86400
c Decision: 321681/1103678	Time: 620.62/86400
c Decision: 321681/1103678	Time: 645.294/86400
c Decision: 321681/1103678	Time: 670.245/86400
c Decision: 321681/1103678	Time: 694.058/86400
c Decision: 321681/1103678	Time: 718.121/86400
c Decision: 321681/1103678	Time: 745.931/86400
c Decision: 321681/1103678	Time: 769.211/86400
c Decision: 321681/1103678	Time: 791.94/86400
c Decision: 321681/1103678	Time: 812/86400
c Decision: 321681/1103678	Time: 832.07/86400
c Decision: 321681/1103678	Time: 853.017/86400
c Decision: 321681/1103678	Time: 870.929/86400
c Decision: 321681/1103678	Time: 895.159/86400
c Decision: 321681/1103678	Time: 914.693/86400
c Decision: 321681/1103678	Time: 943.516/86400
c Decision: 321681/1103678	Time: 972.117/86400
c Decision: 321681/1103678	Time: 991.967/86400
c Decision: 321681/1103678	Time: 1009.4/86400
c Decision: 321681/1103678	Time: 1025.84/86400
c Decision: 321681/1103678	Time: 1042.96/86400
c Decision: 321681/1103678	Time: 1065.18/86400
c Decision: 321681/1103678	Time: 1083.46/86400
c Decision: 321681/1103678	Time: 1107.72/86400
c Decision: 321681/1103678	Time: 1124.67/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.95 0.90 1/54 23984
Raw data (stat): 23984 (runsolver) R 23983 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972706496 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 25555 0 0 0 942 57 0 0 25 0 1 0 972706496 80240640 14541 4294967295 134512640 135730672 3221224576 3221149872 134770715 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 19590 14541 301 301 0 19289 0
vsize: 78360
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 52201 0 0 0 1883 115 0 0 25 0 1 0 972706496 154472448 30210 4294967295 134512640 135730672 3221224576 3221028304 134770727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37713 30211 301 301 0 37412 0
vsize: 150852
[startup+30.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 91415 0 0 0 2804 195 0 0 25 0 1 0 972706496 269180928 47725 4294967295 134512640 135730672 3221224576 3221088992 135109362 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 65718 47725 301 301 0 65417 0
vsize: 262872
[startup+40.001 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 105598 0 0 0 3771 228 0 0 25 0 1 0 972706496 303951872 61659 4294967295 134512640 135730672 3221224576 3221000544 134732202 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74207 61659 301 301 0 73906 0
vsize: 296828
[startup+50.0015 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 148078 0 0 0 4692 307 0 0 25 0 1 0 972706496 505630720 102941 4294967295 134512640 135730672 3221224576 3221171280 134776110 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 123445 102941 301 301 0 123144 0
vsize: 493780
[startup+60.0013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 180795 0 0 0 5615 384 0 0 25 0 1 0 972706496 552210432 91462 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134817 91462 301 301 0 134516 0
vsize: 539268
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 180800 0 0 0 6614 385 0 0 25 0 1 0 972706496 552210432 91467 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134817 91467 301 301 0 134516 0
vsize: 539268
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 180805 0 0 0 7614 386 0 0 25 0 1 0 972706496 552210432 91472 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134817 91472 301 301 0 134516 0
vsize: 539268
[startup+90.0028 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 180814 0 0 0 8613 386 0 0 25 0 1 0 972706496 552210432 91481 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134817 91481 301 301 0 134516 0
vsize: 539268
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 180826 0 0 0 9613 387 0 0 25 0 1 0 972706496 552210432 91493 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134817 91493 301 301 0 134516 0
vsize: 539268
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 180837 0 0 0 10613 387 0 0 25 0 1 0 972706496 552210432 91504 4294967295 134512640 135730672 3221224576 3221223264 134748565 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 134817 91504 301 301 0 134516 0
vsize: 539268
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 181025 0 0 0 11613 388 0 0 25 0 1 0 972706496 553263104 91692 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135074 91692 301 301 0 134773 0
vsize: 540296
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 181487 0 0 0 12612 390 0 0 25 0 1 0 972706496 555925504 92121 4294967295 134512640 135730672 3221224576 3221223220 134748260 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135724 92121 301 301 0 135423 0
vsize: 542896
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 181569 0 0 0 13612 390 0 0 25 0 1 0 972706496 556191744 92203 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135789 92203 301 301 0 135488 0
vsize: 543156
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 181628 0 0 0 14611 390 0 0 25 0 1 0 972706496 556523520 92262 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 135870 92262 301 301 0 135569 0
vsize: 543480
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 181779 0 0 0 15611 391 0 0 25 0 1 0 972706496 557395968 92413 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136083 92413 301 301 0 135782 0
vsize: 544332
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 181833 0 0 0 16611 392 0 0 25 0 1 0 972706496 557666304 92467 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136149 92467 301 301 0 135848 0
vsize: 544596
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 181882 0 0 0 17611 392 0 0 25 0 1 0 972706496 557801472 92516 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136182 92516 301 301 0 135881 0
vsize: 544728
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 181920 0 0 0 18610 393 0 0 25 0 1 0 972706496 557936640 92554 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136215 92554 301 301 0 135914 0
vsize: 544860
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 181986 0 0 0 19610 393 0 0 25 0 1 0 972706496 558206976 92620 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136281 92620 301 301 0 135980 0
vsize: 545124
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 182000 0 0 0 20610 394 0 0 25 0 1 0 972706496 558206976 92634 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136281 92634 301 301 0 135980 0
vsize: 545124
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 182018 0 0 0 21610 394 0 0 25 0 1 0 972706496 558206976 92652 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136281 92652 301 301 0 135980 0
vsize: 545124
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 182135 0 0 0 22610 395 0 0 25 0 1 0 972706496 558747648 92769 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136413 92769 301 301 0 136112 0
vsize: 545652
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 182279 0 0 0 23610 395 0 0 25 0 1 0 972706496 559558656 92913 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136611 92913 301 301 0 136310 0
vsize: 546444
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 182289 0 0 0 24610 395 0 0 25 0 1 0 972706496 559558656 92923 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136611 92923 301 301 0 136310 0
vsize: 546444
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 182312 0 0 0 25610 396 0 0 25 0 1 0 972706496 559558656 92946 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136611 92946 301 301 0 136310 0
vsize: 546444
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 184526 0 0 0 26605 401 0 0 25 0 1 0 972706496 559755264 93004 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136659 93004 301 301 0 136358 0
vsize: 546636
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 184563 0 0 0 27604 402 0 0 25 0 1 0 972706496 559951872 93041 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136707 93041 301 301 0 136406 0
vsize: 546828
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 184612 0 0 0 28604 403 0 0 25 0 1 0 972706496 560222208 93090 4294967295 134512640 135730672 3221224576 3221223232 134734780 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136773 93090 301 301 0 136472 0
vsize: 547092
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 186832 0 0 0 29598 409 0 0 25 0 1 0 972706496 560553984 93154 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136854 93154 301 301 0 136553 0
vsize: 547416
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 186937 0 0 0 30596 410 0 0 25 0 1 0 972706496 561229824 93259 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137019 93259 301 301 0 136718 0
vsize: 548076
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 186940 0 0 0 31596 411 0 0 25 0 1 0 972706496 561229824 93262 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137019 93262 301 301 0 136718 0
vsize: 548076
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 189141 0 0 0 32590 417 0 0 25 0 1 0 972706496 561500160 93307 4294967295 134512640 135730672 3221224576 3221222900 134739247 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137085 93307 301 301 0 136784 0
vsize: 548340
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 189208 0 0 0 33590 417 0 0 25 0 1 0 972706496 561905664 93374 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137184 93374 301 301 0 136883 0
vsize: 548736
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 191415 0 0 0 34586 422 0 0 25 0 1 0 972706496 571006976 95581 4294967295 134512640 135730672 3221224576 3221222728 134765469 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139406 95581 301 301 0 139105 0
vsize: 557624
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 191418 0 0 0 35585 423 0 0 25 0 1 0 972706496 562176000 93428 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137250 93428 301 301 0 136949 0
vsize: 549000
[startup+370.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 191420 0 0 0 36585 424 0 0 25 0 1 0 972706496 562176000 93430 4294967295 134512640 135730672 3221224576 3221222824 135286123 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137250 93430 301 301 0 136949 0
vsize: 549000
[startup+380.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 193577 0 0 0 37580 429 0 0 25 0 1 0 972706496 562176000 93431 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137250 93431 301 301 0 136949 0
vsize: 549000
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 193636 0 0 0 38580 430 0 0 25 0 1 0 972706496 562442240 93457 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137315 93457 301 301 0 137014 0
vsize: 549260
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 195921 0 0 0 39574 436 0 0 25 0 1 0 972706496 563113984 93553 4294967295 134512640 135730672 3221224576 3221223200 134783328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137479 93553 301 301 0 137178 0
vsize: 549916
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 195923 0 0 0 40574 437 0 0 25 0 1 0 972706496 563113984 93555 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137479 93555 301 301 0 137178 0
vsize: 549916
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 198088 0 0 0 41569 442 0 0 25 0 1 0 972706496 571944960 95720 4294967295 134512640 135730672 3221224576 3221222740 134769153 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 139635 95720 301 301 0 139334 0
vsize: 558540
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 198090 0 0 0 42569 442 0 0 25 0 1 0 972706496 563113984 93566 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137479 93566 301 301 0 137178 0
vsize: 549916
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 198228 0 0 0 43568 443 0 0 25 0 1 0 972706496 563650560 93671 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137610 93671 301 301 0 137309 0
vsize: 550440
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 200388 0 0 0 44563 449 0 0 25 0 1 0 972706496 563650560 93675 4294967295 134512640 135730672 3221224576 3221223200 134748264 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137610 93675 301 301 0 137309 0
vsize: 550440
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 200438 0 0 0 45561 450 0 0 25 0 1 0 972706496 563920896 93725 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137676 93725 301 301 0 137375 0
vsize: 550704
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23984
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 200458 0 0 0 46561 451 0 0 25 0 1 0 972706496 564056064 93745 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 137709 93745 301 301 0 137408 0
vsize: 550836
[startup+480.028 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 24037
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 202638 0 0 0 47553 459 0 0 25 0 1 0 972706496 564191232 93769 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137742 93769 301 301 0 137441 0
vsize: 550968
[startup+490.029 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 24037
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 202653 0 0 0 48552 460 0 0 25 0 1 0 972706496 564191232 93784 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137742 93784 301 301 0 137441 0
vsize: 550968
[startup+500.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 24037
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 202659 0 0 0 49551 461 0 0 25 0 1 0 972706496 564191232 93790 4294967295 134512640 135730672 3221224576 3221223232 134734824 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137742 93790 301 301 0 137441 0
vsize: 550968
[startup+510.03 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 24037
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 204869 0 0 0 50545 467 0 0 25 0 1 0 972706496 564461568 93844 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137808 93844 301 301 0 137507 0
vsize: 551232
[startup+520.031 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 24037
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 204900 0 0 0 51544 468 0 0 25 0 1 0 972706496 564596736 93875 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137841 93875 301 301 0 137540 0
vsize: 551364
[startup+530.032 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24037
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 204909 0 0 0 52543 470 0 0 25 0 1 0 972706496 564596736 93884 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137841 93884 301 301 0 137540 0
vsize: 551364
[startup+540.033 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 207066 0 0 0 53538 475 0 0 25 0 1 0 972706496 564596736 93885 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137841 93885 301 301 0 137540 0
vsize: 551364
[startup+550.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 207091 0 0 0 54537 477 0 0 25 0 1 0 972706496 564731904 93910 4294967295 134512640 135730672 3221224576 3221223232 134734824 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137874 93910 301 301 0 137573 0
vsize: 551496
[startup+560.034 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 209250 0 0 0 55532 483 0 0 25 0 1 0 972706496 573562880 96069 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 140030 96069 301 301 0 139729 0
vsize: 560120
[startup+570.035 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 209297 0 0 0 56531 484 0 0 25 0 1 0 972706496 564862976 93927 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137906 93927 301 301 0 137605 0
vsize: 551624
[startup+580.036 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 209320 0 0 0 57530 485 0 0 25 0 1 0 972706496 564998144 93950 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 137939 93950 301 301 0 137638 0
vsize: 551756
[startup+590.037 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 211569 0 0 0 58524 492 0 0 25 0 1 0 972706496 574369792 96199 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140227 96199 301 301 0 139926 0
vsize: 560908
[startup+600.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 211573 0 0 0 59523 493 0 0 25 0 1 0 972706496 565538816 94047 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138071 94047 301 301 0 137770 0
vsize: 552284
[startup+610.038 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 211606 0 0 0 60523 493 0 0 25 0 1 0 972706496 565673984 94080 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138104 94080 301 301 0 137803 0
vsize: 552416
[startup+620.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 213768 0 0 0 61518 498 0 0 25 0 1 0 972706496 574504960 96242 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140260 96242 301 301 0 139959 0
vsize: 561040
[startup+630.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 213778 0 0 0 62517 500 0 0 25 0 1 0 972706496 565673984 94096 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138104 94096 301 301 0 137803 0
vsize: 552416
[startup+640.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 213810 0 0 0 63517 500 0 0 25 0 1 0 972706496 565809152 94128 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138137 94128 301 301 0 137836 0
vsize: 552548
[startup+650.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 215969 0 0 0 64512 506 0 0 25 0 1 0 972706496 565809152 94131 4294967295 134512640 135730672 3221224576 3221223232 134734761 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138137 94131 301 301 0 137836 0
vsize: 552548
[startup+660.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 215974 0 0 0 65512 507 0 0 25 0 1 0 972706496 565809152 94136 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138137 94136 301 301 0 137836 0
vsize: 552548
[startup+670.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 218134 0 0 0 66506 512 0 0 25 0 1 0 972706496 574640128 96296 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140293 96296 301 301 0 139992 0
vsize: 561172
[startup+680.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 218156 0 0 0 67506 513 0 0 25 0 1 0 972706496 565944320 94162 4294967295 134512640 135730672 3221224576 3221223264 134748452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138170 94162 301 301 0 137869 0
vsize: 552680
[startup+690.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 218181 0 0 0 68505 515 0 0 25 0 1 0 972706496 566079488 94187 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138203 94187 301 301 0 137902 0
vsize: 552812
[startup+700.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 220339 0 0 0 69500 520 0 0 25 0 1 0 972706496 566079488 94189 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138203 94189 301 301 0 137902 0
vsize: 552812
[startup+710.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 220344 0 0 0 70500 521 0 0 25 0 1 0 972706496 566079488 94194 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138203 94194 301 301 0 137902 0
vsize: 552812
[startup+720.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 220352 0 0 0 71499 522 0 0 25 0 1 0 972706496 566079488 94202 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138203 94202 301 301 0 137902 0
vsize: 552812
[startup+730.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 222511 0 0 0 72494 527 0 0 25 0 1 0 972706496 566079488 94205 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138203 94205 301 301 0 137902 0
vsize: 552812
[startup+740.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 222543 0 0 0 73494 528 0 0 25 0 1 0 972706496 566214656 94237 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138236 94237 301 301 0 137935 0
vsize: 552944
[startup+750.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 224702 0 0 0 74489 533 0 0 25 0 1 0 972706496 566214656 94240 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138236 94240 301 301 0 137935 0
vsize: 552944
[startup+760.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 224710 0 0 0 75488 534 0 0 25 0 1 0 972706496 566214656 94248 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138236 94248 301 301 0 137935 0
vsize: 552944
[startup+770.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 224713 0 0 0 76487 535 0 0 25 0 1 0 972706496 566214656 94251 4294967295 134512640 135730672 3221224576 3221222992 134741558 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138236 94251 301 301 0 137935 0
vsize: 552944
[startup+780.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24039
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 226929 0 0 0 77482 541 0 0 25 0 1 0 972706496 566620160 94311 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94311 301 301 0 138034 0
vsize: 553340
[startup+790.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 226937 0 0 0 78481 542 0 0 25 0 1 0 972706496 566620160 94319 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94319 301 301 0 138034 0
vsize: 553340
[startup+800.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 229095 0 0 0 79476 548 0 0 25 0 1 0 972706496 566620160 94321 4294967295 134512640 135730672 3221224576 3221223200 134783244 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94321 301 301 0 138034 0
vsize: 553340
[startup+810.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 229100 0 0 0 80475 549 0 0 25 0 1 0 972706496 566620160 94326 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94326 301 301 0 138034 0
vsize: 553340
[startup+820.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 229102 0 0 0 81475 549 0 0 25 0 1 0 972706496 566620160 94328 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94328 301 301 0 138034 0
vsize: 553340
[startup+830.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 231259 0 0 0 82469 555 0 0 25 0 1 0 972706496 566620160 94329 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94329 301 301 0 138034 0
vsize: 553340
[startup+840.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 231265 0 0 0 83468 556 0 0 25 0 1 0 972706496 566620160 94335 4294967295 134512640 135730672 3221224576 3221223212 134748066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94335 301 301 0 138034 0
vsize: 553340
[startup+850.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 233427 0 0 0 84462 563 0 0 25 0 1 0 972706496 566620160 94341 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94341 301 301 0 138034 0
vsize: 553340
[startup+860.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 233434 0 0 0 85462 564 0 0 25 0 1 0 972706496 566620160 94348 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94348 301 301 0 138034 0
vsize: 553340
[startup+870.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 235595 0 0 0 86456 569 0 0 25 0 1 0 972706496 566620160 94353 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94353 301 301 0 138034 0
vsize: 553340
[startup+880.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 235603 0 0 0 87456 569 0 0 25 0 1 0 972706496 566620160 94361 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94361 301 301 0 138034 0
vsize: 553340
[startup+890.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 237766 0 0 0 88451 575 0 0 25 0 1 0 972706496 566620160 94368 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94368 301 301 0 138034 0
vsize: 553340
[startup+900.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 237779 0 0 0 89451 575 0 0 25 0 1 0 972706496 566620160 94381 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94381 301 301 0 138034 0
vsize: 553340
[startup+910.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 239935 0 0 0 90446 581 0 0 25 0 1 0 972706496 566620160 94381 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138335 94381 301 301 0 138034 0
vsize: 553340
[startup+920.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 239975 0 0 0 91446 581 0 0 25 0 1 0 972706496 566890496 94421 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138401 94421 301 301 0 138100 0
vsize: 553604
[startup+930.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 242132 0 0 0 92440 587 0 0 25 0 1 0 972706496 566890496 94422 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138401 94422 301 301 0 138100 0
vsize: 553604
[startup+940.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 242134 0 0 0 93439 588 0 0 25 0 1 0 972706496 566890496 94424 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138401 94424 301 301 0 138100 0
vsize: 553604
[startup+950.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 244312 0 0 0 94434 594 0 0 25 0 1 0 972706496 567025664 94446 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138434 94446 301 301 0 138133 0
vsize: 553736
[startup+960.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 244320 0 0 0 95432 596 0 0 25 0 1 0 972706496 567025664 94454 4294967295 134512640 135730672 3221224576 3221223216 134748259 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138434 94454 301 301 0 138133 0
vsize: 553736
[startup+970.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 246498 0 0 0 96427 602 0 0 25 0 1 0 972706496 567160832 94476 4294967295 134512640 135730672 3221224576 3221223072 134747939 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138467 94476 301 301 0 138166 0
vsize: 553868
[startup+980.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 246559 0 0 0 97426 603 0 0 25 0 1 0 972706496 567566336 94537 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138566 94537 301 301 0 138265 0
vsize: 554264
[startup+990.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 246644 0 0 0 98425 604 0 0 25 0 1 0 972706496 568107008 94622 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138698 94622 301 301 0 138397 0
vsize: 554792
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 248841 0 0 0 99420 609 0 0 25 0 1 0 972706496 568377344 94663 4294967295 134512640 135730672 3221224576 3221223220 134748260 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94663 301 301 0 138463 0
vsize: 555056
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 248847 0 0 0 100419 610 0 0 25 0 1 0 972706496 568377344 94669 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94669 301 301 0 138463 0
vsize: 555056
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 248851 0 0 0 101419 611 0 0 25 0 1 0 972706496 568377344 94673 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94673 301 301 0 138463 0
vsize: 555056
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 251008 0 0 0 102413 617 0 0 25 0 1 0 972706496 568377344 94674 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94674 301 301 0 138463 0
vsize: 555056
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 251011 0 0 0 103413 618 0 0 25 0 1 0 972706496 568377344 94677 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94677 301 301 0 138463 0
vsize: 555056
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 253169 0 0 0 104407 623 0 0 25 0 1 0 972706496 568377344 94679 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94679 301 301 0 138463 0
vsize: 555056
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 253172 0 0 0 105406 624 0 0 25 0 1 0 972706496 568377344 94682 4294967295 134512640 135730672 3221224576 3221223088 134745856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94682 301 301 0 138463 0
vsize: 555056
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 255329 0 0 0 106401 630 0 0 25 0 1 0 972706496 568377344 94683 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94683 301 301 0 138463 0
vsize: 555056
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 255332 0 0 0 107400 631 0 0 25 0 1 0 972706496 568377344 94686 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94686 301 301 0 138463 0
vsize: 555056
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 255338 0 0 0 108399 633 0 0 25 0 1 0 972706496 568377344 94692 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94692 301 301 0 138463 0
vsize: 555056
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 257496 0 0 0 109394 638 0 0 25 0 1 0 972706496 568377344 94694 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94694 301 301 0 138463 0
vsize: 555056
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 257504 0 0 0 110393 639 0 0 25 0 1 0 972706496 568377344 94702 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94702 301 301 0 138463 0
vsize: 555056
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 259662 0 0 0 111388 645 0 0 25 0 1 0 972706496 568377344 94704 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94704 301 301 0 138463 0
vsize: 555056
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 259666 0 0 0 112387 646 0 0 25 0 1 0 972706496 568377344 94708 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94708 301 301 0 138463 0
vsize: 555056
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 261827 0 0 0 113381 652 0 0 25 0 1 0 972706496 568377344 94713 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94713 301 301 0 138463 0
vsize: 555056
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 261835 0 0 0 114381 653 0 0 25 0 1 0 972706496 568377344 94721 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94721 301 301 0 138463 0
vsize: 555056
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 263996 0 0 0 115375 658 0 0 25 0 1 0 972706496 577208320 96882 4294967295 134512640 135730672 3221224576 3221222752 134768862 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 140920 96882 301 301 0 140619 0
vsize: 563680
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 264002 0 0 0 116375 659 0 0 25 0 1 0 972706496 568377344 94732 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94732 301 301 0 138463 0
vsize: 555056
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 264010 0 0 0 117374 661 0 0 25 0 1 0 972706496 568377344 94740 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94740 301 301 0 138463 0
vsize: 555056
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 264017 0 0 0 118373 661 0 0 25 0 1 0 972706496 568377344 94747 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138764 94747 301 301 0 138463 0
vsize: 555056
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 264037 0 0 0 119373 662 0 0 25 0 1 0 972706496 568512512 94767 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138797 94767 301 301 0 138496 0
vsize: 555188
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.14 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 24041
Raw data (stat): 23984 (pb2sat-v2) R 23983 25568 25567 0 -1 0 264037 0 0 0 119373 662 0 0 25 0 1 0 972706496 568512512 94767 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 138797 94767 301 301 0 138496 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.14
CPU time (s): 1202.46
CPU user time (s): 1195.64
CPU system time (s): 6.81796
CPU usage (%): 100.027
Max. virtual memory (Kb): 563680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####