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/miplib/normalized-mps-v2-13-7-air04.opb
MD5SUM	eb0734273e24196dd14c6f237b52fa81
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	8904
Biggest coefficient in the objective function	2258
Number of bits for the biggest coefficient in the objective function	12
Sum of the numbers in the objective function	5135151
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	2258
Number of bits of the biggest number in a constraint	12
Biggest sum of numbers in a constraint	5135151
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.119981
Number of variables	8904
Total number of constraints	9727
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9727
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	368
Trace number 42774

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 14:27:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25981 boxname=wulflinc6 idbench=1281 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  eb0734273e24196dd14c6f237b52fa81  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 25981
/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:        724504 kB
Buffers:         16840 kB
Cached:         270276 kB
SwapCached:       1000 kB
Active:          28224 kB
Inactive:       260980 kB
HighTotal:      131008 kB
HighFree:         9324 kB
LowTotal:       903652 kB
LowFree:        715180 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15224 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 14:47:54 (client local time) WITH STATUS 0 IN 1200.77 SECONDS
stats: 25981 7 1200.77 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 72552/153207	Time: 300.694/86400
c Decision: 72568/153207	Time: 399.351/86400
c Decision: 72606/153207	Time: 451.592/86400
c Decision: 72627/153207	Time: 538.964/86400
c Decision: 72627/153207	Time: 552.308/86400
c Decision: 72650/153207	Time: 633.067/86400
c Decision: 72677/153207	Time: 757.533/86400
c Decision: 72691/153207	Time: 803.896/86400
c Decision: 72695/153207	Time: 839.39/86400
c Decision: 72709/153207	Time: 899.973/86400
c Decision: 72726/153207	Time: 996.663/86400
c Decision: 72742/153207	Time: 1059.55/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.90 0.93 0.90 2/54 22334
Raw data (stat): 22334 (runsolver) R 22333 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971480268 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.0011 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 14165 0 0 0 964 34 0 0 25 0 1 0 971480268 41205760 8656 4294967295 134512640 135730672 3221224576 3221213792 134743284 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10060 8656 301 301 0 9759 0
vsize: 40240
[startup+20.0016 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 19575 0 0 0 1952 47 0 0 25 0 1 0 971480268 56782848 11438 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13863 11438 301 301 0 13562 0
vsize: 55452
[startup+30.0028 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 19940 0 0 0 2951 49 0 0 25 0 1 0 971480268 58421248 11803 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14263 11803 301 301 0 13962 0
vsize: 57052
[startup+40.0034 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 20113 0 0 0 3949 51 0 0 25 0 1 0 971480268 59027456 11976 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14411 11976 301 301 0 14110 0
vsize: 57644
[startup+50.0039 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 20240 0 0 0 4948 52 0 0 25 0 1 0 971480268 59469824 12103 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14519 12103 301 301 0 14218 0
vsize: 58076
[startup+60.0042 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 20394 0 0 0 5947 53 0 0 25 0 1 0 971480268 59928576 12257 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14631 12257 301 301 0 14330 0
vsize: 58524
[startup+70.0057 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 20475 0 0 0 6946 55 0 0 25 0 1 0 971480268 60256256 12338 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14711 12338 301 301 0 14410 0
vsize: 58844
[startup+80.0064 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 20635 0 0 0 7945 57 0 0 25 0 1 0 971480268 60571648 12498 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14788 12498 301 301 0 14487 0
vsize: 59152
[startup+90.0066 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 20789 0 0 0 8944 58 0 0 25 0 1 0 971480268 69095424 12652 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16869 12652 301 301 0 16568 0
vsize: 67476
[startup+100.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 20929 0 0 0 9942 60 0 0 25 0 1 0 971480268 69558272 12792 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16982 12792 301 301 0 16681 0
vsize: 67928
[startup+110.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 21024 0 0 0 10942 60 0 0 25 0 1 0 971480268 69738496 12887 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17026 12887 301 301 0 16725 0
vsize: 68104
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 21195 0 0 0 11942 61 0 0 25 0 1 0 971480268 70164480 13058 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17130 13058 301 301 0 16829 0
vsize: 68520
[startup+130.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 21305 0 0 0 12941 63 0 0 25 0 1 0 971480268 70299648 13168 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17163 13168 301 301 0 16862 0
vsize: 68652
[startup+140.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 21429 0 0 0 13940 63 0 0 25 0 1 0 971480268 70582272 13292 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17232 13292 301 301 0 16931 0
vsize: 68928
[startup+150.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 21594 0 0 0 14939 65 0 0 25 0 1 0 971480268 70729728 13457 4294967295 134512640 135730672 3221224576 3221223072 134747452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17268 13457 301 301 0 16967 0
vsize: 69072
[startup+160.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 21752 0 0 0 15939 66 0 0 25 0 1 0 971480268 71196672 13615 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17382 13615 301 301 0 17081 0
vsize: 69528
[startup+170.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 21860 0 0 0 16937 68 0 0 25 0 1 0 971480268 71479296 13723 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17451 13723 301 301 0 17150 0
vsize: 69804
[startup+180.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 21966 0 0 0 17937 69 0 0 25 0 1 0 971480268 71626752 13829 4294967295 134512640 135730672 3221224576 3221222780 135291064 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17487 13829 301 301 0 17186 0
vsize: 69948
[startup+190.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 22103 0 0 0 18936 70 0 0 25 0 1 0 971480268 71761920 13966 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17520 13966 301 301 0 17219 0
vsize: 70080
[startup+200.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 22281 0 0 0 19935 71 0 0 25 0 1 0 971480268 72216576 14144 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17631 14144 301 301 0 17330 0
vsize: 70524
[startup+210.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 22371 0 0 0 20934 73 0 0 25 0 1 0 971480268 72380416 14234 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17671 14234 301 301 0 17370 0
vsize: 70684
[startup+220.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 22445 0 0 0 21933 74 0 0 25 0 1 0 971480268 72519680 14308 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17705 14308 301 301 0 17404 0
vsize: 70820
[startup+230.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 22554 0 0 0 22932 75 0 0 25 0 1 0 971480268 72654848 14417 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17738 14417 301 301 0 17437 0
vsize: 70952
[startup+240.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 22678 0 0 0 23931 77 0 0 25 0 1 0 971480268 72790016 14541 4294967295 134512640 135730672 3221224576 3221223116 135301630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17771 14541 301 301 0 17470 0
vsize: 71084
[startup+250.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 22773 0 0 0 24930 78 0 0 25 0 1 0 971480268 72937472 14636 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17807 14636 301 301 0 17506 0
vsize: 71228
[startup+260.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 22904 0 0 0 25930 79 0 0 25 0 1 0 971480268 73072640 14767 4294967295 134512640 135730672 3221224576 3221223072 134747590 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17840 14767 301 301 0 17539 0
vsize: 71360
[startup+270.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 23002 0 0 0 26929 80 0 0 25 0 1 0 971480268 73207808 14865 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17873 14865 301 301 0 17572 0
vsize: 71492
[startup+280.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 23164 0 0 0 27928 82 0 0 25 0 1 0 971480268 73527296 15027 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17951 15027 301 301 0 17650 0
vsize: 71804
[startup+290.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 23408 0 0 0 28927 83 0 0 25 0 1 0 971480268 73527296 15271 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17951 15271 301 301 0 17650 0
vsize: 71804
[startup+300.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 23548 0 0 0 29927 84 0 0 25 0 1 0 971480268 73674752 15411 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17987 15411 301 301 0 17686 0
vsize: 71948
[startup+310.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 23697 0 0 0 30926 85 0 0 25 0 1 0 971480268 73809920 15560 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18020 15560 301 301 0 17719 0
vsize: 72080
[startup+320.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 24084 0 0 0 31924 86 0 0 25 0 1 0 971480268 74113024 15647 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18094 15647 301 301 0 17793 0
vsize: 72376
[startup+330.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 24101 0 0 0 32924 87 0 0 25 0 1 0 971480268 74293248 15664 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18138 15664 301 301 0 17837 0
vsize: 72552
[startup+340.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 24132 0 0 0 33924 88 0 0 25 0 1 0 971480268 74293248 15695 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18138 15695 301 301 0 17837 0
vsize: 72552
[startup+350.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 24203 0 0 0 34923 89 0 0 25 0 1 0 971480268 74592256 15766 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18211 15766 301 301 0 17910 0
vsize: 72844
[startup+360.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 24279 0 0 0 35923 89 0 0 25 0 1 0 971480268 75026432 15842 4294967295 134512640 135730672 3221224576 3221223072 134747878 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18317 15842 301 301 0 18016 0
vsize: 73268
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 24423 0 0 0 36922 90 0 0 25 0 1 0 971480268 75345920 15986 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18395 15986 301 301 0 18094 0
vsize: 73580
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 24529 0 0 0 37922 91 0 0 25 0 1 0 971480268 92278784 16092 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22529 16092 301 301 0 22228 0
vsize: 90116
[startup+390.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 24663 0 0 0 38921 92 0 0 25 0 1 0 971480268 92278784 16226 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22529 16226 301 301 0 22228 0
vsize: 90116
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 24800 0 0 0 39919 94 0 0 25 0 1 0 971480268 92577792 16363 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22602 16363 301 301 0 22301 0
vsize: 90408
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 25066 0 0 0 40918 96 0 0 25 0 1 0 971480268 92577792 16629 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22602 16629 301 301 0 22301 0
vsize: 90408
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 28542 0 0 0 41908 105 0 0 25 0 1 0 971480268 105299968 16732 4294967295 134512640 135730672 3221224576 3221222800 134813854 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25708 16732 301 301 0 25407 0
vsize: 102832
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 28644 0 0 0 42907 107 0 0 25 0 1 0 971480268 105496576 16834 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25756 16834 301 301 0 25455 0
vsize: 103024
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 28722 0 0 0 43906 108 0 0 25 0 1 0 971480268 105496576 16912 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25756 16912 301 301 0 25455 0
vsize: 103024
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 28806 0 0 0 44904 110 0 0 25 0 1 0 971480268 105660416 16996 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25796 16996 301 301 0 25495 0
vsize: 103184
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 28936 0 0 0 45903 112 0 0 25 0 1 0 971480268 105660416 17126 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25796 17126 301 301 0 25495 0
vsize: 103184
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 29356 0 0 0 46902 113 0 0 25 0 1 0 971480268 105807872 17246 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25832 17246 301 301 0 25531 0
vsize: 103328
[startup+480.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 29454 0 0 0 47901 114 0 0 25 0 1 0 971480268 105955328 17344 4294967295 134512640 135730672 3221224576 3221223232 134748670 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25868 17344 301 301 0 25567 0
vsize: 103472
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 29533 0 0 0 48900 116 0 0 25 0 1 0 971480268 106094592 17423 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25902 17423 301 301 0 25601 0
vsize: 103608
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 29608 0 0 0 49899 116 0 0 25 0 1 0 971480268 106266624 17498 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25944 17498 301 301 0 25643 0
vsize: 103776
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 29771 0 0 0 50898 118 0 0 25 0 1 0 971480268 106463232 17661 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25992 17661 301 301 0 25691 0
vsize: 103968
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 29990 0 0 0 51898 118 0 0 25 0 1 0 971480268 106463232 17880 4294967295 134512640 135730672 3221224576 3221223228 134748060 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25992 17880 301 301 0 25691 0
vsize: 103968
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 30153 0 0 0 52897 119 0 0 25 0 1 0 971480268 106463232 18043 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25992 18043 301 301 0 25691 0
vsize: 103968
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 30274 0 0 0 53897 120 0 0 25 0 1 0 971480268 106610688 18164 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26028 18164 301 301 0 25727 0
vsize: 104112
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 30396 0 0 0 54897 121 0 0 25 0 1 0 971480268 106610688 18286 4294967295 134512640 135730672 3221224576 3221223008 134782895 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26028 18286 301 301 0 25727 0
vsize: 104112
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 30779 0 0 0 55895 123 0 0 25 0 1 0 971480268 106610688 18369 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26028 18369 301 301 0 25727 0
vsize: 104112
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 31183 0 0 0 56894 124 0 0 25 0 1 0 971480268 106807296 18473 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26076 18473 301 301 0 25775 0
vsize: 104304
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 31253 0 0 0 57893 125 0 0 25 0 1 0 971480268 106807296 18543 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26076 18543 301 301 0 25775 0
vsize: 104304
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 31387 0 0 0 58892 126 0 0 25 0 1 0 971480268 107126784 18677 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26154 18677 301 301 0 25853 0
vsize: 104616
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 31521 0 0 0 59891 128 0 0 25 0 1 0 971480268 107126784 18811 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26154 18811 301 301 0 25853 0
vsize: 104616
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 31639 0 0 0 60890 129 0 0 25 0 1 0 971480268 107274240 18929 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26190 18929 301 301 0 25889 0
vsize: 104760
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 31782 0 0 0 61889 130 0 0 25 0 1 0 971480268 107544576 19072 4294967295 134512640 135730672 3221224576 3221223168 134763606 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26256 19072 301 301 0 25955 0
vsize: 105024
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 31925 0 0 0 62889 131 0 0 25 0 1 0 971480268 107544576 19215 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26256 19215 301 301 0 25955 0
vsize: 105024
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32230 0 0 0 63888 132 0 0 25 0 1 0 971480268 107544576 19520 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26256 19520 301 301 0 25955 0
vsize: 105024
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32677 0 0 0 64887 133 0 0 25 0 1 0 971480268 107696128 19667 4294967295 134512640 135730672 3221224576 3221223184 134744768 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26293 19667 301 301 0 25992 0
vsize: 105172
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32687 0 0 0 65886 134 0 0 25 0 1 0 971480268 107696128 19677 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26293 19677 301 301 0 25992 0
vsize: 105172
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32732 0 0 0 66885 135 0 0 25 0 1 0 971480268 107835392 19722 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26327 19722 301 301 0 26026 0
vsize: 105308
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32761 0 0 0 67885 136 0 0 25 0 1 0 971480268 107999232 19751 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26367 19751 301 301 0 26066 0
vsize: 105468
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32782 0 0 0 68885 136 0 0 25 0 1 0 971480268 108138496 19772 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26401 19772 301 301 0 26100 0
vsize: 105604
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32793 0 0 0 69885 136 0 0 25 0 1 0 971480268 108138496 19783 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26401 19783 301 301 0 26100 0
vsize: 105604
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32815 0 0 0 70885 137 0 0 25 0 1 0 971480268 108285952 19805 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26437 19805 301 301 0 26136 0
vsize: 105748
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32832 0 0 0 71884 138 0 0 25 0 1 0 971480268 108285952 19822 4294967295 134512640 135730672 3221224576 3221223192 134748218 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26437 19822 301 301 0 26136 0
vsize: 105748
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32836 0 0 0 72884 138 0 0 25 0 1 0 971480268 108285952 19826 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26437 19826 301 301 0 26136 0
vsize: 105748
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32881 0 0 0 73884 138 0 0 25 0 1 0 971480268 108572672 19871 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26507 19871 301 301 0 26206 0
vsize: 106028
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32919 0 0 0 74883 140 0 0 25 0 1 0 971480268 108736512 19909 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26547 19909 301 301 0 26246 0
vsize: 106188
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 32963 0 0 0 75883 140 0 0 25 0 1 0 971480268 108883968 19953 4294967295 134512640 135730672 3221224576 3221223200 134748073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26583 19953 301 301 0 26282 0
vsize: 106332
[startup+770.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 33267 0 0 0 76882 141 0 0 25 0 1 0 971480268 108883968 19957 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26583 19957 301 301 0 26282 0
vsize: 106332
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 33271 0 0 0 77881 142 0 0 25 0 1 0 971480268 108883968 19961 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26583 19961 301 301 0 26282 0
vsize: 106332
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 33286 0 0 0 78881 143 0 0 25 0 1 0 971480268 109080576 19976 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26631 19976 301 301 0 26330 0
vsize: 106524
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 33311 0 0 0 79879 145 0 0 25 0 1 0 971480268 109080576 20001 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26631 20001 301 301 0 26330 0
vsize: 106524
[startup+810.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 33319 0 0 0 80878 146 0 0 25 0 1 0 971480268 109244416 20009 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26671 20009 301 301 0 26370 0
vsize: 106684
[startup+820.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 33629 0 0 0 81877 147 0 0 25 0 1 0 971480268 109244416 20019 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26671 20019 301 301 0 26370 0
vsize: 106684
[startup+830.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 33669 0 0 0 82876 148 0 0 25 0 1 0 971480268 109383680 20059 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26705 20059 301 301 0 26404 0
vsize: 106820
[startup+840.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 33857 0 0 0 83876 149 0 0 25 0 1 0 971480268 109383680 20247 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26705 20247 301 301 0 26404 0
vsize: 106820
[startup+850.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 34037 0 0 0 84875 150 0 0 25 0 1 0 971480268 109383680 20427 4294967295 134512640 135730672 3221224576 3221223088 134746501 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26705 20427 301 301 0 26404 0
vsize: 106820
[startup+860.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 34448 0 0 0 85873 152 0 0 25 0 1 0 971480268 109383680 20538 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26705 20538 301 301 0 26404 0
vsize: 106820
[startup+870.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 34547 0 0 0 86872 154 0 0 25 0 1 0 971480268 109531136 20637 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26741 20637 301 301 0 26440 0
vsize: 106964
[startup+880.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 34631 0 0 0 87872 154 0 0 25 0 1 0 971480268 109531136 20721 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26741 20721 301 301 0 26440 0
vsize: 106964
[startup+890.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 34718 0 0 0 88871 155 0 0 25 0 1 0 971480268 109694976 20808 4294967295 134512640 135730672 3221224576 3221222956 135291190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26781 20808 301 301 0 26480 0
vsize: 107124
[startup+900.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 34833 0 0 0 89870 156 0 0 25 0 1 0 971480268 109694976 20923 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26781 20923 301 301 0 26480 0
vsize: 107124
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 34924 0 0 0 90870 157 0 0 25 0 1 0 971480268 109694976 21014 4294967295 134512640 135730672 3221224576 3221222648 135284227 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26781 21014 301 301 0 26480 0
vsize: 107124
[startup+920.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 35299 0 0 0 91869 159 0 0 25 0 1 0 971480268 109694976 21089 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26781 21089 301 301 0 26480 0
vsize: 107124
[startup+930.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 35400 0 0 0 92868 159 0 0 25 0 1 0 971480268 109891584 21190 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26829 21190 301 301 0 26528 0
vsize: 107316
[startup+940.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 35494 0 0 0 93867 160 0 0 25 0 1 0 971480268 110055424 21284 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26869 21284 301 301 0 26568 0
vsize: 107476
[startup+950.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 35587 0 0 0 94867 161 0 0 25 0 1 0 971480268 110055424 21377 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26869 21377 301 301 0 26568 0
vsize: 107476
[startup+960.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 35689 0 0 0 95865 163 0 0 25 0 1 0 971480268 143609856 21479 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35061 21479 301 301 0 34760 0
vsize: 140244
[startup+970.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 35870 0 0 0 96864 164 0 0 25 0 1 0 971480268 143773696 21660 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35101 21660 301 301 0 34800 0
vsize: 140404
[startup+980.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 35948 0 0 0 97863 165 0 0 25 0 1 0 971480268 143773696 21738 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35101 21738 301 301 0 34800 0
vsize: 140404
[startup+990.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36036 0 0 0 98863 166 0 0 25 0 1 0 971480268 143937536 21826 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35141 21826 301 301 0 34840 0
vsize: 140564
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36083 0 0 0 99863 167 0 0 25 0 1 0 971480268 143937536 21873 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35141 21873 301 301 0 34840 0
vsize: 140564
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36421 0 0 0 100861 168 0 0 25 0 1 0 971480268 143937536 21911 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35141 21911 301 301 0 34840 0
vsize: 140564
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36436 0 0 0 101862 169 0 0 25 0 1 0 971480268 144134144 21926 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35189 21926 301 301 0 34888 0
vsize: 140756
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36445 0 0 0 102861 169 0 0 25 0 1 0 971480268 144134144 21935 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35189 21935 301 301 0 34888 0
vsize: 140756
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36458 0 0 0 103861 170 0 0 25 0 1 0 971480268 144134144 21948 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35189 21948 301 301 0 34888 0
vsize: 140756
[startup+1050 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36472 0 0 0 104859 172 0 0 25 0 1 0 971480268 144297984 21962 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35229 21962 301 301 0 34928 0
vsize: 140916
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36480 0 0 0 105859 173 0 0 25 0 1 0 971480268 144297984 21970 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35229 21970 301 301 0 34928 0
vsize: 140916
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36501 0 0 0 106859 173 0 0 25 0 1 0 971480268 144297984 21991 4294967295 134512640 135730672 3221224576 3221223088 134746168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35229 21991 301 301 0 34928 0
vsize: 140916
[startup+1080 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36853 0 0 0 107857 175 0 0 25 0 1 0 971480268 144629760 22043 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35310 22043 301 301 0 35009 0
vsize: 141240
[startup+1090 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36893 0 0 0 108856 176 0 0 25 0 1 0 971480268 144826368 22083 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35358 22083 301 301 0 35057 0
vsize: 141432
[startup+1100 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36925 0 0 0 109856 177 0 0 25 0 1 0 971480268 145022976 22115 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35406 22115 301 301 0 35105 0
vsize: 141624
[startup+1110 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36950 0 0 0 110855 177 0 0 25 0 1 0 971480268 145022976 22140 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35406 22140 301 301 0 35105 0
vsize: 141624
[startup+1120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 36991 0 0 0 111854 179 0 0 25 0 1 0 971480268 145326080 22181 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35480 22181 301 301 0 35179 0
vsize: 141920
[startup+1130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 37044 0 0 0 112852 181 0 0 25 0 1 0 971480268 145473536 22234 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35516 22234 301 301 0 35215 0
vsize: 142064
[startup+1140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 37057 0 0 0 113852 181 0 0 25 0 1 0 971480268 145653760 22247 4294967295 134512640 135730672 3221224576 3221222816 134786288 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35560 22247 301 301 0 35259 0
vsize: 142240
[startup+1150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 37061 0 0 0 114852 182 0 0 25 0 1 0 971480268 145653760 22251 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35560 22251 301 301 0 35259 0
vsize: 142240
[startup+1160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 37065 0 0 0 115852 183 0 0 25 0 1 0 971480268 145653760 22255 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35560 22255 301 301 0 35259 0
vsize: 142240
[startup+1170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 37080 0 0 0 116851 184 0 0 25 0 1 0 971480268 145653760 22270 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35560 22270 301 301 0 35259 0
vsize: 142240
[startup+1180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 37108 0 0 0 117851 184 0 0 25 0 1 0 971480268 145850368 22298 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35608 22298 301 301 0 35307 0
vsize: 142432
[startup+1190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 37129 0 0 0 118850 185 0 0 25 0 1 0 971480268 145850368 22319 4294967295 134512640 135730672 3221224576 3221223072 134747573 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35608 22319 301 301 0 35307 0
vsize: 142432
[startup+1200 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 22334
Raw data (stat): 22334 (pb2sat-v2) R 22333 25568 25567 0 -1 0 37154 0 0 0 119849 187 0 0 25 0 1 0 971480268 146006016 22344 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35646 22344 301 301 0 35345 0
vsize: 142584
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.41 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 22334
Raw data (stat): 22334 (pb2sat-v2) Z 22333 25568 25567 0 -1 12 37156 0 0 0 119885 191 0 0 25 0 1 0 971480268 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.41
CPU time (s): 1200.77
CPU user time (s): 1198.85
CPU system time (s): 1.91371
CPU usage (%): 100.03
Max. virtual memory (Kb): 142584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####