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-sp97ar.opb
MD5SUM	d98db64f69c8547ad0880486d1128dd0
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	183313
Biggest coefficient in the objective function	19194096394240
Number of bits for the biggest coefficient in the objective function	45
Sum of the numbers in the objective function	127830561163966644
Number of bits of the sum of numbers in the objective function	57
Biggest number in a constraint	19194096394240
Number of bits of the biggest number in a constraint	45
Biggest sum of numbers in a constraint	127830561163966644
Number of bits of the biggest sum of numbers	57
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68874
Number of variables	183313
Total number of constraints	1761
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1761
Minimum length of a constraint	13
Maximum length of a constraint	32019
Trace number 42874

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 17:11:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=26087 boxname=wulflinc6 idbench=1387 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  d98db64f69c8547ad0880486d1128dd0  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sp97ar.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-13-7-sp97ar.opb
IDLAUNCH: 26087
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        551512 kB
Buffers:         26020 kB
Cached:         433544 kB
SwapCached:       1000 kB
Active:          93464 kB
Inactive:       368240 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        551260 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5092 kB
Slab:            15620 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 17:31:53 (client local time) WITH STATUS 0 IN 1202.42 SECONDS
stats: 26087 7 1202.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
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.94 0.97 0.91 1/54 23800
Raw data (stat): 23800 (runsolver) R 23799 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 972464351 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.0002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 2143 0 0 0 994 5 0 0 25 0 1 0 972464351 7958528 1467 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1943 1467 301 301 0 1642 0
vsize: 7772
[startup+20 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 2713 0 0 0 1993 6 0 0 25 0 1 0 972464351 9445376 2027 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2306 2027 301 301 0 2005 0
vsize: 9224
[startup+29.9996 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 3876 0 0 0 2991 8 0 0 25 0 1 0 972464351 13414400 2478 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2478 301 301 0 2974 0
vsize: 13100
[startup+39.9993 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 4125 0 0 0 3990 9 0 0 25 0 1 0 972464351 14090240 2723 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3440 2723 301 301 0 3139 0
vsize: 13760
[startup+49.9994 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 4387 0 0 0 4990 9 0 0 25 0 1 0 972464351 14766080 2980 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3605 2980 301 301 0 3304 0
vsize: 14420
[startup+59.9989 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 4617 0 0 0 5990 9 0 0 25 0 1 0 972464351 15306752 3207 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3737 3207 301 301 0 3436 0
vsize: 14948
[startup+69.9991 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 4832 0 0 0 6990 9 0 0 25 0 1 0 972464351 15982592 3418 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3902 3418 301 301 0 3601 0
vsize: 15608
[startup+79.9989 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 5025 0 0 0 7989 10 0 0 25 0 1 0 972464351 16388096 3608 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3608 301 301 0 3700 0
vsize: 16004
[startup+89.9995 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 5208 0 0 0 8989 10 0 0 25 0 1 0 972464351 16928768 3788 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3788 301 301 0 3832 0
vsize: 16532
[startup+99.9992 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 5381 0 0 0 9988 11 0 0 25 0 1 0 972464351 17334272 3958 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3958 301 301 0 3931 0
vsize: 16928
[startup+109.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 7451 0 0 0 10985 15 0 0 25 0 1 0 972464351 25407488 4616 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4616 301 301 0 5902 0
vsize: 24812
[startup+120 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 7507 0 0 0 11985 15 0 0 25 0 1 0 972464351 25407488 4669 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4669 301 301 0 5902 0
vsize: 24812
[startup+130 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 7561 0 0 0 12984 16 0 0 25 0 1 0 972464351 25407488 4721 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4721 301 301 0 5902 0
vsize: 24812
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 7613 0 0 0 13984 17 0 0 25 0 1 0 972464351 25407488 4770 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4770 301 301 0 5902 0
vsize: 24812
[startup+150 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 7690 0 0 0 14984 17 0 0 25 0 1 0 972464351 25407488 4845 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4845 301 301 0 5902 0
vsize: 24812
[startup+160 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 7750 0 0 0 15983 18 0 0 25 0 1 0 972464351 25542656 4903 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4903 301 301 0 5935 0
vsize: 24944
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 7883 0 0 0 16982 19 0 0 25 0 1 0 972464351 25812992 5034 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 5034 301 301 0 6001 0
vsize: 25208
[startup+180.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 8012 0 0 0 17982 20 0 0 25 0 1 0 972464351 26218496 5161 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5161 301 301 0 6100 0
vsize: 25604
[startup+190.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 8139 0 0 0 18980 21 0 0 25 0 1 0 972464351 26488832 5286 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5286 301 301 0 6166 0
vsize: 25868
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 8263 0 0 0 19980 22 0 0 25 0 1 0 972464351 26894336 5408 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5408 301 301 0 6265 0
vsize: 26264
[startup+210.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 8384 0 0 0 20980 22 0 0 25 0 1 0 972464351 27164672 5527 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5527 301 301 0 6331 0
vsize: 26528
[startup+220.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 8502 0 0 0 21979 23 0 0 25 0 1 0 972464351 27570176 5643 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6731 5643 301 301 0 6430 0
vsize: 26924
[startup+230.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 8618 0 0 0 22978 24 0 0 25 0 1 0 972464351 27840512 5757 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5757 301 301 0 6496 0
vsize: 27188
[startup+240.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 8730 0 0 0 23978 25 0 0 25 0 1 0 972464351 28110848 5867 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5867 301 301 0 6562 0
vsize: 27452
[startup+250.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 8841 0 0 0 24978 25 0 0 25 0 1 0 972464351 28381184 5976 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5976 301 301 0 6628 0
vsize: 27716
[startup+260.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 8949 0 0 0 25978 25 0 0 25 0 1 0 972464351 28651520 6083 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6083 301 301 0 6694 0
vsize: 27980
[startup+270.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 9056 0 0 0 26977 26 0 0 25 0 1 0 972464351 28921856 6188 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6188 301 301 0 6760 0
vsize: 28244
[startup+280.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 9162 0 0 0 27977 27 0 0 25 0 1 0 972464351 29192192 6292 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7127 6292 301 301 0 6826 0
vsize: 28508
[startup+290.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 9265 0 0 0 28977 27 0 0 25 0 1 0 972464351 29462528 6393 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6393 301 301 0 6892 0
vsize: 28772
[startup+300.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 9366 0 0 0 29977 28 0 0 25 0 1 0 972464351 29732864 6493 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6493 301 301 0 6958 0
vsize: 29036
[startup+310.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 9467 0 0 0 30976 28 0 0 25 0 1 0 972464351 30003200 6592 4294967295 134512640 135730672 3221224576 3221221776 134579277 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7325 6592 301 301 0 7024 0
vsize: 29300
[startup+320.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 9565 0 0 0 31975 30 0 0 25 0 1 0 972464351 30273536 6689 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6689 301 301 0 7090 0
vsize: 29564
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 9661 0 0 0 32975 30 0 0 25 0 1 0 972464351 30543872 6783 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6783 301 301 0 7156 0
vsize: 29828
[startup+340.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 9757 0 0 0 33975 30 0 0 25 0 1 0 972464351 30814208 6878 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6878 301 301 0 7222 0
vsize: 30092
[startup+350.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 9852 0 0 0 34975 31 0 0 25 0 1 0 972464351 31084544 6971 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6971 301 301 0 7288 0
vsize: 30356
[startup+360.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 9943 0 0 0 35975 32 0 0 25 0 1 0 972464351 31354880 7061 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7061 301 301 0 7354 0
vsize: 30620
[startup+370.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 10036 0 0 0 36974 32 0 0 25 0 1 0 972464351 31490048 7152 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7152 301 301 0 7387 0
vsize: 30752
[startup+380.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 10125 0 0 0 37975 32 0 0 25 0 1 0 972464351 31760384 7240 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7240 301 301 0 7453 0
vsize: 31016
[startup+390.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 10215 0 0 0 38974 33 0 0 25 0 1 0 972464351 32030720 7328 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7328 301 301 0 7519 0
vsize: 31280
[startup+400.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 10304 0 0 0 39974 33 0 0 25 0 1 0 972464351 32301056 7416 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7886 7416 301 301 0 7585 0
vsize: 31544
[startup+410.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 10394 0 0 0 40974 33 0 0 25 0 1 0 972464351 32436224 7504 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7919 7504 301 301 0 7618 0
vsize: 31676
[startup+420.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 10479 0 0 0 41974 33 0 0 25 0 1 0 972464351 32706560 7588 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7985 7588 301 301 0 7684 0
vsize: 31940
[startup+430.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 10567 0 0 0 42974 34 0 0 25 0 1 0 972464351 32976896 7674 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8051 7674 301 301 0 7750 0
vsize: 32204
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 10651 0 0 0 43974 34 0 0 25 0 1 0 972464351 33247232 7757 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8117 7757 301 301 0 7816 0
vsize: 32468
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 10736 0 0 0 44974 34 0 0 25 0 1 0 972464351 33382400 7841 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8150 7841 301 301 0 7849 0
vsize: 32600
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 10819 0 0 0 45974 35 0 0 25 0 1 0 972464351 33652736 7922 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8216 7922 301 301 0 7915 0
vsize: 32864
[startup+470.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 10901 0 0 0 46974 35 0 0 25 0 1 0 972464351 33787904 8003 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8249 8003 301 301 0 7948 0
vsize: 32996
[startup+480.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 14811 0 0 0 47967 42 0 0 25 0 1 0 972464351 49258496 9094 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9094 301 301 0 11725 0
vsize: 48104
[startup+490.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 14840 0 0 0 48968 42 0 0 25 0 1 0 972464351 49258496 9122 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9122 301 301 0 11725 0
vsize: 48104
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 14869 0 0 0 49967 43 0 0 25 0 1 0 972464351 49258496 9149 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9149 301 301 0 11725 0
vsize: 48104
[startup+510.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 14897 0 0 0 50967 43 0 0 25 0 1 0 972464351 49258496 9176 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9176 301 301 0 11725 0
vsize: 48104
[startup+520.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 14925 0 0 0 51968 43 0 0 25 0 1 0 972464351 49258496 9203 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9203 301 301 0 11725 0
vsize: 48104
[startup+530.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 14953 0 0 0 52968 43 0 0 25 0 1 0 972464351 49258496 9229 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9229 301 301 0 11725 0
vsize: 48104
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 14980 0 0 0 53968 43 0 0 25 0 1 0 972464351 49258496 9255 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9255 301 301 0 11725 0
vsize: 48104
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15007 0 0 0 54969 43 0 0 25 0 1 0 972464351 49258496 9281 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9281 301 301 0 11725 0
vsize: 48104
[startup+560.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15034 0 0 0 55969 43 0 0 25 0 1 0 972464351 49258496 9307 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9307 301 301 0 11725 0
vsize: 48104
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15062 0 0 0 56969 44 0 0 25 0 1 0 972464351 49258496 9333 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9333 301 301 0 11725 0
vsize: 48104
[startup+580.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15087 0 0 0 57969 44 0 0 25 0 1 0 972464351 49258496 9357 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9357 301 301 0 11725 0
vsize: 48104
[startup+590.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15113 0 0 0 58970 44 0 0 25 0 1 0 972464351 49258496 9382 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9382 301 301 0 11725 0
vsize: 48104
[startup+600.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15139 0 0 0 59970 44 0 0 25 0 1 0 972464351 49258496 9407 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9407 301 301 0 11725 0
vsize: 48104
[startup+610.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15172 0 0 0 60970 44 0 0 25 0 1 0 972464351 49258496 9439 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9439 301 301 0 11725 0
vsize: 48104
[startup+620.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15216 0 0 0 61969 44 0 0 25 0 1 0 972464351 49258496 9482 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9482 301 301 0 11725 0
vsize: 48104
[startup+630.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15243 0 0 0 62970 44 0 0 25 0 1 0 972464351 49258496 9507 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9507 301 301 0 11725 0
vsize: 48104
[startup+640.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15268 0 0 0 63970 44 0 0 25 0 1 0 972464351 49258496 9531 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9531 301 301 0 11725 0
vsize: 48104
[startup+650.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15293 0 0 0 64970 44 0 0 25 0 1 0 972464351 49258496 9555 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9555 301 301 0 11725 0
vsize: 48104
[startup+660.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15318 0 0 0 65971 44 0 0 25 0 1 0 972464351 49258496 9579 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9579 301 301 0 11725 0
vsize: 48104
[startup+670.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15346 0 0 0 66971 44 0 0 25 0 1 0 972464351 49393664 9606 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12059 9606 301 301 0 11758 0
vsize: 48236
[startup+680.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15414 0 0 0 67971 45 0 0 25 0 1 0 972464351 49528832 9673 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12092 9673 301 301 0 11791 0
vsize: 48368
[startup+690.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15483 0 0 0 68971 45 0 0 25 0 1 0 972464351 49664000 9741 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12125 9741 301 301 0 11824 0
vsize: 48500
[startup+700.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15550 0 0 0 69971 45 0 0 25 0 1 0 972464351 49934336 9807 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12191 9807 301 301 0 11890 0
vsize: 48764
[startup+710.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15620 0 0 0 70971 45 0 0 25 0 1 0 972464351 50069504 9875 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12224 9875 301 301 0 11923 0
vsize: 48896
[startup+720.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15686 0 0 0 71971 46 0 0 25 0 1 0 972464351 50204672 9940 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12257 9940 301 301 0 11956 0
vsize: 49028
[startup+730.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15752 0 0 0 72971 46 0 0 25 0 1 0 972464351 50475008 10005 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12323 10005 301 301 0 12022 0
vsize: 49292
[startup+740.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15819 0 0 0 73971 46 0 0 25 0 1 0 972464351 50610176 10071 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12356 10071 301 301 0 12055 0
vsize: 49424
[startup+750.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15884 0 0 0 74971 47 0 0 25 0 1 0 972464351 50745344 10135 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12389 10135 301 301 0 12088 0
vsize: 49556
[startup+760.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 15949 0 0 0 75971 47 0 0 25 0 1 0 972464351 50880512 10199 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12422 10199 301 301 0 12121 0
vsize: 49688
[startup+770.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16014 0 0 0 76970 47 0 0 25 0 1 0 972464351 51150848 10263 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12488 10263 301 301 0 12187 0
vsize: 49952
[startup+780.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16078 0 0 0 77971 48 0 0 25 0 1 0 972464351 51286016 10326 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12521 10326 301 301 0 12220 0
vsize: 50084
[startup+790.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16141 0 0 0 78971 48 0 0 25 0 1 0 972464351 51421184 10388 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12554 10388 301 301 0 12253 0
vsize: 50216
[startup+800.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16207 0 0 0 79971 48 0 0 25 0 1 0 972464351 51556352 10453 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12587 10453 301 301 0 12286 0
vsize: 50348
[startup+810.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16269 0 0 0 80970 49 0 0 25 0 1 0 972464351 51826688 10514 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12653 10514 301 301 0 12352 0
vsize: 50612
[startup+820.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16332 0 0 0 81970 49 0 0 25 0 1 0 972464351 51961856 10576 4294967295 134512640 135730672 3221224576 3221221588 134540121 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12686 10576 301 301 0 12385 0
vsize: 50744
[startup+830.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16394 0 0 0 82971 49 0 0 25 0 1 0 972464351 52097024 10637 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12719 10637 301 301 0 12418 0
vsize: 50876
[startup+840.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16456 0 0 0 83971 49 0 0 25 0 1 0 972464351 52232192 10698 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12752 10698 301 301 0 12451 0
vsize: 51008
[startup+850.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16518 0 0 0 84971 50 0 0 25 0 1 0 972464351 52502528 10759 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12818 10759 301 301 0 12517 0
vsize: 51272
[startup+860.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16580 0 0 0 85971 50 0 0 25 0 1 0 972464351 52637696 10820 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12851 10820 301 301 0 12550 0
vsize: 51404
[startup+870.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16641 0 0 0 86970 50 0 0 25 0 1 0 972464351 52772864 10880 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12884 10880 301 301 0 12583 0
vsize: 51536
[startup+880.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16700 0 0 0 87970 51 0 0 25 0 1 0 972464351 52908032 10938 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12917 10938 301 301 0 12616 0
vsize: 51668
[startup+890.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16761 0 0 0 88970 51 0 0 25 0 1 0 972464351 53043200 10998 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12950 10998 301 301 0 12649 0
vsize: 51800
[startup+900.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16822 0 0 0 89970 51 0 0 25 0 1 0 972464351 53178368 11058 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12983 11058 301 301 0 12682 0
vsize: 51932
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16881 0 0 0 90970 52 0 0 25 0 1 0 972464351 53448704 11116 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13049 11116 301 301 0 12748 0
vsize: 52196
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 16941 0 0 0 91971 52 0 0 25 0 1 0 972464351 53583872 11175 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13082 11175 301 301 0 12781 0
vsize: 52328
[startup+930.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 17000 0 0 0 92970 52 0 0 25 0 1 0 972464351 53719040 11233 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13115 11233 301 301 0 12814 0
vsize: 52460
[startup+940.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 17060 0 0 0 93970 53 0 0 25 0 1 0 972464351 53854208 11292 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13148 11292 301 301 0 12847 0
vsize: 52592
[startup+950.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 18802 0 0 0 94967 56 0 0 25 0 1 0 972464351 60788736 12936 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14841 12936 301 301 0 14540 0
vsize: 59364
[startup+960.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 28845 0 0 0 95943 80 0 0 25 0 1 0 972464351 122146816 21341 4294967295 134512640 135730672 3221224576 3220526816 134775276 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 29821 21344 301 301 0 29520 0
vsize: 119284
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 38980 0 0 0 96918 106 0 0 25 0 1 0 972464351 123121664 25326 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30059 25326 301 301 0 29758 0
vsize: 120236
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 45392 0 0 0 97901 123 0 0 25 0 1 0 972464351 144093184 28595 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35179 28595 301 301 0 34878 0
vsize: 140716
[startup+990.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 48355 0 0 0 98894 130 0 0 25 0 1 0 972464351 145850368 31505 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 35608 31505 301 301 0 35307 0
vsize: 142432
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 50714 0 0 0 99889 136 0 0 25 0 1 0 972464351 148553728 33829 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 36268 33829 301 301 0 35967 0
vsize: 145072
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 72435 0 0 0 100848 177 0 0 25 0 1 0 972464351 229715968 39645 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 56083 39645 301 301 0 55782 0
vsize: 224332
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 75749 0 0 0 101838 187 0 0 25 0 1 0 972464351 246493184 42890 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60179 42890 301 301 0 59878 0
vsize: 240716
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 77036 0 0 0 102835 191 0 0 25 0 1 0 972464351 246493184 44150 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60179 44150 301 301 0 59878 0
vsize: 240716
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 78673 0 0 0 103831 195 0 0 25 0 1 0 972464351 247349248 45758 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60388 45758 301 301 0 60087 0
vsize: 241552
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 81548 0 0 0 104822 204 0 0 25 0 1 0 972464351 247349248 48576 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 60388 48576 301 301 0 60087 0
vsize: 241552
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 83239 0 0 0 105818 208 0 0 25 0 1 0 972464351 247349248 50232 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60388 50232 301 301 0 60087 0
vsize: 241552
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 85107 0 0 0 106813 213 0 0 25 0 1 0 972464351 247349248 52062 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60388 52062 301 301 0 60087 0
vsize: 241552
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 87417 0 0 0 107808 218 0 0 25 0 1 0 972464351 248025088 54326 4294967295 134512640 135730672 3221224576 3221221776 134579296 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60553 54326 301 301 0 60252 0
vsize: 242212
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 88935 0 0 0 108804 223 0 0 25 0 1 0 972464351 250187776 55824 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 61081 55824 301 301 0 60780 0
vsize: 244324
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 103131 0 0 0 109773 255 0 0 25 0 1 0 972464351 301600768 57696 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 73633 57696 301 301 0 73332 0
vsize: 294532
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 106954 0 0 0 110765 262 0 0 25 0 1 0 972464351 305520640 61459 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 74590 61459 301 301 0 74289 0
vsize: 298360
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 109414 0 0 0 111758 269 0 0 25 0 1 0 972464351 342183936 63884 4294967295 134512640 135730672 3221224576 3220292984 134549409 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83541 63884 301 301 0 83240 0
vsize: 334164
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 112847 0 0 0 112750 278 0 0 25 0 1 0 972464351 345292800 67261 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 84300 67261 301 301 0 83999 0
vsize: 337200
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 140899 0 0 0 113698 330 0 0 25 0 1 0 972464351 448622592 75838 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109527 75838 301 301 0 109226 0
vsize: 438108
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 142382 0 0 0 114695 333 0 0 25 0 1 0 972464351 448622592 77290 4294967295 134512640 135730672 3221224576 3221221024 135282246 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109527 77290 301 301 0 109226 0
vsize: 438108
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 145302 0 0 0 115688 341 0 0 25 0 1 0 972464351 448622592 80148 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109527 80148 301 301 0 109226 0
vsize: 438108
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 147577 0 0 0 116682 347 0 0 25 0 1 0 972464351 448622592 82375 4294967295 134512640 135730672 3221224576 3221221776 134579190 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 109527 82375 301 301 0 109226 0
vsize: 438108
[startup+1180.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 148815 0 0 0 117679 350 0 0 25 0 1 0 972464351 448622592 83586 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109527 83586 301 301 0 109226 0
vsize: 438108
[startup+1190.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 150313 0 0 0 118674 355 0 0 25 0 1 0 972464351 448622592 85052 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109527 85052 301 301 0 109226 0
vsize: 438108
[startup+1200.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 152276 0 0 0 119669 360 0 0 25 0 1 0 972464351 448622592 86973 4294967295 134512640 135730672 3221224576 3221221552 134540020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109527 86973 301 301 0 109226 0
vsize: 438108
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1202.14 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 23800
Raw data (stat): 23800 (pb2sat-v2) R 23799 25568 25567 0 -1 0 152276 0 0 0 119669 360 0 0 25 0 1 0 972464351 448622592 86973 4294967295 134512640 135730672 3221224576 3221221552 134540020 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 109527 86973 301 301 0 109226 0
vsize: 0

Child ended because it received signal 9 (SIGKILL)
Real time (s): 1202.14
CPU time (s): 1202.42
CPU user time (s): 1198.64
CPU system time (s): 3.78442
CPU usage (%): 100.023
Max. virtual memory (Kb): 438108
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####