PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-bg512142.opb
MD5SUM	0f3e1a19529370afcd1348994ae2c757
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	6480
Biggest coefficient in the objective function	5242880000
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	755791986840
Number of bits of the sum of numbers in the objective function	40
Biggest number in a constraint	5242880000
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	755791986840
Number of bits of the biggest sum of numbers	40
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1246.02
Number of variables	11280
Total number of constraints	1307
Number of constraints which are clauses	11
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1296
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 43034

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 21:17:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26234 boxname=wulflinc5 idbench=1534 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0f3e1a19529370afcd1348994ae2c757  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bg512142.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-bg512142.opb
IDLAUNCH: 26234
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        706324 kB
Buffers:         23316 kB
Cached:         281688 kB
SwapCached:        656 kB
Active:          26776 kB
Inactive:       280312 kB
HighTotal:      131008 kB
HighFree:        15344 kB
LowTotal:       903652 kB
LowFree:        690980 kB
SwapTotal:     2097136 kB
SwapFree:      2095540 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15508 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 21:37:18 (client local time) WITH STATUS 0 IN 1201.1 SECONDS
stats: 26234 7 1201.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 13774/344151	Time: 40.7778/86400
c Decision: 13827/344151	Time: 53.3569/86400
c Decision: 13852/344151	Time: 69.7324/86400
c Decision: 13873/344151	Time: 80.7467/86400
c Decision: 14066/344151	Time: 118.23/86400
c Decision: 14066/344151	Time: 127.794/86400
c Decision: 14079/344151	Time: 138.319/86400
c Decision: 14119/344151	Time: 152.47/86400
c Decision: 14154/344151	Time: 170.882/86400
c Decision: 14175/344151	Time: 195.309/86400
c Decision: 14197/344151	Time: 217.869/86400
c Decision: 14242/344151	Time: 240.019/86400
c Decision: 14250/344151	Time: 249.633/86400
c Decision: 14270/344151	Time: 262.65/86400
c Decision: 14273/344151	Time: 269.72/86400
c Decision: 14307/344151	Time: 293.263/86400
c Decision: 14330/344151	Time: 309.071/86400
c Decision: 14359/344151	Time: 336.072/86400
c Decision: 14426/344151	Time: 370.299/86400
c Decision: 14535/344151	Time: 422.531/86400
c Decision: 14590/344151	Time: 445.271/86400
c Decision: 14629/344151	Time: 464.985/86400
c Decision: 14804/344151	Time: 533.564/86400
c Decision: 14815/344151	Time: 550.823/86400
c Decision: 14827/344151	Time: 569.292/86400
c Decision: 14834/344151	Time: 583.938/86400
c Decision: 14878/344151	Time: 600.617/86400
c Decision: 14902/344151	Time: 629.768/86400
c Decision: 14906/344151	Time: 642.594/86400
c Decision: 14910/344151	Time: 650.007/86400
c Decision: 14913/344151	Time: 662.678/86400
c Decision: 14922/344151	Time: 675.806/86400
c Decision: 14955/344151	Time: 692.624/86400
c Decision: 15160/344151	Time: 785.681/86400
c Decision: 15171/344151	Time: 805.53/86400
c Decision: 15291/344151	Time: 869.565/86400
c Decision: 15373/344151	Time: 925.267/86400s UNKNOWN
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.90 0.93 0.90 2/54 20532
Raw data (stat): 20532 (runsolver) R 20531 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 973937994 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.92 0.93 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 23873 0 0 0 941 57 0 0 25 0 1 0 973937994 76521472 12963 4294967295 134512640 135730672 3221224576 3221214380 135291121 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18682 12963 301 301 0 18381 0
vsize: 74728
[startup+20.0016 s]
Raw data (loadavg): 0.93 0.93 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 47760 0 0 0 1888 110 0 0 25 0 1 0 973937994 138563584 25269 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 33829 25269 301 301 0 33528 0
vsize: 135316
[startup+30.0023 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 47784 0 0 0 2882 116 0 0 25 0 1 0 973937994 155340800 25293 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37925 25293 301 301 0 37624 0
vsize: 151700
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 47815 0 0 0 3879 119 0 0 25 0 1 0 973937994 155340800 25324 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37925 25324 301 301 0 37624 0
vsize: 151700
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 47848 0 0 0 4876 122 0 0 25 0 1 0 973937994 155340800 25357 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37925 25357 301 301 0 37624 0
vsize: 151700
[startup+60.0024 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 48559 0 0 0 5872 126 0 0 25 0 1 0 973937994 155340800 25395 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37925 25395 301 301 0 37624 0
vsize: 151700
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 48591 0 0 0 6870 128 0 0 25 0 1 0 973937994 155340800 25427 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37925 25427 301 301 0 37624 0
vsize: 151700
[startup+80.0043 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 49291 0 0 0 7865 133 0 0 25 0 1 0 973937994 155340800 25454 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37925 25454 301 301 0 37624 0
vsize: 151700
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 49996 0 0 0 8862 136 0 0 25 0 1 0 973937994 155340800 25486 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37925 25486 301 301 0 37624 0
vsize: 151700
[startup+100.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 50699 0 0 0 9858 140 0 0 25 0 1 0 973937994 155340800 25516 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37925 25516 301 301 0 37624 0
vsize: 151700
[startup+110.005 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 50731 0 0 0 10854 144 0 0 25 0 1 0 973937994 155340800 25548 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37925 25548 301 301 0 37624 0
vsize: 151700
[startup+120.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 50761 0 0 0 11850 148 0 0 25 0 1 0 973937994 155340800 25578 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37925 25578 301 301 0 37624 0
vsize: 151700
[startup+130.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 50797 0 0 0 12847 151 0 0 25 0 1 0 973937994 155340800 25614 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37925 25614 301 301 0 37624 0
vsize: 151700
[startup+140.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 51514 0 0 0 13843 155 0 0 25 0 1 0 973937994 155475968 25658 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37958 25658 301 301 0 37657 0
vsize: 151832
[startup+150.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 52222 0 0 0 14839 159 0 0 25 0 1 0 973937994 155475968 25693 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37958 25693 301 301 0 37657 0
vsize: 151832
[startup+160.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 52930 0 0 0 15834 164 0 0 25 0 1 0 973937994 155615232 25728 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37992 25728 301 301 0 37691 0
vsize: 151968
[startup+170.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 52975 0 0 0 16832 167 0 0 25 0 1 0 973937994 155615232 25773 4294967295 134512640 135730672 3221224576 3221223088 134745982 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37992 25773 301 301 0 37691 0
vsize: 151968
[startup+180.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 53702 0 0 0 17828 170 0 0 25 0 1 0 973937994 155754496 25827 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38026 25827 301 301 0 37725 0
vsize: 152104
[startup+190.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 54412 0 0 0 18824 175 0 0 25 0 1 0 973937994 155885568 25864 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38058 25864 301 301 0 37757 0
vsize: 152232
[startup+200.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 54777 0 0 0 19817 182 0 0 25 0 1 0 973937994 157376512 26229 4294967295 134512640 135730672 3221224576 3221223200 134748194 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38422 26229 301 301 0 38121 0
vsize: 153688
[startup+210.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 54839 0 0 0 20814 186 0 0 25 0 1 0 973937994 157515776 26291 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38456 26291 301 301 0 38155 0
vsize: 153824
[startup+220.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 55572 0 0 0 21809 190 0 0 25 0 1 0 973937994 157663232 26351 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38492 26351 301 301 0 38191 0
vsize: 153968
[startup+230.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 55631 0 0 0 22806 193 0 0 25 0 1 0 973937994 157810688 26410 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38528 26410 301 301 0 38227 0
vsize: 154112
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 56340 0 0 0 23803 197 0 0 25 0 1 0 973937994 157958144 26446 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38564 26446 301 301 0 38263 0
vsize: 154256
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 56368 0 0 0 24800 200 0 0 25 0 1 0 973937994 157958144 26474 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38564 26474 301 301 0 38263 0
vsize: 154256
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 57079 0 0 0 25796 204 0 0 25 0 1 0 973937994 157958144 26512 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38564 26512 301 301 0 38263 0
vsize: 154256
[startup+270.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 57801 0 0 0 26792 209 0 0 25 0 1 0 973937994 158089216 26561 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38596 26561 301 301 0 38295 0
vsize: 154384
[startup+280.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 57859 0 0 0 27789 212 0 0 25 0 1 0 973937994 158228480 26619 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38630 26619 301 301 0 38329 0
vsize: 154520
[startup+290.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 59248 0 0 0 28783 218 0 0 25 0 1 0 973937994 158363648 26662 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38663 26662 301 301 0 38362 0
vsize: 154652
[startup+300.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 59295 0 0 0 29780 220 0 0 25 0 1 0 973937994 158363648 26709 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38663 26709 301 301 0 38362 0
vsize: 154652
[startup+310.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 59998 0 0 0 30776 225 0 0 25 0 1 0 973937994 161267712 27412 4294967295 134512640 135730672 3221224576 3221222752 134768844 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39372 27412 301 301 0 39071 0
vsize: 157488
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 60014 0 0 0 31773 228 0 0 25 0 1 0 973937994 158511104 26755 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38699 26755 301 301 0 38398 0
vsize: 154796
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 60706 0 0 0 32770 232 0 0 25 0 1 0 973937994 158511104 26774 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38699 26774 301 301 0 38398 0
vsize: 154796
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 60750 0 0 0 33767 234 0 0 25 0 1 0 973937994 158642176 26818 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38731 26818 301 301 0 38430 0
vsize: 154924
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 60799 0 0 0 34763 239 0 0 25 0 1 0 973937994 158777344 26867 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38764 26867 301 301 0 38463 0
vsize: 155056
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 61507 0 0 0 35759 243 0 0 25 0 1 0 973937994 158924800 26902 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38800 26902 301 301 0 38499 0
vsize: 155200
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 61557 0 0 0 36756 247 0 0 25 0 1 0 973937994 158924800 26952 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38800 26952 301 301 0 38499 0
vsize: 155200
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 61602 0 0 0 37753 250 0 0 25 0 1 0 973937994 159072256 26997 4294967295 134512640 135730672 3221224576 3221223072 134747848 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38836 26997 301 301 0 38535 0
vsize: 155344
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 62306 0 0 0 38749 254 0 0 25 0 1 0 973937994 159072256 27028 4294967295 134512640 135730672 3221224576 3221223176 134747726 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38836 27028 301 301 0 38535 0
vsize: 155344
[startup+400.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 62340 0 0 0 39746 257 0 0 25 0 1 0 973937994 159072256 27062 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38836 27062 301 301 0 38535 0
vsize: 155344
[startup+410.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 62381 0 0 0 40742 261 0 0 25 0 1 0 973937994 159203328 27103 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38868 27103 301 301 0 38567 0
vsize: 155472
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 62447 0 0 0 41739 264 0 0 25 0 1 0 973937994 159346688 27169 4294967295 134512640 135730672 3221224576 3221223072 134747641 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38903 27169 301 301 0 38602 0
vsize: 155612
[startup+430.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 62482 0 0 0 42736 267 0 0 25 0 1 0 973937994 159494144 27204 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38939 27204 301 301 0 38638 0
vsize: 155756
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 62519 0 0 0 43733 270 0 0 25 0 1 0 973937994 159494144 27241 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38939 27241 301 301 0 38638 0
vsize: 155756
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 63225 0 0 0 44729 275 0 0 25 0 1 0 973937994 159494144 27274 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38939 27274 301 301 0 38638 0
vsize: 155756
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 63273 0 0 0 45726 278 0 0 25 0 1 0 973937994 159629312 27322 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38972 27322 301 301 0 38671 0
vsize: 155888
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 63965 0 0 0 46723 282 0 0 25 0 1 0 973937994 159629312 27341 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 38972 27341 301 301 0 38671 0
vsize: 155888
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 63982 0 0 0 47719 285 0 0 25 0 1 0 973937994 159760384 27358 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39004 27358 301 301 0 38703 0
vsize: 156016
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 64675 0 0 0 48714 290 0 0 25 0 1 0 973937994 159760384 27378 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39004 27378 301 301 0 38703 0
vsize: 156016
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 64735 0 0 0 49710 294 0 0 25 0 1 0 973937994 160043008 27438 4294967295 134512640 135730672 3221224576 3221223232 134734842 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39073 27438 301 301 0 38772 0
vsize: 156292
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 64771 0 0 0 50706 298 0 0 25 0 1 0 973937994 160043008 27474 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39073 27474 301 301 0 38772 0
vsize: 156292
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 64806 0 0 0 51703 302 0 0 25 0 1 0 973937994 160043008 27509 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39073 27509 301 301 0 38772 0
vsize: 156292
[startup+530.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 64841 0 0 0 52700 306 0 0 25 0 1 0 973937994 160182272 27544 4294967295 134512640 135730672 3221224576 3221223072 134747738 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39107 27544 301 301 0 38806 0
vsize: 156428
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 64890 0 0 0 53696 309 0 0 25 0 1 0 973937994 160317440 27593 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39140 27593 301 301 0 38839 0
vsize: 156560
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 64920 0 0 0 54693 312 0 0 25 0 1 0 973937994 160317440 27623 4294967295 134512640 135730672 3221224576 3221222896 134732479 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39140 27623 301 301 0 38839 0
vsize: 156560
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 65624 0 0 0 55689 317 0 0 25 0 1 0 973937994 160317440 27654 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39140 27654 301 301 0 38839 0
vsize: 156560
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 66341 0 0 0 56684 322 0 0 25 0 1 0 973937994 160456704 27698 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39174 27698 301 301 0 38873 0
vsize: 156696
[startup+580.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 66377 0 0 0 57681 325 0 0 25 0 1 0 973937994 160587776 27734 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39206 27734 301 301 0 38905 0
vsize: 156824
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 67074 0 0 0 58676 330 0 0 25 0 1 0 973937994 160587776 27758 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39206 27758 301 301 0 38905 0
vsize: 156824
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 67115 0 0 0 59673 333 0 0 25 0 1 0 973937994 160587776 27799 4294967295 134512640 135730672 3221224576 3221223088 134746183 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39206 27799 301 301 0 38905 0
vsize: 156824
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 67814 0 0 0 60669 338 0 0 25 0 1 0 973937994 160735232 27825 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39242 27825 301 301 0 38941 0
vsize: 156968
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 68503 0 0 0 61666 341 0 0 25 0 1 0 973937994 160870400 27841 4294967295 134512640 135730672 3221224576 3221223024 134730415 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39275 27841 301 301 0 38974 0
vsize: 157100
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 68523 0 0 0 62663 344 0 0 25 0 1 0 973937994 160870400 27861 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39275 27861 301 301 0 38974 0
vsize: 157100
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 68555 0 0 0 63661 347 0 0 25 0 1 0 973937994 160870400 27893 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39275 27893 301 301 0 38974 0
vsize: 157100
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 69264 0 0 0 64657 351 0 0 25 0 1 0 973937994 161001472 27929 4294967295 134512640 135730672 3221224576 3221223188 134748221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39307 27929 301 301 0 39006 0
vsize: 157228
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 69307 0 0 0 65655 353 0 0 25 0 1 0 973937994 161001472 27972 4294967295 134512640 135730672 3221224576 3221223088 134745890 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39307 27972 301 301 0 39006 0
vsize: 157228
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 70686 0 0 0 66650 358 0 0 25 0 1 0 973937994 161132544 28005 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39339 28005 301 301 0 39038 0
vsize: 157356
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 71397 0 0 0 67646 362 0 0 25 0 1 0 973937994 161132544 28043 4294967295 134512640 135730672 3221224576 3221223200 134783062 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39339 28043 301 301 0 39038 0
vsize: 157356
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 71417 0 0 0 68644 364 0 0 25 0 1 0 973937994 161263616 28063 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39371 28063 301 301 0 39070 0
vsize: 157484
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 72121 0 0 0 69640 369 0 0 25 0 1 0 973937994 161263616 28094 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39371 28094 301 301 0 39070 0
vsize: 157484
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 72169 0 0 0 70637 372 0 0 25 0 1 0 973937994 161415168 28142 4294967295 134512640 135730672 3221224576 3221223088 134745860 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39408 28142 301 301 0 39107 0
vsize: 157632
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 72875 0 0 0 71634 375 0 0 25 0 1 0 973937994 161415168 28175 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39408 28175 301 301 0 39107 0
vsize: 157632
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 72910 0 0 0 72631 379 0 0 25 0 1 0 973937994 161546240 28210 4294967295 134512640 135730672 3221224576 3221223072 134747808 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39440 28210 301 301 0 39139 0
vsize: 157760
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 72950 0 0 0 73629 381 0 0 25 0 1 0 973937994 161546240 28250 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39440 28250 301 301 0 39139 0
vsize: 157760
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 72993 0 0 0 74626 384 0 0 25 0 1 0 973937994 161546240 28293 4294967295 134512640 135730672 3221224576 3221223232 134748661 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39440 28293 301 301 0 39139 0
vsize: 157760
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 73034 0 0 0 75624 387 0 0 25 0 1 0 973937994 161693696 28334 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39476 28334 301 301 0 39175 0
vsize: 157904
[startup+770.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 73080 0 0 0 76620 390 0 0 25 0 1 0 973937994 161693696 28380 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39476 28380 301 301 0 39175 0
vsize: 157904
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 73123 0 0 0 77618 392 0 0 25 0 1 0 973937994 161837056 28423 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39511 28423 301 301 0 39210 0
vsize: 158044
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 73164 0 0 0 78615 396 0 0 25 0 1 0 973937994 161837056 28464 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39511 28464 301 301 0 39210 0
vsize: 158044
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 73205 0 0 0 79612 399 0 0 25 0 1 0 973937994 161972224 28505 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39544 28505 301 301 0 39243 0
vsize: 158176
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 73913 0 0 0 80608 403 0 0 25 0 1 0 973937994 161972224 28540 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39544 28540 301 301 0 39243 0
vsize: 158176
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 73959 0 0 0 81605 407 0 0 25 0 1 0 973937994 162107392 28586 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39577 28586 301 301 0 39276 0
vsize: 158308
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 74664 0 0 0 82602 409 0 0 25 0 1 0 973937994 162107392 28618 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39577 28618 301 301 0 39276 0
vsize: 158308
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 74699 0 0 0 83600 412 0 0 25 0 1 0 973937994 162254848 28653 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39613 28653 301 301 0 39312 0
vsize: 158452
[startup+850.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 74728 0 0 0 84597 415 0 0 25 0 1 0 973937994 162254848 28682 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39613 28682 301 301 0 39312 0
vsize: 158452
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 74769 0 0 0 85595 417 0 0 25 0 1 0 973937994 162394112 28723 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39647 28723 301 301 0 39346 0
vsize: 158588
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 74796 0 0 0 86592 420 0 0 25 0 1 0 973937994 162394112 28750 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39647 28750 301 301 0 39346 0
vsize: 158588
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 74829 0 0 0 87589 423 0 0 25 0 1 0 973937994 162394112 28783 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39647 28783 301 301 0 39346 0
vsize: 158588
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 75525 0 0 0 88585 428 0 0 25 0 1 0 973937994 162529280 28806 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39680 28806 301 301 0 39379 0
vsize: 158720
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 75543 0 0 0 89581 432 0 0 25 0 1 0 973937994 162529280 28824 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39680 28824 301 301 0 39379 0
vsize: 158720
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 75561 0 0 0 90579 434 0 0 25 0 1 0 973937994 162529280 28842 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39680 28842 301 301 0 39379 0
vsize: 158720
[startup+920.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 75577 0 0 0 91575 438 0 0 25 0 1 0 973937994 162660352 28858 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39712 28858 301 301 0 39411 0
vsize: 158848
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 75586 0 0 0 92574 440 0 0 25 0 1 0 973937994 162660352 28867 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39712 28867 301 301 0 39411 0
vsize: 158848
[startup+940.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 75602 0 0 0 93571 443 0 0 25 0 1 0 973937994 162660352 28883 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39712 28883 301 301 0 39411 0
vsize: 158848
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76288 0 0 0 94567 447 0 0 25 0 1 0 973937994 162795520 28896 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39745 28896 301 301 0 39444 0
vsize: 158980
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76331 0 0 0 95564 450 0 0 25 0 1 0 973937994 162934784 28939 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39779 28939 301 301 0 39478 0
vsize: 159116
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76357 0 0 0 96560 454 0 0 25 0 1 0 973937994 162934784 28965 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39779 28965 301 301 0 39478 0
vsize: 159116
[startup+980.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76383 0 0 0 97558 457 0 0 25 0 1 0 973937994 162934784 28991 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39779 28991 301 301 0 39478 0
vsize: 159116
[startup+990.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76412 0 0 0 98556 459 0 0 25 0 1 0 973937994 162934784 29020 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39779 29020 301 301 0 39478 0
vsize: 159116
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76437 0 0 0 99553 462 0 0 25 0 1 0 973937994 163074048 29045 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39813 29045 301 301 0 39512 0
vsize: 159252
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76468 0 0 0 100550 465 0 0 25 0 1 0 973937994 163074048 29076 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39813 29076 301 301 0 39512 0
vsize: 159252
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76495 0 0 0 101547 468 0 0 25 0 1 0 973937994 163074048 29103 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39813 29103 301 301 0 39512 0
vsize: 159252
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76550 0 0 0 102544 472 0 0 25 0 1 0 973937994 163213312 29158 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39847 29158 301 301 0 39546 0
vsize: 159388
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76575 0 0 0 103541 475 0 0 25 0 1 0 973937994 163352576 29183 4294967295 134512640 135730672 3221224576 3221223072 134747762 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39881 29183 301 301 0 39580 0
vsize: 159524
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76593 0 0 0 104539 477 0 0 25 0 1 0 973937994 163352576 29201 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39881 29201 301 301 0 39580 0
vsize: 159524
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76621 0 0 0 105535 481 0 0 25 0 1 0 973937994 163352576 29229 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39881 29229 301 301 0 39580 0
vsize: 159524
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76643 0 0 0 106533 483 0 0 25 0 1 0 973937994 163352576 29251 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39881 29251 301 301 0 39580 0
vsize: 159524
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76665 0 0 0 107529 487 0 0 25 0 1 0 973937994 163352576 29273 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39881 29273 301 301 0 39580 0
vsize: 159524
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76693 0 0 0 108527 490 0 0 25 0 1 0 973937994 163483648 29301 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39913 29301 301 301 0 39612 0
vsize: 159652
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76720 0 0 0 109525 492 0 0 25 0 1 0 973937994 163483648 29328 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39913 29328 301 301 0 39612 0
vsize: 159652
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76747 0 0 0 110522 495 0 0 25 0 1 0 973937994 163483648 29355 4294967295 134512640 135730672 3221224576 3221223072 134747563 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39913 29355 301 301 0 39612 0
vsize: 159652
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76775 0 0 0 111520 497 0 0 25 0 1 0 973937994 163618816 29383 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39946 29383 301 301 0 39645 0
vsize: 159784
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76800 0 0 0 112517 501 0 0 25 0 1 0 973937994 163618816 29408 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39946 29408 301 301 0 39645 0
vsize: 159784
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76832 0 0 0 113514 504 0 0 25 0 1 0 973937994 163618816 29440 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39946 29440 301 301 0 39645 0
vsize: 159784
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76860 0 0 0 114512 506 0 0 25 0 1 0 973937994 163618816 29468 4294967295 134512640 135730672 3221224576 3221223224 134748061 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39946 29468 301 301 0 39645 0
vsize: 159784
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76893 0 0 0 115509 509 0 0 25 0 1 0 973937994 163749888 29501 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39978 29501 301 301 0 39677 0
vsize: 159912
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76922 0 0 0 116507 511 0 0 25 0 1 0 973937994 163749888 29530 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39978 29530 301 301 0 39677 0
vsize: 159912
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76950 0 0 0 117504 514 0 0 25 0 1 0 973937994 163749888 29558 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 39978 29558 301 301 0 39677 0
vsize: 159912
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 76981 0 0 0 118501 518 0 0 25 0 1 0 973937994 163885056 29589 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40011 29589 301 301 0 39710 0
vsize: 160044
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 20532
Raw data (stat): 20532 (pb2sat-v2) R 20531 7266 7265 0 -1 0 77008 0 0 0 119498 521 0 0 25 0 1 0 973937994 163885056 29616 4294967295 134512640 135730672 3221224576 3221223072 134747735 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 40011 29616 301 301 0 39710 0
vsize: 160044
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.96 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 20532
Raw data (stat): 20532 (pb2sat-v2) Z 20531 7266 7265 0 -1 12 77010 0 0 0 119583 527 0 0 25 0 1 0 973937994 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.96
CPU time (s): 1201.1
CPU user time (s): 1195.83
CPU system time (s): 5.2722
CPU usage (%): 100.012
Max. virtual memory (Kb): 160044
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####