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-set1ch.opb
MD5SUM	154c7c542b6df7aab333fa859438b34f
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	65634210
Optimality of the best value was proved	NO
Number of terms in the objective function	4880
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	1662757407
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	10485760
Number of bits of the biggest number in a constraint	24
Biggest sum of numbers in a constraint	1662757407
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1252.14
Number of variables	9680
Total number of constraints	732
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	240
Number of constraints which are nor clauses,nor cardinality constraints	492
Minimum length of a constraint	1
Maximum length of a constraint	420
Trace number 42871

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        773392 kB
Buffers:          2576 kB
Cached:         234344 kB
SwapCached:       1148 kB
Active:          24376 kB
Inactive:       214776 kB
HighTotal:      131008 kB
HighFree:        56812 kB
LowTotal:       903652 kB
LowFree:        716580 kB
SwapTotal:     2097136 kB
SwapFree:      2094896 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            16356 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:25:31 (client local time) WITH STATUS 0 IN 1200.85 SECONDS
stats: 26085 7 1200.85 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
s 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.96 0.97 0.91 2/55 23551
Raw data (stat): 23551 (runsolver) R 23550 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 915569867 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 26061 0 0 0 935 63 0 0 25 0 1 0 915569867 77316096 15023 4294967295 134512640 135730672 3221224576 3221216080 134770044 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18876 15023 301 301 0 18575 0
vsize: 75504
[startup+20.0014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 27839 0 0 0 1926 72 0 0 25 0 1 0 915569867 82247680 16360 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20080 16360 301 301 0 19779 0
vsize: 80320
[startup+30.0027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 28003 0 0 0 2921 77 0 0 25 0 1 0 915569867 82825216 16524 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20221 16524 301 301 0 19920 0
vsize: 80884
[startup+40.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 28180 0 0 0 3916 82 0 0 25 0 1 0 915569867 83554304 16701 4294967295 134512640 135730672 3221224576 3221223072 134747624 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20399 16701 301 301 0 20098 0
vsize: 81596
[startup+50.0029 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 28289 0 0 0 4911 87 0 0 25 0 1 0 915569867 83980288 16810 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20503 16810 301 301 0 20202 0
vsize: 82012
[startup+60.0026 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 28394 0 0 0 5907 92 0 0 25 0 1 0 915569867 84250624 16915 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20569 16915 301 301 0 20268 0
vsize: 82276
[startup+70.0024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 28461 0 0 0 6902 97 0 0 25 0 1 0 915569867 84529152 16982 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20637 16982 301 301 0 20336 0
vsize: 82548
[startup+80.0032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 28596 0 0 0 7897 102 0 0 25 0 1 0 915569867 85073920 17117 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20770 17117 301 301 0 20469 0
vsize: 83080
[startup+90.0035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 28660 0 0 0 8891 108 0 0 25 0 1 0 915569867 85213184 17181 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20804 17181 301 301 0 20503 0
vsize: 83216
[startup+100.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 28728 0 0 0 9885 114 0 0 25 0 1 0 915569867 85487616 17249 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 20871 17249 301 301 0 20570 0
vsize: 83484
[startup+110.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 28863 0 0 0 10879 121 0 0 25 0 1 0 915569867 86032384 17384 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21004 17384 301 301 0 20703 0
vsize: 84016
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 28935 0 0 0 11875 125 0 0 25 0 1 0 915569867 86310912 17456 4294967295 134512640 135730672 3221224576 3221223232 134734847 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21072 17456 301 301 0 20771 0
vsize: 84288
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29047 0 0 0 12869 131 0 0 25 0 1 0 915569867 86728704 17568 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21174 17568 301 301 0 20873 0
vsize: 84696
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29110 0 0 0 13865 135 0 0 25 0 1 0 915569867 86867968 17631 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21208 17631 301 301 0 20907 0
vsize: 84832
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29164 0 0 0 14860 140 0 0 25 0 1 0 915569867 87154688 17685 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21278 17685 301 301 0 20977 0
vsize: 85112
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29190 0 0 0 15856 144 0 0 25 0 1 0 915569867 87154688 17711 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21278 17711 301 301 0 20977 0
vsize: 85112
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29247 0 0 0 16851 149 0 0 25 0 1 0 915569867 87298048 17768 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21313 17768 301 301 0 21012 0
vsize: 85252
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29291 0 0 0 17846 155 0 0 25 0 1 0 915569867 87437312 17812 4294967295 134512640 135730672 3221224576 3221223072 134747575 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21347 17812 301 301 0 21046 0
vsize: 85388
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29382 0 0 0 18841 160 0 0 25 0 1 0 915569867 87851008 17903 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21448 17903 301 301 0 21147 0
vsize: 85792
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29458 0 0 0 19836 165 0 0 25 0 1 0 915569867 88145920 17979 4294967295 134512640 135730672 3221224576 3221223072 134747747 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21520 17979 301 301 0 21219 0
vsize: 86080
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29496 0 0 0 20831 170 0 0 25 0 1 0 915569867 88281088 18017 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21553 18017 301 301 0 21252 0
vsize: 86212
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29524 0 0 0 21826 175 0 0 25 0 1 0 915569867 88416256 18045 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21586 18045 301 301 0 21285 0
vsize: 86344
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29625 0 0 0 22821 181 0 0 25 0 1 0 915569867 88686592 18146 4294967295 134512640 135730672 3221224576 3221223072 134747578 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21652 18146 301 301 0 21351 0
vsize: 86608
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29680 0 0 0 23817 185 0 0 25 0 1 0 915569867 88965120 18201 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21720 18201 301 301 0 21419 0
vsize: 86880
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29775 0 0 0 24813 190 0 0 25 0 1 0 915569867 89235456 18263 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21786 18263 301 301 0 21485 0
vsize: 87144
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29815 0 0 0 25807 195 0 0 25 0 1 0 915569867 89378816 18303 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21821 18303 301 301 0 21520 0
vsize: 87284
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29888 0 0 0 26802 200 0 0 25 0 1 0 915569867 89657344 18376 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21889 18376 301 301 0 21588 0
vsize: 87556
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 29935 0 0 0 27799 204 0 0 25 0 1 0 915569867 89939968 18423 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 21958 18423 301 301 0 21657 0
vsize: 87832
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30009 0 0 0 28796 207 0 0 25 0 1 0 915569867 90226688 18497 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22028 18497 301 301 0 21727 0
vsize: 88112
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30076 0 0 0 29791 212 0 0 25 0 1 0 915569867 90513408 18564 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22098 18564 301 301 0 21797 0
vsize: 88392
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30125 0 0 0 30788 216 0 0 25 0 1 0 915569867 90652672 18613 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22132 18613 301 301 0 21831 0
vsize: 88528
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30160 0 0 0 31782 221 0 0 25 0 1 0 915569867 90800128 18648 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22168 18648 301 301 0 21867 0
vsize: 88672
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30192 0 0 0 32776 227 0 0 25 0 1 0 915569867 90939392 18680 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22202 18680 301 301 0 21901 0
vsize: 88808
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30275 0 0 0 33772 232 0 0 25 0 1 0 915569867 91217920 18763 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22270 18763 301 301 0 21969 0
vsize: 89080
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30307 0 0 0 34768 236 0 0 25 0 1 0 915569867 91365376 18795 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22306 18795 301 301 0 22005 0
vsize: 89224
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30340 0 0 0 35762 242 0 0 25 0 1 0 915569867 91365376 18828 4294967295 134512640 135730672 3221224576 3221223200 134748191 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22306 18828 301 301 0 22005 0
vsize: 89224
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30403 0 0 0 36756 248 0 0 25 0 1 0 915569867 91643904 18891 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22374 18891 301 301 0 22073 0
vsize: 89496
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30456 0 0 0 37750 255 0 0 25 0 1 0 915569867 91779072 18944 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22407 18944 301 301 0 22106 0
vsize: 89628
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30496 0 0 0 38745 260 0 0 25 0 1 0 915569867 91918336 18984 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22441 18984 301 301 0 22140 0
vsize: 89764
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30574 0 0 0 39740 266 0 0 25 0 1 0 915569867 92188672 19062 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22507 19062 301 301 0 22206 0
vsize: 90028
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30610 0 0 0 40735 270 0 0 25 0 1 0 915569867 92327936 19098 4294967295 134512640 135730672 3221224576 3221223264 134748632 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22541 19098 301 301 0 22240 0
vsize: 90164
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30862 0 0 0 41730 276 0 0 25 0 1 0 915569867 93577216 19350 4294967295 134512640 135730672 3221224576 3221223072 134747730 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22846 19350 301 301 0 22545 0
vsize: 91384
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30899 0 0 0 42724 282 0 0 25 0 1 0 915569867 93741056 19387 4294967295 134512640 135730672 3221224576 3221223184 134744763 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22886 19387 301 301 0 22585 0
vsize: 91544
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 30951 0 0 0 43719 287 0 0 25 0 1 0 915569867 93904896 19439 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 22926 19439 301 301 0 22625 0
vsize: 91704
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31028 0 0 0 44714 292 0 0 25 0 1 0 915569867 94396416 19516 4294967295 134512640 135730672 3221224576 3221223072 134747587 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23046 19516 301 301 0 22745 0
vsize: 92184
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31061 0 0 0 45709 297 0 0 25 0 1 0 915569867 94560256 19549 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23086 19549 301 301 0 22785 0
vsize: 92344
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31082 0 0 0 46704 302 0 0 25 0 1 0 915569867 94560256 19570 4294967295 134512640 135730672 3221224576 3221223184 134744828 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23086 19570 301 301 0 22785 0
vsize: 92344
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31148 0 0 0 47699 307 0 0 25 0 1 0 915569867 94863360 19636 4294967295 134512640 135730672 3221224576 3221222908 134739224 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23160 19636 301 301 0 22859 0
vsize: 92640
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31270 0 0 0 48695 312 0 0 25 0 1 0 915569867 95518720 19758 4294967295 134512640 135730672 3221224576 3221223072 134747489 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23320 19758 301 301 0 23019 0
vsize: 93280
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31300 0 0 0 49689 318 0 0 25 0 1 0 915569867 95682560 19788 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23360 19788 301 301 0 23059 0
vsize: 93440
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31334 0 0 0 50684 323 0 0 25 0 1 0 915569867 95846400 19822 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23400 19822 301 301 0 23099 0
vsize: 93600
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31382 0 0 0 51679 328 0 0 25 0 1 0 915569867 96010240 19870 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23440 19870 301 301 0 23139 0
vsize: 93760
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31488 0 0 0 52675 333 0 0 25 0 1 0 915569867 96665600 19976 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23600 19976 301 301 0 23299 0
vsize: 94400
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31571 0 0 0 53671 337 0 0 25 0 1 0 915569867 96993280 20059 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23680 20059 301 301 0 23379 0
vsize: 94720
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31630 0 0 0 54666 342 0 0 25 0 1 0 915569867 97320960 20118 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23760 20118 301 301 0 23459 0
vsize: 95040
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31712 0 0 0 55662 347 0 0 25 0 1 0 915569867 97812480 20200 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 23880 20200 301 301 0 23579 0
vsize: 95520
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31797 0 0 0 56657 351 0 0 25 0 1 0 915569867 98304000 20285 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24000 20285 301 301 0 23699 0
vsize: 96000
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31874 0 0 0 57653 356 0 0 25 0 1 0 915569867 98631680 20362 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24080 20362 301 301 0 23779 0
vsize: 96320
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 31934 0 0 0 58650 359 0 0 25 0 1 0 915569867 98959360 20422 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24160 20422 301 301 0 23859 0
vsize: 96640
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32071 0 0 0 59645 364 0 0 25 0 1 0 915569867 99614720 20559 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24320 20559 301 301 0 24019 0
vsize: 97280
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32174 0 0 0 60640 370 0 0 25 0 1 0 915569867 100270080 20662 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24480 20662 301 301 0 24179 0
vsize: 97920
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32247 0 0 0 61634 375 0 0 25 0 1 0 915569867 100597760 20735 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24560 20735 301 301 0 24259 0
vsize: 98240
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32330 0 0 0 62630 380 0 0 25 0 1 0 915569867 101072896 20818 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24676 20818 301 301 0 24375 0
vsize: 98704
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32403 0 0 0 63624 386 0 0 25 0 1 0 915569867 101367808 20891 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24748 20891 301 301 0 24447 0
vsize: 98992
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32492 0 0 0 64619 391 0 0 25 0 1 0 915569867 101826560 20980 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24860 20980 301 301 0 24559 0
vsize: 99440
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32556 0 0 0 65613 397 0 0 25 0 1 0 915569867 102154240 21044 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24940 21044 301 301 0 24639 0
vsize: 99760
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32581 0 0 0 66609 402 0 0 25 0 1 0 915569867 102154240 21069 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 24940 21069 301 301 0 24639 0
vsize: 99760
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32650 0 0 0 67604 407 0 0 25 0 1 0 915569867 102481920 21138 4294967295 134512640 135730672 3221224576 3221223072 134747474 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25020 21138 301 301 0 24719 0
vsize: 100080
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32725 0 0 0 68599 412 0 0 25 0 1 0 915569867 102924288 21213 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25128 21213 301 301 0 24827 0
vsize: 100512
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32774 0 0 0 69595 416 0 0 25 0 1 0 915569867 103071744 21262 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25164 21262 301 301 0 24863 0
vsize: 100656
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32828 0 0 0 70590 422 0 0 25 0 1 0 915569867 103366656 21316 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25236 21316 301 301 0 24935 0
vsize: 100944
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32891 0 0 0 71585 427 0 0 25 0 1 0 915569867 103677952 21379 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25312 21379 301 301 0 25011 0
vsize: 101248
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 32964 0 0 0 72580 431 0 0 25 0 1 0 915569867 104005632 21452 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25392 21452 301 301 0 25091 0
vsize: 101568
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33038 0 0 0 73574 438 0 0 25 0 1 0 915569867 104300544 21526 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25464 21526 301 301 0 25163 0
vsize: 101856
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33112 0 0 0 74570 442 0 0 25 0 1 0 915569867 104775680 21600 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25580 21600 301 301 0 25279 0
vsize: 102320
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33183 0 0 0 75566 446 0 0 25 0 1 0 915569867 105103360 21671 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25660 21671 301 301 0 25359 0
vsize: 102640
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33250 0 0 0 76561 452 0 0 25 0 1 0 915569867 105402368 21738 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25733 21738 301 301 0 25432 0
vsize: 102932
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33272 0 0 0 77556 457 0 0 25 0 1 0 915569867 105402368 21760 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25733 21760 301 301 0 25432 0
vsize: 102932
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33277 0 0 0 78552 461 0 0 25 0 1 0 915569867 105402368 21765 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25733 21765 301 301 0 25432 0
vsize: 102932
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33316 0 0 0 79546 467 0 0 25 0 1 0 915569867 105549824 21804 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25769 21804 301 301 0 25468 0
vsize: 103076
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33336 0 0 0 80541 472 0 0 25 0 1 0 915569867 105713664 21824 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25809 21824 301 301 0 25508 0
vsize: 103236
[startup+820.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33358 0 0 0 81536 477 0 0 25 0 1 0 915569867 105713664 21846 4294967295 134512640 135730672 3221224576 3221223184 134744655 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25809 21846 301 301 0 25508 0
vsize: 103236
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33382 0 0 0 82532 481 0 0 25 0 1 0 915569867 105713664 21870 4294967295 134512640 135730672 3221224576 3221223200 134748255 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25809 21870 301 301 0 25508 0
vsize: 103236
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33411 0 0 0 83527 487 0 0 25 0 1 0 915569867 105848832 21899 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25842 21899 301 301 0 25541 0
vsize: 103368
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33429 0 0 0 84521 493 0 0 25 0 1 0 915569867 105848832 21917 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25842 21917 301 301 0 25541 0
vsize: 103368
[startup+860.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33455 0 0 0 85516 498 0 0 25 0 1 0 915569867 105984000 21943 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25875 21943 301 301 0 25574 0
vsize: 103500
[startup+870.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33490 0 0 0 86512 503 0 0 25 0 1 0 915569867 106115072 21978 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25907 21978 301 301 0 25606 0
vsize: 103628
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33507 0 0 0 87507 508 0 0 25 0 1 0 915569867 106115072 21995 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25907 21995 301 301 0 25606 0
vsize: 103628
[startup+890.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33530 0 0 0 88500 515 0 0 25 0 1 0 915569867 106115072 22018 4294967295 134512640 135730672 3221224576 3221223232 134734829 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25907 22018 301 301 0 25606 0
vsize: 103628
[startup+900.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33557 0 0 0 89495 520 0 0 25 0 1 0 915569867 106250240 22045 4294967295 134512640 135730672 3221224576 3221222896 134732476 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25940 22045 301 301 0 25639 0
vsize: 103760
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33612 0 0 0 90491 524 0 0 25 0 1 0 915569867 106393600 22100 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 25975 22100 301 301 0 25674 0
vsize: 103900
[startup+920.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33654 0 0 0 91486 529 0 0 25 0 1 0 915569867 106532864 22142 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26009 22142 301 301 0 25708 0
vsize: 104036
[startup+930.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33680 0 0 0 92482 534 0 0 25 0 1 0 915569867 106672128 22168 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26043 22168 301 301 0 25742 0
vsize: 104172
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33710 0 0 0 93478 538 0 0 25 0 1 0 915569867 106811392 22198 4294967295 134512640 135730672 3221224576 3221223184 134744826 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26077 22198 301 301 0 25776 0
vsize: 104308
[startup+950.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33740 0 0 0 94474 541 0 0 25 0 1 0 915569867 106811392 22228 4294967295 134512640 135730672 3221224576 3221223072 134747610 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26077 22228 301 301 0 25776 0
vsize: 104308
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33796 0 0 0 95470 546 0 0 25 0 1 0 915569867 107110400 22284 4294967295 134512640 135730672 3221224576 3221223200 134748170 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26150 22284 301 301 0 25849 0
vsize: 104600
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33816 0 0 0 96465 551 0 0 25 0 1 0 915569867 107257856 22304 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26186 22304 301 301 0 25885 0
vsize: 104744
[startup+980.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33837 0 0 0 97460 556 0 0 25 0 1 0 915569867 107257856 22325 4294967295 134512640 135730672 3221224576 3221222896 134732493 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26186 22325 301 301 0 25885 0
vsize: 104744
[startup+990.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33882 0 0 0 98456 561 0 0 25 0 1 0 915569867 107397120 22370 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26220 22370 301 301 0 25919 0
vsize: 104880
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33911 0 0 0 99451 566 0 0 25 0 1 0 915569867 107532288 22399 4294967295 134512640 135730672 3221224576 3221223232 134734759 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26253 22399 301 301 0 25952 0
vsize: 105012
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33929 0 0 0 100447 570 0 0 25 0 1 0 915569867 107532288 22417 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26253 22417 301 301 0 25952 0
vsize: 105012
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 33961 0 0 0 101442 575 0 0 25 0 1 0 915569867 107667456 22449 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26286 22449 301 301 0 25985 0
vsize: 105144
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34038 0 0 0 102437 580 0 0 25 0 1 0 915569867 107933696 22526 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26351 22526 301 301 0 26050 0
vsize: 105404
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34064 0 0 0 103432 586 0 0 25 0 1 0 915569867 108072960 22552 4294967295 134512640 135730672 3221224576 3221223168 134747445 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26385 22552 301 301 0 26084 0
vsize: 105540
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34082 0 0 0 104426 591 0 0 25 0 1 0 915569867 108072960 22570 4294967295 134512640 135730672 3221224576 3221223232 134734832 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26385 22570 301 301 0 26084 0
vsize: 105540
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34118 0 0 0 105422 595 0 0 25 0 1 0 915569867 108208128 22606 4294967295 134512640 135730672 3221224576 3221223072 134747757 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26418 22606 301 301 0 26117 0
vsize: 105672
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34161 0 0 0 106418 600 0 0 25 0 1 0 915569867 108343296 22649 4294967295 134512640 135730672 3221224576 3221223072 134747592 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26451 22649 301 301 0 26150 0
vsize: 105804
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34186 0 0 0 107411 607 0 0 25 0 1 0 915569867 108478464 22674 4294967295 134512640 135730672 3221224576 3221223072 134747651 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26484 22674 301 301 0 26183 0
vsize: 105936
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34221 0 0 0 108405 613 0 0 25 0 1 0 915569867 108478464 22709 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26484 22709 301 301 0 26183 0
vsize: 105936
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34266 0 0 0 109402 617 0 0 25 0 1 0 915569867 108752896 22754 4294967295 134512640 135730672 3221224576 3221223264 134748464 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26551 22754 301 301 0 26250 0
vsize: 106204
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34303 0 0 0 110395 623 0 0 25 0 1 0 915569867 108752896 22791 4294967295 134512640 135730672 3221224576 3221223072 134747751 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26551 22791 301 301 0 26250 0
vsize: 106204
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34340 0 0 0 111390 629 0 0 25 0 1 0 915569867 108892160 22828 4294967295 134512640 135730672 3221224576 3221223072 134747856 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26585 22828 301 301 0 26284 0
vsize: 106340
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34391 0 0 0 112385 634 0 0 25 0 1 0 915569867 109031424 22879 4294967295 134512640 135730672 3221224576 3221222896 134732518 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26619 22879 301 301 0 26318 0
vsize: 106476
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34443 0 0 0 113380 639 0 0 25 0 1 0 915569867 109309952 22931 4294967295 134512640 135730672 3221224576 3221223072 134747541 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26687 22931 301 301 0 26386 0
vsize: 106748
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34503 0 0 0 114374 646 0 0 25 0 1 0 915569867 109613056 22991 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26761 22991 301 301 0 26460 0
vsize: 107044
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34540 0 0 0 115369 651 0 0 25 0 1 0 915569867 109613056 23028 4294967295 134512640 135730672 3221224576 3221223072 134747543 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26761 23028 301 301 0 26460 0
vsize: 107044
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34586 0 0 0 116362 658 0 0 25 0 1 0 915569867 109752320 23074 4294967295 134512640 135730672 3221224576 3221223072 134747568 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26795 23074 301 301 0 26494 0
vsize: 107180
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34616 0 0 0 117357 663 0 0 25 0 1 0 915569867 109891584 23104 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26829 23104 301 301 0 26528 0
vsize: 107316
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34663 0 0 0 118352 668 0 0 25 0 1 0 915569867 110030848 23151 4294967295 134512640 135730672 3221224576 3221223232 134734769 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26863 23151 301 301 0 26562 0
vsize: 107452
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 23551
Raw data (stat): 23551 (pb2sat-v2) R 23550 8378 8377 0 -1 0 34691 0 0 0 119348 672 0 0 25 0 1 0 915569867 110170112 23179 4294967295 134512640 135730672 3221224576 3221223196 135341601 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 26897 23179 301 301 0 26596 0
vsize: 107588
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.67 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 23551
Raw data (stat): 23551 (pb2sat-v2) Z 23550 8378 8377 0 -1 12 34693 0 0 0 119408 677 0 0 25 0 1 0 915569867 0 0 4294967295 0 0 0 0 0 0 16384 7 16384 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child status: 0
Real time (s): 1200.67
CPU time (s): 1200.85
CPU user time (s): 1194.08
CPU system time (s): 6.77097
CPU usage (%): 100.015
Max. virtual memory (Kb): 107588
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####