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-mod010.opb
MD5SUM	ef7064a9be2b712276f7b600af28e2b0
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	6571
Optimality of the best value was proved	NO
Number of terms in the objective function	2655
Biggest coefficient in the objective function	266
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	489211
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	266
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	489211
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1176.54
Number of variables	2655
Total number of constraints	2801
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2800
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	2655
Trace number 42540

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 10:01:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25750 boxname=wulflinc6 idbench=1050 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  ef7064a9be2b712276f7b600af28e2b0  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-mod010.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-mod010.opb
IDLAUNCH: 25750
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        706824 kB
Buffers:         33704 kB
Cached:         271608 kB
SwapCached:       1028 kB
Active:          38612 kB
Inactive:       268848 kB
HighTotal:      131008 kB
HighFree:         1764 kB
LowTotal:       903652 kB
LowFree:        705060 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            14800 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 10:21:31 (client local time) WITH STATUS 0 IN 1201.05 SECONDS
stats: 25750 7 1201.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 11076/263328	Time: 123.291/86400
c Decision: 11076/263328	Time: 208.972/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.93 0.95 0.91 1/54 18299
Raw data (stat): 18299 (runsolver) R 18298 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969881721 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.0002 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 26402 0 0 0 942 57 0 0 25 0 1 0 969881721 84086784 15526 4294967295 134512640 135730672 3221224576 3220447840 134770759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 20529 15526 301 301 0 20228 0
vsize: 82116
[startup+20.0001 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 38012 0 0 0 1917 83 0 0 25 0 1 0 969881721 111239168 21937 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 27158 21937 301 301 0 26857 0
vsize: 108632
[startup+30.0002 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 38958 0 0 0 2914 85 0 0 25 0 1 0 969881721 116043776 22817 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 28331 22817 301 301 0 28030 0
vsize: 113324
[startup+40.001 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 39449 0 0 0 3914 86 0 0 25 0 1 0 969881721 118861824 23275 4294967295 134512640 135730672 3221224576 3221223072 134747599 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29019 23275 301 301 0 28718 0
vsize: 116076
[startup+50.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 39745 0 0 0 4914 86 0 0 25 0 1 0 969881721 120459264 23571 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29409 23571 301 301 0 29108 0
vsize: 117636
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 39923 0 0 0 5914 87 0 0 25 0 1 0 969881721 121270272 23749 4294967295 134512640 135730672 3221224576 3221223180 134747440 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29607 23749 301 301 0 29306 0
vsize: 118428
[startup+70.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 40195 0 0 0 6913 88 0 0 25 0 1 0 969881721 122757120 24021 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 29970 24021 301 301 0 29669 0
vsize: 119880
[startup+80.0019 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 40506 0 0 0 7912 89 0 0 25 0 1 0 969881721 124375040 24332 4294967295 134512640 135730672 3221224576 3221223072 134747939 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30365 24332 301 301 0 30064 0
vsize: 121460
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 40804 0 0 0 8912 90 0 0 25 0 1 0 969881721 126267392 24630 4294967295 134512640 135730672 3221224576 3221223212 134748066 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 30827 24630 301 301 0 30526 0
vsize: 123308
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 41025 0 0 0 9911 91 0 0 25 0 1 0 969881721 127205376 24818 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31056 24818 301 301 0 30755 0
vsize: 124224
[startup+110.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 41255 0 0 0 10911 92 0 0 25 0 1 0 969881721 128421888 25048 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31353 25048 301 301 0 31052 0
vsize: 125412
[startup+120.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 41363 0 0 0 11910 93 0 0 25 0 1 0 969881721 128962560 25156 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31485 25156 301 301 0 31184 0
vsize: 125940
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 41585 0 0 0 12910 93 0 0 25 0 1 0 969881721 129908736 25378 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31716 25378 301 301 0 31415 0
vsize: 126864
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 42273 0 0 0 13908 95 0 0 25 0 1 0 969881721 130719744 25551 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31914 25551 301 301 0 31613 0
vsize: 127656
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 42374 0 0 0 14907 96 0 0 25 0 1 0 969881721 130985984 25619 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 31979 25619 301 301 0 31678 0
vsize: 127916
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 42500 0 0 0 15907 97 0 0 25 0 1 0 969881721 131661824 25745 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32144 25745 301 301 0 31843 0
vsize: 128576
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 42554 0 0 0 16907 98 0 0 25 0 1 0 969881721 131796992 25799 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32177 25799 301 301 0 31876 0
vsize: 128708
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 42633 0 0 0 17906 98 0 0 25 0 1 0 969881721 132202496 25878 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32276 25878 301 301 0 31975 0
vsize: 129104
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 42686 0 0 0 18906 99 0 0 25 0 1 0 969881721 132333568 25898 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32308 25898 301 301 0 32007 0
vsize: 129232
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 42763 0 0 0 19906 99 0 0 25 0 1 0 969881721 132464640 25942 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32340 25942 301 301 0 32039 0
vsize: 129360
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 42875 0 0 0 20906 100 0 0 25 0 1 0 969881721 132866048 26021 4294967295 134512640 135730672 3221224576 3221222824 135284776 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32438 26021 301 301 0 32137 0
vsize: 129752
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18299
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 42914 0 0 0 21905 101 0 0 25 0 1 0 969881721 133001216 26060 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32471 26060 301 301 0 32170 0
vsize: 129884
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 43519 0 0 0 22903 103 0 0 25 0 1 0 969881721 133406720 26150 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32570 26150 301 301 0 32269 0
vsize: 130280
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 43611 0 0 0 23903 103 0 0 25 0 1 0 969881721 133677056 26242 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32636 26242 301 301 0 32335 0
vsize: 130544
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 43687 0 0 0 24903 104 0 0 25 0 1 0 969881721 133943296 26285 4294967295 134512640 135730672 3221224576 3221223176 134747441 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32701 26285 301 301 0 32400 0
vsize: 130804
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 43809 0 0 0 25903 104 0 0 25 0 1 0 969881721 134340608 26341 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32798 26341 301 301 0 32497 0
vsize: 131192
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 43933 0 0 0 26903 105 0 0 25 0 1 0 969881721 135016448 26465 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32963 26465 301 301 0 32662 0
vsize: 131852
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 43991 0 0 0 27903 105 0 0 25 0 1 0 969881721 135286784 26523 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33029 26523 301 301 0 32728 0
vsize: 132116
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 44091 0 0 0 28902 106 0 0 25 0 1 0 969881721 135827456 26623 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33161 26623 301 301 0 32860 0
vsize: 132644
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 44186 0 0 0 29902 107 0 0 25 0 1 0 969881721 136368128 26718 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33293 26718 301 301 0 32992 0
vsize: 133172
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 44270 0 0 0 30901 108 0 0 25 0 1 0 969881721 136769536 26769 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33391 26769 301 301 0 33090 0
vsize: 133564
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 44375 0 0 0 31901 108 0 0 25 0 1 0 969881721 137199616 26841 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33496 26841 301 301 0 33195 0
vsize: 133984
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 44431 0 0 0 32901 108 0 0 25 0 1 0 969881721 137469952 26897 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33562 26897 301 301 0 33261 0
vsize: 134248
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 44499 0 0 0 33900 110 0 0 25 0 1 0 969881721 137736192 26932 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33627 26932 301 301 0 33326 0
vsize: 134508
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 44745 0 0 0 34900 110 0 0 25 0 1 0 969881721 138526720 27046 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33820 27046 301 301 0 33519 0
vsize: 135280
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 45119 0 0 0 35899 111 0 0 25 0 1 0 969881721 140255232 27321 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 34242 27321 301 301 0 33941 0
vsize: 136968
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 45803 0 0 0 36897 114 0 0 25 0 1 0 969881721 143462400 27840 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35025 27840 301 301 0 34724 0
vsize: 140100
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 46115 0 0 0 37896 115 0 0 25 0 1 0 969881721 144662528 28053 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35318 28053 301 301 0 35017 0
vsize: 141272
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 46626 0 0 0 38895 116 0 0 25 0 1 0 969881721 146505728 28234 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35768 28234 301 301 0 35467 0
vsize: 143072
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 46819 0 0 0 39895 117 0 0 25 0 1 0 969881721 147447808 28394 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 35998 28394 301 301 0 35697 0
vsize: 143992
[startup+410.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 46894 0 0 0 40895 118 0 0 25 0 1 0 969881721 147775488 28436 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36078 28436 301 301 0 35777 0
vsize: 144312
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 47311 0 0 0 41894 119 0 0 25 0 1 0 969881721 149499904 28688 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36499 28688 301 301 0 36198 0
vsize: 145996
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 47567 0 0 0 42892 121 0 0 25 0 1 0 969881721 150425600 28845 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 36725 28845 301 301 0 36424 0
vsize: 146900
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 48047 0 0 0 43892 121 0 0 25 0 1 0 969881721 152342528 29094 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37193 29094 301 301 0 36892 0
vsize: 148772
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 48718 0 0 0 44890 123 0 0 25 0 1 0 969881721 154451968 29435 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37708 29435 301 301 0 37407 0
vsize: 150832
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 49169 0 0 0 45889 125 0 0 25 0 1 0 969881721 156303360 29688 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38160 29688 301 301 0 37859 0
vsize: 152640
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 49484 0 0 0 46888 126 0 0 25 0 1 0 969881721 157491200 29838 4294967295 134512640 135730672 3221224576 3221223072 134747629 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38450 29838 301 301 0 38149 0
vsize: 153800
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 49577 0 0 0 47888 126 0 0 25 0 1 0 969881721 157753344 29865 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38514 29865 301 301 0 38213 0
vsize: 154056
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 49658 0 0 0 48888 127 0 0 25 0 1 0 969881721 158015488 29880 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38578 29880 301 301 0 38277 0
vsize: 154312
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 49706 0 0 0 49888 127 0 0 25 0 1 0 969881721 158146560 29895 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38610 29895 301 301 0 38309 0
vsize: 154440
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 49740 0 0 0 50888 128 0 0 25 0 1 0 969881721 158146560 29929 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38610 29929 301 301 0 38309 0
vsize: 154440
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 49812 0 0 0 51888 128 0 0 25 0 1 0 969881721 158277632 29968 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38642 29968 301 301 0 38341 0
vsize: 154568
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50047 0 0 0 52887 129 0 0 25 0 1 0 969881721 158801920 30071 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38770 30071 301 301 0 38469 0
vsize: 155080
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50290 0 0 0 53886 131 0 0 25 0 1 0 969881721 159592448 30184 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38963 30184 301 301 0 38662 0
vsize: 155852
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50372 0 0 0 54886 131 0 0 25 0 1 0 969881721 159723520 30233 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38995 30233 301 301 0 38694 0
vsize: 155980
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50397 0 0 0 55885 132 0 0 25 0 1 0 969881721 159723520 30258 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38995 30258 301 301 0 38694 0
vsize: 155980
[startup+570.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50473 0 0 0 56885 133 0 0 25 0 1 0 969881721 159985664 30268 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39059 30268 301 301 0 38758 0
vsize: 156236
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50477 0 0 0 57884 134 0 0 25 0 1 0 969881721 159985664 30272 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39059 30272 301 301 0 38758 0
vsize: 156236
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50550 0 0 0 58884 134 0 0 25 0 1 0 969881721 160251904 30312 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39124 30312 301 301 0 38823 0
vsize: 156496
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50594 0 0 0 59884 135 0 0 25 0 1 0 969881721 160382976 30323 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39156 30323 301 301 0 38855 0
vsize: 156624
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50644 0 0 0 60884 135 0 0 25 0 1 0 969881721 160649216 30373 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39221 30373 301 301 0 38920 0
vsize: 156884
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50657 0 0 0 61884 135 0 0 25 0 1 0 969881721 160649216 30386 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39221 30386 301 301 0 38920 0
vsize: 156884
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50709 0 0 0 62884 136 0 0 25 0 1 0 969881721 160915456 30438 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30438 301 301 0 38985 0
vsize: 157144
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50715 0 0 0 63884 136 0 0 25 0 1 0 969881721 160915456 30444 4294967295 134512640 135730672 3221224576 3221222904 134739222 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30444 301 301 0 38985 0
vsize: 157144
[startup+650.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50720 0 0 0 64884 137 0 0 25 0 1 0 969881721 160915456 30449 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30449 301 301 0 38985 0
vsize: 157144
[startup+660.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50726 0 0 0 65884 137 0 0 25 0 1 0 969881721 160915456 30455 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39286 30455 301 301 0 38985 0
vsize: 157144
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50784 0 0 0 66884 138 0 0 25 0 1 0 969881721 161185792 30513 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39352 30513 301 301 0 39051 0
vsize: 157408
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50830 0 0 0 67884 138 0 0 25 0 1 0 969881721 161316864 30526 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30526 301 301 0 39083 0
vsize: 157536
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50834 0 0 0 68884 138 0 0 25 0 1 0 969881721 161316864 30530 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30530 301 301 0 39083 0
vsize: 157536
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50840 0 0 0 69884 139 0 0 25 0 1 0 969881721 161316864 30536 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30536 301 301 0 39083 0
vsize: 157536
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50844 0 0 0 70884 139 0 0 25 0 1 0 969881721 161316864 30540 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30540 301 301 0 39083 0
vsize: 157536
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50850 0 0 0 71884 139 0 0 25 0 1 0 969881721 161316864 30546 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30546 301 301 0 39083 0
vsize: 157536
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50865 0 0 0 72884 140 0 0 25 0 1 0 969881721 161316864 30561 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39384 30561 301 301 0 39083 0
vsize: 157536
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50893 0 0 0 73884 140 0 0 25 0 1 0 969881721 161452032 30589 4294967295 134512640 135730672 3221224576 3221223072 134747474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39417 30589 301 301 0 39116 0
vsize: 157668
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 50987 0 0 0 74883 141 0 0 25 0 1 0 969881721 161984512 30683 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39547 30684 301 301 0 39246 0
vsize: 158188
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51005 0 0 0 75883 141 0 0 25 0 1 0 969881721 161984512 30701 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39547 30701 301 301 0 39246 0
vsize: 158188
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51035 0 0 0 76883 142 0 0 25 0 1 0 969881721 162119680 30731 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30731 301 301 0 39279 0
vsize: 158320
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51049 0 0 0 77883 142 0 0 25 0 1 0 969881721 162119680 30745 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30745 301 301 0 39279 0
vsize: 158320
[startup+790.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51054 0 0 0 78883 143 0 0 25 0 1 0 969881721 162119680 30750 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30750 301 301 0 39279 0
vsize: 158320
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51066 0 0 0 79883 143 0 0 25 0 1 0 969881721 162119680 30762 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30762 301 301 0 39279 0
vsize: 158320
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51072 0 0 0 80883 144 0 0 25 0 1 0 969881721 162119680 30768 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39580 30768 301 301 0 39279 0
vsize: 158320
[startup+820.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51133 0 0 0 81882 144 0 0 25 0 1 0 969881721 162250752 30796 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39612 30796 301 301 0 39311 0
vsize: 158448
[startup+830.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51139 0 0 0 82882 145 0 0 25 0 1 0 969881721 162250752 30802 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39612 30802 301 301 0 39311 0
vsize: 158448
[startup+840.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51208 0 0 0 83883 145 0 0 25 0 1 0 969881721 162381824 30838 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30838 301 301 0 39343 0
vsize: 158576
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51213 0 0 0 84882 146 0 0 25 0 1 0 969881721 162381824 30843 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30843 301 301 0 39343 0
vsize: 158576
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51219 0 0 0 85882 146 0 0 25 0 1 0 969881721 162381824 30849 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30849 301 301 0 39343 0
vsize: 158576
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51224 0 0 0 86882 147 0 0 25 0 1 0 969881721 162381824 30854 4294967295 134512640 135730672 3221224576 3221223072 134747474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30854 301 301 0 39343 0
vsize: 158576
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51230 0 0 0 87882 147 0 0 25 0 1 0 969881721 162381824 30860 4294967295 134512640 135730672 3221224576 3221223184 135284078 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30860 301 301 0 39343 0
vsize: 158576
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51238 0 0 0 88882 148 0 0 25 0 1 0 969881721 162381824 30868 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30868 301 301 0 39343 0
vsize: 158576
[startup+900.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51247 0 0 0 89882 148 0 0 25 0 1 0 969881721 162381824 30877 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30877 301 301 0 39343 0
vsize: 158576
[startup+910.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51254 0 0 0 90881 149 0 0 25 0 1 0 969881721 162381824 30884 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39644 30884 301 301 0 39343 0
vsize: 158576
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51301 0 0 0 91881 149 0 0 25 0 1 0 969881721 162652160 30931 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 30931 301 301 0 39409 0
vsize: 158840
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51306 0 0 0 92881 150 0 0 25 0 1 0 969881721 162652160 30936 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39710 30936 301 301 0 39409 0
vsize: 158840
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51326 0 0 0 93881 150 0 0 25 0 1 0 969881721 162787328 30956 4294967295 134512640 135730672 3221224576 3221223264 134748455 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30956 301 301 0 39442 0
vsize: 158972
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51334 0 0 0 94881 151 0 0 25 0 1 0 969881721 162787328 30964 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30964 301 301 0 39442 0
vsize: 158972
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51343 0 0 0 95881 151 0 0 25 0 1 0 969881721 162787328 30973 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30973 301 301 0 39442 0
vsize: 158972
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51345 0 0 0 96881 151 0 0 25 0 1 0 969881721 162787328 30975 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30975 301 301 0 39442 0
vsize: 158972
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51351 0 0 0 97881 152 0 0 25 0 1 0 969881721 162787328 30981 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30981 301 301 0 39442 0
vsize: 158972
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51357 0 0 0 98881 152 0 0 25 0 1 0 969881721 162787328 30987 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30987 301 301 0 39442 0
vsize: 158972
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51361 0 0 0 99881 153 0 0 25 0 1 0 969881721 162787328 30991 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30991 301 301 0 39442 0
vsize: 158972
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51366 0 0 0 100881 153 0 0 25 0 1 0 969881721 162787328 30996 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 30996 301 301 0 39442 0
vsize: 158972
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51370 0 0 0 101881 153 0 0 25 0 1 0 969881721 162787328 31000 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31000 301 301 0 39442 0
vsize: 158972
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51375 0 0 0 102881 153 0 0 25 0 1 0 969881721 162787328 31005 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31005 301 301 0 39442 0
vsize: 158972
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51392 0 0 0 103881 154 0 0 25 0 1 0 969881721 162787328 31022 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39743 31022 301 301 0 39442 0
vsize: 158972
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51415 0 0 0 104881 154 0 0 25 0 1 0 969881721 162922496 31045 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31045 301 301 0 39475 0
vsize: 159104
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51418 0 0 0 105881 155 0 0 25 0 1 0 969881721 162922496 31048 4294967295 134512640 135730672 3221224576 3221223188 134748221 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31048 301 301 0 39475 0
vsize: 159104
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51422 0 0 0 106881 155 0 0 25 0 1 0 969881721 162922496 31052 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31052 301 301 0 39475 0
vsize: 159104
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51427 0 0 0 107881 156 0 0 25 0 1 0 969881721 162922496 31057 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31057 301 301 0 39475 0
vsize: 159104
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51431 0 0 0 108881 156 0 0 25 0 1 0 969881721 162922496 31061 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31061 301 301 0 39475 0
vsize: 159104
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51436 0 0 0 109880 157 0 0 25 0 1 0 969881721 162922496 31066 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31066 301 301 0 39475 0
vsize: 159104
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51441 0 0 0 110881 157 0 0 25 0 1 0 969881721 162922496 31071 4294967295 134512640 135730672 3221224576 3221223072 134747883 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31071 301 301 0 39475 0
vsize: 159104
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51449 0 0 0 111880 158 0 0 25 0 1 0 969881721 162922496 31079 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39776 31079 301 301 0 39475 0
vsize: 159104
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51476 0 0 0 112880 159 0 0 25 0 1 0 969881721 163057664 31106 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39809 31106 301 301 0 39508 0
vsize: 159236
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51522 0 0 0 113880 159 0 0 25 0 1 0 969881721 163188736 31119 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31119 301 301 0 39540 0
vsize: 159364
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51528 0 0 0 114880 159 0 0 25 0 1 0 969881721 163188736 31125 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31125 301 301 0 39540 0
vsize: 159364
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51536 0 0 0 115880 160 0 0 25 0 1 0 969881721 163188736 31133 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31133 301 301 0 39540 0
vsize: 159364
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51543 0 0 0 116880 160 0 0 25 0 1 0 969881721 163188736 31140 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31140 301 301 0 39540 0
vsize: 159364
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51550 0 0 0 117880 160 0 0 25 0 1 0 969881721 163188736 31147 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31147 301 301 0 39540 0
vsize: 159364
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51556 0 0 0 118880 161 0 0 25 0 1 0 969881721 163188736 31153 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31153 301 301 0 39540 0
vsize: 159364
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 18301
Raw data (stat): 18299 (pb2sat-v2) R 18298 25568 25567 0 -1 0 51566 0 0 0 119880 161 0 0 25 0 1 0 969881721 163188736 31163 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39841 31163 301 301 0 39540 0
vsize: 159364
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.68 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 18301
Raw data (stat): 18299 (pb2sat-v2) Z 18298 25568 25567 0 -1 12 51568 0 0 0 119937 167 0 0 25 0 1 0 969881721 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.67
CPU time (s): 1201.05
CPU user time (s): 1199.38
CPU system time (s): 1.67674
CPU usage (%): 100.032
Max. virtual memory (Kb): 159364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####