PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos12.opb
MD5SUM	4968ba84d5c370c0dd8f5e6c6068a443
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	13440
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	481036336704
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	536870912
Number of bits of the biggest number in a constraint	30
Biggest sum of numbers in a constraint	481036336704
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1211.72
Number of variables	22960
Total number of constraints	11747
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	3136
Number of constraints which are nor clauses,nor cardinality constraints	8611
Minimum length of a constraint	1
Maximum length of a constraint	840
Trace number 42610

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-16 12:24:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25819 boxname=wulflinc1 idbench=1119 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  4968ba84d5c370c0dd8f5e6c6068a443  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos12.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-neos12.opb
IDLAUNCH: 25819
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        632716 kB
Buffers:         31040 kB
Cached:         345856 kB
SwapCached:       1184 kB
Active:          30800 kB
Inactive:       348456 kB
HighTotal:      131008 kB
HighFree:         9464 kB
LowTotal:       903652 kB
LowFree:        623252 kB
SwapTotal:     2097136 kB
SwapFree:      2094888 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16632 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 12:44:54 (client local time) WITH STATUS 0 IN 1201.27 SECONDS
stats: 25819 7 1201.27 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 109472/428306	Time: 143.033/86400
c Decision: 109472/428306	Time: 201.117/86400
c Decision: 109472/428306	Time: 249.813/86400
c Decision: 109472/428306	Time: 302.508/86400
c Decision: 109472/428306	Time: 367.964/86400
c Decision: 109472/428306	Time: 429.756/86400
c Decision: 109472/428306	Time: 490.944/86400
c Decision: 109472/428306	Time: 546.84/86400
c Decision: 109478/428306	Time: 621.04/86400
c Decision: 109490/428306	Time: 735.047/86400
c Decision: 109496/428306	Time: 841.41/86400
c Decision: 109496/428306	Time: 899.575/86400
c Decision: 109496/428306	Time: 959.396/86400
c Decision: 109496/428306	Time: 1014.27/86400
c Decision: 109496/428306	Time: 1065.96/86400
c Decision: 109496/428306	Time: 1125.34/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/55 18334
Raw data (stat): 18334 (runsolver) R 18333 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913885883 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 18501 0 0 0 957 40 0 0 25 0 1 0 913885883 56213504 10577 4294967295 134512640 135730672 3221224576 3221221728 134576198 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13724 10577 301 301 0 13423 0
vsize: 54896
[startup+20.0017 s]
Raw data (loadavg): 0.94 0.95 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 38501 0 0 0 1912 86 0 0 25 0 1 0 913885883 111710208 22727 4294967295 134512640 135730672 3221224576 3221221520 134539724 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 27273 22727 301 301 0 26972 0
vsize: 109092
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 51682 0 0 0 2879 119 0 0 25 0 1 0 913885883 160854016 29654 4294967295 134512640 135730672 3221224576 3221222880 134768821 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39271 29654 301 301 0 38970 0
vsize: 157084
[startup+40.0028 s]
Raw data (loadavg): 0.95 0.95 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 52334 0 0 0 3878 120 0 0 25 0 1 0 913885883 160026624 29261 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39069 29261 301 301 0 38768 0
vsize: 156276
[startup+50.003 s]
Raw data (loadavg): 0.96 0.95 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 53902 0 0 0 4873 126 0 0 25 0 1 0 913885883 166309888 30486 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40603 30487 301 301 0 40302 0
vsize: 162412
[startup+60.0038 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 56594 0 0 0 5868 131 0 0 25 0 1 0 913885883 175607808 32128 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42873 32128 301 301 0 42572 0
vsize: 171492
[startup+70.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 57693 0 0 0 6865 134 0 0 25 0 1 0 913885883 179384320 32753 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43795 32753 301 301 0 43494 0
vsize: 175180
[startup+80.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 58880 0 0 0 7862 137 0 0 25 0 1 0 913885883 182689792 33384 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 44602 33384 301 301 0 44301 0
vsize: 178408
[startup+90.0032 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 60067 0 0 0 8860 139 0 0 25 0 1 0 913885883 186253312 33984 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 45472 33984 301 301 0 45171 0
vsize: 181888
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 60781 0 0 0 9858 141 0 0 25 0 1 0 913885883 189677568 34583 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 46308 34583 301 301 0 46007 0
vsize: 185232
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 61687 0 0 0 10857 143 0 0 25 0 1 0 913885883 192925696 35160 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47101 35160 301 301 0 46800 0
vsize: 188404
[startup+120.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 62408 0 0 0 11855 145 0 0 25 0 1 0 913885883 194891776 35393 4294967295 134512640 135730672 3221224576 3221223072 134747495 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47581 35393 301 301 0 47280 0
vsize: 190324
[startup+130.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 62890 0 0 0 12854 146 0 0 25 0 1 0 913885883 196071424 35582 4294967295 134512640 135730672 3221224576 3221223180 134747727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 47869 35582 301 301 0 47568 0
vsize: 191476
[startup+140.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 63274 0 0 0 13853 147 0 0 25 0 1 0 913885883 197390336 35738 4294967295 134512640 135730672 3221224576 3221223224 134748061 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48191 35738 301 301 0 47890 0
vsize: 192764
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 63549 0 0 0 14853 148 0 0 25 0 1 0 913885883 198176768 35818 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48383 35818 301 301 0 48082 0
vsize: 193532
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 63987 0 0 0 15852 149 0 0 25 0 1 0 913885883 199491584 35995 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48704 35995 301 301 0 48403 0
vsize: 194816
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 64397 0 0 0 16851 150 0 0 25 0 1 0 913885883 200675328 36177 4294967295 134512640 135730672 3221224576 3221222992 134741573 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 48993 36177 301 301 0 48692 0
vsize: 195972
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 65389 0 0 0 17848 153 0 0 25 0 1 0 913885883 200937472 36267 4294967295 134512640 135730672 3221224576 3221223264 134748503 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49057 36267 301 301 0 48756 0
vsize: 196228
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 65666 0 0 0 18847 154 0 0 25 0 1 0 913885883 201863168 36446 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49283 36446 301 301 0 48982 0
vsize: 197132
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 66107 0 0 0 19846 155 0 0 25 0 1 0 913885883 203448320 36692 4294967295 134512640 135730672 3221224576 3221223264 134748557 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 49670 36692 301 301 0 49369 0
vsize: 198680
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 66630 0 0 0 20846 156 0 0 25 0 1 0 913885883 205369344 37036 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 50139 37036 301 301 0 49838 0
vsize: 200556
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 66802 0 0 0 21845 157 0 0 25 0 1 0 913885883 205897728 37143 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50268 37143 301 301 0 49967 0
vsize: 201072
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 67644 0 0 0 22844 159 0 0 25 0 1 0 913885883 209326080 37985 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51105 37985 301 301 0 50804 0
vsize: 204420
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 67809 0 0 0 23842 160 0 0 25 0 1 0 913885883 206426112 37248 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50397 37248 301 301 0 50096 0
vsize: 201588
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 67884 0 0 0 24842 160 0 0 25 0 1 0 913885883 206692352 37323 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50462 37323 301 301 0 50161 0
vsize: 201848
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 68232 0 0 0 25841 161 0 0 25 0 1 0 913885883 208187392 37605 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 50827 37605 301 301 0 50526 0
vsize: 203308
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 68951 0 0 0 26840 163 0 0 25 0 1 0 913885883 211435520 38161 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51620 38161 301 301 0 51319 0
vsize: 206480
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70023 0 0 0 27838 165 0 0 25 0 1 0 913885883 212226048 38266 4294967295 134512640 135730672 3221224576 3221223072 134747486 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51813 38266 301 301 0 51512 0
vsize: 207252
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70204 0 0 0 28838 165 0 0 25 0 1 0 913885883 212750336 38317 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51941 38317 301 301 0 51640 0
vsize: 207764
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70209 0 0 0 29838 165 0 0 25 0 1 0 913885883 212750336 38322 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51941 38322 301 301 0 51640 0
vsize: 207764
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70247 0 0 0 30838 166 0 0 25 0 1 0 913885883 212750336 38360 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 51941 38360 301 301 0 51640 0
vsize: 207764
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70402 0 0 0 31838 166 0 0 25 0 1 0 913885883 213143552 38417 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52037 38417 301 301 0 51736 0
vsize: 208148
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 70434 0 0 0 32838 166 0 0 25 0 1 0 913885883 213143552 38449 4294967295 134512640 135730672 3221224576 3221223200 134748104 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52037 38449 301 301 0 51736 0
vsize: 208148
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71299 0 0 0 33836 168 0 0 25 0 1 0 913885883 213143552 38477 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52037 38477 301 301 0 51736 0
vsize: 208148
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71314 0 0 0 34836 168 0 0 25 0 1 0 913885883 213143552 38492 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52037 38492 301 301 0 51736 0
vsize: 208148
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71375 0 0 0 35836 168 0 0 25 0 1 0 913885883 213409792 38553 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52102 38553 301 301 0 51801 0
vsize: 208408
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71503 0 0 0 36836 169 0 0 25 0 1 0 913885883 213671936 38616 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52166 38616 301 301 0 51865 0
vsize: 208664
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71510 0 0 0 37836 169 0 0 25 0 1 0 913885883 213671936 38623 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52166 38623 301 301 0 51865 0
vsize: 208664
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 71516 0 0 0 38836 169 0 0 25 0 1 0 913885883 213671936 38629 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52166 38629 301 301 0 51865 0
vsize: 208664
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72357 0 0 0 39835 170 0 0 25 0 1 0 913885883 213671936 38633 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52166 38633 301 301 0 51865 0
vsize: 208664
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72362 0 0 0 40835 171 0 0 25 0 1 0 913885883 213671936 38638 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52166 38638 301 301 0 51865 0
vsize: 208664
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72371 0 0 0 41835 171 0 0 25 0 1 0 913885883 213671936 38647 4294967295 134512640 135730672 3221224576 3221223168 134763992 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52166 38647 301 301 0 51865 0
vsize: 208664
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72441 0 0 0 42835 171 0 0 25 0 1 0 913885883 213938176 38717 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38717 301 301 0 51930 0
vsize: 208924
[startup+440.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72447 0 0 0 43835 171 0 0 25 0 1 0 913885883 213938176 38723 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38723 301 301 0 51930 0
vsize: 208924
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 72455 0 0 0 44835 171 0 0 25 0 1 0 913885883 213938176 38731 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38731 301 301 0 51930 0
vsize: 208924
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73296 0 0 0 45834 173 0 0 25 0 1 0 913885883 213938176 38735 4294967295 134512640 135730672 3221224576 3221223264 134748452 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38735 301 301 0 51930 0
vsize: 208924
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73297 0 0 0 46834 173 0 0 25 0 1 0 913885883 213938176 38736 4294967295 134512640 135730672 3221224576 3221223072 134747555 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38736 301 301 0 51930 0
vsize: 208924
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73298 0 0 0 47834 173 0 0 25 0 1 0 913885883 213938176 38737 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38737 301 301 0 51930 0
vsize: 208924
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73307 0 0 0 48834 173 0 0 25 0 1 0 913885883 213938176 38746 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38746 301 301 0 51930 0
vsize: 208924
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73312 0 0 0 49834 173 0 0 25 0 1 0 913885883 213938176 38751 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38751 301 301 0 51930 0
vsize: 208924
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 73340 0 0 0 50834 173 0 0 25 0 1 0 913885883 213938176 38779 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38779 301 301 0 51930 0
vsize: 208924
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74177 0 0 0 51833 175 0 0 25 0 1 0 913885883 213938176 38779 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38779 301 301 0 51930 0
vsize: 208924
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74183 0 0 0 52833 175 0 0 25 0 1 0 913885883 213938176 38785 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38785 301 301 0 51930 0
vsize: 208924
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74191 0 0 0 53833 175 0 0 25 0 1 0 913885883 213938176 38793 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38793 301 301 0 51930 0
vsize: 208924
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74198 0 0 0 54832 175 0 0 25 0 1 0 913885883 213938176 38800 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52231 38800 301 301 0 51930 0
vsize: 208924
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74502 0 0 0 55832 176 0 0 25 0 1 0 913885883 214994944 38974 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52489 38974 301 301 0 52188 0
vsize: 209956
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 74901 0 0 0 56831 178 0 0 25 0 1 0 913885883 215916544 39210 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52714 39210 301 301 0 52413 0
vsize: 210856
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 75783 0 0 0 57829 180 0 0 25 0 1 0 913885883 216182784 39255 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52779 39255 301 301 0 52478 0
vsize: 211116
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 75961 0 0 0 58829 180 0 0 25 0 1 0 913885883 216707072 39303 4294967295 134512640 135730672 3221224576 3221223244 134748650 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52907 39303 301 301 0 52606 0
vsize: 211628
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 76068 0 0 0 59829 180 0 0 25 0 1 0 913885883 216969216 39345 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 52971 39345 301 301 0 52670 0
vsize: 211884
[startup+610.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 76172 0 0 0 60828 181 0 0 25 0 1 0 913885883 217231360 39384 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53035 39384 301 301 0 52734 0
vsize: 212140
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 76219 0 0 0 61828 181 0 0 25 0 1 0 913885883 217231360 39431 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53035 39431 301 301 0 52734 0
vsize: 212140
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 76228 0 0 0 62828 181 0 0 25 0 1 0 913885883 217231360 39440 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53035 39440 301 301 0 52734 0
vsize: 212140
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 76240 0 0 0 63828 181 0 0 25 0 1 0 913885883 217231360 39452 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53035 39452 301 301 0 52734 0
vsize: 212140
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77177 0 0 0 64826 183 0 0 25 0 1 0 913885883 217497600 39519 4294967295 134512640 135730672 3221224576 3221222992 134741730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53100 39519 301 301 0 52799 0
vsize: 212400
[startup+660.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77184 0 0 0 65826 183 0 0 25 0 1 0 913885883 217497600 39526 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53100 39526 301 301 0 52799 0
vsize: 212400
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77191 0 0 0 66826 184 0 0 25 0 1 0 913885883 217497600 39533 4294967295 134512640 135730672 3221224576 3221223072 134747570 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53100 39533 301 301 0 52799 0
vsize: 212400
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77242 0 0 0 67826 184 0 0 25 0 1 0 913885883 217497600 39584 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53100 39584 301 301 0 52799 0
vsize: 212400
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77248 0 0 0 68826 184 0 0 25 0 1 0 913885883 217497600 39590 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53100 39590 301 301 0 52799 0
vsize: 212400
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77501 0 0 0 69827 185 0 0 25 0 1 0 913885883 218288128 39713 4294967295 134512640 135730672 3221224576 3221223072 134747930 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53293 39713 301 301 0 52992 0
vsize: 213172
[startup+710.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77508 0 0 0 70827 185 0 0 25 0 1 0 913885883 218288128 39720 4294967295 134512640 135730672 3221224576 3221223072 134747788 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53293 39720 301 301 0 52992 0
vsize: 213172
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77512 0 0 0 71827 185 0 0 25 0 1 0 913885883 218288128 39724 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53293 39724 301 301 0 52992 0
vsize: 213172
[startup+730.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77586 0 0 0 72826 186 0 0 25 0 1 0 913885883 218554368 39798 4294967295 134512640 135730672 3221224576 3221223200 134748166 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53358 39798 301 301 0 53057 0
vsize: 213432
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77592 0 0 0 73826 186 0 0 25 0 1 0 913885883 218554368 39804 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53358 39804 301 301 0 53057 0
vsize: 213432
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77610 0 0 0 74827 186 0 0 25 0 1 0 913885883 218554368 39822 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53358 39822 301 301 0 53057 0
vsize: 213432
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 77686 0 0 0 75827 186 0 0 25 0 1 0 913885883 218816512 39833 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53422 39833 301 301 0 53121 0
vsize: 213688
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78537 0 0 0 76824 188 0 0 25 0 1 0 913885883 218816512 39847 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 53422 39847 301 301 0 53121 0
vsize: 213688
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78541 0 0 0 77824 188 0 0 25 0 1 0 913885883 218816512 39851 4294967295 134512640 135730672 3221224576 3221223072 134747899 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53422 39851 301 301 0 53121 0
vsize: 213688
[startup+790.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78579 0 0 0 78824 188 0 0 25 0 1 0 913885883 218816512 39889 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53422 39889 301 301 0 53121 0
vsize: 213688
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78618 0 0 0 79824 189 0 0 25 0 1 0 913885883 218816512 39928 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53422 39928 301 301 0 53121 0
vsize: 213688
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78622 0 0 0 80824 189 0 0 25 0 1 0 913885883 218816512 39932 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53422 39932 301 301 0 53121 0
vsize: 213688
[startup+820.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78751 0 0 0 81824 189 0 0 25 0 1 0 913885883 219078656 39996 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53486 39996 301 301 0 53185 0
vsize: 213944
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78757 0 0 0 82824 189 0 0 25 0 1 0 913885883 219078656 40002 4294967295 134512640 135730672 3221224576 3221223168 134763576 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53486 40002 301 301 0 53185 0
vsize: 213944
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78764 0 0 0 83824 189 0 0 25 0 1 0 913885883 219078656 40009 4294967295 134512640 135730672 3221224576 3221223072 134747463 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53486 40009 301 301 0 53185 0
vsize: 213944
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78775 0 0 0 84824 189 0 0 25 0 1 0 913885883 219078656 40020 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53486 40020 301 301 0 53185 0
vsize: 213944
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 78886 0 0 0 85824 190 0 0 25 0 1 0 913885883 219340800 40066 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53550 40066 301 301 0 53249 0
vsize: 214200
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79733 0 0 0 86822 192 0 0 25 0 1 0 913885883 219340800 40076 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53550 40076 301 301 0 53249 0
vsize: 214200
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79734 0 0 0 87822 192 0 0 25 0 1 0 913885883 219340800 40077 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53550 40077 301 301 0 53249 0
vsize: 214200
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79809 0 0 0 88822 193 0 0 25 0 1 0 913885883 219471872 40119 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40119 301 301 0 53281 0
vsize: 214328
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79810 0 0 0 89822 193 0 0 25 0 1 0 913885883 219471872 40120 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40120 301 301 0 53281 0
vsize: 214328
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79810 0 0 0 90822 193 0 0 25 0 1 0 913885883 219471872 40120 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40120 301 301 0 53281 0
vsize: 214328
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 79811 0 0 0 91822 193 0 0 25 0 1 0 913885883 219471872 40121 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40121 301 301 0 53281 0
vsize: 214328
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80652 0 0 0 92820 195 0 0 25 0 1 0 913885883 219471872 40125 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40125 301 301 0 53281 0
vsize: 214328
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80653 0 0 0 93820 195 0 0 25 0 1 0 913885883 219471872 40126 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40126 301 301 0 53281 0
vsize: 214328
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80654 0 0 0 94820 195 0 0 25 0 1 0 913885883 219471872 40127 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40127 301 301 0 53281 0
vsize: 214328
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80657 0 0 0 95820 195 0 0 25 0 1 0 913885883 219471872 40130 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40130 301 301 0 53281 0
vsize: 214328
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80657 0 0 0 96820 195 0 0 25 0 1 0 913885883 219471872 40130 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40130 301 301 0 53281 0
vsize: 214328
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 80663 0 0 0 97820 195 0 0 25 0 1 0 913885883 219471872 40136 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40136 301 301 0 53281 0
vsize: 214328
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81501 0 0 0 98819 197 0 0 25 0 1 0 913885883 219471872 40137 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40137 301 301 0 53281 0
vsize: 214328
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81502 0 0 0 99818 198 0 0 25 0 1 0 913885883 219471872 40138 4294967295 134512640 135730672 3221224576 3221223200 134748204 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53582 40138 301 301 0 53281 0
vsize: 214328
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81613 0 0 0 100818 198 0 0 25 0 1 0 913885883 219734016 40184 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53646 40184 301 301 0 53345 0
vsize: 214584
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81629 0 0 0 101819 198 0 0 25 0 1 0 913885883 219734016 40200 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53646 40200 301 301 0 53345 0
vsize: 214584
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81665 0 0 0 102818 198 0 0 25 0 1 0 913885883 220000256 40236 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53711 40236 301 301 0 53410 0
vsize: 214844
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 81698 0 0 0 103818 199 0 0 25 0 1 0 913885883 220266496 40269 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53776 40269 301 301 0 53475 0
vsize: 215104
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 82570 0 0 0 104816 201 0 0 25 0 1 0 913885883 220532736 40304 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53841 40304 301 301 0 53540 0
vsize: 215364
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 82571 0 0 0 105816 202 0 0 25 0 1 0 913885883 220532736 40305 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53841 40305 301 301 0 53540 0
vsize: 215364
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 82571 0 0 0 106816 202 0 0 25 0 1 0 913885883 220532736 40305 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53841 40305 301 301 0 53540 0
vsize: 215364
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 82594 0 0 0 107816 202 0 0 25 0 1 0 913885883 220532736 40328 4294967295 134512640 135730672 3221224576 3221223072 134747705 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53841 40328 301 301 0 53540 0
vsize: 215364
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 82681 0 0 0 108816 202 0 0 25 0 1 0 913885883 220532736 40415 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53841 40415 301 301 0 53540 0
vsize: 215364
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83601 0 0 0 109813 205 0 0 25 0 1 0 913885883 220794880 40433 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53905 40433 301 301 0 53604 0
vsize: 215620
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83609 0 0 0 110813 205 0 0 25 0 1 0 913885883 220794880 40441 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53905 40441 301 301 0 53604 0
vsize: 215620
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83609 0 0 0 111813 205 0 0 25 0 1 0 913885883 220794880 40441 4294967295 134512640 135730672 3221224576 3221223200 134748111 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53905 40441 301 301 0 53604 0
vsize: 215620
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83610 0 0 0 112813 205 0 0 25 0 1 0 913885883 220794880 40442 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53905 40442 301 301 0 53604 0
vsize: 215620
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83611 0 0 0 113813 205 0 0 25 0 1 0 913885883 220794880 40443 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53905 40443 301 301 0 53604 0
vsize: 215620
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 83612 0 0 0 114813 205 0 0 25 0 1 0 913885883 220794880 40444 4294967295 134512640 135730672 3221224576 3221223184 134748241 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53905 40444 301 301 0 53604 0
vsize: 215620
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 84450 0 0 0 115812 207 0 0 25 0 1 0 913885883 220794880 40445 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53905 40445 301 301 0 53604 0
vsize: 215620
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 84471 0 0 0 116811 208 0 0 25 0 1 0 913885883 220794880 40466 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53905 40466 301 301 0 53604 0
vsize: 215620
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 84572 0 0 0 117811 208 0 0 25 0 1 0 913885883 221057024 40502 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53969 40502 301 301 0 53668 0
vsize: 215876
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 84587 0 0 0 118811 209 0 0 25 0 1 0 913885883 221057024 40517 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53969 40517 301 301 0 53668 0
vsize: 215876
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18334
Raw data (stat): 18334 (pb2sat-v2) R 18333 8378 8377 0 -1 0 84595 0 0 0 119811 209 0 0 25 0 1 0 913885883 221057024 40525 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 53969 40525 301 301 0 53668 0
vsize: 215876
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 18334
Raw data (stat): 18334 (pb2sat-v2) Z 18333 8378 8377 0 -1 12 84597 0 0 0 119909 217 0 0 22 0 1 0 913885883 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1201.14
CPU time (s): 1201.27
CPU user time (s): 1199.1
CPU system time (s): 2.17167
CPU usage (%): 100.011
Max. virtual memory (Kb): 215876
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####