PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-tr12-30.opb
MD5SUM	3275929be36299f0a23379c5fe15d197
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	11160
Biggest coefficient in the objective function	2147483648
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	869952060630
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	2147483648
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	869952060630
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.19097
Number of variables	21960
Total number of constraints	1110
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	360
Number of constraints which are nor clauses,nor cardinality constraints	750
Minimum length of a constraint	1
Maximum length of a constraint	372
Trace number 42501

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        690056 kB
Buffers:         34596 kB
Cached:         287800 kB
SwapCached:        944 kB
Active:          34316 kB
Inactive:       290188 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        689804 kB
SwapTotal:     2097136 kB
SwapFree:      2095208 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14476 kB
Committed_AS:    71896 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 09:29:40 (client local time) WITH STATUS 0 IN 1201.69 SECONDS
stats: 25709 7 1201.69 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 33182/573838	Time: 25.6841/86400
c Decision: 33200/573838	Time: 39.6/86400
c Decision: 33249/573838	Time: 68.2836/86400
c Decision: 33287/573838	Time: 89.5584/86400
c Decision: 33325/573838	Time: 116.317/86400
c Decision: 33325/573838	Time: 129.309/86400
c Decision: 33325/573838	Time: 140.306/86400
c Decision: 33327/573838	Time: 159.821/86400
c Decision: 33327/573838	Time: 170.823/86400
c Decision: 33339/573838	Time: 182.729/86400
c Decision: 33339/573838	Time: 195.177/86400
c Decision: 33339/573838	Time: 206.617/86400
c Decision: 33339/573838	Time: 218.031/86400
c Decision: 33665/573838	Time: 229.657/86400
c Decision: 33689/573838	Time: 268.344/86400
c Decision: 33689/573838	Time: 281.919/86400
c Decision: 33694/573838	Time: 303.249/86400
c Decision: 33698/573838	Time: 320.43/86400
c Decision: 33698/573838	Time: 330.523/86400
c Decision: 33711/573838	Time: 353.184/86400
c Decision: 33711/573838	Time: 366.2/86400
c Decision: 33906/573838	Time: 379.411/86400
c Decision: 33907/573838	Time: 394.14/86400
c Decision: 33907/573838	Time: 407.504/86400
c Decision: 33907/573838	Time: 420.276/86400
c Decision: 33907/573838	Time: 434.163/86400
c Decision: 33909/573838	Time: 447.988/86400
c Decision: 33909/573838	Time: 460.869/86400
c Decision: 33909/573838	Time: 472.901/86400
c Decision: 33909/573838	Time: 485.322/86400
c Decision: 33909/573838	Time: 500.15/86400
c Decision: 33909/573838	Time: 512.937/86400
c Decision: 33909/573838	Time: 526.907/86400
c Decision: 33909/573838	Time: 539.988/86400
c Decision: 33909/573838	Time: 553.685/86400
c Decision: 33911/573838	Time: 580.566/86400
c Decision: 33911/573838	Time: 594.908/86400
c Decision: 34106/573838	Time: 615.041/86400
c Decision: 34112/573838	Time: 635.926/86400
c Decision: 34112/573838	Time: 647.869/86400
c Decision: 34112/573838	Time: 663.331/86400
c Decision: 34114/573838	Time: 685.609/86400
c Decision: 34114/573838	Time: 699.584/86400
c Decision: 34114/573838	Time: 711.58/86400
c Decision: 34114/573838	Time: 726.673/86400
c Decision: 34114/573838	Time: 743.256/86400
c Decision: 34116/573838	Time: 762.552/86400
c Decision: 34116/573838	Time: 777.352/86400
c Decision: 34116/573838	Time: 792.522/86400
c Decision: 34116/573838	Time: 805.319/86400
c Decision: 34116/573838	Time: 817.904/86400
c Decision: 34116/573838	Time: 833.117/86400
c Decision: 34118/573838	Time: 848.441/86400
c Decision: 34118/573838	Time: 863.164/86400
c Decision: 34118/573838	Time: 876.381/86400
c Decision: 34118/573838	Time: 892.755/86400
c Decision: 34118/573838	Time: 905.316/86400
c Decision: 34118/573838	Time: 920.925/86400
c Decision: 34337/573838	Time: 944.281/86400
c Decision: 34349/573838	Time: 962.439/86400
c Decision: 34349/573838	Time: 979.114/86400
c Decision: 34349/573838	Time: 994.925/86400
c Decision: 34349/573838	Time: 1008.66/86400
c Decision: 34349/573838	Time: 1024.51/86400
c Decision: 34349/573838	Time: 1039.9/86400
c Decision: 34349/573838	Time: 1058.29/86400
c Decision: 34380/573838	Time: 1092.72/86400
c Decision: 34380/573838	Time: 1105.45/86400
c Decision: 34393/573838	Time: 1158.37/86400
c Decision: 34393/573838	Time: 1172.12/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): 1.36 1.08 0.95 2/54 24359
Raw data (stat): 24359 (runsolver) R 24358 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 969561333 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): 1.31 1.08 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 23742 0 0 0 949 49 0 0 25 0 1 0 969561333 76824576 12732 4294967295 134512640 135730672 3221224576 3221198000 134784084 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18756 12732 301 301 0 18455 0
vsize: 75024
[startup+20.0003 s]
Raw data (loadavg): 1.26 1.08 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 49982 0 0 0 1887 111 0 0 25 0 1 0 969561333 152883200 28000 4294967295 134512640 135730672 3221224576 3221130512 134550643 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37325 28000 301 301 0 37024 0
vsize: 149300
[startup+30.0013 s]
Raw data (loadavg): 1.22 1.07 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 77372 0 0 0 2831 166 0 0 25 0 1 0 969561333 222797824 44383 4294967295 134512640 135730672 3221224576 3221222988 135301630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54394 44383 301 301 0 54093 0
vsize: 217576
[startup+40.0011 s]
Raw data (loadavg): 1.18 1.07 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 77383 0 0 0 3828 169 0 0 25 0 1 0 969561333 222797824 44394 4294967295 134512640 135730672 3221224576 3221223184 134744532 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54394 44394 301 301 0 54093 0
vsize: 217576
[startup+50.0013 s]
Raw data (loadavg): 1.16 1.07 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 77408 0 0 0 4828 170 0 0 25 0 1 0 969561333 222797824 44419 4294967295 134512640 135730672 3221224576 3221223088 134745778 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54394 44419 301 301 0 54093 0
vsize: 217576
[startup+60.002 s]
Raw data (loadavg): 1.13 1.06 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 78565 0 0 0 5825 173 0 0 25 0 1 0 969561333 222797824 44455 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54394 44455 301 301 0 54093 0
vsize: 217576
[startup+70.0028 s]
Raw data (loadavg): 1.11 1.06 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 79712 0 0 0 6820 176 0 0 25 0 1 0 969561333 222797824 44481 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54394 44481 301 301 0 54093 0
vsize: 217576
[startup+80.0036 s]
Raw data (loadavg): 1.09 1.06 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 79734 0 0 0 7820 177 0 0 25 0 1 0 969561333 222797824 44503 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54394 44503 301 301 0 54093 0
vsize: 217576
[startup+90.0035 s]
Raw data (loadavg): 1.08 1.06 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 79757 0 0 0 8819 178 0 0 25 0 1 0 969561333 222797824 44526 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54394 44526 301 301 0 54093 0
vsize: 217576
[startup+100.003 s]
Raw data (loadavg): 1.07 1.05 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 80907 0 0 0 9817 180 0 0 25 0 1 0 969561333 222797824 44555 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54394 44555 301 301 0 54093 0
vsize: 217576
[startup+110.009 s]
Raw data (loadavg): 1.06 1.05 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 80970 0 0 0 10817 181 0 0 25 0 1 0 969561333 222941184 44618 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54429 44618 301 301 0 54128 0
vsize: 217716
[startup+120.009 s]
Raw data (loadavg): 1.05 1.05 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 82124 0 0 0 11814 184 0 0 25 0 1 0 969561333 222941184 44651 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54429 44651 301 301 0 54128 0
vsize: 217716
[startup+130.01 s]
Raw data (loadavg): 1.04 1.05 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 82157 0 0 0 12813 185 0 0 25 0 1 0 969561333 223137792 44684 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54477 44684 301 301 0 54176 0
vsize: 217908
[startup+140.011 s]
Raw data (loadavg): 1.03 1.05 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 82207 0 0 0 13813 185 0 0 25 0 1 0 969561333 223137792 44734 4294967295 134512640 135730672 3221224576 3221223072 134747770 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54477 44734 301 301 0 54176 0
vsize: 217908
[startup+150.011 s]
Raw data (loadavg): 1.03 1.04 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 83364 0 0 0 14809 189 0 0 25 0 1 0 969561333 223137792 44770 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54477 44770 301 301 0 54176 0
vsize: 217908
[startup+160.011 s]
Raw data (loadavg): 1.02 1.04 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 84521 0 0 0 15806 192 0 0 25 0 1 0 969561333 223334400 44806 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54525 44806 301 301 0 54224 0
vsize: 218100
[startup+170.011 s]
Raw data (loadavg): 1.02 1.04 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 85669 0 0 0 16803 195 0 0 25 0 1 0 969561333 223334400 44833 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54525 44833 301 301 0 54224 0
vsize: 218100
[startup+180.011 s]
Raw data (loadavg): 1.02 1.04 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 85717 0 0 0 17803 195 0 0 25 0 1 0 969561333 223531008 44881 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54573 44881 301 301 0 54272 0
vsize: 218292
[startup+190.011 s]
Raw data (loadavg): 1.01 1.04 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 86864 0 0 0 18800 198 0 0 25 0 1 0 969561333 223531008 44907 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 54573 44907 301 301 0 54272 0
vsize: 218292
[startup+200.011 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 88023 0 0 0 19797 201 0 0 25 0 1 0 969561333 223531008 44945 4294967295 134512640 135730672 3221224576 3221223072 134747788 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54573 44945 301 301 0 54272 0
vsize: 218292
[startup+210.012 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 89183 0 0 0 20794 205 0 0 25 0 1 0 969561333 228122624 46105 4294967295 134512640 135730672 3221224576 3221222740 134772812 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55694 46105 301 301 0 55393 0
vsize: 222776
[startup+220.012 s]
Raw data (loadavg): 1.01 1.03 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 89222 0 0 0 21793 206 0 0 25 0 1 0 969561333 223531008 45023 4294967295 134512640 135730672 3221224576 3221223088 134745979 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54573 45023 301 301 0 54272 0
vsize: 218292
[startup+230.013 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 90347 0 0 0 22790 209 0 0 25 0 1 0 969561333 223531008 45027 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54573 45027 301 301 0 54272 0
vsize: 218292
[startup+240.014 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 91472 0 0 0 23787 212 0 0 25 0 1 0 969561333 223531008 45031 4294967295 134512640 135730672 3221224576 3221223072 134747908 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54573 45031 301 301 0 54272 0
vsize: 218292
[startup+250.013 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 92626 0 0 0 24784 216 0 0 25 0 1 0 969561333 223727616 45064 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54621 45064 301 301 0 54320 0
vsize: 218484
[startup+260.013 s]
Raw data (loadavg): 1.00 1.03 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 93788 0 0 0 25780 220 0 0 25 0 1 0 969561333 223727616 45105 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54621 45105 301 301 0 54320 0
vsize: 218484
[startup+270.013 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 93828 0 0 0 26778 222 0 0 25 0 1 0 969561333 223727616 45145 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54621 45145 301 301 0 54320 0
vsize: 218484
[startup+280.014 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 93871 0 0 0 27778 222 0 0 25 0 1 0 969561333 223727616 45188 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54621 45188 301 301 0 54320 0
vsize: 218484
[startup+290.014 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 93915 0 0 0 28777 223 0 0 25 0 1 0 969561333 223727616 45232 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54621 45232 301 301 0 54320 0
vsize: 218484
[startup+300.014 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 95069 0 0 0 29774 226 0 0 25 0 1 0 969561333 223727616 45265 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54621 45265 301 301 0 54320 0
vsize: 218484
[startup+310.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 96211 0 0 0 30772 229 0 0 25 0 1 0 969561333 223727616 45286 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54621 45286 301 301 0 54320 0
vsize: 218484
[startup+320.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 96223 0 0 0 31772 229 0 0 25 0 1 0 969561333 223727616 45298 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54621 45298 301 301 0 54320 0
vsize: 218484
[startup+330.014 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 97389 0 0 0 32768 233 0 0 25 0 1 0 969561333 228515840 46464 4294967295 134512640 135730672 3221224576 3221222732 134765468 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55790 46464 301 301 0 55489 0
vsize: 223160
[startup+340.014 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 97429 0 0 0 33768 233 0 0 25 0 1 0 969561333 224120832 45383 4294967295 134512640 135730672 3221224576 3221223172 134747725 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54717 45383 301 301 0 54416 0
vsize: 218868
[startup+350.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 98579 0 0 0 34765 236 0 0 25 0 1 0 969561333 224120832 45412 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54717 45412 301 301 0 54416 0
vsize: 218868
[startup+360.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 98620 0 0 0 35765 237 0 0 25 0 1 0 969561333 224120832 45453 4294967295 134512640 135730672 3221224576 3221223188 134748221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54717 45453 301 301 0 54416 0
vsize: 218868
[startup+370.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 98660 0 0 0 36764 237 0 0 25 0 1 0 969561333 224120832 45493 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54717 45493 301 301 0 54416 0
vsize: 218868
[startup+380.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 99835 0 0 0 37761 241 0 0 25 0 1 0 969561333 228712448 46668 4294967295 134512640 135730672 3221224576 3221222728 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55838 46668 301 301 0 55537 0
vsize: 223352
[startup+390.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 99867 0 0 0 38760 242 0 0 25 0 1 0 969561333 224120832 45579 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54717 45579 301 301 0 54416 0
vsize: 218868
[startup+400.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 101004 0 0 0 39757 245 0 0 25 0 1 0 969561333 224317440 45595 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54765 45595 301 301 0 54464 0
vsize: 219060
[startup+410.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 102128 0 0 0 40754 248 0 0 25 0 1 0 969561333 224317440 45598 4294967295 134512640 135730672 3221224576 3221223072 134747618 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54765 45598 301 301 0 54464 0
vsize: 219060
[startup+420.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 102184 0 0 0 41753 250 0 0 25 0 1 0 969561333 224514048 45654 4294967295 134512640 135730672 3221224576 3221223088 134745782 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 45654 301 301 0 54512 0
vsize: 219252
[startup+430.017 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 103334 0 0 0 42750 253 0 0 25 0 1 0 969561333 224514048 45683 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 45683 301 301 0 54512 0
vsize: 219252
[startup+440.017 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 104483 0 0 0 43747 256 0 0 25 0 1 0 969561333 224514048 45711 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 45711 301 301 0 54512 0
vsize: 219252
[startup+450.017 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 105638 0 0 0 44744 259 0 0 25 0 1 0 969561333 224514048 45745 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 45745 301 301 0 54512 0
vsize: 219252
[startup+460.017 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 106788 0 0 0 45741 262 0 0 25 0 1 0 969561333 229105664 46895 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55934 46895 301 301 0 55633 0
vsize: 223736
[startup+470.017 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 106790 0 0 0 46740 263 0 0 25 0 1 0 969561333 224514048 45776 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 45776 301 301 0 54512 0
vsize: 219252
[startup+480.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 107918 0 0 0 47737 267 0 0 25 0 1 0 969561333 224514048 45783 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 45783 301 301 0 54512 0
vsize: 219252
[startup+490.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 109070 0 0 0 48734 270 0 0 25 0 1 0 969561333 224514048 45814 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 45814 301 301 0 54512 0
vsize: 219252
[startup+500.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 110225 0 0 0 49731 273 0 0 25 0 1 0 969561333 229105664 46969 4294967295 134512640 135730672 3221224576 3221222752 134768862 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55934 46969 301 301 0 55633 0
vsize: 223736
[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 110259 0 0 0 50730 274 0 0 25 0 1 0 969561333 224514048 45882 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 45882 301 301 0 54512 0
vsize: 219252
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 111411 0 0 0 51727 277 0 0 25 0 1 0 969561333 224514048 45913 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 45913 301 301 0 54512 0
vsize: 219252
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 112549 0 0 0 52724 280 0 0 25 0 1 0 969561333 224514048 45930 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 45930 301 301 0 54512 0
vsize: 219252
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 113673 0 0 0 53721 283 0 0 25 0 1 0 969561333 229105664 47054 4294967295 134512640 135730672 3221224576 3221222752 134769183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 55934 47054 301 301 0 55633 0
vsize: 223736
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 113702 0 0 0 54721 284 0 0 25 0 1 0 969561333 224514048 45962 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 45962 301 301 0 54512 0
vsize: 219252
[startup+560.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 114862 0 0 0 55718 287 0 0 25 0 1 0 969561333 224514048 46001 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 46001 301 301 0 54512 0
vsize: 219252
[startup+570.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 116009 0 0 0 56715 290 0 0 25 0 1 0 969561333 224514048 46027 4294967295 134512640 135730672 3221224576 3221223264 134748543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 46027 301 301 0 54512 0
vsize: 219252
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 116055 0 0 0 57714 291 0 0 25 0 1 0 969561333 224514048 46073 4294967295 134512640 135730672 3221224576 3221223088 134745849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 46073 301 301 0 54512 0
vsize: 219252
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 117208 0 0 0 58712 294 0 0 25 0 1 0 969561333 224514048 46105 4294967295 134512640 135730672 3221224576 3221223072 134747616 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54813 46105 301 301 0 54512 0
vsize: 219252
[startup+600.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 117252 0 0 0 59711 294 0 0 25 0 1 0 969561333 224710656 46149 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54861 46149 301 301 0 54560 0
vsize: 219444
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 118393 0 0 0 60708 298 0 0 25 0 1 0 969561333 224710656 46169 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54861 46169 301 301 0 54560 0
vsize: 219444
[startup+620.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 118396 0 0 0 61707 298 0 0 25 0 1 0 969561333 224710656 46172 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54861 46172 301 301 0 54560 0
vsize: 219444
[startup+630.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 119520 0 0 0 62705 301 0 0 25 0 1 0 969561333 224710656 46175 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 54861 46175 301 301 0 54560 0
vsize: 219444
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 131813 0 0 0 63675 331 0 0 25 0 1 0 969561333 275042304 46179 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67149 46179 301 301 0 66848 0
vsize: 268596
[startup+650.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 132958 0 0 0 64672 334 0 0 25 0 1 0 969561333 275042304 46203 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67149 46203 301 301 0 66848 0
vsize: 268596
[startup+660.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 132961 0 0 0 65672 335 0 0 25 0 1 0 969561333 275042304 46206 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67149 46206 301 301 0 66848 0
vsize: 268596
[startup+670.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 134085 0 0 0 66669 338 0 0 25 0 1 0 969561333 275042304 46209 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 67149 46209 301 301 0 66848 0
vsize: 268596
[startup+680.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 135232 0 0 0 67665 342 0 0 25 0 1 0 969561333 308776960 46235 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75385 46235 301 301 0 75084 0
vsize: 301540
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 136383 0 0 0 68661 345 0 0 25 0 1 0 969561333 308776960 46265 4294967295 134512640 135730672 3221224576 3221223148 134787640 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75385 46265 301 301 0 75084 0
vsize: 301540
[startup+700.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 136386 0 0 0 69661 346 0 0 25 0 1 0 969561333 308776960 46268 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75385 46268 301 301 0 75084 0
vsize: 301540
[startup+710.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 136407 0 0 0 70660 347 0 0 25 0 1 0 969561333 308776960 46289 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75385 46289 301 301 0 75084 0
vsize: 301540
[startup+720.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 137556 0 0 0 71658 350 0 0 25 0 1 0 969561333 308776960 46317 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75385 46317 301 301 0 75084 0
vsize: 301540
[startup+730.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 138727 0 0 0 72655 353 0 0 25 0 1 0 969561333 308776960 46367 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75385 46367 301 301 0 75084 0
vsize: 301540
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 139887 0 0 0 73652 356 0 0 25 0 1 0 969561333 308973568 46406 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75433 46406 301 301 0 75132 0
vsize: 301732
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 139922 0 0 0 74651 357 0 0 25 0 1 0 969561333 308973568 46441 4294967295 134512640 135730672 3221224576 3221223072 134747720 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75433 46441 301 301 0 75132 0
vsize: 301732
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 141071 0 0 0 75648 360 0 0 25 0 1 0 969561333 308973568 46469 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75433 46469 301 301 0 75132 0
vsize: 301732
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 142224 0 0 0 76645 363 0 0 25 0 1 0 969561333 308973568 46501 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75433 46501 301 301 0 75132 0
vsize: 301732
[startup+780.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 142228 0 0 0 77645 364 0 0 25 0 1 0 969561333 308973568 46505 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75433 46505 301 301 0 75132 0
vsize: 301732
[startup+790.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 143359 0 0 0 78641 367 0 0 25 0 1 0 969561333 313565184 47636 4294967295 134512640 135730672 3221224576 3221222712 134765483 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76554 47636 301 301 0 76253 0
vsize: 306216
[startup+800.022 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 143379 0 0 0 79640 369 0 0 25 0 1 0 969561333 308973568 46535 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75433 46535 301 301 0 75132 0
vsize: 301732
[startup+810.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 144532 0 0 0 80637 372 0 0 25 0 1 0 969561333 308973568 46567 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75433 46567 301 301 0 75132 0
vsize: 301732
[startup+820.021 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 145695 0 0 0 81633 376 0 0 25 0 1 0 969561333 313712640 47730 4294967295 134512640 135730672 3221224576 3221222720 134769157 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76590 47730 301 301 0 76289 0
vsize: 306360
[startup+830.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 145729 0 0 0 82633 376 0 0 25 0 1 0 969561333 309121024 46643 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46643 301 301 0 75168 0
vsize: 301876
[startup+840.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 146888 0 0 0 83630 379 0 0 25 0 1 0 969561333 309121024 46681 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46681 301 301 0 75168 0
vsize: 301876
[startup+850.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 148029 0 0 0 84628 382 0 0 25 0 1 0 969561333 309121024 46701 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46701 301 301 0 75168 0
vsize: 301876
[startup+860.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 149187 0 0 0 85624 385 0 0 25 0 1 0 969561333 313712640 47859 4294967295 134512640 135730672 3221224576 3221222728 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76590 47859 301 301 0 76289 0
vsize: 306360
[startup+870.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 149225 0 0 0 86624 386 0 0 25 0 1 0 969561333 309121024 46776 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46776 301 301 0 75168 0
vsize: 301876
[startup+880.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 150375 0 0 0 87621 389 0 0 25 0 1 0 969561333 309121024 46805 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46805 301 301 0 75168 0
vsize: 301876
[startup+890.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 151540 0 0 0 88618 392 0 0 25 0 1 0 969561333 313712640 47970 4294967295 134512640 135730672 3221224576 3221222732 134765490 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76590 47970 301 301 0 76289 0
vsize: 306360
[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 151573 0 0 0 89617 393 0 0 25 0 1 0 969561333 309121024 46882 4294967295 134512640 135730672 3221224576 3221223072 134747760 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46882 301 301 0 75168 0
vsize: 301876
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 152722 0 0 0 90614 397 0 0 25 0 1 0 969561333 309121024 46910 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46910 301 301 0 75168 0
vsize: 301876
[startup+920.024 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 153870 0 0 0 91611 400 0 0 25 0 1 0 969561333 309121024 46937 4294967295 134512640 135730672 3221224576 3221223200 134783353 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46937 301 301 0 75168 0
vsize: 301876
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 153873 0 0 0 92611 400 0 0 25 0 1 0 969561333 309121024 46940 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46940 301 301 0 75168 0
vsize: 301876
[startup+940.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 153878 0 0 0 93610 401 0 0 25 0 1 0 969561333 309121024 46945 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46945 301 301 0 75168 0
vsize: 301876
[startup+950.026 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 155001 0 0 0 94607 405 0 0 25 0 1 0 969561333 309121024 46947 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46947 301 301 0 75168 0
vsize: 301876
[startup+960.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 155006 0 0 0 95607 405 0 0 25 0 1 0 969561333 309121024 46952 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46952 301 301 0 75168 0
vsize: 301876
[startup+970.027 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 155010 0 0 0 96606 405 0 0 25 0 1 0 969561333 309121024 46956 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46956 301 301 0 75168 0
vsize: 301876
[startup+980.028 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 156134 0 0 0 97603 409 0 0 25 0 1 0 969561333 309121024 46959 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 46959 301 301 0 75168 0
vsize: 301876
[startup+990.027 s]
Raw data (loadavg): 1.08 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 157279 0 0 0 98601 412 0 0 25 0 1 0 969561333 313712640 48104 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76590 48104 301 301 0 76289 0
vsize: 306360
[startup+1000.03 s]
Raw data (loadavg): 1.07 1.02 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 157319 0 0 0 99600 412 0 0 25 0 1 0 969561333 309121024 47023 4294967295 134512640 135730672 3221224576 3221223072 134747960 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 47023 301 301 0 75168 0
vsize: 301876
[startup+1010.03 s]
Raw data (loadavg): 1.06 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 158452 0 0 0 100597 415 0 0 25 0 1 0 969561333 309121024 47035 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 47035 301 301 0 75168 0
vsize: 301876
[startup+1020.03 s]
Raw data (loadavg): 1.05 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 158455 0 0 0 101597 416 0 0 25 0 1 0 969561333 309121024 47038 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 47038 301 301 0 75168 0
vsize: 301876
[startup+1030.03 s]
Raw data (loadavg): 1.04 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 159597 0 0 0 102594 419 0 0 25 0 1 0 969561333 309121024 47059 4294967295 134512640 135730672 3221224576 3221223232 134734849 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 47059 301 301 0 75168 0
vsize: 301876
[startup+1040.03 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 160746 0 0 0 103590 423 0 0 25 0 1 0 969561333 309121024 47087 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 47087 301 301 0 75168 0
vsize: 301876
[startup+1050.03 s]
Raw data (loadavg): 1.03 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 160780 0 0 0 104589 424 0 0 25 0 1 0 969561333 309121024 47121 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 47121 301 301 0 75168 0
vsize: 301876
[startup+1060.03 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 161937 0 0 0 105586 427 0 0 25 0 1 0 969561333 309121024 47157 4294967295 134512640 135730672 3221224576 3221223072 134747627 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 47157 301 301 0 75168 0
vsize: 301876
[startup+1070.03 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 163086 0 0 0 106583 431 0 0 25 0 1 0 969561333 309121024 47185 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 47185 301 301 0 75168 0
vsize: 301876
[startup+1080.03 s]
Raw data (loadavg): 1.02 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 163129 0 0 0 107582 432 0 0 25 0 1 0 969561333 309121024 47228 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 47228 301 301 0 75168 0
vsize: 301876
[startup+1090.03 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 164258 0 0 0 108579 435 0 0 25 0 1 0 969561333 309121024 47236 4294967295 134512640 135730672 3221224576 3221223072 134747744 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 47236 301 301 0 75168 0
vsize: 301876
[startup+1100.03 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 164261 0 0 0 109579 435 0 0 25 0 1 0 969561333 309121024 47239 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75469 47239 301 301 0 75168 0
vsize: 301876
[startup+1110.03 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 164286 0 0 0 110578 436 0 0 25 0 1 0 969561333 309301248 47264 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75513 47264 301 301 0 75212 0
vsize: 302052
[startup+1120.03 s]
Raw data (loadavg): 1.01 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 165414 0 0 0 111575 439 0 0 25 0 1 0 969561333 313892864 48392 4294967295 134512640 135730672 3221224576 3221222712 134765477 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 76634 48392 301 301 0 76333 0
vsize: 306536
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 165456 0 0 0 112575 440 0 0 25 0 1 0 969561333 309301248 47313 4294967295 134512640 135730672 3221224576 3221223232 134748656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75513 47313 301 301 0 75212 0
vsize: 302052
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 166609 0 0 0 113571 444 0 0 25 0 1 0 969561333 309301248 47345 4294967295 134512640 135730672 3221224576 3221223072 134747525 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75513 47345 301 301 0 75212 0
vsize: 302052
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 166642 0 0 0 114570 445 0 0 25 0 1 0 969561333 309301248 47378 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75513 47378 301 301 0 75212 0
vsize: 302052
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 166686 0 0 0 115569 446 0 0 25 0 1 0 969561333 309301248 47422 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75513 47422 301 301 0 75212 0
vsize: 302052
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 166732 0 0 0 116568 448 0 0 25 0 1 0 969561333 309301248 47468 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75513 47468 301 301 0 75212 0
vsize: 302052
[startup+1180.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 166775 0 0 0 117567 448 0 0 25 0 1 0 969561333 309301248 47511 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75513 47511 301 301 0 75212 0
vsize: 302052
[startup+1190.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 167936 0 0 0 118565 451 0 0 25 0 1 0 969561333 309301248 47551 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75513 47551 301 301 0 75212 0
vsize: 302052
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 24359
Raw data (stat): 24359 (pb2sat-v2) R 24358 21152 21151 0 -1 0 169076 0 0 0 119561 455 0 0 25 0 1 0 969561333 309301248 47570 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 75513 47570 301 301 0 75212 0
vsize: 302052
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1201.56 s]
Raw data (loadavg): 1.00 1.00 0.95 1/54 24359
Raw data (stat): 24359 (pb2sat-v2) Z 24358 21152 21151 0 -1 12 169078 0 0 0 119704 464 0 0 25 0 1 0 969561333 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): 1201.56
CPU time (s): 1201.69
CPU user time (s): 1197.04
CPU system time (s): 4.64829
CPU usage (%): 100.011
Max. virtual memory (Kb): 306536
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####