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-air06.opb
MD5SUM	f85d0079133f298b06c25764b03ff228
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	50233
Optimality of the best value was proved	NO
Number of terms in the objective function	8627
Biggest coefficient in the objective function	1859
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	4587852
Number of bits of the sum of numbers in the objective function	23
Biggest number in a constraint	1859
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	4587852
Number of bits of the biggest sum of numbers	23
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.81
Number of variables	8627
Total number of constraints	9452
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	9452
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	461
Trace number 42775

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        694304 kB
Buffers:         11436 kB
Cached:         306200 kB
SwapCached:       1420 kB
Active:          26252 kB
Inactive:       293512 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        694052 kB
SwapTotal:     2097136 kB
SwapFree:      2094720 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5056 kB
Slab:            14852 kB
Committed_AS:    71900 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 14:48:50 (client local time) WITH STATUS 0 IN 1200.56 SECONDS
stats: 25983 7 1200.56 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 71066/148604	Time: 565.978/86400
c Decision: 71107/148604	Time: 662.737/86400
c Decision: 71124/148604	Time: 714.064/86400
c Decision: 71302/148604	Time: 879.694/86400
c Decision: 71349/148604	Time: 961.497/86400
c Decision: 71388/148604	Time: 1063.39/86400
c Decision: 71398/148604	Time: 1113.72/86400
c Decision: 71402/148604	Time: 1133.08/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.93 0.90 1/54 12187
Raw data (stat): 12187 (runsolver) R 12186 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 971490793 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.0005 s]
Raw data (loadavg): 0.92 0.93 0.90 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 14247 0 0 0 964 35 0 0 25 0 1 0 971490793 41304064 8736 4294967295 134512640 135730672 3221224576 3221221696 134577232 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 10084 8736 301 301 0 9783 0
vsize: 40336
[startup+20.0017 s]
Raw data (loadavg): 0.93 0.94 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 19242 0 0 0 1953 45 0 0 25 0 1 0 971490793 56320000 11118 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13750 11118 301 301 0 13449 0
vsize: 55000
[startup+30.0018 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 19440 0 0 0 2951 47 0 0 25 0 1 0 971490793 57044992 11316 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13927 11316 301 301 0 13626 0
vsize: 55708
[startup+40.0015 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 19668 0 0 0 3949 49 0 0 25 0 1 0 971490793 57937920 11544 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14145 11544 301 301 0 13844 0
vsize: 56580
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 19801 0 0 0 4948 50 0 0 25 0 1 0 971490793 58421248 11677 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14263 11677 301 301 0 13962 0
vsize: 57052
[startup+60.0019 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 19923 0 0 0 5947 51 0 0 25 0 1 0 971490793 58732544 11799 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14339 11799 301 301 0 14038 0
vsize: 57356
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 20084 0 0 0 6946 53 0 0 25 0 1 0 971490793 59342848 11960 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14488 11960 301 301 0 14187 0
vsize: 57952
[startup+80.0037 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 20180 0 0 0 7944 54 0 0 25 0 1 0 971490793 59670528 12056 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14568 12056 301 301 0 14267 0
vsize: 58272
[startup+90.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 20333 0 0 0 8943 56 0 0 25 0 1 0 971490793 60293120 12209 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14720 12209 301 301 0 14419 0
vsize: 58880
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 20426 0 0 0 9943 56 0 0 25 0 1 0 971490793 68829184 12302 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16804 12303 301 301 0 16503 0
vsize: 67216
[startup+110.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 20530 0 0 0 10941 58 0 0 25 0 1 0 971490793 69156864 12406 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16884 12406 301 301 0 16583 0
vsize: 67536
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 20672 0 0 0 11940 59 0 0 25 0 1 0 971490793 69623808 12548 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16998 12548 301 301 0 16697 0
vsize: 67992
[startup+130.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 20789 0 0 0 12939 61 0 0 25 0 1 0 971490793 69959680 12665 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17080 12665 301 301 0 16779 0
vsize: 68320
[startup+140.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 20901 0 0 0 13938 61 0 0 25 0 1 0 971490793 70291456 12777 4294967295 134512640 135730672 3221224576 3221223236 134748655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17161 12777 301 301 0 16860 0
vsize: 68644
[startup+150.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 21010 0 0 0 14938 62 0 0 25 0 1 0 971490793 70430720 12886 4294967295 134512640 135730672 3221224576 3221223264 134748446 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17195 12886 301 301 0 16894 0
vsize: 68780
[startup+160.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 21141 0 0 0 15937 64 0 0 25 0 1 0 971490793 70737920 13017 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17270 13017 301 301 0 16969 0
vsize: 69080
[startup+170.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 21271 0 0 0 16936 65 0 0 25 0 1 0 971490793 71081984 13147 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17354 13147 301 301 0 17053 0
vsize: 69416
[startup+180.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 21362 0 0 0 17935 66 0 0 25 0 1 0 971490793 71278592 13238 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17402 13238 301 301 0 17101 0
vsize: 69608
[startup+190.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 21469 0 0 0 18934 67 0 0 25 0 1 0 971490793 71639040 13345 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17490 13345 301 301 0 17189 0
vsize: 69960
[startup+200.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 21630 0 0 0 19933 68 0 0 25 0 1 0 971490793 71933952 13506 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17562 13506 301 301 0 17261 0
vsize: 70248
[startup+210.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 21741 0 0 0 20932 69 0 0 25 0 1 0 971490793 72073216 13617 4294967295 134512640 135730672 3221224576 3221223072 134747967 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17596 13617 301 301 0 17295 0
vsize: 70384
[startup+220.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 21836 0 0 0 21931 70 0 0 25 0 1 0 971490793 72232960 13712 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17635 13712 301 301 0 17334 0
vsize: 70540
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 21930 0 0 0 22930 71 0 0 25 0 1 0 971490793 72368128 13806 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17668 13806 301 301 0 17367 0
vsize: 70672
[startup+240.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 22011 0 0 0 23929 72 0 0 25 0 1 0 971490793 72548352 13887 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17712 13887 301 301 0 17411 0
vsize: 70848
[startup+250.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 22254 0 0 0 24928 74 0 0 25 0 1 0 971490793 73433088 14130 4294967295 134512640 135730672 3221224576 3221223056 134732768 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17928 14130 301 301 0 17627 0
vsize: 71712
[startup+260.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 22375 0 0 0 25926 76 0 0 25 0 1 0 971490793 73572352 14251 4294967295 134512640 135730672 3221224576 3221223072 134747953 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17962 14251 301 301 0 17661 0
vsize: 71848
[startup+270.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 22522 0 0 0 26925 77 0 0 25 0 1 0 971490793 73908224 14398 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18044 14398 301 301 0 17743 0
vsize: 72176
[startup+280.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 22648 0 0 0 27924 78 0 0 25 0 1 0 971490793 74211328 14524 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18118 14524 301 301 0 17817 0
vsize: 72472
[startup+290.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 22782 0 0 0 28924 79 0 0 25 0 1 0 971490793 74551296 14658 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18201 14658 301 301 0 17900 0
vsize: 72804
[startup+300.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 22899 0 0 0 29923 80 0 0 25 0 1 0 971490793 74747904 14775 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18249 14775 301 301 0 17948 0
vsize: 72996
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 22967 0 0 0 30922 81 0 0 25 0 1 0 971490793 74747904 14843 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18249 14843 301 301 0 17948 0
vsize: 72996
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 23037 0 0 0 31921 82 0 0 25 0 1 0 971490793 74883072 14913 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18282 14913 301 301 0 17981 0
vsize: 73128
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 23199 0 0 0 32920 83 0 0 25 0 1 0 971490793 75313152 15075 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18387 15075 301 301 0 18086 0
vsize: 73548
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 23310 0 0 0 33919 85 0 0 25 0 1 0 971490793 75706368 15186 4294967295 134512640 135730672 3221224576 3221223072 134747970 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18483 15186 301 301 0 18182 0
vsize: 73932
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 23404 0 0 0 34918 86 0 0 25 0 1 0 971490793 75870208 15280 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18523 15280 301 301 0 18222 0
vsize: 74092
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 23503 0 0 0 35918 86 0 0 25 0 1 0 971490793 75870208 15379 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18523 15379 301 301 0 18222 0
vsize: 74092
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 23577 0 0 0 36916 88 0 0 25 0 1 0 971490793 76034048 15453 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18563 15453 301 301 0 18262 0
vsize: 74252
[startup+380.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 23678 0 0 0 37915 89 0 0 25 0 1 0 971490793 76210176 15554 4294967295 134512640 135730672 3221224576 3221223072 134747728 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18606 15554 301 301 0 18305 0
vsize: 74424
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 23764 0 0 0 38914 90 0 0 25 0 1 0 971490793 76210176 15640 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18606 15640 301 301 0 18305 0
vsize: 74424
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 23861 0 0 0 39914 91 0 0 25 0 1 0 971490793 76361728 15737 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18643 15737 301 301 0 18342 0
vsize: 74572
[startup+410.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 23935 0 0 0 40913 92 0 0 25 0 1 0 971490793 76361728 15811 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18643 15811 301 301 0 18342 0
vsize: 74572
[startup+420.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 24084 0 0 0 41911 94 0 0 25 0 1 0 971490793 76853248 15960 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18763 15960 301 301 0 18462 0
vsize: 75052
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 24167 0 0 0 42911 95 0 0 25 0 1 0 971490793 76853248 16043 4294967295 134512640 135730672 3221224576 3221222896 134732786 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18763 16043 301 301 0 18462 0
vsize: 75052
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 24266 0 0 0 43910 95 0 0 25 0 1 0 971490793 93630464 16142 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22859 16142 301 301 0 22558 0
vsize: 91436
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 24462 0 0 0 44909 97 0 0 25 0 1 0 971490793 94093312 16338 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 22972 16338 301 301 0 22671 0
vsize: 91888
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 24528 0 0 0 45909 97 0 0 25 0 1 0 971490793 94228480 16404 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23005 16404 301 301 0 22704 0
vsize: 92020
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 24616 0 0 0 46908 98 0 0 25 0 1 0 971490793 94384128 16492 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23043 16492 301 301 0 22742 0
vsize: 92172
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 24738 0 0 0 47908 99 0 0 25 0 1 0 971490793 94695424 16614 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23119 16614 301 301 0 22818 0
vsize: 92476
[startup+490.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 24858 0 0 0 48907 100 0 0 25 0 1 0 971490793 94875648 16734 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23163 16734 301 301 0 22862 0
vsize: 92652
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 24986 0 0 0 49906 101 0 0 25 0 1 0 971490793 95035392 16862 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23202 16862 301 301 0 22901 0
vsize: 92808
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 25064 0 0 0 50906 101 0 0 25 0 1 0 971490793 95035392 16940 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23202 16940 301 301 0 22901 0
vsize: 92808
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 25269 0 0 0 51905 102 0 0 25 0 1 0 971490793 95645696 17145 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23351 17145 301 301 0 23050 0
vsize: 93404
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 25429 0 0 0 52904 103 0 0 25 0 1 0 971490793 95645696 17305 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23351 17305 301 301 0 23050 0
vsize: 93404
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 25504 0 0 0 53904 104 0 0 25 0 1 0 971490793 95842304 17380 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23399 17380 301 301 0 23098 0
vsize: 93596
[startup+550.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 25593 0 0 0 54903 105 0 0 25 0 1 0 971490793 96006144 17469 4294967295 134512640 135730672 3221224576 3221223056 134732826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23439 17469 301 301 0 23138 0
vsize: 93756
[startup+560.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 25662 0 0 0 55902 106 0 0 25 0 1 0 971490793 96006144 17538 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23439 17538 301 301 0 23138 0
vsize: 93756
[startup+570.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 25770 0 0 0 56901 107 0 0 25 0 1 0 971490793 96006144 17646 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23439 17646 301 301 0 23138 0
vsize: 93756
[startup+580.01 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26174 0 0 0 57899 109 0 0 25 0 1 0 971490793 96202752 17759 4294967295 134512640 135730672 3221224576 3221223072 134747613 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23487 17759 301 301 0 23186 0
vsize: 93948
[startup+590.01 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26188 0 0 0 58898 110 0 0 25 0 1 0 971490793 96202752 17773 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23487 17773 301 301 0 23186 0
vsize: 93948
[startup+600.01 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26205 0 0 0 59897 110 0 0 25 0 1 0 971490793 96202752 17790 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23487 17790 301 301 0 23186 0
vsize: 93948
[startup+610.011 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26237 0 0 0 60896 111 0 0 25 0 1 0 971490793 96399360 17822 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23535 17822 301 301 0 23234 0
vsize: 94140
[startup+620.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26261 0 0 0 61896 112 0 0 25 0 1 0 971490793 96399360 17846 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23535 17846 301 301 0 23234 0
vsize: 94140
[startup+630.012 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26280 0 0 0 62895 113 0 0 25 0 1 0 971490793 96563200 17865 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23575 17865 301 301 0 23274 0
vsize: 94300
[startup+640.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26333 0 0 0 63895 113 0 0 25 0 1 0 971490793 96759808 17918 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23623 17918 301 301 0 23322 0
vsize: 94492
[startup+650.012 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26362 0 0 0 64894 114 0 0 25 0 1 0 971490793 96923648 17947 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23663 17947 301 301 0 23362 0
vsize: 94652
[startup+660.012 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26391 0 0 0 65894 115 0 0 25 0 1 0 971490793 97058816 17976 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23696 17976 301 301 0 23395 0
vsize: 94784
[startup+670.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26426 0 0 0 66893 115 0 0 25 0 1 0 971490793 97255424 18011 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23744 18011 301 301 0 23443 0
vsize: 94976
[startup+680.014 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26739 0 0 0 67892 117 0 0 25 0 1 0 971490793 97452032 18033 4294967295 134512640 135730672 3221224576 3221223120 134740425 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23792 18033 301 301 0 23491 0
vsize: 95168
[startup+690.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26741 0 0 0 68891 117 0 0 25 0 1 0 971490793 97452032 18035 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23792 18035 301 301 0 23491 0
vsize: 95168
[startup+700.013 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26770 0 0 0 69891 118 0 0 25 0 1 0 971490793 97452032 18064 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23792 18064 301 301 0 23491 0
vsize: 95168
[startup+710.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26787 0 0 0 70891 119 0 0 25 0 1 0 971490793 97648640 18081 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23840 18081 301 301 0 23539 0
vsize: 95360
[startup+720.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 26792 0 0 0 71890 119 0 0 25 0 1 0 971490793 97648640 18086 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23840 18086 301 301 0 23539 0
vsize: 95360
[startup+730.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27087 0 0 0 72889 120 0 0 25 0 1 0 971490793 97648640 18090 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23840 18090 301 301 0 23539 0
vsize: 95360
[startup+740.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27091 0 0 0 73888 122 0 0 25 0 1 0 971490793 97648640 18094 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23840 18094 301 301 0 23539 0
vsize: 95360
[startup+750.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27094 0 0 0 74887 123 0 0 25 0 1 0 971490793 97648640 18097 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23840 18097 301 301 0 23539 0
vsize: 95360
[startup+760.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27105 0 0 0 75887 123 0 0 25 0 1 0 971490793 97648640 18108 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23840 18108 301 301 0 23539 0
vsize: 95360
[startup+770.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27133 0 0 0 76886 124 0 0 25 0 1 0 971490793 97812480 18136 4294967295 134512640 135730672 3221224576 3221222960 134763188 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23880 18136 301 301 0 23579 0
vsize: 95520
[startup+780.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27143 0 0 0 77886 125 0 0 25 0 1 0 971490793 97812480 18146 4294967295 134512640 135730672 3221224576 3221223120 134740270 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23880 18146 301 301 0 23579 0
vsize: 95520
[startup+790.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27171 0 0 0 78885 126 0 0 25 0 1 0 971490793 97976320 18174 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23920 18174 301 301 0 23619 0
vsize: 95680
[startup+800.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27195 0 0 0 79884 127 0 0 25 0 1 0 971490793 98140160 18198 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23960 18198 301 301 0 23659 0
vsize: 95840
[startup+810.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27232 0 0 0 80884 127 0 0 25 0 1 0 971490793 98140160 18235 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23960 18235 301 301 0 23659 0
vsize: 95840
[startup+820.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27289 0 0 0 81884 128 0 0 25 0 1 0 971490793 98140160 18292 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23960 18292 301 301 0 23659 0
vsize: 95840
[startup+830.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27333 0 0 0 82883 129 0 0 25 0 1 0 971490793 98140160 18336 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 23960 18336 301 301 0 23659 0
vsize: 95840
[startup+840.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27420 0 0 0 83882 130 0 0 25 0 1 0 971490793 98336768 18423 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24008 18423 301 301 0 23707 0
vsize: 96032
[startup+850.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27471 0 0 0 84881 131 0 0 25 0 1 0 971490793 98336768 18474 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24008 18474 301 301 0 23707 0
vsize: 96032
[startup+860.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27540 0 0 0 85879 133 0 0 25 0 1 0 971490793 98336768 18543 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24008 18543 301 301 0 23707 0
vsize: 96032
[startup+870.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27649 0 0 0 86879 133 0 0 25 0 1 0 971490793 98619392 18652 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24077 18652 301 301 0 23776 0
vsize: 96308
[startup+880.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27746 0 0 0 87879 134 0 0 25 0 1 0 971490793 98816000 18749 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24125 18749 301 301 0 23824 0
vsize: 96500
[startup+890.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 27859 0 0 0 88878 135 0 0 25 0 1 0 971490793 98816000 18862 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24125 18862 301 301 0 23824 0
vsize: 96500
[startup+900.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 28240 0 0 0 89875 137 0 0 25 0 1 0 971490793 99012608 18952 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24173 18952 301 301 0 23872 0
vsize: 96692
[startup+910.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 28305 0 0 0 90875 138 0 0 25 0 1 0 971490793 99012608 19017 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24173 19017 301 301 0 23872 0
vsize: 96692
[startup+920.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 28418 0 0 0 91874 139 0 0 25 0 1 0 971490793 99012608 19130 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24173 19130 301 301 0 23872 0
vsize: 96692
[startup+930.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 28500 0 0 0 92872 140 0 0 25 0 1 0 971490793 99012608 19212 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24173 19212 301 301 0 23872 0
vsize: 96692
[startup+940.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 28582 0 0 0 93871 142 0 0 25 0 1 0 971490793 99012608 19294 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24173 19294 301 301 0 23872 0
vsize: 96692
[startup+950.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 28700 0 0 0 94871 143 0 0 25 0 1 0 971490793 99176448 19412 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24213 19412 301 301 0 23912 0
vsize: 96852
[startup+960.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 28828 0 0 0 95870 143 0 0 25 0 1 0 971490793 99508224 19540 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24294 19540 301 301 0 23993 0
vsize: 97176
[startup+970.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 28947 0 0 0 96869 144 0 0 25 0 1 0 971490793 99508224 19659 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24294 19659 301 301 0 23993 0
vsize: 97176
[startup+980.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 29294 0 0 0 97868 146 0 0 25 0 1 0 971490793 99508224 19715 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24294 19715 301 301 0 23993 0
vsize: 97176
[startup+990.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 29387 0 0 0 98867 147 0 0 25 0 1 0 971490793 99508224 19808 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24294 19808 301 301 0 23993 0
vsize: 97176
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 29488 0 0 0 99866 148 0 0 25 0 1 0 971490793 99647488 19909 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24328 19909 301 301 0 24027 0
vsize: 97312
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 29645 0 0 0 100865 149 0 0 25 0 1 0 971490793 99844096 20066 4294967295 134512640 135730672 3221224576 3221222816 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24376 20066 301 301 0 24075 0
vsize: 97504
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 29726 0 0 0 101864 150 0 0 25 0 1 0 971490793 100040704 20147 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24424 20147 301 301 0 24123 0
vsize: 97696
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 29808 0 0 0 102863 151 0 0 25 0 1 0 971490793 100040704 20229 4294967295 134512640 135730672 3221224576 3221223072 134747629 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24424 20229 301 301 0 24123 0
vsize: 97696
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 29939 0 0 0 103863 152 0 0 25 0 1 0 971490793 100372480 20360 4294967295 134512640 135730672 3221224576 3221222896 134732452 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24505 20360 301 301 0 24204 0
vsize: 98020
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 30078 0 0 0 104862 153 0 0 25 0 1 0 971490793 100507648 20499 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 24538 20499 301 301 0 24237 0
vsize: 98152
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 33234 0 0 0 105855 160 0 0 25 0 1 0 971490793 113090560 20582 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27610 20582 301 301 0 27309 0
vsize: 110440
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 33309 0 0 0 106854 162 0 0 25 0 1 0 971490793 113090560 20657 4294967295 134512640 135730672 3221224576 3221223072 134747950 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27610 20657 301 301 0 27309 0
vsize: 110440
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 33624 0 0 0 107853 163 0 0 25 0 1 0 971490793 113090560 20681 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27610 20681 301 301 0 27309 0
vsize: 110440
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 33656 0 0 0 108852 164 0 0 25 0 1 0 971490793 113287168 20713 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27658 20713 301 301 0 27357 0
vsize: 110632
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 33685 0 0 0 109851 165 0 0 25 0 1 0 971490793 113451008 20742 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27698 20742 301 301 0 27397 0
vsize: 110792
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 33707 0 0 0 110851 165 0 0 25 0 1 0 971490793 113451008 20764 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27698 20764 301 301 0 27397 0
vsize: 110792
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 33725 0 0 0 111851 166 0 0 25 0 1 0 971490793 113647616 20782 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27746 20782 301 301 0 27445 0
vsize: 110984
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 34034 0 0 0 112850 167 0 0 25 0 1 0 971490793 113647616 20800 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27746 20800 301 301 0 27445 0
vsize: 110984
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 34037 0 0 0 113849 168 0 0 25 0 1 0 971490793 113647616 20803 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27746 20803 301 301 0 27445 0
vsize: 110984
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 34329 0 0 0 114848 169 0 0 25 0 1 0 971490793 113647616 20804 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27746 20804 301 301 0 27445 0
vsize: 110984
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 34371 0 0 0 115848 170 0 0 25 0 1 0 971490793 113844224 20846 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27794 20846 301 301 0 27493 0
vsize: 111176
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 34385 0 0 0 116848 170 0 0 25 0 1 0 971490793 113844224 20860 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27794 20860 301 301 0 27493 0
vsize: 111176
[startup+1180.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 34399 0 0 0 117847 170 0 0 25 0 1 0 971490793 113844224 20874 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27794 20874 301 301 0 27493 0
vsize: 111176
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 34411 0 0 0 118847 171 0 0 25 0 1 0 971490793 113844224 20886 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27794 20886 301 301 0 27493 0
vsize: 111176
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 12187
Raw data (stat): 12187 (pb2sat-v2) R 12186 31399 31398 0 -1 0 34413 0 0 0 119846 172 0 0 25 0 1 0 971490793 113844224 20888 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27794 20888 301 301 0 27493 0
vsize: 111176
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.4 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 12187
Raw data (stat): 12187 (pb2sat-v2) Z 12186 31399 31398 0 -1 12 34415 0 0 0 119879 176 0 0 25 0 1 0 971490793 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.39
CPU time (s): 1200.56
CPU user time (s): 1198.79
CPU system time (s): 1.76373
CPU usage (%): 100.014
Max. virtual memory (Kb): 111176
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####