PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-aflow30a.opb
MD5SUM	b74fb9cd57e8b4068255c4ac98aa23ca
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3191
Optimality of the best value was proved	NO
Number of terms in the objective function	421
Biggest coefficient in the objective function	500
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	72290
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	12800
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	416734
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.12
Number of variables	5932
Total number of constraints	1321
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	450
Number of constraints which are nor clauses,nor cardinality constraints	871
Minimum length of a constraint	1
Maximum length of a constraint	453
Trace number 42831

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-16 15:55:39 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26039 boxname=wulflinc5 idbench=1339 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  b74fb9cd57e8b4068255c4ac98aa23ca  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-aflow30a.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-aflow30a.opb
IDLAUNCH: 26039
/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:        685064 kB
Buffers:         22236 kB
Cached:         304456 kB
SwapCached:        660 kB
Active:          24832 kB
Inactive:       303920 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        684812 kB
SwapTotal:     2097136 kB
SwapFree:      2095536 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15192 kB
Committed_AS:    63712 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 16:15:41 (client local time) WITH STATUS 0 IN 1202.15 SECONDS
stats: 26039 7 1202.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...

c Decision: 4713/812824	Time: 521.805/86400
c Decision: 5297/812824	Time: 1082.51/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.84 0.94 0.90 2/54 16948
Raw data (stat): 16948 (runsolver) R 16947 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972008116 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.0008 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 27076 0 0 0 937 61 0 0 25 0 1 0 972008116 77893632 16126 4294967295 134512640 135730672 3221224576 3221111312 134786289 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 19017 16126 301 301 0 18716 0
vsize: 76068
[startup+20.0011 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 54194 0 0 0 1876 121 0 0 25 0 1 0 972008116 153341952 32264 4294967295 134512640 135730672 3221224576 3221213208 135284224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 37437 32264 301 301 0 37136 0
vsize: 149748
[startup+30.0018 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 92423 0 0 0 2794 203 0 0 25 0 1 0 972008116 300994560 48809 4294967295 134512640 135730672 3221224576 3221116000 134770263 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 73485 48809 301 301 0 73184 0
vsize: 293940
[startup+40.002 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 105239 0 0 0 3762 235 0 0 25 0 1 0 972008116 309297152 59805 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 75512 59805 301 301 0 75211 0
vsize: 302048
[startup+50.0026 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 108790 0 0 0 4755 241 0 0 25 0 1 0 972008116 324587520 62615 4294967295 134512640 135730672 3221224576 3221223072 134747913 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 79245 62615 301 301 0 78944 0
vsize: 316980
[startup+60.003 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 110871 0 0 0 5750 247 0 0 25 0 1 0 972008116 332836864 64054 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81259 64054 301 301 0 80958 0
vsize: 325036
[startup+70.004 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 112429 0 0 0 6747 250 0 0 25 0 1 0 972008116 338579456 64969 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 82661 64969 301 301 0 82360 0
vsize: 330644
[startup+80.0044 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 113176 0 0 0 7746 251 0 0 25 0 1 0 972008116 341483520 65518 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83370 65518 301 301 0 83069 0
vsize: 333480
[startup+90.0042 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 113965 0 0 0 8744 253 0 0 25 0 1 0 972008116 344334336 66012 4294967295 134512640 135730672 3221224576 3221223200 134748108 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84066 66012 301 301 0 83765 0
vsize: 336264
[startup+100.004 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 114655 0 0 0 9743 255 0 0 25 0 1 0 972008116 346718208 66373 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84648 66373 301 301 0 84347 0
vsize: 338592
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 114908 0 0 0 10742 255 0 0 25 0 1 0 972008116 347377664 66494 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84809 66494 301 301 0 84508 0
vsize: 339236
[startup+120.005 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 115209 0 0 0 11742 256 0 0 25 0 1 0 972008116 348700672 66663 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85132 66663 301 301 0 84831 0
vsize: 340528
[startup+130.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 115426 0 0 0 12741 257 0 0 25 0 1 0 972008116 349425664 66781 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85309 66781 301 301 0 85008 0
vsize: 341236
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 115754 0 0 0 13741 257 0 0 25 0 1 0 972008116 350347264 66912 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 85534 66912 301 301 0 85233 0
vsize: 342136
[startup+150.006 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 117019 0 0 0 14738 260 0 0 25 0 1 0 972008116 355037184 67757 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86679 67757 301 301 0 86378 0
vsize: 346716
[startup+160.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 117140 0 0 0 15738 260 0 0 25 0 1 0 972008116 355565568 67812 4294967295 134512640 135730672 3221224576 3221223056 134732772 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 86808 67812 301 301 0 86507 0
vsize: 347232
[startup+170.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 117417 0 0 0 16738 261 0 0 25 0 1 0 972008116 356630528 67957 4294967295 134512640 135730672 3221224576 3221223248 134748644 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87068 67957 301 301 0 86767 0
vsize: 348272
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 118331 0 0 0 17736 263 0 0 25 0 1 0 972008116 360091648 68559 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 87913 68559 301 301 0 87612 0
vsize: 351652
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 118716 0 0 0 18735 264 0 0 25 0 1 0 972008116 361279488 68780 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88203 68780 301 301 0 87902 0
vsize: 352812
[startup+200.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 118805 0 0 0 19735 264 0 0 25 0 1 0 972008116 361676800 68836 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88300 68836 301 301 0 87999 0
vsize: 353200
[startup+210.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 118868 0 0 0 20735 264 0 0 25 0 1 0 972008116 361807872 68866 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88332 68866 301 301 0 88031 0
vsize: 353328
[startup+220.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 119424 0 0 0 21734 265 0 0 25 0 1 0 972008116 363855872 69159 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88832 69159 301 301 0 88531 0
vsize: 355328
[startup+230.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 119580 0 0 0 22734 266 0 0 25 0 1 0 972008116 364249088 69217 4294967295 134512640 135730672 3221224576 3221223264 134748570 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 88928 69217 301 301 0 88627 0
vsize: 355712
[startup+240.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 119806 0 0 0 23734 266 0 0 25 0 1 0 972008116 364908544 69345 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89089 69345 301 301 0 88788 0
vsize: 356356
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 119849 0 0 0 24734 266 0 0 25 0 1 0 972008116 365039616 69355 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89121 69355 301 301 0 88820 0
vsize: 356484
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 16948
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 119974 0 0 0 25734 267 0 0 25 0 1 0 972008116 365436928 69447 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89218 69447 301 301 0 88917 0
vsize: 356872
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/56 16995
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 120188 0 0 0 26733 267 0 0 25 0 1 0 972008116 366096384 69563 4294967295 134512640 135730672 3221224576 3221223172 134747444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89379 69563 301 301 0 89078 0
vsize: 357516
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17001
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 120393 0 0 0 27732 268 0 0 25 0 1 0 972008116 366759936 69702 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89541 69702 301 301 0 89240 0
vsize: 358164
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17001
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 120439 0 0 0 28732 268 0 0 25 0 1 0 972008116 366759936 69748 4294967295 134512640 135730672 3221224576 3221223168 134764020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89541 69748 301 301 0 89240 0
vsize: 358164
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17001
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 120456 0 0 0 29732 268 0 0 25 0 1 0 972008116 366759936 69765 4294967295 134512640 135730672 3221224576 3221223072 134747823 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89541 69765 301 301 0 89240 0
vsize: 358164
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17001
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 120670 0 0 0 30731 269 0 0 25 0 1 0 972008116 367550464 69849 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 89734 69849 301 301 0 89433 0
vsize: 358936
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17001
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 120831 0 0 0 31730 269 0 0 25 0 1 0 972008116 367943680 69912 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89830 69912 301 301 0 89529 0
vsize: 359320
[startup+330.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17001
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 120856 0 0 0 32730 269 0 0 25 0 1 0 972008116 367943680 69937 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89830 69937 301 301 0 89529 0
vsize: 359320
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 120994 0 0 0 33729 270 0 0 25 0 1 0 972008116 368074752 70042 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89862 70042 301 301 0 89561 0
vsize: 359448
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121008 0 0 0 34729 270 0 0 25 0 1 0 972008116 368074752 70056 4294967295 134512640 135730672 3221224576 3221223072 134747714 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89862 70056 301 301 0 89561 0
vsize: 359448
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121114 0 0 0 35729 270 0 0 25 0 1 0 972008116 368607232 70162 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 89992 70162 301 301 0 89691 0
vsize: 359968
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121239 0 0 0 36729 271 0 0 25 0 1 0 972008116 369000448 70188 4294967295 134512640 135730672 3221224576 3221222896 134732524 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90088 70188 301 301 0 89787 0
vsize: 360352
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121366 0 0 0 37729 271 0 0 25 0 1 0 972008116 369528832 70249 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90217 70249 301 301 0 89916 0
vsize: 360868
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121607 0 0 0 38728 271 0 0 25 0 1 0 972008116 370053120 70360 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90345 70360 301 301 0 90044 0
vsize: 361380
[startup+400.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121642 0 0 0 39728 271 0 0 25 0 1 0 972008116 370053120 70395 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90345 70395 301 301 0 90044 0
vsize: 361380
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121649 0 0 0 40729 271 0 0 25 0 1 0 972008116 370053120 70402 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90345 70402 301 301 0 90044 0
vsize: 361380
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121664 0 0 0 41729 271 0 0 25 0 1 0 972008116 370053120 70417 4294967295 134512640 135730672 3221224576 3221223232 134734835 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90345 70417 301 301 0 90044 0
vsize: 361380
[startup+430.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121708 0 0 0 42729 272 0 0 25 0 1 0 972008116 370184192 70428 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90377 70428 301 301 0 90076 0
vsize: 361508
[startup+440.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121721 0 0 0 43729 272 0 0 25 0 1 0 972008116 370184192 70441 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90377 70441 301 301 0 90076 0
vsize: 361508
[startup+450.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121760 0 0 0 44729 272 0 0 25 0 1 0 972008116 370315264 70447 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90409 70447 301 301 0 90108 0
vsize: 361636
[startup+460.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121768 0 0 0 45729 272 0 0 25 0 1 0 972008116 370315264 70455 4294967295 134512640 135730672 3221224576 3221222904 134739217 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90409 70455 301 301 0 90108 0
vsize: 361636
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 121941 0 0 0 46729 272 0 0 25 0 1 0 972008116 370708480 70530 4294967295 134512640 135730672 3221224576 3221223236 134748655 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90505 70530 301 301 0 90204 0
vsize: 362020
[startup+480.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 122039 0 0 0 47729 272 0 0 25 0 1 0 972008116 370839552 70595 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90537 70595 301 301 0 90236 0
vsize: 362148
[startup+490.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 122146 0 0 0 48729 273 0 0 25 0 1 0 972008116 371101696 70637 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90601 70637 301 301 0 90300 0
vsize: 362404
[startup+500.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 122160 0 0 0 49729 273 0 0 25 0 1 0 972008116 371101696 70651 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90601 70651 301 301 0 90300 0
vsize: 362404
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 122220 0 0 0 50729 273 0 0 25 0 1 0 972008116 371232768 70678 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90633 70678 301 301 0 90332 0
vsize: 362532
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 122226 0 0 0 51729 273 0 0 25 0 1 0 972008116 371232768 70684 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90633 70684 301 301 0 90332 0
vsize: 362532
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 122334 0 0 0 52729 273 0 0 25 0 1 0 972008116 371494912 70727 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90697 70727 301 301 0 90396 0
vsize: 362788
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 122344 0 0 0 53729 274 0 0 25 0 1 0 972008116 371494912 70737 4294967295 134512640 135730672 3221224576 3221223168 134763604 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90697 70737 301 301 0 90396 0
vsize: 362788
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 122377 0 0 0 54729 274 0 0 25 0 1 0 972008116 371494912 70770 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90697 70770 301 301 0 90396 0
vsize: 362788
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 123983 0 0 0 55725 278 0 0 25 0 1 0 972008116 371494912 70788 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 90697 70788 301 301 0 90396 0
vsize: 362788
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124100 0 0 0 56724 279 0 0 25 0 1 0 972008116 371757056 70840 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90761 70840 301 301 0 90460 0
vsize: 363044
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124106 0 0 0 57724 279 0 0 25 0 1 0 972008116 371757056 70846 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90761 70846 301 301 0 90460 0
vsize: 363044
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124110 0 0 0 58724 279 0 0 25 0 1 0 972008116 371757056 70850 4294967295 134512640 135730672 3221224576 3221223072 134747657 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90761 70850 301 301 0 90460 0
vsize: 363044
[startup+600.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17003
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124112 0 0 0 59724 279 0 0 25 0 1 0 972008116 371757056 70852 4294967295 134512640 135730672 3221224576 3221223072 134747957 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90761 70852 301 301 0 90460 0
vsize: 363044
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124128 0 0 0 60724 279 0 0 25 0 1 0 972008116 371757056 70868 4294967295 134512640 135730672 3221224576 3221223224 134748261 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90761 70868 301 301 0 90460 0
vsize: 363044
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124136 0 0 0 61724 279 0 0 25 0 1 0 972008116 371757056 70876 4294967295 134512640 135730672 3221224576 3221223072 134747934 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90761 70876 301 301 0 90460 0
vsize: 363044
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124156 0 0 0 62724 279 0 0 25 0 1 0 972008116 371757056 70896 4294967295 134512640 135730672 3221224576 3221223200 134748138 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90761 70896 301 301 0 90460 0
vsize: 363044
[startup+640.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124170 0 0 0 63724 279 0 0 25 0 1 0 972008116 371757056 70910 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90761 70910 301 301 0 90460 0
vsize: 363044
[startup+650.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124263 0 0 0 64724 280 0 0 25 0 1 0 972008116 372023296 71003 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71003 301 301 0 90525 0
vsize: 363304
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124265 0 0 0 65724 280 0 0 25 0 1 0 972008116 372023296 71005 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71005 301 301 0 90525 0
vsize: 363304
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124272 0 0 0 66724 280 0 0 25 0 1 0 972008116 372023296 71012 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71012 301 301 0 90525 0
vsize: 363304
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124274 0 0 0 67724 280 0 0 25 0 1 0 972008116 372023296 71014 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71014 301 301 0 90525 0
vsize: 363304
[startup+690.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124293 0 0 0 68724 280 0 0 25 0 1 0 972008116 372023296 71033 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71033 301 301 0 90525 0
vsize: 363304
[startup+700.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124298 0 0 0 69724 280 0 0 25 0 1 0 972008116 372023296 71038 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71038 301 301 0 90525 0
vsize: 363304
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124302 0 0 0 70724 280 0 0 25 0 1 0 972008116 372023296 71042 4294967295 134512640 135730672 3221224576 3221223264 134748549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71042 301 301 0 90525 0
vsize: 363304
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124303 0 0 0 71725 281 0 0 25 0 1 0 972008116 372023296 71043 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71043 301 301 0 90525 0
vsize: 363304
[startup+730.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124303 0 0 0 72725 281 0 0 25 0 1 0 972008116 372023296 71043 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71043 301 301 0 90525 0
vsize: 363304
[startup+740.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124312 0 0 0 73725 281 0 0 25 0 1 0 972008116 372023296 71052 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71052 301 301 0 90525 0
vsize: 363304
[startup+750.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124337 0 0 0 74725 281 0 0 25 0 1 0 972008116 372023296 71077 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71077 301 301 0 90525 0
vsize: 363304
[startup+760.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124356 0 0 0 75725 281 0 0 25 0 1 0 972008116 372023296 71096 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71096 301 301 0 90525 0
vsize: 363304
[startup+770.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124366 0 0 0 76725 281 0 0 25 0 1 0 972008116 372023296 71106 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90826 71106 301 301 0 90525 0
vsize: 363304
[startup+780.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124453 0 0 0 77725 281 0 0 25 0 1 0 972008116 372285440 71128 4294967295 134512640 135730672 3221224576 3221223200 134748266 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90890 71128 301 301 0 90589 0
vsize: 363560
[startup+790.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124453 0 0 0 78724 282 0 0 25 0 1 0 972008116 372285440 71128 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90890 71128 301 301 0 90589 0
vsize: 363560
[startup+800.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124476 0 0 0 79724 282 0 0 25 0 1 0 972008116 372285440 71151 4294967295 134512640 135730672 3221224576 3221223072 134747602 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90890 71151 301 301 0 90589 0
vsize: 363560
[startup+810.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124517 0 0 0 80724 282 0 0 25 0 1 0 972008116 372285440 71192 4294967295 134512640 135730672 3221224576 3221223024 134730492 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90890 71192 301 301 0 90589 0
vsize: 363560
[startup+820.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124519 0 0 0 81724 282 0 0 25 0 1 0 972008116 372285440 71194 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90890 71194 301 301 0 90589 0
vsize: 363560
[startup+830.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124533 0 0 0 82725 282 0 0 25 0 1 0 972008116 372285440 71208 4294967295 134512640 135730672 3221224576 3221223072 134747465 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90890 71208 301 301 0 90589 0
vsize: 363560
[startup+840.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124536 0 0 0 83725 283 0 0 25 0 1 0 972008116 372285440 71211 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90890 71211 301 301 0 90589 0
vsize: 363560
[startup+850.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124561 0 0 0 84725 283 0 0 25 0 1 0 972008116 372285440 71236 4294967295 134512640 135730672 3221224576 3221223264 134748499 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90890 71236 301 301 0 90589 0
vsize: 363560
[startup+860.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124562 0 0 0 85725 283 0 0 25 0 1 0 972008116 372285440 71237 4294967295 134512640 135730672 3221224576 3221223056 134732800 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90890 71237 301 301 0 90589 0
vsize: 363560
[startup+870.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124567 0 0 0 86725 283 0 0 25 0 1 0 972008116 372285440 71242 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90890 71242 301 301 0 90589 0
vsize: 363560
[startup+880.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124678 0 0 0 87725 283 0 0 25 0 1 0 972008116 372547584 71288 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 71288 301 301 0 90653 0
vsize: 363816
[startup+890.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124682 0 0 0 88725 283 0 0 25 0 1 0 972008116 372547584 71292 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 71292 301 301 0 90653 0
vsize: 363816
[startup+900.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124692 0 0 0 89725 284 0 0 25 0 1 0 972008116 372547584 71302 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 71302 301 301 0 90653 0
vsize: 363816
[startup+910.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124697 0 0 0 90725 284 0 0 25 0 1 0 972008116 372547584 71307 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 71307 301 301 0 90653 0
vsize: 363816
[startup+920.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124699 0 0 0 91725 284 0 0 25 0 1 0 972008116 372547584 71309 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 71309 301 301 0 90653 0
vsize: 363816
[startup+930.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124710 0 0 0 92725 284 0 0 25 0 1 0 972008116 372547584 71320 4294967295 134512640 135730672 3221224576 3221223072 134747733 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 71320 301 301 0 90653 0
vsize: 363816
[startup+940.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124713 0 0 0 93725 284 0 0 25 0 1 0 972008116 372547584 71323 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 71323 301 301 0 90653 0
vsize: 363816
[startup+950.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124714 0 0 0 94725 284 0 0 25 0 1 0 972008116 372547584 71324 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 71324 301 301 0 90653 0
vsize: 363816
[startup+960.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124737 0 0 0 95725 284 0 0 25 0 1 0 972008116 372547584 71347 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 71347 301 301 0 90653 0
vsize: 363816
[startup+970.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124739 0 0 0 96725 284 0 0 25 0 1 0 972008116 372547584 71349 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 71349 301 301 0 90653 0
vsize: 363816
[startup+980.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 124749 0 0 0 97726 284 0 0 25 0 1 0 972008116 372547584 71359 4294967295 134512640 135730672 3221224576 3221223196 134748215 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 90954 71359 301 301 0 90653 0
vsize: 363816
[startup+990.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 125393 0 0 0 98724 286 0 0 25 0 1 0 972008116 374120448 71615 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91338 71615 301 301 0 91037 0
vsize: 365352
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 125396 0 0 0 99724 286 0 0 25 0 1 0 972008116 374120448 71618 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91338 71618 301 301 0 91037 0
vsize: 365352
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 125508 0 0 0 100724 286 0 0 25 0 1 0 972008116 374382592 71665 4294967295 134512640 135730672 3221224576 3221222900 134732444 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91402 71665 301 301 0 91101 0
vsize: 365608
[startup+1020.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 125510 0 0 0 101724 287 0 0 25 0 1 0 972008116 374382592 71667 4294967295 134512640 135730672 3221224576 3221223072 134747549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91402 71667 301 301 0 91101 0
vsize: 365608
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 125531 0 0 0 102724 287 0 0 25 0 1 0 972008116 374382592 71688 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91402 71688 301 301 0 91101 0
vsize: 365608
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 125533 0 0 0 103724 287 0 0 25 0 1 0 972008116 374382592 71690 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91402 71690 301 301 0 91101 0
vsize: 365608
[startup+1050.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 125896 0 0 0 104723 288 0 0 25 0 1 0 972008116 375431168 71794 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91658 71794 301 301 0 91357 0
vsize: 366632
[startup+1060.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 125907 0 0 0 105723 288 0 0 25 0 1 0 972008116 375431168 71805 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91658 71805 301 301 0 91357 0
vsize: 366632
[startup+1070.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 125981 0 0 0 106723 288 0 0 25 0 1 0 972008116 375693312 71814 4294967295 134512640 135730672 3221224576 3221223264 134748554 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91722 71814 301 301 0 91421 0
vsize: 366888
[startup+1080.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 126325 0 0 0 107723 289 0 0 25 0 1 0 972008116 376479744 71963 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 91914 71963 301 301 0 91613 0
vsize: 367656
[startup+1090.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 126642 0 0 0 108722 289 0 0 25 0 1 0 972008116 377266176 72085 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92106 72085 301 301 0 91805 0
vsize: 368424
[startup+1100.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 126744 0 0 0 109722 289 0 0 25 0 1 0 972008116 377528320 72122 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92170 72122 301 301 0 91869 0
vsize: 368680
[startup+1110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 126746 0 0 0 110723 289 0 0 25 0 1 0 972008116 377528320 72124 4294967295 134512640 135730672 3221224576 3221223264 134748449 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92170 72124 301 301 0 91869 0
vsize: 368680
[startup+1120.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 128352 0 0 0 111719 293 0 0 25 0 1 0 972008116 377528320 72142 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 92170 72142 301 301 0 91869 0
vsize: 368680
[startup+1130.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 128354 0 0 0 112718 293 0 0 25 0 1 0 972008116 377528320 72144 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92170 72144 301 301 0 91869 0
vsize: 368680
[startup+1140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 128356 0 0 0 113719 293 0 0 25 0 1 0 972008116 377528320 72146 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92170 72146 301 301 0 91869 0
vsize: 368680
[startup+1150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 128358 0 0 0 114718 294 0 0 25 0 1 0 972008116 377528320 72148 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92170 72148 301 301 0 91869 0
vsize: 368680
[startup+1160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 128360 0 0 0 115719 294 0 0 25 0 1 0 972008116 377528320 72150 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92170 72150 301 301 0 91869 0
vsize: 368680
[startup+1170.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 128388 0 0 0 116719 294 0 0 25 0 1 0 972008116 377528320 72178 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92170 72178 301 301 0 91869 0
vsize: 368680
[startup+1180.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 128392 0 0 0 117719 294 0 0 25 0 1 0 972008116 377528320 72182 4294967295 134512640 135730672 3221224576 3221222912 134739213 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92170 72182 301 301 0 91869 0
vsize: 368680
[startup+1190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 128410 0 0 0 118719 294 0 0 25 0 1 0 972008116 377528320 72200 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92170 72200 301 301 0 91869 0
vsize: 368680
[startup+1200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 128412 0 0 0 119719 294 0 0 25 0 1 0 972008116 377528320 72202 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92170 72202 301 301 0 91869 0
vsize: 368680
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 17005
Raw data (stat): 16948 (pb2sat-v2) R 16947 7266 7265 0 -1 0 128412 0 0 0 119719 294 0 0 25 0 1 0 972008116 377528320 72202 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 92170 72202 301 301 0 91869 0
vsize: 0

Child status: 0
Real time (s): 1202.02
CPU time (s): 1202.15
CPU user time (s): 1199.06
CPU system time (s): 3.09453
CPU usage (%): 100.01
Max. virtual memory (Kb): 368680
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####