PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb
MD5SUM	0613a0c4894703648f95007e06fadc66
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	187033
Biggest coefficient in the objective function	2150851580428025856
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	882752655849462562816
Number of bits of the sum of numbers in the objective function	70
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	4277072243466308681728
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	3.46847
Number of variables	366703
Total number of constraints	6084
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	6084
Minimum length of a constraint	13
Maximum length of a constraint	6840
Trace number 42330

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 05:25:35 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25525 boxname=wulflinc6 idbench=825 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  0613a0c4894703648f95007e06fadc66  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-dfl001.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-dfl001.opb
IDLAUNCH: 25525
/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:        649752 kB
Buffers:         34240 kB
Cached:         327308 kB
SwapCached:       1028 kB
Active:          81720 kB
Inactive:       282052 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        649500 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            15472 kB
Committed_AS:    63844 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 05:43:56 (client local time) WITH STATUS 1 IN 1100.08 SECONDS
stats: 25525 7 1100.08 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified

	Unexpected exception :
	St9bad_alloc
#### 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.87 0.97 0.93 2/54 14482
Raw data (stat): 14482 (runsolver) R 14481 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968226340 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.0006 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 2104 0 0 0 995 4 0 0 25 0 1 0 968226340 7823360 1429 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1910 1429 301 301 0 1609 0
vsize: 7640
[startup+20.0003 s]
Raw data (loadavg): 0.90 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 2608 0 0 0 1994 5 0 0 25 0 1 0 968226340 9175040 1925 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2240 1925 301 301 0 1939 0
vsize: 8960
[startup+30.0008 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 3824 0 0 0 2991 9 0 0 25 0 1 0 968226340 13414400 2429 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3275 2429 301 301 0 2974 0
vsize: 13100
[startup+40.001 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 4017 0 0 0 3991 9 0 0 25 0 1 0 968226340 13819904 2617 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3374 2617 301 301 0 3073 0
vsize: 13496
[startup+50.0006 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 4275 0 0 0 4990 10 0 0 25 0 1 0 968226340 14495744 2871 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3539 2871 301 301 0 3238 0
vsize: 14156
[startup+60.0011 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 4508 0 0 0 5990 11 0 0 25 0 1 0 968226340 15036416 3100 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3671 3100 301 301 0 3370 0
vsize: 14684
[startup+70.0012 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 4719 0 0 0 6990 11 0 0 25 0 1 0 968226340 15577088 3308 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3803 3308 301 301 0 3502 0
vsize: 15212
[startup+80.0011 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 4915 0 0 0 7989 12 0 0 25 0 1 0 968226340 16117760 3501 4294967295 134512640 135730672 3221224576 3221221776 134579294 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3935 3501 301 301 0 3634 0
vsize: 15740
[startup+90.0016 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 5102 0 0 0 8989 13 0 0 25 0 1 0 968226340 16658432 3685 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4067 3685 301 301 0 3766 0
vsize: 16268
[startup+100.001 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 5280 0 0 0 9988 13 0 0 25 0 1 0 968226340 17063936 3860 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4166 3860 301 301 0 3865 0
vsize: 16664
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 5449 0 0 0 10988 14 0 0 25 0 1 0 968226340 17604608 4026 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4298 4026 301 301 0 3997 0
vsize: 17192
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 7473 0 0 0 11985 18 0 0 25 0 1 0 968226340 25407488 4638 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4638 301 301 0 5902 0
vsize: 24812
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 7528 0 0 0 12985 18 0 0 25 0 1 0 968226340 25407488 4690 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4690 301 301 0 5902 0
vsize: 24812
[startup+140.002 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 7580 0 0 0 13985 18 0 0 25 0 1 0 968226340 25407488 4740 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4740 301 301 0 5902 0
vsize: 24812
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 7646 0 0 0 14984 19 0 0 25 0 1 0 968226340 25407488 4803 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4803 301 301 0 5902 0
vsize: 24812
[startup+160.002 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 7709 0 0 0 15984 19 0 0 25 0 1 0 968226340 25407488 4864 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4864 301 301 0 5902 0
vsize: 24812
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 7799 0 0 0 16985 19 0 0 25 0 1 0 968226340 25677824 4952 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6269 4952 301 301 0 5968 0
vsize: 25076
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 7929 0 0 0 17984 20 0 0 25 0 1 0 968226340 25948160 5080 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6335 5080 301 301 0 6034 0
vsize: 25340
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 8057 0 0 0 18984 20 0 0 25 0 1 0 968226340 26353664 5206 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6434 5206 301 301 0 6133 0
vsize: 25736
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 8181 0 0 0 19984 21 0 0 25 0 1 0 968226340 26624000 5328 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6500 5328 301 301 0 6199 0
vsize: 26000
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 8304 0 0 0 20983 21 0 0 25 0 1 0 968226340 27029504 5449 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6599 5449 301 301 0 6298 0
vsize: 26396
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 8424 0 0 0 21983 21 0 0 25 0 1 0 968226340 27299840 5567 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6665 5567 301 301 0 6364 0
vsize: 26660
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 8539 0 0 0 22982 22 0 0 25 0 1 0 968226340 27570176 5680 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6731 5680 301 301 0 6430 0
vsize: 26924
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 8653 0 0 0 23982 22 0 0 25 0 1 0 968226340 27840512 5792 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5792 301 301 0 6496 0
vsize: 27188
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 8764 0 0 0 24983 23 0 0 25 0 1 0 968226340 28246016 5902 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6896 5902 301 301 0 6595 0
vsize: 27584
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 8874 0 0 0 25983 23 0 0 25 0 1 0 968226340 28516352 6010 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6962 6010 301 301 0 6661 0
vsize: 27848
[startup+270.004 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 8982 0 0 0 26982 23 0 0 25 0 1 0 968226340 28786688 6116 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7028 6116 301 301 0 6727 0
vsize: 28112
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 9090 0 0 0 27981 24 0 0 25 0 1 0 968226340 29057024 6222 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7094 6222 301 301 0 6793 0
vsize: 28376
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 9193 0 0 0 28981 24 0 0 25 0 1 0 968226340 29327360 6324 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7160 6324 301 301 0 6859 0
vsize: 28640
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 9296 0 0 0 29981 25 0 0 25 0 1 0 968226340 29597696 6425 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7226 6425 301 301 0 6925 0
vsize: 28904
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 9396 0 0 0 30981 26 0 0 25 0 1 0 968226340 29868032 6523 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7292 6523 301 301 0 6991 0
vsize: 29168
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 9496 0 0 0 31981 26 0 0 25 0 1 0 968226340 30138368 6622 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7358 6622 301 301 0 7057 0
vsize: 29432
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 9593 0 0 0 32980 26 0 0 25 0 1 0 968226340 30408704 6717 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7424 6717 301 301 0 7123 0
vsize: 29696
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 9689 0 0 0 33981 26 0 0 25 0 1 0 968226340 30679040 6812 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7490 6812 301 301 0 7189 0
vsize: 29960
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 9784 0 0 0 34981 27 0 0 25 0 1 0 968226340 30949376 6905 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7556 6905 301 301 0 7255 0
vsize: 30224
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 9877 0 0 0 35981 27 0 0 25 0 1 0 968226340 31084544 6997 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6997 301 301 0 7288 0
vsize: 30356
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 9970 0 0 0 36981 27 0 0 25 0 1 0 968226340 31354880 7088 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7088 301 301 0 7354 0
vsize: 30620
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 10061 0 0 0 37981 28 0 0 25 0 1 0 968226340 31625216 7178 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7721 7178 301 301 0 7420 0
vsize: 30884
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 10152 0 0 0 38981 28 0 0 25 0 1 0 968226340 31895552 7267 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7787 7267 301 301 0 7486 0
vsize: 31148
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 10240 0 0 0 39981 28 0 0 25 0 1 0 968226340 32165888 7354 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7853 7354 301 301 0 7552 0
vsize: 31412
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 10328 0 0 0 40981 29 0 0 25 0 1 0 968226340 32301056 7440 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7886 7440 301 301 0 7585 0
vsize: 31544
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 10415 0 0 0 41981 29 0 0 25 0 1 0 968226340 32571392 7526 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7952 7526 301 301 0 7651 0
vsize: 31808
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 10501 0 0 0 42981 30 0 0 25 0 1 0 968226340 32841728 7611 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8018 7611 301 301 0 7717 0
vsize: 32072
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 10586 0 0 0 43981 30 0 0 25 0 1 0 968226340 32976896 7694 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7694 301 301 0 7750 0
vsize: 32204
[startup+450.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 10671 0 0 0 44981 30 0 0 25 0 1 0 968226340 33247232 7778 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8117 7778 301 301 0 7816 0
vsize: 32468
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 10754 0 0 0 45981 30 0 0 25 0 1 0 968226340 33517568 7859 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8183 7859 301 301 0 7882 0
vsize: 32732
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 10835 0 0 0 46981 30 0 0 25 0 1 0 968226340 33652736 7939 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8216 7939 301 301 0 7915 0
vsize: 32864
[startup+480.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 10916 0 0 0 47982 30 0 0 25 0 1 0 968226340 33923072 8019 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 8019 301 301 0 7981 0
vsize: 33128
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 14815 0 0 0 48976 36 0 0 25 0 1 0 968226340 49258496 9099 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9099 301 301 0 11725 0
vsize: 48104
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 14844 0 0 0 49977 36 0 0 25 0 1 0 968226340 49258496 9126 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9126 301 301 0 11725 0
vsize: 48104
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 14873 0 0 0 50976 36 0 0 25 0 1 0 968226340 49258496 9154 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9154 301 301 0 11725 0
vsize: 48104
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 14900 0 0 0 51976 36 0 0 25 0 1 0 968226340 49258496 9180 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9180 301 301 0 11725 0
vsize: 48104
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 14929 0 0 0 52976 36 0 0 25 0 1 0 968226340 49258496 9207 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9207 301 301 0 11725 0
vsize: 48104
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 14956 0 0 0 53976 36 0 0 25 0 1 0 968226340 49258496 9233 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9233 301 301 0 11725 0
vsize: 48104
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 14983 0 0 0 54976 37 0 0 25 0 1 0 968226340 49258496 9259 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9259 301 301 0 11725 0
vsize: 48104
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15008 0 0 0 55977 37 0 0 25 0 1 0 968226340 49258496 9283 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9283 301 301 0 11725 0
vsize: 48104
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15035 0 0 0 56976 37 0 0 25 0 1 0 968226340 49258496 9309 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9309 301 301 0 11725 0
vsize: 48104
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15062 0 0 0 57976 38 0 0 25 0 1 0 968226340 49258496 9334 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9334 301 301 0 11725 0
vsize: 48104
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15088 0 0 0 58976 38 0 0 25 0 1 0 968226340 49258496 9359 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9359 301 301 0 11725 0
vsize: 48104
[startup+600.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15113 0 0 0 59976 38 0 0 25 0 1 0 968226340 49258496 9383 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9383 301 301 0 11725 0
vsize: 48104
[startup+610.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15139 0 0 0 60977 38 0 0 25 0 1 0 968226340 49258496 9408 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9408 301 301 0 11725 0
vsize: 48104
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15173 0 0 0 61977 39 0 0 25 0 1 0 968226340 49258496 9441 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9441 301 301 0 11725 0
vsize: 48104
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15215 0 0 0 62977 39 0 0 25 0 1 0 968226340 49258496 9482 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9482 301 301 0 11725 0
vsize: 48104
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15242 0 0 0 63977 39 0 0 25 0 1 0 968226340 49258496 9507 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9507 301 301 0 11725 0
vsize: 48104
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15266 0 0 0 64977 39 0 0 25 0 1 0 968226340 49258496 9530 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9530 301 301 0 11725 0
vsize: 48104
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15291 0 0 0 65977 39 0 0 25 0 1 0 968226340 49258496 9554 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9554 301 301 0 11725 0
vsize: 48104
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15315 0 0 0 66978 39 0 0 25 0 1 0 968226340 49258496 9577 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9577 301 301 0 11725 0
vsize: 48104
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15342 0 0 0 67977 40 0 0 25 0 1 0 968226340 49393664 9603 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12059 9603 301 301 0 11758 0
vsize: 48236
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15410 0 0 0 68978 40 0 0 25 0 1 0 968226340 49528832 9670 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12092 9670 301 301 0 11791 0
vsize: 48368
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15478 0 0 0 69977 40 0 0 25 0 1 0 968226340 49664000 9737 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12125 9737 301 301 0 11824 0
vsize: 48500
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15545 0 0 0 70978 40 0 0 25 0 1 0 968226340 49934336 9803 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12191 9803 301 301 0 11890 0
vsize: 48764
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15612 0 0 0 71978 40 0 0 25 0 1 0 968226340 50069504 9869 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12224 9869 301 301 0 11923 0
vsize: 48896
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15678 0 0 0 72978 41 0 0 25 0 1 0 968226340 50204672 9934 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12257 9934 301 301 0 11956 0
vsize: 49028
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15745 0 0 0 73978 41 0 0 25 0 1 0 968226340 50339840 9999 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12290 9999 301 301 0 11989 0
vsize: 49160
[startup+750.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15810 0 0 0 74978 41 0 0 25 0 1 0 968226340 50610176 10063 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12356 10063 301 301 0 12055 0
vsize: 49424
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15875 0 0 0 75977 41 0 0 25 0 1 0 968226340 50745344 10127 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12389 10127 301 301 0 12088 0
vsize: 49556
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 15940 0 0 0 76977 42 0 0 25 0 1 0 968226340 50880512 10191 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12422 10191 301 301 0 12121 0
vsize: 49688
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16006 0 0 0 77977 42 0 0 25 0 1 0 968226340 51150848 10256 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12488 10256 301 301 0 12187 0
vsize: 49952
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16069 0 0 0 78977 42 0 0 25 0 1 0 968226340 51286016 10318 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12521 10318 301 301 0 12220 0
vsize: 50084
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16133 0 0 0 79977 43 0 0 25 0 1 0 968226340 51421184 10381 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12554 10381 301 301 0 12253 0
vsize: 50216
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16195 0 0 0 80977 43 0 0 25 0 1 0 968226340 51556352 10442 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12587 10442 301 301 0 12286 0
vsize: 50348
[startup+820.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16258 0 0 0 81977 43 0 0 25 0 1 0 968226340 51691520 10504 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12620 10504 301 301 0 12319 0
vsize: 50480
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16320 0 0 0 82977 43 0 0 25 0 1 0 968226340 51961856 10565 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12686 10565 301 301 0 12385 0
vsize: 50744
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16382 0 0 0 83978 44 0 0 25 0 1 0 968226340 52097024 10626 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12719 10626 301 301 0 12418 0
vsize: 50876
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16444 0 0 0 84978 44 0 0 25 0 1 0 968226340 52232192 10687 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12752 10687 301 301 0 12451 0
vsize: 51008
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16505 0 0 0 85978 44 0 0 25 0 1 0 968226340 52367360 10747 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12785 10747 301 301 0 12484 0
vsize: 51140
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16565 0 0 0 86978 44 0 0 25 0 1 0 968226340 52502528 10806 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12818 10806 301 301 0 12517 0
vsize: 51272
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16626 0 0 0 87978 44 0 0 25 0 1 0 968226340 52772864 10866 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12884 10866 301 301 0 12583 0
vsize: 51536
[startup+890.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16687 0 0 0 88978 45 0 0 25 0 1 0 968226340 52908032 10926 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12917 10926 301 301 0 12616 0
vsize: 51668
[startup+900.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16746 0 0 0 89978 45 0 0 25 0 1 0 968226340 53043200 10984 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12950 10984 301 301 0 12649 0
vsize: 51800
[startup+910.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16805 0 0 0 90978 45 0 0 25 0 1 0 968226340 53178368 11042 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12983 11042 301 301 0 12682 0
vsize: 51932
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16864 0 0 0 91978 45 0 0 25 0 1 0 968226340 53313536 11100 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13016 11100 301 301 0 12715 0
vsize: 52064
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16924 0 0 0 92979 45 0 0 25 0 1 0 968226340 53448704 11159 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13049 11159 301 301 0 12748 0
vsize: 52196
[startup+940.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 16983 0 0 0 93979 46 0 0 25 0 1 0 968226340 53719040 11217 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13115 11217 301 301 0 12814 0
vsize: 52460
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 17040 0 0 0 94979 46 0 0 25 0 1 0 968226340 53854208 11274 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13148 11274 301 301 0 12847 0
vsize: 52592
[startup+960.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 17098 0 0 0 95979 46 0 0 25 0 1 0 968226340 53989376 11331 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13181 11331 301 301 0 12880 0
vsize: 52724
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 17155 0 0 0 96979 46 0 0 25 0 1 0 968226340 54124544 11387 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13214 11387 301 301 0 12913 0
vsize: 52856
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 17213 0 0 0 97980 46 0 0 25 0 1 0 968226340 54259712 11444 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13247 11444 301 301 0 12946 0
vsize: 52988
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 17270 0 0 0 98980 47 0 0 25 0 1 0 968226340 54394880 11500 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13280 11500 301 301 0 12979 0
vsize: 53120
[startup+1000.13 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 23872 0 0 0 99976 61 0 0 25 0 1 0 968226340 74641408 16558 4294967295 134512640 135730672 3221224576 3221166920 135284337 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 18223 16558 301 301 0 17922 0
vsize: 72892
[startup+1010.13 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 55268 0 0 0 100906 131 0 0 25 0 1 0 968226340 165310464 32365 4294967295 134512640 135730672 3221224576 3221196324 134612538 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 40359 32365 301 301 0 40058 0
vsize: 161436
[startup+1020.13 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 82646 0 0 0 101842 195 0 0 25 0 1 0 968226340 244436992 49797 4294967295 134512640 135730672 3221224576 3221074656 134786278 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 59677 49798 301 301 0 59376 0
vsize: 238708
[startup+1030.13 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 110047 0 0 0 102778 259 0 0 25 0 1 0 968226340 342228992 64697 4294967295 134512640 135730672 3221224576 3220660492 135284320 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83552 64697 301 301 0 83251 0
vsize: 334208
[startup+1040.13 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 151164 0 0 0 103700 338 0 0 25 0 1 0 968226340 474898432 87243 4294967295 134512640 135730672 3221224576 3220662724 135281187 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 115942 87243 301 301 0 115641 0
vsize: 463768
[startup+1050.14 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 163183 0 0 0 104678 361 0 0 25 0 1 0 968226340 470700032 98021 4294967295 134512640 135730672 3221224576 3220695668 135284040 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 114917 98022 301 301 0 114616 0
vsize: 459668
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 199729 0 0 0 105599 440 0 0 25 0 1 0 968226340 615460864 109818 4294967295 134512640 135730672 3221224576 3220662512 134784086 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 150259 109818 301 301 0 149958 0
vsize: 601036
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 218079 0 0 0 106564 475 0 0 25 0 1 0 968226340 641818624 127954 4294967295 134512640 135730672 3221224576 3220684440 134546567 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 156694 127954 301 301 0 156393 0
vsize: 626776
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 236923 0 0 0 107523 517 0 0 25 0 1 0 968226340 669126656 146578 4294967295 134512640 135730672 3221224576 3220660664 135301581 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 163361 146578 301 301 0 163060 0
vsize: 653444
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 252294 0 0 0 108493 547 0 0 25 0 1 0 968226340 741490688 161770 4294967295 134512640 135730672 3221224576 3220752504 135284119 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181028 161770 301 301 0 180727 0
vsize: 724112
[startup+1099.82 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 14482
Raw data (stat): 14482 (pb2sat-v2) R 14481 25568 25567 0 -1 0 252294 0 0 0 108493 547 0 0 25 0 1 0 968226340 741490688 161770 4294967295 134512640 135730672 3221224576 3220752504 135284119 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 181028 161770 301 301 0 180727 0
vsize: 0

Child status: 1
Real time (s): 1099.82
CPU time (s): 1100.08
CPU user time (s): 1094.22
CPU system time (s): 5.85811
CPU usage (%): 100.024
Max. virtual memory (Kb): 724112
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####