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-d6cube.opb
MD5SUM	6a4305210f653cc893fd9d3ee7862505
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	185520
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6640019433432
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	193273528320
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	11024119093221
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68674
Number of variables	185520
Total number of constraints	404
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	404
Minimum length of a constraint	30
Maximum length of a constraint	185520
Trace number 42322

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        734032 kB
Buffers:         34584 kB
Cached:         242428 kB
SwapCached:        700 kB
Active:          97028 kB
Inactive:       182108 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        733780 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5156 kB
Slab:            15804 kB
Committed_AS:    63716 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 05:39:20 (client local time) WITH STATUS 1 IN 1063.39 SECONDS
stats: 25522 7 1063.39 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): 1.02 0.97 0.91 2/54 9040
Raw data (stat): 9040 (runsolver) R 9039 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968203391 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.0014 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 2214 0 0 0 993 5 0 0 25 0 1 0 968203391 8093696 1538 4294967295 134512640 135730672 3221224576 3221221728 134610549 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1976 1538 301 301 0 1675 0
vsize: 7904
[startup+20.0023 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 2728 0 0 0 1992 7 0 0 25 0 1 0 968203391 9445376 2044 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2306 2044 301 301 0 2005 0
vsize: 9224
[startup+30.0031 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 3874 0 0 0 2989 10 0 0 25 0 1 0 968203391 13414400 2478 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3275 2478 301 301 0 2974 0
vsize: 13100
[startup+40.0039 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 4124 0 0 0 3988 11 0 0 25 0 1 0 968203391 14090240 2724 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3440 2724 301 301 0 3139 0
vsize: 13760
[startup+50.0045 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 4388 0 0 0 4987 12 0 0 25 0 1 0 968203391 14766080 2983 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3605 2983 301 301 0 3304 0
vsize: 14420
[startup+60.0053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 4618 0 0 0 5986 14 0 0 25 0 1 0 968203391 15441920 3210 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3770 3210 301 301 0 3469 0
vsize: 15080
[startup+70.0051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 4827 0 0 0 6985 15 0 0 25 0 1 0 968203391 15982592 3415 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3902 3415 301 301 0 3601 0
vsize: 15608
[startup+80.0058 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 5021 0 0 0 7985 15 0 0 25 0 1 0 968203391 16388096 3606 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4001 3606 301 301 0 3700 0
vsize: 16004
[startup+90.0066 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 5205 0 0 0 8984 16 0 0 25 0 1 0 968203391 16928768 3787 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4133 3787 301 301 0 3832 0
vsize: 16532
[startup+100.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 5380 0 0 0 9983 17 0 0 25 0 1 0 968203391 17334272 3959 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4232 3959 301 301 0 3931 0
vsize: 16928
[startup+110.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 7450 0 0 0 10977 24 0 0 25 0 1 0 968203391 25407488 4617 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4617 301 301 0 5902 0
vsize: 24812
[startup+120.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 7505 0 0 0 11977 24 0 0 25 0 1 0 968203391 25407488 4669 4294967295 134512640 135730672 3221224576 3221221664 134561675 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.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 7558 0 0 0 12976 25 0 0 25 0 1 0 968203391 25407488 4720 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4720 301 301 0 5902 0
vsize: 24812
[startup+140.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 7611 0 0 0 13976 25 0 0 25 0 1 0 968203391 25407488 4770 4294967295 134512640 135730672 3221224576 3221221664 134561667 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.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 7687 0 0 0 14976 26 0 0 25 0 1 0 968203391 25407488 4844 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6203 4844 301 301 0 5902 0
vsize: 24812
[startup+160.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 7744 0 0 0 15976 26 0 0 25 0 1 0 968203391 25542656 4899 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6236 4899 301 301 0 5935 0
vsize: 24944
[startup+170.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 7875 0 0 0 16975 27 0 0 25 0 1 0 968203391 25812992 5028 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6302 5028 301 301 0 6001 0
vsize: 25208
[startup+180.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 8005 0 0 0 17975 27 0 0 25 0 1 0 968203391 26218496 5156 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6401 5156 301 301 0 6100 0
vsize: 25604
[startup+190.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 8131 0 0 0 18974 28 0 0 25 0 1 0 968203391 26488832 5280 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6467 5280 301 301 0 6166 0
vsize: 25868
[startup+200.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 8254 0 0 0 19973 29 0 0 25 0 1 0 968203391 26894336 5401 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6566 5401 301 301 0 6265 0
vsize: 26264
[startup+210.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 8374 0 0 0 20973 30 0 0 25 0 1 0 968203391 27164672 5519 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6632 5519 301 301 0 6331 0
vsize: 26528
[startup+220.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 8491 0 0 0 21972 31 0 0 25 0 1 0 968203391 27435008 5634 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6698 5634 301 301 0 6397 0
vsize: 26792
[startup+230.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 8606 0 0 0 22971 32 0 0 25 0 1 0 968203391 27840512 5747 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6797 5747 301 301 0 6496 0
vsize: 27188
[startup+240.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 8720 0 0 0 23971 33 0 0 25 0 1 0 968203391 28110848 5859 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6863 5859 301 301 0 6562 0
vsize: 27452
[startup+250.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 8831 0 0 0 24970 33 0 0 25 0 1 0 968203391 28381184 5968 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6929 5968 301 301 0 6628 0
vsize: 27716
[startup+260.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 8938 0 0 0 25969 35 0 0 25 0 1 0 968203391 28651520 6074 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6995 6074 301 301 0 6694 0
vsize: 27980
[startup+270.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 9046 0 0 0 26969 35 0 0 25 0 1 0 968203391 28921856 6180 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7061 6180 301 301 0 6760 0
vsize: 28244
[startup+280.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 9151 0 0 0 27969 36 0 0 25 0 1 0 968203391 29192192 6283 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7127 6283 301 301 0 6826 0
vsize: 28508
[startup+290.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 9253 0 0 0 28968 36 0 0 25 0 1 0 968203391 29462528 6384 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7193 6384 301 301 0 6892 0
vsize: 28772
[startup+300.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 9356 0 0 0 29968 36 0 0 25 0 1 0 968203391 29732864 6485 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7259 6485 301 301 0 6958 0
vsize: 29036
[startup+310.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 9455 0 0 0 30967 37 0 0 25 0 1 0 968203391 30003200 6582 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7325 6582 301 301 0 7024 0
vsize: 29300
[startup+320.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 9554 0 0 0 31968 38 0 0 25 0 1 0 968203391 30273536 6680 4294967295 134512640 135730672 3221224576 3221221520 134539721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7391 6680 301 301 0 7090 0
vsize: 29564
[startup+330.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 9651 0 0 0 32967 38 0 0 25 0 1 0 968203391 30543872 6775 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7457 6775 301 301 0 7156 0
vsize: 29828
[startup+340.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 9746 0 0 0 33967 39 0 0 25 0 1 0 968203391 30814208 6869 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7523 6869 301 301 0 7222 0
vsize: 30092
[startup+350.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 9841 0 0 0 34966 40 0 0 25 0 1 0 968203391 31084544 6962 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7589 6962 301 301 0 7288 0
vsize: 30356
[startup+360.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 9933 0 0 0 35966 40 0 0 25 0 1 0 968203391 31354880 7053 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7655 7053 301 301 0 7354 0
vsize: 30620
[startup+370.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 10025 0 0 0 36965 41 0 0 25 0 1 0 968203391 31490048 7143 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7688 7143 301 301 0 7387 0
vsize: 30752
[startup+380.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 10116 0 0 0 37965 42 0 0 25 0 1 0 968203391 31760384 7233 4294967295 134512640 135730672 3221224576 3221221760 134610309 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7754 7233 301 301 0 7453 0
vsize: 31016
[startup+390.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 10207 0 0 0 38964 42 0 0 25 0 1 0 968203391 32030720 7322 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7820 7322 301 301 0 7519 0
vsize: 31280
[startup+400.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 10294 0 0 0 39964 43 0 0 25 0 1 0 968203391 32301056 7408 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7886 7408 301 301 0 7585 0
vsize: 31544
[startup+410.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 10382 0 0 0 40964 43 0 0 25 0 1 0 968203391 32436224 7494 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7919 7494 301 301 0 7618 0
vsize: 31676
[startup+420.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 10469 0 0 0 41963 44 0 0 25 0 1 0 968203391 32706560 7580 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7985 7580 301 301 0 7684 0
vsize: 31940
[startup+430.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 10553 0 0 0 42963 44 0 0 25 0 1 0 968203391 32976896 7663 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7663 301 301 0 7750 0
vsize: 32204
[startup+440.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 10639 0 0 0 43963 45 0 0 25 0 1 0 968203391 33112064 7747 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8084 7747 301 301 0 7783 0
vsize: 32336
[startup+450.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 10722 0 0 0 44962 46 0 0 25 0 1 0 968203391 33382400 7829 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8150 7829 301 301 0 7849 0
vsize: 32600
[startup+460.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 10804 0 0 0 45962 46 0 0 25 0 1 0 968203391 33652736 7910 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8216 7910 301 301 0 7915 0
vsize: 32864
[startup+470.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 10887 0 0 0 46961 46 0 0 25 0 1 0 968203391 33787904 7991 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8249 7991 301 301 0 7948 0
vsize: 32996
[startup+480.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 14542 0 0 0 47955 53 0 0 25 0 1 0 968203391 51359744 9340 4294967295 134512640 135730672 3221224576 3221221504 134608797 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12539 9341 301 301 0 12238 0
vsize: 50156
[startup+490.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 14833 0 0 0 48954 54 0 0 25 0 1 0 968203391 49258496 9117 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9117 301 301 0 11725 0
vsize: 48104
[startup+500.025 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 14862 0 0 0 49954 54 0 0 25 0 1 0 968203391 49258496 9144 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9144 301 301 0 11725 0
vsize: 48104
[startup+510.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 14890 0 0 0 50954 54 0 0 25 0 1 0 968203391 49258496 9171 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9171 301 301 0 11725 0
vsize: 48104
[startup+520.026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 14918 0 0 0 51955 54 0 0 25 0 1 0 968203391 49258496 9198 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9198 301 301 0 11725 0
vsize: 48104
[startup+530.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 14945 0 0 0 52954 54 0 0 25 0 1 0 968203391 49258496 9224 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9224 301 301 0 11725 0
vsize: 48104
[startup+540.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 14973 0 0 0 53954 55 0 0 25 0 1 0 968203391 49258496 9250 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9250 301 301 0 11725 0
vsize: 48104
[startup+550.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15000 0 0 0 54954 55 0 0 25 0 1 0 968203391 49258496 9276 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9276 301 301 0 11725 0
vsize: 48104
[startup+560.027 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15027 0 0 0 55954 55 0 0 25 0 1 0 968203391 49258496 9302 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9302 301 301 0 11725 0
vsize: 48104
[startup+570.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15054 0 0 0 56955 55 0 0 25 0 1 0 968203391 49258496 9328 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9328 301 301 0 11725 0
vsize: 48104
[startup+580.028 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15080 0 0 0 57955 55 0 0 25 0 1 0 968203391 49258496 9353 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9353 301 301 0 11725 0
vsize: 48104
[startup+590.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15106 0 0 0 58954 55 0 0 25 0 1 0 968203391 49258496 9377 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9377 301 301 0 11725 0
vsize: 48104
[startup+600.029 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15133 0 0 0 59954 55 0 0 25 0 1 0 968203391 49258496 9403 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9403 301 301 0 11725 0
vsize: 48104
[startup+610.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15161 0 0 0 60954 56 0 0 25 0 1 0 968203391 49258496 9430 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9430 301 301 0 11725 0
vsize: 48104
[startup+620.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15209 0 0 0 61954 56 0 0 25 0 1 0 968203391 49258496 9477 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9477 301 301 0 11725 0
vsize: 48104
[startup+630.03 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15235 0 0 0 62955 56 0 0 25 0 1 0 968203391 49258496 9502 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9502 301 301 0 11725 0
vsize: 48104
[startup+640.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15262 0 0 0 63955 56 0 0 25 0 1 0 968203391 49258496 9527 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12026 9527 301 301 0 11725 0
vsize: 48104
[startup+650.031 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15286 0 0 0 64954 56 0 0 25 0 1 0 968203391 49258496 9550 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9550 301 301 0 11725 0
vsize: 48104
[startup+660.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15311 0 0 0 65954 57 0 0 25 0 1 0 968203391 49258496 9574 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9574 301 301 0 11725 0
vsize: 48104
[startup+670.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15335 0 0 0 66953 57 0 0 25 0 1 0 968203391 49258496 9597 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12026 9597 301 301 0 11725 0
vsize: 48104
[startup+680.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15398 0 0 0 67953 57 0 0 25 0 1 0 968203391 49528832 9659 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12092 9659 301 301 0 11791 0
vsize: 48368
[startup+690.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15465 0 0 0 68953 57 0 0 25 0 1 0 968203391 49664000 9725 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12125 9725 301 301 0 11824 0
vsize: 48500
[startup+700.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15533 0 0 0 69952 58 0 0 25 0 1 0 968203391 49799168 9792 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9792 301 301 0 11857 0
vsize: 48632
[startup+710.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15600 0 0 0 70952 59 0 0 25 0 1 0 968203391 50069504 9858 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12224 9858 301 301 0 11923 0
vsize: 48896
[startup+720.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15666 0 0 0 71952 59 0 0 25 0 1 0 968203391 50204672 9923 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12257 9923 301 301 0 11956 0
vsize: 49028
[startup+730.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15731 0 0 0 72951 60 0 0 25 0 1 0 968203391 50339840 9987 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12290 9987 301 301 0 11989 0
vsize: 49160
[startup+740.036 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15797 0 0 0 73951 60 0 0 25 0 1 0 968203391 50475008 10052 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12323 10052 301 301 0 12022 0
vsize: 49292
[startup+750.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15863 0 0 0 74951 60 0 0 25 0 1 0 968203391 50745344 10117 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12389 10117 301 301 0 12088 0
vsize: 49556
[startup+760.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15928 0 0 0 75951 61 0 0 25 0 1 0 968203391 50880512 10180 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12422 10180 301 301 0 12121 0
vsize: 49688
[startup+770.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 15993 0 0 0 76950 62 0 0 25 0 1 0 968203391 51015680 10244 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12455 10244 301 301 0 12154 0
vsize: 49820
[startup+780.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16056 0 0 0 77950 62 0 0 25 0 1 0 968203391 51286016 10306 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12521 10306 301 301 0 12220 0
vsize: 50084
[startup+790.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16119 0 0 0 78949 63 0 0 25 0 1 0 968203391 51421184 10368 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12554 10368 301 301 0 12253 0
vsize: 50216
[startup+800.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16183 0 0 0 79948 64 0 0 25 0 1 0 968203391 51556352 10431 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12587 10431 301 301 0 12286 0
vsize: 50348
[startup+810.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16245 0 0 0 80948 64 0 0 25 0 1 0 968203391 51691520 10492 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12620 10492 301 301 0 12319 0
vsize: 50480
[startup+820.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16307 0 0 0 81948 65 0 0 25 0 1 0 968203391 51826688 10553 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12653 10553 301 301 0 12352 0
vsize: 50612
[startup+830.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16369 0 0 0 82947 65 0 0 25 0 1 0 968203391 52097024 10614 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12719 10614 301 301 0 12418 0
vsize: 50876
[startup+840.048 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16431 0 0 0 83947 66 0 0 25 0 1 0 968203391 52232192 10675 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12752 10675 301 301 0 12451 0
vsize: 51008
[startup+850.048 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16493 0 0 0 84946 66 0 0 25 0 1 0 968203391 52367360 10736 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12785 10736 301 301 0 12484 0
vsize: 51140
[startup+860.049 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16553 0 0 0 85946 67 0 0 25 0 1 0 968203391 52502528 10795 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12818 10795 301 301 0 12517 0
vsize: 51272
[startup+870.05 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16614 0 0 0 86946 67 0 0 25 0 1 0 968203391 52637696 10855 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12851 10855 301 301 0 12550 0
vsize: 51404
[startup+880.051 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16675 0 0 0 87946 67 0 0 25 0 1 0 968203391 52908032 10915 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12917 10915 301 301 0 12616 0
vsize: 51668
[startup+890.051 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16735 0 0 0 88946 68 0 0 25 0 1 0 968203391 53043200 10974 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12950 10974 301 301 0 12649 0
vsize: 51800
[startup+900.051 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16793 0 0 0 89945 68 0 0 25 0 1 0 968203391 53178368 11032 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12983 11032 301 301 0 12682 0
vsize: 51932
[startup+910.052 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16852 0 0 0 90944 69 0 0 25 0 1 0 968203391 53313536 11090 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13016 11090 301 301 0 12715 0
vsize: 52064
[startup+920.053 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16911 0 0 0 91944 70 0 0 25 0 1 0 968203391 53448704 11148 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13049 11148 301 301 0 12748 0
vsize: 52196
[startup+930.052 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 16970 0 0 0 92944 70 0 0 25 0 1 0 968203391 53583872 11206 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13082 11206 301 301 0 12781 0
vsize: 52328
[startup+940.053 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 17029 0 0 0 93943 71 0 0 25 0 1 0 968203391 53854208 11264 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13148 11264 301 301 0 12847 0
vsize: 52592
[startup+950.054 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 17086 0 0 0 94943 71 0 0 25 0 1 0 968203391 53989376 11320 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13181 11320 301 301 0 12880 0
vsize: 52724
[startup+960.054 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 17144 0 0 0 95942 72 0 0 25 0 1 0 968203391 54124544 11377 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13214 11377 301 301 0 12913 0
vsize: 52856
[startup+970.055 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 17201 0 0 0 96942 72 0 0 25 0 1 0 968203391 54259712 11433 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13247 11433 301 301 0 12946 0
vsize: 52988
[startup+980.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 41297 0 0 0 97889 125 0 0 25 0 1 0 968203391 130416640 24681 4294967295 134512640 135730672 3221224576 3221121656 134787727 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31840 24682 301 301 0 31539 0
vsize: 127360
[startup+990.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 74961 0 0 0 98820 195 0 0 25 0 1 0 968203391 245936128 42274 4294967295 134512640 135730672 3221224576 3220988400 134770759 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 60043 42274 301 301 0 59742 0
vsize: 240172
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 101437 0 0 0 99760 255 0 0 25 0 1 0 968203391 296419328 56211 4294967295 134512640 135730672 3221224576 3220706780 134606794 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 72368 56211 301 301 0 72067 0
vsize: 289472
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 118048 0 0 0 100721 293 0 0 25 0 1 0 968203391 341463040 72579 4294967295 134512640 135730672 3221224576 3221193408 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 83365 72579 301 301 0 83064 0
vsize: 333460
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 156526 0 0 0 101645 370 0 0 25 0 1 0 968203391 455335936 91444 4294967295 134512640 135730672 3221224576 3221214336 134770630 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111166 91444 301 301 0 110865 0
vsize: 444664
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 192465 0 0 0 102563 451 0 0 25 0 1 0 968203391 589553664 102601 4294967295 134512640 135730672 3221224576 3221035600 134784086 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 143934 102601 301 301 0 143633 0
vsize: 575736
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 208283 0 0 0 103526 489 0 0 25 0 1 0 968203391 594612224 118157 4294967295 134512640 135730672 3221224576 3221157712 134786278 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 145169 118158 301 301 0 144868 0
vsize: 580676
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 226043 0 0 0 104486 528 0 0 25 0 1 0 968203391 608534528 135660 4294967295 134512640 135730672 3221224576 3221086688 134786302 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 148568 135660 301 301 0 148267 0
vsize: 594272
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 237860 0 0 0 105455 559 0 0 25 0 1 0 968203391 666935296 146589 4294967295 134512640 135730672 3221224576 3221222828 135281206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162826 146589 301 301 0 162525 0
vsize: 651304
[startup+1063.3 s]
Raw data (loadavg): 1.00 0.99 0.92 1/53 9040
Raw data (stat): 9040 (pb2sat-v2) R 9039 7266 7265 0 -1 0 237860 0 0 0 105455 559 0 0 25 0 1 0 968203391 666935296 146589 4294967295 134512640 135730672 3221224576 3221222828 135281206 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 162826 146589 301 301 0 162525 0
vsize: 0

Child status: 1
Real time (s): 1063.3
CPU time (s): 1063.39
CPU user time (s): 1057.5
CPU system time (s): 5.8881
CPU usage (%): 100.009
Max. virtual memory (Kb): 651304
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####