PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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.120981
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 42893

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-16 17:39:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26098 boxname=wulflinc2 idbench=1398 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  26490113618ae9605b5ebe6370b5910b  /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air04.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-mps-v2-13-7-air04.opb
IDLAUNCH: 26098
/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:        621704 kB
Buffers:         23996 kB
Cached:         366264 kB
SwapCached:       1420 kB
Active:          31176 kB
Inactive:       361140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        621452 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14908 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:59:37 (client local time) WITH STATUS 0 IN 1200.55 SECONDS
stats: 26098 7 1200.55 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: 301.293/86400
c Decision: 72568/153207	Time: 398.926/86400
c Decision: 72606/153207	Time: 450.665/86400
c Decision: 72627/153207	Time: 537.007/86400
c Decision: 72627/153207	Time: 550.312/86400
c Decision: 72650/153207	Time: 630.121/86400
c Decision: 72677/153207	Time: 753.138/86400
c Decision: 72691/153207	Time: 799.53/86400
c Decision: 72695/153207	Time: 834.985/86400
c Decision: 72709/153207	Time: 895.006/86400
c Decision: 72726/153207	Time: 990.652/86400
c Decision: 72742/153207	Time: 1052.75/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 1/54 13651
Raw data (stat): 13651 (runsolver) R 13650 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972635739 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99998 s]
Raw data (loadavg): 0.93 0.95 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 14022 0 0 0 965 34 0 0 25 0 1 0 972635739 41070592 8515 4294967295 134512640 135730672 3221224576 3221216268 134637873 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10027 8515 301 301 0 9726 0
vsize: 40108
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 19563 0 0 0 1953 46 0 0 25 0 1 0 972635739 56782848 11426 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13863 11426 301 301 0 13562 0
vsize: 55452
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 19931 0 0 0 2951 48 0 0 25 0 1 0 972635739 58421248 11794 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14263 11794 301 301 0 13962 0
vsize: 57052
[startup+40.001 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 20112 0 0 0 3949 49 0 0 25 0 1 0 972635739 59027456 11975 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14411 11975 301 301 0 14110 0
vsize: 57644
[startup+50.0022 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 20234 0 0 0 4948 50 0 0 25 0 1 0 972635739 59469824 12097 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14519 12097 301 301 0 14218 0
vsize: 58076
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 20385 0 0 0 5946 52 0 0 25 0 1 0 972635739 59928576 12248 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14631 12248 301 301 0 14330 0
vsize: 58524
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 20467 0 0 0 6944 54 0 0 25 0 1 0 972635739 60092416 12330 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14671 12330 301 301 0 14370 0
vsize: 58684
[startup+80.0032 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 20626 0 0 0 7942 57 0 0 25 0 1 0 972635739 60420096 12489 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 14751 12489 301 301 0 14450 0
vsize: 59004
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 20784 0 0 0 8940 59 0 0 25 0 1 0 972635739 69095424 12647 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16869 12647 301 301 0 16568 0
vsize: 67476
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 20920 0 0 0 9938 61 0 0 25 0 1 0 972635739 69558272 12783 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 16982 12783 301 301 0 16681 0
vsize: 67928
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 21020 0 0 0 10936 63 0 0 25 0 1 0 972635739 69738496 12883 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17026 12883 301 301 0 16725 0
vsize: 68104
[startup+120.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 21190 0 0 0 11934 65 0 0 25 0 1 0 972635739 70164480 13053 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17130 13053 301 301 0 16829 0
vsize: 68520
[startup+130.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 21301 0 0 0 12932 67 0 0 25 0 1 0 972635739 70299648 13164 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17163 13164 301 301 0 16862 0
vsize: 68652
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 21426 0 0 0 13931 68 0 0 25 0 1 0 972635739 70582272 13289 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17232 13289 301 301 0 16931 0
vsize: 68928
[startup+150.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 21580 0 0 0 14930 69 0 0 25 0 1 0 972635739 70729728 13443 4294967295 134512640 135730672 3221224576 3221223200 134748126 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17268 13443 301 301 0 16967 0
vsize: 69072
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 21746 0 0 0 15929 70 0 0 25 0 1 0 972635739 71196672 13609 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17382 13609 301 301 0 17081 0
vsize: 69528
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 21858 0 0 0 16928 72 0 0 25 0 1 0 972635739 71479296 13721 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17451 13721 301 301 0 17150 0
vsize: 69804
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 21954 0 0 0 17926 73 0 0 25 0 1 0 972635739 71626752 13817 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17487 13817 301 301 0 17186 0
vsize: 69948
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 22090 0 0 0 18924 76 0 0 25 0 1 0 972635739 71761920 13953 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17520 13953 301 301 0 17219 0
vsize: 70080
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 22228 0 0 0 19922 77 0 0 25 0 1 0 972635739 72052736 14091 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17591 14091 301 301 0 17290 0
vsize: 70364
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 22360 0 0 0 20920 79 0 0 25 0 1 0 972635739 72380416 14223 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17671 14223 301 301 0 17370 0
vsize: 70684
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 22438 0 0 0 21919 80 0 0 25 0 1 0 972635739 72380416 14301 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17671 14301 301 301 0 17370 0
vsize: 70684
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 22545 0 0 0 22918 82 0 0 25 0 1 0 972635739 72519680 14408 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17705 14408 301 301 0 17404 0
vsize: 70820
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 22663 0 0 0 23916 84 0 0 25 0 1 0 972635739 72790016 14526 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17771 14526 301 301 0 17470 0
vsize: 71084
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 22769 0 0 0 24915 85 0 0 25 0 1 0 972635739 72937472 14632 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17807 14632 301 301 0 17506 0
vsize: 71228
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 22897 0 0 0 25913 87 0 0 25 0 1 0 972635739 73072640 14760 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17840 14760 301 301 0 17539 0
vsize: 71360
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 22994 0 0 0 26912 88 0 0 25 0 1 0 972635739 73207808 14857 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17873 14857 301 301 0 17572 0
vsize: 71492
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 23156 0 0 0 27909 91 0 0 25 0 1 0 972635739 73527296 15019 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17951 15019 301 301 0 17650 0
vsize: 71804
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 23391 0 0 0 28908 92 0 0 25 0 1 0 972635739 73527296 15254 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17951 15254 301 301 0 17650 0
vsize: 71804
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 23535 0 0 0 29906 94 0 0 25 0 1 0 972635739 73674752 15398 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 17987 15398 301 301 0 17686 0
vsize: 71948
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 23686 0 0 0 30904 96 0 0 25 0 1 0 972635739 73809920 15549 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18020 15549 301 301 0 17719 0
vsize: 72080
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 24083 0 0 0 31902 98 0 0 25 0 1 0 972635739 74113024 15646 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18094 15646 301 301 0 17793 0
vsize: 72376
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 24099 0 0 0 32902 98 0 0 25 0 1 0 972635739 74293248 15662 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18138 15662 301 301 0 17837 0
vsize: 72552
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 24127 0 0 0 33901 100 0 0 25 0 1 0 972635739 74293248 15690 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18138 15690 301 301 0 17837 0
vsize: 72552
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 24203 0 0 0 34899 102 0 0 25 0 1 0 972635739 74592256 15766 4294967295 134512640 135730672 3221224576 3221223216 134765753 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18211 15766 301 301 0 17910 0
vsize: 72844
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 24279 0 0 0 35898 103 0 0 25 0 1 0 972635739 75026432 15842 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18317 15842 301 301 0 18016 0
vsize: 73268
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 24415 0 0 0 36897 104 0 0 25 0 1 0 972635739 75345920 15978 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18395 15978 301 301 0 18094 0
vsize: 73580
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 24527 0 0 0 37896 106 0 0 25 0 1 0 972635739 92278784 16090 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22529 16090 301 301 0 22228 0
vsize: 90116
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 24662 0 0 0 38895 106 0 0 25 0 1 0 972635739 92278784 16225 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22529 16225 301 301 0 22228 0
vsize: 90116
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 24801 0 0 0 39894 108 0 0 25 0 1 0 972635739 92577792 16364 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22602 16364 301 301 0 22301 0
vsize: 90408
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 25067 0 0 0 40892 110 0 0 25 0 1 0 972635739 92577792 16630 4294967295 134512640 135730672 3221224576 3221223088 134746205 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22602 16630 301 301 0 22301 0
vsize: 90408
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 28545 0 0 0 41884 118 0 0 25 0 1 0 972635739 105299968 16735 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25708 16735 301 301 0 25407 0
vsize: 102832
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 28645 0 0 0 42883 118 0 0 25 0 1 0 972635739 105496576 16835 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25756 16835 301 301 0 25455 0
vsize: 103024
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 28723 0 0 0 43883 119 0 0 25 0 1 0 972635739 105496576 16913 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25756 16913 301 301 0 25455 0
vsize: 103024
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 28810 0 0 0 44881 121 0 0 25 0 1 0 972635739 105660416 17000 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25796 17000 301 301 0 25495 0
vsize: 103184
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 28951 0 0 0 45881 122 0 0 25 0 1 0 972635739 105660416 17141 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25796 17141 301 301 0 25495 0
vsize: 103184
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 29359 0 0 0 46879 123 0 0 25 0 1 0 972635739 105807872 17249 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25832 17249 301 301 0 25531 0
vsize: 103328
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 29459 0 0 0 47878 125 0 0 25 0 1 0 972635739 105955328 17349 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25868 17349 301 301 0 25567 0
vsize: 103472
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 29538 0 0 0 48876 127 0 0 25 0 1 0 972635739 106094592 17428 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25902 17428 301 301 0 25601 0
vsize: 103608
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 29612 0 0 0 49876 127 0 0 25 0 1 0 972635739 106266624 17502 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25944 17502 301 301 0 25643 0
vsize: 103776
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 29798 0 0 0 50875 128 0 0 25 0 1 0 972635739 106463232 17688 4294967295 134512640 135730672 3221224576 3221223200 134748204 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25992 17688 301 301 0 25691 0
vsize: 103968
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 30006 0 0 0 51874 129 0 0 25 0 1 0 972635739 106463232 17896 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25992 17896 301 301 0 25691 0
vsize: 103968
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 30187 0 0 0 52873 130 0 0 25 0 1 0 972635739 106463232 18077 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 25992 18077 301 301 0 25691 0
vsize: 103968
[startup+540.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 30284 0 0 0 53873 131 0 0 25 0 1 0 972635739 106610688 18174 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26028 18174 301 301 0 25727 0
vsize: 104112
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 30714 0 0 0 54871 133 0 0 25 0 1 0 972635739 106610688 18304 4294967295 134512640 135730672 3221224576 3221223072 134747639 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26028 18304 301 301 0 25727 0
vsize: 104112
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 30797 0 0 0 55869 134 0 0 25 0 1 0 972635739 106610688 18387 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26028 18387 301 301 0 25727 0
vsize: 104112
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 31193 0 0 0 56867 136 0 0 25 0 1 0 972635739 106807296 18483 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26076 18483 301 301 0 25775 0
vsize: 104304
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 31276 0 0 0 57866 137 0 0 25 0 1 0 972635739 106946560 18566 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26110 18566 301 301 0 25809 0
vsize: 104440
[startup+590.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 31404 0 0 0 58864 139 0 0 25 0 1 0 972635739 107126784 18694 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26154 18694 301 301 0 25853 0
vsize: 104616
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 31557 0 0 0 59863 141 0 0 25 0 1 0 972635739 107274240 18847 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26190 18847 301 301 0 25889 0
vsize: 104760
[startup+610.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 31663 0 0 0 60862 142 0 0 25 0 1 0 972635739 107274240 18953 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26190 18953 301 301 0 25889 0
vsize: 104760
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 31829 0 0 0 61861 143 0 0 25 0 1 0 972635739 107544576 19119 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26256 19119 301 301 0 25955 0
vsize: 105024
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 31986 0 0 0 62861 144 0 0 25 0 1 0 972635739 107544576 19276 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26256 19276 301 301 0 25955 0
vsize: 105024
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32337 0 0 0 63860 145 0 0 25 0 1 0 972635739 107544576 19627 4294967295 134512640 135730672 3221224576 3221222756 135281249 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26256 19627 301 301 0 25955 0
vsize: 105024
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32685 0 0 0 64859 146 0 0 25 0 1 0 972635739 107696128 19675 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26293 19675 301 301 0 25992 0
vsize: 105172
[startup+660.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32698 0 0 0 65858 147 0 0 25 0 1 0 972635739 107835392 19688 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26327 19688 301 301 0 26026 0
vsize: 105308
[startup+670.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32739 0 0 0 66857 148 0 0 25 0 1 0 972635739 107999232 19729 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26367 19729 301 301 0 26066 0
vsize: 105468
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32772 0 0 0 67856 149 0 0 25 0 1 0 972635739 108138496 19762 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26401 19762 301 301 0 26100 0
vsize: 105604
[startup+690.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32783 0 0 0 68856 149 0 0 25 0 1 0 972635739 108138496 19773 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26401 19773 301 301 0 26100 0
vsize: 105604
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32805 0 0 0 69855 150 0 0 25 0 1 0 972635739 108285952 19795 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26437 19795 301 301 0 26136 0
vsize: 105748
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32815 0 0 0 70855 151 0 0 25 0 1 0 972635739 108285952 19805 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 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 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32832 0 0 0 71854 152 0 0 25 0 1 0 972635739 108285952 19822 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 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 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32859 0 0 0 72854 152 0 0 25 0 1 0 972635739 108433408 19849 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26473 19849 301 301 0 26172 0
vsize: 105892
[startup+740.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32887 0 0 0 73853 153 0 0 25 0 1 0 972635739 108572672 19877 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26507 19877 301 301 0 26206 0
vsize: 106028
[startup+750.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32951 0 0 0 74852 154 0 0 25 0 1 0 972635739 108883968 19941 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26583 19941 301 301 0 26282 0
vsize: 106332
[startup+760.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 32964 0 0 0 75852 155 0 0 25 0 1 0 972635739 108883968 19954 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26583 19954 301 301 0 26282 0
vsize: 106332
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 33268 0 0 0 76850 157 0 0 25 0 1 0 972635739 108883968 19958 4294967295 134512640 135730672 3221224576 3221223056 134732847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26583 19958 301 301 0 26282 0
vsize: 106332
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 33285 0 0 0 77849 157 0 0 25 0 1 0 972635739 109080576 19975 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26631 19975 301 301 0 26330 0
vsize: 106524
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 33287 0 0 0 78848 158 0 0 25 0 1 0 972635739 109080576 19977 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26631 19977 301 301 0 26330 0
vsize: 106524
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 33311 0 0 0 79847 160 0 0 25 0 1 0 972635739 109080576 20001 4294967295 134512640 135730672 3221224576 3221223072 134747728 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.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 33321 0 0 0 80847 160 0 0 25 0 1 0 972635739 109244416 20011 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26671 20011 301 301 0 26370 0
vsize: 106684
[startup+820.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 33666 0 0 0 81845 162 0 0 25 0 1 0 972635739 109383680 20056 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26705 20056 301 301 0 26404 0
vsize: 106820
[startup+830.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 33699 0 0 0 82845 162 0 0 25 0 1 0 972635739 109383680 20089 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26705 20089 301 301 0 26404 0
vsize: 106820
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 33945 0 0 0 83844 163 0 0 25 0 1 0 972635739 109383680 20335 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26705 20335 301 301 0 26404 0
vsize: 106820
[startup+850.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 34379 0 0 0 84842 165 0 0 25 0 1 0 972635739 109383680 20469 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26705 20469 301 301 0 26404 0
vsize: 106820
[startup+860.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 34478 0 0 0 85842 166 0 0 25 0 1 0 972635739 109383680 20568 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26705 20568 301 301 0 26404 0
vsize: 106820
[startup+870.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 34583 0 0 0 86840 168 0 0 25 0 1 0 972635739 109531136 20673 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26741 20673 301 301 0 26440 0
vsize: 106964
[startup+880.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 34657 0 0 0 87839 169 0 0 25 0 1 0 972635739 109531136 20747 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26741 20747 301 301 0 26440 0
vsize: 106964
[startup+890.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 34765 0 0 0 88838 170 0 0 25 0 1 0 972635739 109694976 20855 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26781 20855 301 301 0 26480 0
vsize: 107124
[startup+900.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 34874 0 0 0 89838 171 0 0 25 0 1 0 972635739 109694976 20964 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26781 20964 301 301 0 26480 0
vsize: 107124
[startup+910.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 35254 0 0 0 90836 172 0 0 25 0 1 0 972635739 109694976 21044 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26781 21044 301 301 0 26480 0
vsize: 107124
[startup+920.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 35334 0 0 0 91836 173 0 0 25 0 1 0 972635739 109694976 21124 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26781 21124 301 301 0 26480 0
vsize: 107124
[startup+930.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 35455 0 0 0 92834 175 0 0 25 0 1 0 972635739 109891584 21245 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 26829 21245 301 301 0 26528 0
vsize: 107316
[startup+940.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 35537 0 0 0 93833 176 0 0 25 0 1 0 972635739 110055424 21327 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26869 21327 301 301 0 26568 0
vsize: 107476
[startup+950.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 35631 0 0 0 94830 179 0 0 25 0 1 0 972635739 143609856 21421 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35061 21421 301 301 0 34760 0
vsize: 140244
[startup+960.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 35811 0 0 0 95829 179 0 0 25 0 1 0 972635739 143609856 21601 4294967295 134512640 135730672 3221224576 3221223120 134740206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35061 21601 301 301 0 34760 0
vsize: 140244
[startup+970.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 35906 0 0 0 96829 180 0 0 25 0 1 0 972635739 143773696 21696 4294967295 134512640 135730672 3221224576 3221222896 134732625 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35101 21696 301 301 0 34800 0
vsize: 140404
[startup+980.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 35998 0 0 0 97828 182 0 0 25 0 1 0 972635739 143937536 21788 4294967295 134512640 135730672 3221224576 3221223072 134747539 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35141 21788 301 301 0 34840 0
vsize: 140564
[startup+990.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36064 0 0 0 98826 183 0 0 25 0 1 0 972635739 143937536 21854 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35141 21854 301 301 0 34840 0
vsize: 140564
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36107 0 0 0 99826 184 0 0 25 0 1 0 972635739 143937536 21897 4294967295 134512640 135730672 3221224576 3221223180 134747440 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35141 21897 301 301 0 34840 0
vsize: 140564
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36435 0 0 0 100825 185 0 0 25 0 1 0 972635739 144134144 21925 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35189 21925 301 301 0 34888 0
vsize: 140756
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36444 0 0 0 101824 186 0 0 25 0 1 0 972635739 144134144 21934 4294967295 134512640 135730672 3221224576 3221223120 134740270 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35189 21934 301 301 0 34888 0
vsize: 140756
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36458 0 0 0 102823 187 0 0 25 0 1 0 972635739 144134144 21948 4294967295 134512640 135730672 3221224576 3221223072 134747608 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35189 21948 301 301 0 34888 0
vsize: 140756
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36471 0 0 0 103823 188 0 0 25 0 1 0 972635739 144297984 21961 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35229 21961 301 301 0 34928 0
vsize: 140916
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36479 0 0 0 104822 189 0 0 25 0 1 0 972635739 144297984 21969 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35229 21969 301 301 0 34928 0
vsize: 140916
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36488 0 0 0 105821 189 0 0 25 0 1 0 972635739 144297984 21978 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35229 21978 301 301 0 34928 0
vsize: 140916
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36822 0 0 0 106820 190 0 0 25 0 1 0 972635739 144461824 22012 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35269 22012 301 301 0 34968 0
vsize: 141076
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36892 0 0 0 107820 191 0 0 25 0 1 0 972635739 144826368 22082 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35358 22082 301 301 0 35057 0
vsize: 141432
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36904 0 0 0 108819 192 0 0 25 0 1 0 972635739 144826368 22094 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35358 22094 301 301 0 35057 0
vsize: 141432
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36939 0 0 0 109818 193 0 0 25 0 1 0 972635739 145022976 22129 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35406 22129 301 301 0 35105 0
vsize: 141624
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 36973 0 0 0 110818 194 0 0 25 0 1 0 972635739 145162240 22163 4294967295 134512640 135730672 3221224576 3221223168 134763756 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35440 22163 301 301 0 35139 0
vsize: 141760
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 37041 0 0 0 111817 195 0 0 25 0 1 0 972635739 145473536 22231 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35516 22231 301 301 0 35215 0
vsize: 142064
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 37046 0 0 0 112817 195 0 0 25 0 1 0 972635739 145473536 22236 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35516 22236 301 301 0 35215 0
vsize: 142064
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 37058 0 0 0 113816 196 0 0 25 0 1 0 972635739 145653760 22248 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35560 22248 301 301 0 35259 0
vsize: 142240
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 37065 0 0 0 114816 197 0 0 25 0 1 0 972635739 145653760 22255 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35560 22255 301 301 0 35259 0
vsize: 142240
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 37080 0 0 0 115815 198 0 0 25 0 1 0 972635739 145653760 22270 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35560 22270 301 301 0 35259 0
vsize: 142240
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 37108 0 0 0 116813 199 0 0 25 0 1 0 972635739 145850368 22298 4294967295 134512640 135730672 3221224576 3221222960 134763180 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35608 22298 301 301 0 35307 0
vsize: 142432
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 37125 0 0 0 117813 200 0 0 25 0 1 0 972635739 145850368 22315 4294967295 134512640 135730672 3221224576 3221223072 134747817 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35608 22315 301 301 0 35307 0
vsize: 142432
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 37153 0 0 0 118812 201 0 0 25 0 1 0 972635739 146006016 22343 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35646 22343 301 301 0 35345 0
vsize: 142584
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13651
Raw data (stat): 13651 (pb2sat-v2) R 13650 31399 31398 0 -1 0 37195 0 0 0 119812 202 0 0 25 0 1 0 972635739 146186240 22385 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35690 22385 301 301 0 35389 0
vsize: 142760
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13651
Raw data (stat): 13651 (pb2sat-v2) Z 13650 31399 31398 0 -1 12 37197 0 0 0 119847 206 0 0 25 0 1 0 972635739 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 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.42
CPU time (s): 1200.55
CPU user time (s): 1198.48
CPU system time (s): 2.06969
CPU usage (%): 100.01
Max. virtual memory (Kb): 142760
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####