PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-rgn.opb
MD5SUM	1400a638b0a1a6fa8602672cb986ba1d
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	67200
Optimality of the best value was proved	NO
Number of terms in the objective function	920
Biggest coefficient in the objective function	24576
Number of bits for the biggest coefficient in the objective function	15
Sum of the numbers in the objective function	1986400
Number of bits of the sum of numbers in the objective function	21
Biggest number in a constraint	3200000000
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	29101875011
Number of bits of the biggest sum of numbers	35
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1227.77
Number of variables	1020
Total number of constraints	204
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	100
Minimum length of a constraint	1
Maximum length of a constraint	103
Trace number 42813

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-16 15:30:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26026 boxname=wulflinc3 idbench=1326 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  1400a638b0a1a6fa8602672cb986ba1d  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-rgn.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-rgn.opb
IDLAUNCH: 26026
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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:        719240 kB
Buffers:         20320 kB
Cached:         273264 kB
SwapCached:        788 kB
Active:          33152 kB
Inactive:       262520 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        718988 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            14004 kB
Committed_AS:    71904 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 15:50:33 (client local time) WITH STATUS 0 IN 1200.92 SECONDS
stats: 26026 7 1200.92 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 403/315143	Time: 60.4148/86400
c Decision: 423/315143	Time: 75.8795/86400
c Decision: 508/315143	Time: 103.56/86400
c Decision: 608/315143	Time: 116.288/86400
c Decision: 623/315143	Time: 133.07/86400
c Decision: 632/315143	Time: 156.191/86400
c Decision: 635/315143	Time: 168.977/86400
c Decision: 635/315143	Time: 178.515/86400
c Decision: 649/315143	Time: 195.139/86400
c Decision: 649/315143	Time: 205.758/86400
c Decision: 739/315143	Time: 220.797/86400
c Decision: 751/315143	Time: 236.75/86400
c Decision: 986/315143	Time: 253.61/86400
c Decision: 991/315143	Time: 265.853/86400
c Decision: 991/315143	Time: 276.928/86400
c Decision: 991/315143	Time: 288.142/86400
c Decision: 991/315143	Time: 299.617/86400
c Decision: 991/315143	Time: 310.385/86400
c Decision: 1143/315143	Time: 332.561/86400
c Decision: 1873/315143	Time: 373.307/86400
c Decision: 2137/315143	Time: 438.129/86400
c Decision: 2248/315143	Time: 459.963/86400
c Decision: 2259/315143	Time: 486.959/86400
c Decision: 2259/315143	Time: 498.105/86400
c Decision: 2272/315143	Time: 525.142/86400
c Decision: 2272/315143	Time: 541.783/86400
c Decision: 2272/315143	Time: 556.134/86400
c Decision: 2274/315143	Time: 577.389/86400
c Decision: 2505/315143	Time: 621.414/86400
c Decision: 2560/315143	Time: 651.816/86400
c Decision: 2687/315143	Time: 694.827/86400
c Decision: 2687/315143	Time: 706.962/86400
c Decision: 2697/315143	Time: 725.416/86400
c Decision: 2697/315143	Time: 740.309/86400
c Decision: 2697/315143	Time: 755.015/86400
c Decision: 2697/315143	Time: 773.196/86400
c Decision: 2721/315143	Time: 811.39/86400
c Decision: 2797/315143	Time: 847.758/86400
c Decision: 2797/315143	Time: 862.882/86400
c Decision: 2797/315143	Time: 880.541/86400
c Decision: 2831/315143	Time: 901.215/86400
c Decision: 2831/315143	Time: 919.331/86400
c Decision: 2831/315143	Time: 935.769/86400
c Decision: 2831/315143	Time: 954.821/86400
c Decision: 2832/315143	Time: 973.881/86400
c Decision: 2832/315143	Time: 991.927/86400
c Decision: 2832/315143	Time: 1009.88/86400
c Decision: 2873/315143	Time: 1039.68/86400
c Decision: 2896/315143	Time: 1071.93/86400
c Decision: 2919/315143	Time: 1127.18/86400
c Decision: 2919/315143	Time: 1147.7/86400
c Decision: 2919/315143	Time: 1166/86400
c Decision: 2919/315143	Time: 1184.69/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.90 0.93 0.90 2/54 26220
Raw data (stat): 26220 (runsolver) R 26219 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971848035 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 27624 0 0 0 936 62 0 0 25 0 1 0 971848035 77803520 16694 4294967295 134512640 135730672 3221224576 3221181496 134610029 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18995 16694 301 301 0 18694 0
vsize: 75980
[startup+20.0015 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 46261 0 0 0 1894 105 0 0 25 0 1 0 971848035 134873088 23889 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 32928 23889 301 301 0 32627 0
vsize: 131712
[startup+30.0023 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 46860 0 0 0 2890 108 0 0 25 0 1 0 971848035 137449472 24488 4294967295 134512640 135730672 3221224576 3221223176 134747726 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33557 24488 301 301 0 33256 0
vsize: 134228
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 46928 0 0 0 3890 110 0 0 25 0 1 0 971848035 137777152 24556 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33637 24556 301 301 0 33336 0
vsize: 134548
[startup+50.003 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 47043 0 0 0 4889 111 0 0 25 0 1 0 971848035 154947584 24671 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37829 24671 301 301 0 37528 0
vsize: 151316
[startup+60.0041 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 47120 0 0 0 5888 112 0 0 25 0 1 0 971848035 155144192 24748 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37877 24748 301 301 0 37576 0
vsize: 151508
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 47428 0 0 0 6886 113 0 0 25 0 1 0 971848035 156520448 25056 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38213 25056 301 301 0 37912 0
vsize: 152852
[startup+80.0055 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 48128 0 0 0 7883 116 0 0 25 0 1 0 971848035 156831744 25140 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38289 25140 301 301 0 37988 0
vsize: 153156
[startup+90.0064 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 48822 0 0 0 8880 120 0 0 25 0 1 0 971848035 157192192 25218 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38377 25218 301 301 0 38076 0
vsize: 153508
[startup+100.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 48931 0 0 0 9879 121 0 0 25 0 1 0 971848035 157585408 25327 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38473 25327 301 301 0 38172 0
vsize: 153892
[startup+110.007 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 49032 0 0 0 10878 122 0 0 25 0 1 0 971848035 157782016 25428 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38521 25428 301 301 0 38220 0
vsize: 154084
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 49669 0 0 0 11875 125 0 0 25 0 1 0 971848035 157782016 25449 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38521 25449 301 301 0 38220 0
vsize: 154084
[startup+130.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 50329 0 0 0 12872 128 0 0 25 0 1 0 971848035 160501760 26109 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39185 26109 301 301 0 38884 0
vsize: 156740
[startup+140.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 50352 0 0 0 13871 129 0 0 25 0 1 0 971848035 157978624 25516 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38569 25516 301 301 0 38268 0
vsize: 154276
[startup+150.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 50984 0 0 0 14869 131 0 0 25 0 1 0 971848035 157978624 25532 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38569 25532 301 301 0 38268 0
vsize: 154276
[startup+160.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 51011 0 0 0 15867 133 0 0 25 0 1 0 971848035 157978624 25559 4294967295 134512640 135730672 3221224576 3221223072 134747840 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38569 25559 301 301 0 38268 0
vsize: 154276
[startup+170.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 51644 0 0 0 16865 135 0 0 25 0 1 0 971848035 157978624 25576 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38569 25576 301 301 0 38268 0
vsize: 154276
[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 51683 0 0 0 17864 136 0 0 25 0 1 0 971848035 158175232 25615 4294967295 134512640 135730672 3221224576 3221223072 134747832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38617 25615 301 301 0 38316 0
vsize: 154468
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 52304 0 0 0 18861 140 0 0 25 0 1 0 971848035 158175232 25620 4294967295 134512640 135730672 3221224576 3221223072 134747892 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38617 25620 301 301 0 38316 0
vsize: 154468
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 52933 0 0 0 19858 142 0 0 25 0 1 0 971848035 158175232 25633 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38617 25633 301 301 0 38316 0
vsize: 154468
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 53659 0 0 0 20856 145 0 0 25 0 1 0 971848035 158765056 25743 4294967295 134512640 135730672 3221224576 3221223200 134748114 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38761 25743 301 301 0 38460 0
vsize: 155044
[startup+220.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 54294 0 0 0 21853 148 0 0 25 0 1 0 971848035 158765056 25762 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38761 25762 301 301 0 38460 0
vsize: 155044
[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 54333 0 0 0 22851 150 0 0 25 0 1 0 971848035 158961664 25801 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25801 301 301 0 38508 0
vsize: 155236
[startup+240.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 54954 0 0 0 23848 153 0 0 25 0 1 0 971848035 158961664 25806 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25806 301 301 0 38508 0
vsize: 155236
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 55574 0 0 0 24847 155 0 0 25 0 1 0 971848035 161484800 26426 4294967295 134512640 135730672 3221224576 3221222768 134772762 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 39425 26426 301 301 0 39124 0
vsize: 157700
[startup+260.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 55589 0 0 0 25846 155 0 0 25 0 1 0 971848035 158961664 25825 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25825 301 301 0 38508 0
vsize: 155236
[startup+270.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 56217 0 0 0 26843 159 0 0 25 0 1 0 971848035 158961664 25837 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25837 301 301 0 38508 0
vsize: 155236
[startup+280.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 56846 0 0 0 27839 162 0 0 25 0 1 0 971848035 158961664 25850 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25850 301 301 0 38508 0
vsize: 155236
[startup+290.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 56862 0 0 0 28838 164 0 0 25 0 1 0 971848035 158961664 25866 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25866 301 301 0 38508 0
vsize: 155236
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 57497 0 0 0 29835 166 0 0 25 0 1 0 971848035 158961664 25885 4294967295 134512640 135730672 3221224576 3221223088 134746526 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25885 301 301 0 38508 0
vsize: 155236
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 58116 0 0 0 30833 169 0 0 25 0 1 0 971848035 158961664 25888 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25888 301 301 0 38508 0
vsize: 155236
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 58750 0 0 0 31830 172 0 0 25 0 1 0 971848035 158961664 25906 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25906 301 301 0 38508 0
vsize: 155236
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 59386 0 0 0 32828 174 0 0 25 0 1 0 971848035 158961664 25926 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25926 301 301 0 38508 0
vsize: 155236
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 59410 0 0 0 33826 176 0 0 25 0 1 0 971848035 158961664 25950 4294967295 134512640 135730672 3221224576 3221223072 134747528 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25950 301 301 0 38508 0
vsize: 155236
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60047 0 0 0 34824 178 0 0 25 0 1 0 971848035 158961664 25971 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 25971 301 301 0 38508 0
vsize: 155236
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60079 0 0 0 35822 180 0 0 25 0 1 0 971848035 158961664 26003 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38809 26003 301 301 0 38508 0
vsize: 155236
[startup+370.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60118 0 0 0 36821 181 0 0 25 0 1 0 971848035 159158272 26042 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38857 26042 301 301 0 38556 0
vsize: 155428
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60140 0 0 0 37819 183 0 0 25 0 1 0 971848035 159158272 26064 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38857 26064 301 301 0 38556 0
vsize: 155428
[startup+390.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60771 0 0 0 38816 185 0 0 25 0 1 0 971848035 159158272 26079 4294967295 134512640 135730672 3221224576 3221222896 134732500 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38857 26079 301 301 0 38556 0
vsize: 155428
[startup+400.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60818 0 0 0 39815 187 0 0 25 0 1 0 971848035 159354880 26126 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38905 26126 301 301 0 38604 0
vsize: 155620
[startup+410.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60835 0 0 0 40814 189 0 0 25 0 1 0 971848035 159354880 26143 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38905 26143 301 301 0 38604 0
vsize: 155620
[startup+420.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60856 0 0 0 41812 190 0 0 25 0 1 0 971848035 159354880 26164 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38905 26164 301 301 0 38604 0
vsize: 155620
[startup+430.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60872 0 0 0 42811 191 0 0 25 0 1 0 971848035 159354880 26180 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38905 26180 301 301 0 38604 0
vsize: 155620
[startup+440.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60897 0 0 0 43810 192 0 0 25 0 1 0 971848035 159354880 26205 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38905 26205 301 301 0 38604 0
vsize: 155620
[startup+450.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 60923 0 0 0 44808 194 0 0 25 0 1 0 971848035 159354880 26231 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38905 26231 301 301 0 38604 0
vsize: 155620
[startup+460.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 61548 0 0 0 45806 196 0 0 25 0 1 0 971848035 159354880 26240 4294967295 134512640 135730672 3221224576 3221223072 134747899 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38905 26240 301 301 0 38604 0
vsize: 155620
[startup+470.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 61552 0 0 0 46805 197 0 0 25 0 1 0 971848035 159354880 26244 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38905 26244 301 301 0 38604 0
vsize: 155620
[startup+480.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 62192 0 0 0 47802 200 0 0 25 0 1 0 971848035 159490048 26268 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38938 26268 301 301 0 38637 0
vsize: 155752
[startup+490.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 62195 0 0 0 48801 201 0 0 25 0 1 0 971848035 159490048 26271 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38938 26271 301 301 0 38637 0
vsize: 155752
[startup+500.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 62210 0 0 0 49800 202 0 0 25 0 1 0 971848035 159686656 26286 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26286 301 301 0 38685 0
vsize: 155944
[startup+510.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 62831 0 0 0 50797 205 0 0 25 0 1 0 971848035 159686656 26291 4294967295 134512640 135730672 3221224576 3221223200 134748091 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26291 301 301 0 38685 0
vsize: 155944
[startup+520.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 63459 0 0 0 51794 208 0 0 25 0 1 0 971848035 159686656 26303 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26303 301 301 0 38685 0
vsize: 155944
[startup+530.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 63462 0 0 0 52794 209 0 0 25 0 1 0 971848035 159686656 26306 4294967295 134512640 135730672 3221224576 3221223200 134748163 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26306 301 301 0 38685 0
vsize: 155944
[startup+540.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 64082 0 0 0 53791 211 0 0 25 0 1 0 971848035 159686656 26310 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26310 301 301 0 38685 0
vsize: 155944
[startup+550.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 64085 0 0 0 54790 212 0 0 25 0 1 0 971848035 159686656 26313 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26313 301 301 0 38685 0
vsize: 155944
[startup+560.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 64707 0 0 0 55788 214 0 0 25 0 1 0 971848035 159686656 26319 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26319 301 301 0 38685 0
vsize: 155944
[startup+570.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65326 0 0 0 56786 216 0 0 25 0 1 0 971848035 159686656 26322 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26322 301 301 0 38685 0
vsize: 155944
[startup+580.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65331 0 0 0 57785 217 0 0 25 0 1 0 971848035 159686656 26327 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26327 301 301 0 38685 0
vsize: 155944
[startup+590.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65334 0 0 0 58783 219 0 0 25 0 1 0 971848035 159686656 26330 4294967295 134512640 135730672 3221224576 3221223200 134748176 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26330 301 301 0 38685 0
vsize: 155944
[startup+600.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65960 0 0 0 59780 222 0 0 25 0 1 0 971848035 159686656 26340 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26340 301 301 0 38685 0
vsize: 155944
[startup+610.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65977 0 0 0 60778 224 0 0 25 0 1 0 971848035 159686656 26357 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26357 301 301 0 38685 0
vsize: 155944
[startup+620.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 65992 0 0 0 61778 224 0 0 25 0 1 0 971848035 159686656 26372 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26372 301 301 0 38685 0
vsize: 155944
[startup+630.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 66007 0 0 0 62777 225 0 0 25 0 1 0 971848035 159686656 26387 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26387 301 301 0 38685 0
vsize: 155944
[startup+640.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 66636 0 0 0 63774 228 0 0 25 0 1 0 971848035 159686656 26400 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26400 301 301 0 38685 0
vsize: 155944
[startup+650.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 66648 0 0 0 64774 228 0 0 25 0 1 0 971848035 159686656 26412 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26412 301 301 0 38685 0
vsize: 155944
[startup+660.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 66662 0 0 0 65772 230 0 0 25 0 1 0 971848035 159686656 26426 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26426 301 301 0 38685 0
vsize: 155944
[startup+670.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67293 0 0 0 66770 232 0 0 25 0 1 0 971848035 159686656 26441 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26441 301 301 0 38685 0
vsize: 155944
[startup+680.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67309 0 0 0 67768 234 0 0 25 0 1 0 971848035 159686656 26457 4294967295 134512640 135730672 3221224576 3221223200 134748073 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26457 301 301 0 38685 0
vsize: 155944
[startup+690.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67324 0 0 0 68767 235 0 0 25 0 1 0 971848035 159686656 26472 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26472 301 301 0 38685 0
vsize: 155944
[startup+700.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67340 0 0 0 69765 236 0 0 25 0 1 0 971848035 159686656 26488 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26488 301 301 0 38685 0
vsize: 155944
[startup+710.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67965 0 0 0 70763 239 0 0 25 0 1 0 971848035 159686656 26497 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26497 301 301 0 38685 0
vsize: 155944
[startup+720.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 67969 0 0 0 71762 240 0 0 25 0 1 0 971848035 159686656 26501 4294967295 134512640 135730672 3221224576 3221223088 134745858 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26501 301 301 0 38685 0
vsize: 155944
[startup+730.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 68599 0 0 0 72759 243 0 0 25 0 1 0 971848035 159686656 26515 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26515 301 301 0 38685 0
vsize: 155944
[startup+740.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 69218 0 0 0 73756 246 0 0 25 0 1 0 971848035 159686656 26518 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26518 301 301 0 38685 0
vsize: 155944
[startup+750.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 69222 0 0 0 74754 248 0 0 25 0 1 0 971848035 159686656 26522 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26522 301 301 0 38685 0
vsize: 155944
[startup+760.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 69840 0 0 0 75751 251 0 0 25 0 1 0 971848035 159686656 26524 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26524 301 301 0 38685 0
vsize: 155944
[startup+770.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 70459 0 0 0 76749 253 0 0 25 0 1 0 971848035 159686656 26527 4294967295 134512640 135730672 3221224576 3221223072 134747566 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26527 301 301 0 38685 0
vsize: 155944
[startup+780.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 70461 0 0 0 77748 254 0 0 25 0 1 0 971848035 159686656 26529 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26529 301 301 0 38685 0
vsize: 155944
[startup+790.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71079 0 0 0 78746 256 0 0 25 0 1 0 971848035 159686656 26531 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26531 301 301 0 38685 0
vsize: 155944
[startup+800.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71082 0 0 0 79745 257 0 0 25 0 1 0 971848035 159686656 26534 4294967295 134512640 135730672 3221224576 3221223072 134747536 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26534 301 301 0 38685 0
vsize: 155944
[startup+810.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71085 0 0 0 80744 259 0 0 25 0 1 0 971848035 159686656 26537 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26537 301 301 0 38685 0
vsize: 155944
[startup+820.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71091 0 0 0 81743 260 0 0 25 0 1 0 971848035 159686656 26543 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26543 301 301 0 38685 0
vsize: 155944
[startup+830.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71720 0 0 0 82740 263 0 0 25 0 1 0 971848035 159686656 26556 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26556 301 301 0 38685 0
vsize: 155944
[startup+840.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71734 0 0 0 83739 264 0 0 25 0 1 0 971848035 159686656 26570 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26570 301 301 0 38685 0
vsize: 155944
[startup+850.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71747 0 0 0 84738 265 0 0 25 0 1 0 971848035 159686656 26583 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26583 301 301 0 38685 0
vsize: 155944
[startup+860.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 71760 0 0 0 85737 266 0 0 25 0 1 0 971848035 159686656 26596 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26596 301 301 0 38685 0
vsize: 155944
[startup+870.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 72388 0 0 0 86735 268 0 0 25 0 1 0 971848035 159686656 26608 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26608 301 301 0 38685 0
vsize: 155944
[startup+880.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 73016 0 0 0 87732 271 0 0 25 0 1 0 971848035 159686656 26620 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 38986 26620 301 301 0 38685 0
vsize: 155944
[startup+890.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 73029 0 0 0 88731 272 0 0 25 0 1 0 971848035 159686656 26633 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26633 301 301 0 38685 0
vsize: 155944
[startup+900.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 73656 0 0 0 89728 275 0 0 25 0 1 0 971848035 159686656 26644 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26644 301 301 0 38685 0
vsize: 155944
[startup+910.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 73670 0 0 0 90728 275 0 0 25 0 1 0 971848035 159686656 26658 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26658 301 301 0 38685 0
vsize: 155944
[startup+920.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 74290 0 0 0 91726 277 0 0 25 0 1 0 971848035 159686656 26662 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26662 301 301 0 38685 0
vsize: 155944
[startup+930.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 74293 0 0 0 92725 279 0 0 25 0 1 0 971848035 159686656 26665 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26665 301 301 0 38685 0
vsize: 155944
[startup+940.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 74911 0 0 0 93723 281 0 0 25 0 1 0 971848035 159686656 26667 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38986 26667 301 301 0 38685 0
vsize: 155944
[startup+950.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 75544 0 0 0 94721 283 0 0 25 0 1 0 971848035 159834112 26684 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39022 26684 301 301 0 38721 0
vsize: 156088
[startup+960.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 75563 0 0 0 95720 284 0 0 25 0 1 0 971848035 159834112 26703 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39022 26703 301 301 0 38721 0
vsize: 156088
[startup+970.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 76191 0 0 0 96718 287 0 0 25 0 1 0 971848035 159834112 26715 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39022 26715 301 301 0 38721 0
vsize: 156088
[startup+980.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 76216 0 0 0 97717 288 0 0 25 0 1 0 971848035 159834112 26740 4294967295 134512640 135730672 3221224576 3221223168 134763602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39022 26740 301 301 0 38721 0
vsize: 156088
[startup+990.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 76851 0 0 0 98714 291 0 0 25 0 1 0 971848035 160018432 26759 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39067 26759 301 301 0 38766 0
vsize: 156268
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 76867 0 0 0 99714 292 0 0 25 0 1 0 971848035 160018432 26775 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39067 26775 301 301 0 38766 0
vsize: 156268
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 77492 0 0 0 100711 294 0 0 25 0 1 0 971848035 160018432 26784 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39067 26784 301 301 0 38766 0
vsize: 156268
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 77497 0 0 0 101710 296 0 0 25 0 1 0 971848035 160018432 26789 4294967295 134512640 135730672 3221224576 3221223072 134747902 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39067 26789 301 301 0 38766 0
vsize: 156268
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78124 0 0 0 102707 299 0 0 25 0 1 0 971848035 160018432 26800 4294967295 134512640 135730672 3221224576 3221223232 134734776 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39067 26800 301 301 0 38766 0
vsize: 156268
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78145 0 0 0 103706 300 0 0 25 0 1 0 971848035 160018432 26821 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39067 26821 301 301 0 38766 0
vsize: 156268
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78165 0 0 0 104705 301 0 0 25 0 1 0 971848035 160018432 26841 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39067 26841 301 301 0 38766 0
vsize: 156268
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78794 0 0 0 105703 303 0 0 25 0 1 0 971848035 160018432 26854 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39067 26854 301 301 0 38766 0
vsize: 156268
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78821 0 0 0 106703 304 0 0 25 0 1 0 971848035 160165888 26881 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39103 26881 301 301 0 38802 0
vsize: 156412
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 78836 0 0 0 107702 305 0 0 25 0 1 0 971848035 160165888 26896 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39103 26896 301 301 0 38802 0
vsize: 156412
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79468 0 0 0 108700 307 0 0 25 0 1 0 971848035 160165888 26912 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39103 26912 301 301 0 38802 0
vsize: 156412
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79483 0 0 0 109700 308 0 0 25 0 1 0 971848035 160165888 26927 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39103 26927 301 301 0 38802 0
vsize: 156412
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79506 0 0 0 110699 308 0 0 25 0 1 0 971848035 160165888 26950 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39103 26950 301 301 0 38802 0
vsize: 156412
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79523 0 0 0 111699 309 0 0 25 0 1 0 971848035 160165888 26967 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39103 26967 301 301 0 38802 0
vsize: 156412
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79544 0 0 0 112698 310 0 0 25 0 1 0 971848035 160165888 26988 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39103 26988 301 301 0 38802 0
vsize: 156412
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 79566 0 0 0 113697 311 0 0 25 0 1 0 971848035 160165888 27010 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39103 27010 301 301 0 38802 0
vsize: 156412
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 80201 0 0 0 114695 314 0 0 25 0 1 0 971848035 160165888 27029 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39103 27029 301 301 0 38802 0
vsize: 156412
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 80837 0 0 0 115692 316 0 0 25 0 1 0 971848035 162689024 27665 4294967295 134512640 135730672 3221224576 3221222752 134769149 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39719 27665 301 301 0 39418 0
vsize: 158876
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 80845 0 0 0 116692 317 0 0 25 0 1 0 971848035 160305152 27057 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39137 27057 301 301 0 38836 0
vsize: 156548
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 81475 0 0 0 117690 319 0 0 25 0 1 0 971848035 160305152 27071 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39137 27071 301 301 0 38836 0
vsize: 156548
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 81496 0 0 0 118689 320 0 0 25 0 1 0 971848035 160305152 27092 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39137 27092 301 301 0 38836 0
vsize: 156548
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 26220
Raw data (stat): 26220 (pb2sat-v2) R 26219 20224 20223 0 -1 0 82128 0 0 0 119687 323 0 0 25 0 1 0 971848035 160305152 27108 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39137 27108 301 301 0 38836 0
vsize: 156548
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.89 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 26220
Raw data (stat): 26220 (pb2sat-v2) Z 26219 20224 20223 0 -1 12 82130 0 0 0 119763 328 0 0 25 0 1 0 971848035 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.89
CPU time (s): 1200.92
CPU user time (s): 1197.64
CPU system time (s): 3.2825
CPU usage (%): 100.002
Max. virtual memory (Kb): 158876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####