PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air04.opb
MD5SUM	26490113618ae9605b5ebe6370b5910b
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.116981
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 42510

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 09:16:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25714 boxname=wulflinc2 idbench=1014 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-air04.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-20-10-air04.opb
IDLAUNCH: 25714
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        908456 kB
Buffers:          5096 kB
Cached:          98532 kB
SwapCached:       1432 kB
Active:          28124 kB
Inactive:        77592 kB
HighTotal:      131008 kB
HighFree:        53844 kB
LowTotal:       903652 kB
LowFree:        854612 kB
SwapTotal:     2097136 kB
SwapFree:      2094708 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14760 kB
Committed_AS:    71892 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:36:44 (client local time) WITH STATUS 0 IN 1200.6 SECONDS
stats: 25714 7 1200.6 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: 305.351/86400
c Decision: 72568/153207	Time: 405.65/86400
c Decision: 72606/153207	Time: 458.871/86400
c Decision: 72627/153207	Time: 547.743/86400
c Decision: 72627/153207	Time: 561.242/86400
c Decision: 72650/153207	Time: 643.225/86400
c Decision: 72677/153207	Time: 769.748/86400
c Decision: 72691/153207	Time: 817.267/86400
c Decision: 72695/153207	Time: 853.679/86400
c Decision: 72709/153207	Time: 915.414/86400
c Decision: 72726/153207	Time: 1013.58/86400
c Decision: 72742/153207	Time: 1077.37/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.95 0.91 1/54 8378
Raw data (stat): 8378 (runsolver) R 8377 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969618015 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.0008 s]
Raw data (loadavg): 0.91 0.95 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 14053 0 0 0 963 36 0 0 25 0 1 0 969618015 41205760 8546 4294967295 134512640 135730672 3221224576 3221221776 134579296 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 10060 8546 301 301 0 9759 0
vsize: 40240
[startup+20.0016 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 19563 0 0 0 1950 49 0 0 25 0 1 0 969618015 56782848 11426 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13863 11426 301 301 0 13562 0
vsize: 55452
[startup+30.0023 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 19930 0 0 0 2947 52 0 0 25 0 1 0 969618015 58421248 11793 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14263 11793 301 301 0 13962 0
vsize: 57052
[startup+40.0029 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 20099 0 0 0 3944 54 0 0 25 0 1 0 969618015 58880000 11962 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14375 11962 301 301 0 14074 0
vsize: 57500
[startup+50.0042 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 20233 0 0 0 4943 56 0 0 25 0 1 0 969618015 59469824 12096 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14519 12096 301 301 0 14218 0
vsize: 58076
[startup+60.0043 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 20376 0 0 0 5941 58 0 0 25 0 1 0 969618015 59928576 12239 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14631 12239 301 301 0 14330 0
vsize: 58524
[startup+70.005 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 20463 0 0 0 6940 59 0 0 25 0 1 0 969618015 60092416 12326 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14671 12326 301 301 0 14370 0
vsize: 58684
[startup+80.0052 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 20621 0 0 0 7939 61 0 0 25 0 1 0 969618015 60420096 12484 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14751 12484 301 301 0 14450 0
vsize: 59004
[startup+90.0054 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 20776 0 0 0 8938 62 0 0 25 0 1 0 969618015 69095424 12639 4294967295 134512640 135730672 3221224576 3221223072 134747636 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16869 12639 301 301 0 16568 0
vsize: 67476
[startup+100.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 20886 0 0 0 9937 63 0 0 25 0 1 0 969618015 69394432 12749 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16942 12749 301 301 0 16641 0
vsize: 67768
[startup+110.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 21014 0 0 0 10936 64 0 0 25 0 1 0 969618015 69738496 12877 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17026 12877 301 301 0 16725 0
vsize: 68104
[startup+120.008 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 21169 0 0 0 11935 65 0 0 25 0 1 0 969618015 70164480 13032 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17130 13032 301 301 0 16829 0
vsize: 68520
[startup+130.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 21290 0 0 0 12933 67 0 0 25 0 1 0 969618015 70299648 13153 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17163 13153 301 301 0 16862 0
vsize: 68652
[startup+140.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 21415 0 0 0 13932 69 0 0 25 0 1 0 969618015 70582272 13278 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17232 13278 301 301 0 16931 0
vsize: 68928
[startup+150.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 21554 0 0 0 14930 70 0 0 25 0 1 0 969618015 70729728 13417 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17268 13417 301 301 0 16967 0
vsize: 69072
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 21724 0 0 0 15929 72 0 0 25 0 1 0 969618015 71196672 13587 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17382 13587 301 301 0 17081 0
vsize: 69528
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 21831 0 0 0 16928 73 0 0 25 0 1 0 969618015 71340032 13694 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17417 13694 301 301 0 17116 0
vsize: 69668
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 21928 0 0 0 17927 74 0 0 25 0 1 0 969618015 71626752 13791 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17487 13791 301 301 0 17186 0
vsize: 69948
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 22071 0 0 0 18925 77 0 0 25 0 1 0 969618015 71761920 13934 4294967295 134512640 135730672 3221224576 3221223200 134748094 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17520 13934 301 301 0 17219 0
vsize: 70080
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 22205 0 0 0 19923 78 0 0 25 0 1 0 969618015 71897088 14068 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17553 14068 301 301 0 17252 0
vsize: 70212
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 22350 0 0 0 20922 80 0 0 25 0 1 0 969618015 72380416 14213 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17671 14213 301 301 0 17370 0
vsize: 70684
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 22417 0 0 0 21921 81 0 0 25 0 1 0 969618015 72380416 14280 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17671 14280 301 301 0 17370 0
vsize: 70684
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 22516 0 0 0 22919 83 0 0 25 0 1 0 969618015 72519680 14379 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17705 14379 301 301 0 17404 0
vsize: 70820
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 22633 0 0 0 23918 84 0 0 25 0 1 0 969618015 72654848 14496 4294967295 134512640 135730672 3221224576 3221223072 134747647 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17738 14496 301 301 0 17437 0
vsize: 70952
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 22734 0 0 0 24918 85 0 0 25 0 1 0 969618015 72937472 14597 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17807 14597 301 301 0 17506 0
vsize: 71228
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 22852 0 0 0 25916 87 0 0 25 0 1 0 969618015 73072640 14715 4294967295 134512640 135730672 3221224576 3221223056 134732786 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17840 14715 301 301 0 17539 0
vsize: 71360
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 22960 0 0 0 26914 89 0 0 25 0 1 0 969618015 73207808 14823 4294967295 134512640 135730672 3221224576 3221223072 134747899 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17873 14823 301 301 0 17572 0
vsize: 71492
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 23114 0 0 0 27913 90 0 0 25 0 1 0 969618015 73527296 14977 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17951 14977 301 301 0 17650 0
vsize: 71804
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 23306 0 0 0 28913 91 0 0 25 0 1 0 969618015 73527296 15169 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17951 15169 301 301 0 17650 0
vsize: 71804
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 23486 0 0 0 29912 92 0 0 25 0 1 0 969618015 73674752 15349 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17987 15349 301 301 0 17686 0
vsize: 71948
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 23616 0 0 0 30911 92 0 0 25 0 1 0 969618015 73809920 15479 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18020 15479 301 301 0 17719 0
vsize: 72080
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 24052 0 0 0 31910 94 0 0 25 0 1 0 969618015 74113024 15615 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18094 15615 301 301 0 17793 0
vsize: 72376
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 24098 0 0 0 32908 95 0 0 25 0 1 0 969618015 74293248 15661 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18138 15661 301 301 0 17837 0
vsize: 72552
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 24121 0 0 0 33907 96 0 0 25 0 1 0 969618015 74293248 15684 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18138 15684 301 301 0 17837 0
vsize: 72552
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 24181 0 0 0 34906 98 0 0 25 0 1 0 969618015 74592256 15744 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18211 15744 301 301 0 17910 0
vsize: 72844
[startup+360.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 24229 0 0 0 35905 99 0 0 25 0 1 0 969618015 74731520 15792 4294967295 134512640 135730672 3221224576 3221223184 134744450 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18245 15792 301 301 0 17944 0
vsize: 72980
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 24348 0 0 0 36904 100 0 0 25 0 1 0 969618015 75026432 15911 4294967295 134512640 135730672 3221224576 3221223264 134748565 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18317 15911 301 301 0 18016 0
vsize: 73268
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 24479 0 0 0 37902 102 0 0 25 0 1 0 969618015 75501568 16042 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18433 16042 301 301 0 18132 0
vsize: 73732
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 24574 0 0 0 38901 104 0 0 25 0 1 0 969618015 92278784 16137 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22529 16137 301 301 0 22228 0
vsize: 90116
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 24701 0 0 0 39900 105 0 0 25 0 1 0 969618015 92442624 16264 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22569 16264 301 301 0 22268 0
vsize: 90276
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 24894 0 0 0 40899 106 0 0 25 0 1 0 969618015 92577792 16457 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22602 16457 301 301 0 22301 0
vsize: 90408
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 25399 0 0 0 41897 107 0 0 25 0 1 0 969618015 92577792 16662 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22602 16662 301 301 0 22301 0
vsize: 90408
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 28578 0 0 0 42890 114 0 0 25 0 1 0 969618015 105299968 16768 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25708 16768 301 301 0 25407 0
vsize: 102832
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 28665 0 0 0 43890 115 0 0 25 0 1 0 969618015 105496576 16855 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25756 16855 301 301 0 25455 0
vsize: 103024
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 28742 0 0 0 44889 116 0 0 25 0 1 0 969618015 105496576 16932 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25756 16932 301 301 0 25455 0
vsize: 103024
[startup+460.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 28825 0 0 0 45888 118 0 0 25 0 1 0 969618015 105660416 17015 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25796 17015 301 301 0 25495 0
vsize: 103184
[startup+470.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 28979 0 0 0 46887 119 0 0 25 0 1 0 969618015 105660416 17169 4294967295 134512640 135730672 3221224576 3221223088 134746507 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25796 17169 301 301 0 25495 0
vsize: 103184
[startup+480.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 29375 0 0 0 47885 121 0 0 25 0 1 0 969618015 105807872 17265 4294967295 134512640 135730672 3221224576 3221223072 134747851 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25832 17265 301 301 0 25531 0
vsize: 103328
[startup+490.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 29472 0 0 0 48883 123 0 0 25 0 1 0 969618015 105955328 17362 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25868 17362 301 301 0 25567 0
vsize: 103472
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 29540 0 0 0 49882 124 0 0 25 0 1 0 969618015 106094592 17430 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25902 17430 301 301 0 25601 0
vsize: 103608
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 29639 0 0 0 50880 126 0 0 25 0 1 0 969618015 106266624 17529 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25944 17529 301 301 0 25643 0
vsize: 103776
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 29810 0 0 0 51879 127 0 0 25 0 1 0 969618015 106463232 17700 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25992 17700 301 301 0 25691 0
vsize: 103968
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 30007 0 0 0 52879 128 0 0 25 0 1 0 969618015 106463232 17897 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25992 17897 301 301 0 25691 0
vsize: 103968
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 30185 0 0 0 53878 129 0 0 25 0 1 0 969618015 106463232 18075 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25992 18075 301 301 0 25691 0
vsize: 103968
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 30282 0 0 0 54877 130 0 0 25 0 1 0 969618015 106610688 18172 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26028 18172 301 301 0 25727 0
vsize: 104112
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 30701 0 0 0 55876 131 0 0 25 0 1 0 969618015 106610688 18291 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26028 18291 301 301 0 25727 0
vsize: 104112
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 30786 0 0 0 56874 133 0 0 25 0 1 0 969618015 106610688 18376 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26028 18376 301 301 0 25727 0
vsize: 104112
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 31188 0 0 0 57871 135 0 0 25 0 1 0 969618015 106807296 18478 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26076 18478 301 301 0 25775 0
vsize: 104304
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 31261 0 0 0 58870 137 0 0 25 0 1 0 969618015 106807296 18551 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26076 18551 301 301 0 25775 0
vsize: 104304
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 31394 0 0 0 59868 138 0 0 25 0 1 0 969618015 107126784 18684 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26154 18684 301 301 0 25853 0
vsize: 104616
[startup+610.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 31528 0 0 0 60867 140 0 0 25 0 1 0 969618015 107126784 18818 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26154 18818 301 301 0 25853 0
vsize: 104616
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 31641 0 0 0 61866 140 0 0 25 0 1 0 969618015 107274240 18931 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26190 18931 301 301 0 25889 0
vsize: 104760
[startup+630.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 31782 0 0 0 62866 142 0 0 25 0 1 0 969618015 107544576 19072 4294967295 134512640 135730672 3221224576 3221222892 134813650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26256 19072 301 301 0 25955 0
vsize: 105024
[startup+640.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 31921 0 0 0 63865 142 0 0 25 0 1 0 969618015 107544576 19211 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26256 19211 301 301 0 25955 0
vsize: 105024
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32223 0 0 0 64864 143 0 0 25 0 1 0 969618015 107544576 19513 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26256 19513 301 301 0 25955 0
vsize: 105024
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32676 0 0 0 65863 145 0 0 25 0 1 0 969618015 107696128 19666 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26293 19666 301 301 0 25992 0
vsize: 105172
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32687 0 0 0 66863 145 0 0 25 0 1 0 969618015 107696128 19677 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26293 19677 301 301 0 25992 0
vsize: 105172
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32726 0 0 0 67862 146 0 0 25 0 1 0 969618015 107835392 19716 4294967295 134512640 135730672 3221224576 3221223072 134747834 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26327 19716 301 301 0 26026 0
vsize: 105308
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32761 0 0 0 68862 147 0 0 25 0 1 0 969618015 107999232 19751 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26367 19751 301 301 0 26066 0
vsize: 105468
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32777 0 0 0 69861 147 0 0 25 0 1 0 969618015 108138496 19767 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26401 19767 301 301 0 26100 0
vsize: 105604
[startup+710.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32790 0 0 0 70861 148 0 0 25 0 1 0 969618015 108138496 19780 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26401 19780 301 301 0 26100 0
vsize: 105604
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32811 0 0 0 71861 148 0 0 25 0 1 0 969618015 108285952 19801 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26437 19801 301 301 0 26136 0
vsize: 105748
[startup+730.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32832 0 0 0 72860 149 0 0 25 0 1 0 969618015 108285952 19822 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26437 19822 301 301 0 26136 0
vsize: 105748
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32833 0 0 0 73859 151 0 0 25 0 1 0 969618015 108285952 19823 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26437 19823 301 301 0 26136 0
vsize: 105748
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32881 0 0 0 74858 151 0 0 25 0 1 0 969618015 108572672 19871 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26507 19871 301 301 0 26206 0
vsize: 106028
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32918 0 0 0 75857 153 0 0 25 0 1 0 969618015 108736512 19908 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26547 19908 301 301 0 26246 0
vsize: 106188
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32963 0 0 0 76856 153 0 0 25 0 1 0 969618015 108883968 19953 4294967295 134512640 135730672 3221224576 3221222960 134763157 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26583 19953 301 301 0 26282 0
vsize: 106332
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 32965 0 0 0 77856 154 0 0 25 0 1 0 969618015 108883968 19955 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26583 19955 301 301 0 26282 0
vsize: 106332
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 33270 0 0 0 78854 155 0 0 25 0 1 0 969618015 108883968 19960 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26583 19960 301 301 0 26282 0
vsize: 106332
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 33285 0 0 0 79853 156 0 0 25 0 1 0 969618015 109080576 19975 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26631 19975 301 301 0 26330 0
vsize: 106524
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 33310 0 0 0 80853 157 0 0 25 0 1 0 969618015 109080576 20000 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26631 20000 301 301 0 26330 0
vsize: 106524
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 33312 0 0 0 81852 158 0 0 25 0 1 0 969618015 109080576 20002 4294967295 134512640 135730672 3221224576 3221223072 134747945 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26631 20002 301 301 0 26330 0
vsize: 106524
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 33623 0 0 0 82851 159 0 0 25 0 1 0 969618015 109244416 20013 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26671 20013 301 301 0 26370 0
vsize: 106684
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 33668 0 0 0 83849 161 0 0 25 0 1 0 969618015 109383680 20058 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26705 20058 301 301 0 26404 0
vsize: 106820
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 33730 0 0 0 84848 162 0 0 25 0 1 0 969618015 109383680 20120 4294967295 134512640 135730672 3221224576 3221222756 135281249 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26705 20120 301 301 0 26404 0
vsize: 106820
[startup+860.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 33957 0 0 0 85847 163 0 0 25 0 1 0 969618015 109383680 20347 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26705 20347 301 301 0 26404 0
vsize: 106820
[startup+870.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 34395 0 0 0 86846 165 0 0 25 0 1 0 969618015 109383680 20485 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26705 20485 301 301 0 26404 0
vsize: 106820
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 34492 0 0 0 87845 166 0 0 25 0 1 0 969618015 109383680 20582 4294967295 134512640 135730672 3221224576 3221223168 134763608 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26705 20582 301 301 0 26404 0
vsize: 106820
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 34593 0 0 0 88844 167 0 0 25 0 1 0 969618015 109531136 20683 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26741 20683 301 301 0 26440 0
vsize: 106964
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 34665 0 0 0 89843 168 0 0 25 0 1 0 969618015 109694976 20755 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26781 20755 301 301 0 26480 0
vsize: 107124
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 34765 0 0 0 90842 169 0 0 25 0 1 0 969618015 109694976 20855 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26781 20855 301 301 0 26480 0
vsize: 107124
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 34873 0 0 0 91842 170 0 0 25 0 1 0 969618015 109694976 20963 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26781 20963 301 301 0 26480 0
vsize: 107124
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 35251 0 0 0 92841 171 0 0 25 0 1 0 969618015 109694976 21041 4294967295 134512640 135730672 3221224576 3221223072 134747634 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26781 21041 301 301 0 26480 0
vsize: 107124
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 35328 0 0 0 93840 172 0 0 25 0 1 0 969618015 109694976 21118 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26781 21118 301 301 0 26480 0
vsize: 107124
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 35433 0 0 0 94840 172 0 0 25 0 1 0 969618015 109891584 21223 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26829 21223 301 301 0 26528 0
vsize: 107316
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 35522 0 0 0 95839 174 0 0 25 0 1 0 969618015 110055424 21312 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26869 21312 301 301 0 26568 0
vsize: 107476
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 35622 0 0 0 96838 175 0 0 25 0 1 0 969618015 143609856 21412 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35061 21412 301 301 0 34760 0
vsize: 140244
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 35758 0 0 0 97837 176 0 0 25 0 1 0 969618015 143609856 21548 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35061 21548 301 301 0 34760 0
vsize: 140244
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 35892 0 0 0 98836 177 0 0 25 0 1 0 969618015 143773696 21682 4294967295 134512640 135730672 3221224576 3221223224 134748061 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35101 21682 301 301 0 34800 0
vsize: 140404
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 35986 0 0 0 99835 179 0 0 25 0 1 0 969618015 143937536 21776 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35141 21776 301 301 0 34840 0
vsize: 140564
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36050 0 0 0 100834 179 0 0 25 0 1 0 969618015 143937536 21840 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35141 21840 301 301 0 34840 0
vsize: 140564
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36098 0 0 0 101834 180 0 0 25 0 1 0 969618015 143937536 21888 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35141 21888 301 301 0 34840 0
vsize: 140564
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36424 0 0 0 102833 181 0 0 25 0 1 0 969618015 143937536 21914 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35141 21914 301 301 0 34840 0
vsize: 140564
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36443 0 0 0 103833 181 0 0 25 0 1 0 969618015 144134144 21933 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35189 21933 301 301 0 34888 0
vsize: 140756
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36455 0 0 0 104832 182 0 0 25 0 1 0 969618015 144134144 21945 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35189 21945 301 301 0 34888 0
vsize: 140756
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36459 0 0 0 105831 183 0 0 25 0 1 0 969618015 144134144 21949 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35189 21949 301 301 0 34888 0
vsize: 140756
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36472 0 0 0 106830 184 0 0 25 0 1 0 969618015 144297984 21962 4294967295 134512640 135730672 3221224576 3221223072 134747701 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35229 21962 301 301 0 34928 0
vsize: 140916
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36481 0 0 0 107830 185 0 0 25 0 1 0 969618015 144297984 21971 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35229 21971 301 301 0 34928 0
vsize: 140916
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36801 0 0 0 108829 186 0 0 25 0 1 0 969618015 144297984 21991 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35229 21991 301 301 0 34928 0
vsize: 140916
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36867 0 0 0 109828 188 0 0 25 0 1 0 969618015 144629760 22057 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35310 22057 301 301 0 35009 0
vsize: 141240
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36893 0 0 0 110826 189 0 0 25 0 1 0 969618015 144826368 22083 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35358 22083 301 301 0 35057 0
vsize: 141432
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36926 0 0 0 111826 190 0 0 25 0 1 0 969618015 145022976 22116 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35406 22116 301 301 0 35105 0
vsize: 141624
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 36951 0 0 0 112824 192 0 0 25 0 1 0 969618015 145022976 22141 4294967295 134512640 135730672 3221224576 3221223200 134748158 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35406 22141 301 301 0 35105 0
vsize: 141624
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 37010 0 0 0 113823 193 0 0 25 0 1 0 969618015 145326080 22200 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35480 22200 301 301 0 35179 0
vsize: 141920
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 37044 0 0 0 114823 194 0 0 25 0 1 0 969618015 145473536 22234 4294967295 134512640 135730672 3221224576 3221223228 134748262 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35516 22234 301 301 0 35215 0
vsize: 142064
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 37057 0 0 0 115822 194 0 0 25 0 1 0 969618015 145653760 22247 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35560 22247 301 301 0 35259 0
vsize: 142240
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 37061 0 0 0 116822 195 0 0 25 0 1 0 969618015 145653760 22251 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35560 22251 301 301 0 35259 0
vsize: 142240
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 37066 0 0 0 117822 195 0 0 25 0 1 0 969618015 145653760 22256 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35560 22256 301 301 0 35259 0
vsize: 142240
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 37080 0 0 0 118821 196 0 0 25 0 1 0 969618015 145653760 22270 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35560 22270 301 301 0 35259 0
vsize: 142240
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8378
Raw data (stat): 8378 (pb2sat-v2) R 8377 31399 31398 0 -1 0 37109 0 0 0 119821 197 0 0 25 0 1 0 969618015 145850368 22299 4294967295 134512640 135730672 3221224576 3221223120 134740429 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35608 22299 301 301 0 35307 0
vsize: 142432
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.44 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 8378
Raw data (stat): 8378 (pb2sat-v2) Z 8377 31399 31398 0 -1 12 37111 0 0 0 119858 201 0 0 25 0 1 0 969618015 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.44
CPU time (s): 1200.6
CPU user time (s): 1198.58
CPU system time (s): 2.01569
CPU usage (%): 100.013
Max. virtual memory (Kb): 142432
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####