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/submitted/een/normalized-nw04.opb
MD5SUM	c4c13764e2ea959929790d6ef6d0273c
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	87482
Biggest coefficient in the objective function	5220
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	120189580
Number of bits of the sum of numbers in the objective function	27
Biggest number in a constraint	42031
Number of bits of the biggest number in a constraint	16
Biggest sum of numbers in a constraint	120189580
Number of bits of the biggest sum of numbers	27
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	18.0483
Number of variables	87482
Total number of constraints	72
Number of constraints which are clauses	36
Number of constraints which are cardinality constraints (but not clauses)	36
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	599
Maximum length of a constraint	42032
Trace number 42279

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        755472 kB
Buffers:         34600 kB
Cached:         220092 kB
SwapCached:       1192 kB
Active:          90344 kB
Inactive:       166624 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        755220 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            16380 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 05:06:58 (client local time) WITH STATUS 1 IN 891.653 SECONDS
stats: 25490 7 891.653 1
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
c running zchaff...
c got solution with objective value: 70123
c big objective detected
c trying from 0 to 511

	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.91 0.94 0.94 2/55 12948
Raw data (stat): 12948 (runsolver) R 12947 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911169102 884736 94 4294967295 134512640 135332820 3221224480 3221219660 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.0004 s]
Raw data (loadavg): 0.93 0.94 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 2190 0 0 0 994 4 0 0 25 0 1 0 911169102 7958528 1513 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1943 1513 301 301 0 1642 0
vsize: 7772
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.94 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 2684 0 0 0 1993 5 0 0 25 0 1 0 911169102 9175040 1999 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2240 1999 301 301 0 1939 0
vsize: 8960
[startup+30.001 s]
Raw data (loadavg): 0.95 0.94 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 3813 0 0 0 2991 8 0 0 25 0 1 0 911169102 13144064 2416 4294967295 134512640 135730672 3221224592 3221221680 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3209 2416 301 301 0 2908 0
vsize: 12836
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.94 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 4060 0 0 0 3990 9 0 0 25 0 1 0 911169102 13819904 2658 4294967295 134512640 135730672 3221224592 3221221680 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3374 2658 301 301 0 3073 0
vsize: 13496
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.94 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 4317 0 0 0 4989 11 0 0 25 0 1 0 911169102 14495744 2911 4294967295 134512640 135730672 3221224592 3221221680 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3539 2911 301 301 0 3238 0
vsize: 14156
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.94 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 4548 0 0 0 5989 11 0 0 25 0 1 0 911169102 15036416 3138 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3671 3138 301 301 0 3370 0
vsize: 14684
[startup+70.0021 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 4758 0 0 0 6988 12 0 0 25 0 1 0 911169102 15577088 3345 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3803 3345 301 301 0 3502 0
vsize: 15212
[startup+80.0029 s]
Raw data (loadavg): 0.97 0.95 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 4950 0 0 0 7987 13 0 0 25 0 1 0 911169102 16117760 3534 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3935 3534 301 301 0 3634 0
vsize: 15740
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 5130 0 0 0 8987 13 0 0 25 0 1 0 911169102 16523264 3711 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4034 3711 301 301 0 3733 0
vsize: 16136
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 5300 0 0 0 9986 14 0 0 25 0 1 0 911169102 17063936 3878 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4166 3878 301 301 0 3865 0
vsize: 16664
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 7341 0 0 0 10982 19 0 0 25 0 1 0 911169102 24866816 4506 4294967295 134512640 135730672 3221224592 3221221680 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6071 4506 301 301 0 5770 0
vsize: 24284
[startup+120.004 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 7397 0 0 0 11981 19 0 0 25 0 1 0 911169102 24866816 4560 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6071 4560 301 301 0 5770 0
vsize: 24284
[startup+130.004 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 7452 0 0 0 12981 20 0 0 25 0 1 0 911169102 24866816 4612 4294967295 134512640 135730672 3221224592 3221221680 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6071 4612 301 301 0 5770 0
vsize: 24284
[startup+140.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 7504 0 0 0 13981 20 0 0 25 0 1 0 911169102 24866816 4662 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6071 4662 301 301 0 5770 0
vsize: 24284
[startup+150.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 7573 0 0 0 14981 20 0 0 25 0 1 0 911169102 24866816 4728 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6071 4728 301 301 0 5770 0
vsize: 24284
[startup+160.005 s]
Raw data (loadavg): 0.99 0.95 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 7647 0 0 0 15980 21 0 0 25 0 1 0 911169102 25001984 4800 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6104 4800 301 301 0 5803 0
vsize: 24416
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 7776 0 0 0 16980 21 0 0 25 0 1 0 911169102 25407488 4927 4294967295 134512640 135730672 3221224592 3221221680 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6203 4927 301 301 0 5902 0
vsize: 24812
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 7903 0 0 0 17979 22 0 0 25 0 1 0 911169102 25677824 5052 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6269 5052 301 301 0 5968 0
vsize: 25076
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 8026 0 0 0 18979 23 0 0 25 0 1 0 911169102 26083328 5173 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6368 5173 301 301 0 6067 0
vsize: 25472
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 8146 0 0 0 19979 23 0 0 25 0 1 0 911169102 26353664 5291 4294967295 134512640 135730672 3221224592 3221221904 134569496 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6434 5291 301 301 0 6133 0
vsize: 25736
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 17817 0 0 0 20957 45 0 0 25 0 1 0 911169102 59457536 11115 4294967295 134512640 135730672 3221224592 3221221680 134561675 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 14516 11115 301 301 0 14215 0
vsize: 58064
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 22553 0 0 0 21944 59 0 0 25 0 1 0 911169102 71389184 14257 4294967295 134512640 135730672 3221224592 3219066992 134546328 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 17429 14257 301 301 0 17128 0
vsize: 69716
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 29280 0 0 0 22928 75 0 0 25 0 1 0 911169102 89112576 17866 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 21756 17866 301 301 0 21455 0
vsize: 87024
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 38650 0 0 0 23907 96 0 0 25 0 1 0 911169102 125566976 22583 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30656 22583 301 301 0 30355 0
vsize: 122624
[startup+250.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 40979 0 0 0 24902 101 0 0 25 0 1 0 911169102 125665280 24868 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 30680 24868 301 301 0 30379 0
vsize: 122720
[startup+260.008 s]
Raw data (loadavg): 0.99 0.96 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 43832 0 0 0 25895 108 0 0 25 0 1 0 911169102 127754240 27670 4294967295 134512640 135730672 3221224592 3215730536 135284277 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 31190 27670 301 301 0 30889 0
vsize: 124760
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 52458 0 0 0 26875 128 0 0 25 0 1 0 911169102 155242496 30115 4294967295 134512640 135730672 3221224592 3217490884 135281221 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 37901 30115 301 301 0 37600 0
vsize: 151604
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 55174 0 0 0 27868 135 0 0 25 0 1 0 911169102 175341568 32797 4294967295 134512640 135730672 3221224592 3221221744 134607973 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 42808 32797 301 301 0 42507 0
vsize: 171232
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 56262 0 0 0 28865 139 0 0 25 0 1 0 911169102 176238592 33866 4294967295 134512640 135730672 3221224592 3220703984 134546366 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43027 33866 301 301 0 42726 0
vsize: 172108
[startup+300.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 57825 0 0 0 29862 142 0 0 25 0 1 0 911169102 178536448 35412 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 43588 35412 301 301 0 43287 0
vsize: 174352
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 74399 0 0 0 30830 174 0 0 25 0 1 0 911169102 235417600 42727 4294967295 134512640 135730672 3221224592 3221221680 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57475 42727 301 301 0 57174 0
vsize: 229900
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 74420 0 0 0 31829 175 0 0 25 0 1 0 911169102 235417600 42748 4294967295 134512640 135730672 3221224592 3221221680 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57475 42748 301 301 0 57174 0
vsize: 229900
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 77345 0 0 0 32823 182 0 0 25 0 1 0 911169102 237047808 45623 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57873 45623 301 301 0 57572 0
vsize: 231492
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 77370 0 0 0 33822 182 0 0 25 0 1 0 911169102 237047808 45648 4294967295 134512640 135730672 3221224592 3221221680 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57873 45648 301 301 0 57572 0
vsize: 231492
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 77399 0 0 0 34822 182 0 0 25 0 1 0 911169102 237047808 45677 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57873 45677 301 301 0 57572 0
vsize: 231492
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 80143 0 0 0 35815 189 0 0 25 0 1 0 911169102 237551616 48370 4294967295 134512640 135730672 3221224592 3221221680 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57996 48370 301 301 0 57695 0
vsize: 231984
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 80143 0 0 0 36815 190 0 0 25 0 1 0 911169102 237551616 48370 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57996 48370 301 301 0 57695 0
vsize: 231984
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 80171 0 0 0 37815 190 0 0 25 0 1 0 911169102 237551616 48398 4294967295 134512640 135730672 3221224592 3221221680 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 57996 48398 301 301 0 57695 0
vsize: 231984
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 95200 0 0 0 38781 225 0 0 25 0 1 0 911169102 288141312 51085 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70347 51085 301 301 0 70046 0
vsize: 281388
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 97936 0 0 0 39774 231 0 0 25 0 1 0 911169102 288268288 53768 4294967295 134512640 135730672 3221224592 3221221680 134561664 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70378 53768 301 301 0 70077 0
vsize: 281512
[startup+410.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 97936 0 0 0 40774 231 0 0 25 0 1 0 911169102 288268288 53768 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 70378 53768 301 301 0 70077 0
vsize: 281512
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 97962 0 0 0 41774 232 0 0 25 0 1 0 911169102 288268288 53794 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 70378 53794 301 301 0 70077 0
vsize: 281512
[startup+430.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 101227 0 0 0 42766 240 0 0 25 0 1 0 911169102 323719168 57005 4294967295 134512640 135730672 3221224592 3221221680 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79033 57005 301 301 0 78732 0
vsize: 316132
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 101227 0 0 0 43766 240 0 0 25 0 1 0 911169102 323719168 57005 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79033 57005 301 301 0 78732 0
vsize: 316132
[startup+450.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 101254 0 0 0 44765 241 0 0 25 0 1 0 911169102 323719168 57032 4294967295 134512640 135730672 3221224592 3221221680 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79033 57032 301 301 0 78732 0
vsize: 316132
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 101283 0 0 0 45765 241 0 0 25 0 1 0 911169102 323719168 57061 4294967295 134512640 135730672 3221224592 3221221536 134539721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79033 57061 301 301 0 78732 0
vsize: 316132
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 12948
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 104918 0 0 0 46756 250 0 0 25 0 1 0 911169102 327528448 60640 4294967295 134512640 135730672 3221224592 3218187072 135291069 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 79963 60640 301 301 0 79662 0
vsize: 319852
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.94 3/58 12984
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 105102 0 0 0 47755 250 0 0 25 0 1 0 911169102 327798784 60824 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 80029 60824 301 301 0 79728 0
vsize: 320116
[startup+490.078 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13001
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 109153 0 0 0 48752 260 0 0 25 0 1 0 911169102 332521472 64818 4294967295 134512640 135730672 3221224592 3221221904 134569031 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81182 64818 301 301 0 80881 0
vsize: 324728
[startup+500.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13001
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 109153 0 0 0 49752 260 0 0 25 0 1 0 911169102 332521472 64818 4294967295 134512640 135730672 3221224592 3221221680 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81182 64818 301 301 0 80881 0
vsize: 324728
[startup+510.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13001
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 109181 0 0 0 50752 261 0 0 25 0 1 0 911169102 332521472 64846 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 81182 64846 301 301 0 80881 0
vsize: 324728
[startup+520.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13001
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 109193 0 0 0 51751 261 0 0 25 0 1 0 911169102 332521472 64858 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 81182 64858 301 301 0 80881 0
vsize: 324728
[startup+530.081 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13001
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 115031 0 0 0 52735 276 0 0 25 0 1 0 911169102 341893120 70498 4294967295 134512640 135730672 3221224592 3221221744 134576379 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83470 70498 301 301 0 83169 0
vsize: 333880
[startup+540.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13003
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 115031 0 0 0 53735 277 0 0 25 0 1 0 911169102 341893120 70498 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83470 70498 301 301 0 83169 0
vsize: 333880
[startup+550.081 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13003
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 115031 0 0 0 54735 277 0 0 25 0 1 0 911169102 341893120 70498 4294967295 134512640 135730672 3221224592 3221221680 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83470 70498 301 301 0 83169 0
vsize: 333880
[startup+560.082 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 115065 0 0 0 55736 277 0 0 25 0 1 0 911169102 341893120 70532 4294967295 134512640 135730672 3221224592 3221221680 134561688 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83470 70532 301 301 0 83169 0
vsize: 333880
[startup+570.082 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 115065 0 0 0 56736 277 0 0 25 0 1 0 911169102 341893120 70532 4294967295 134512640 135730672 3221224592 3221221680 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 83470 70532 301 301 0 83169 0
vsize: 333880
[startup+580.082 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 130631 0 0 0 57705 307 0 0 25 0 1 0 911169102 504545280 85583 4294967295 134512640 135730672 3221224592 3210204188 135301630 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 123180 85583 301 301 0 122879 0
vsize: 492720
[startup+590.081 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 147009 0 0 0 58674 338 0 0 25 0 1 0 911169102 454053888 83973 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110853 83973 301 301 0 110552 0
vsize: 443412
[startup+600.081 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 147009 0 0 0 59674 338 0 0 25 0 1 0 911169102 454053888 83973 4294967295 134512640 135730672 3221224592 3221221680 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110853 83973 301 301 0 110552 0
vsize: 443412
[startup+610.081 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 147043 0 0 0 60674 338 0 0 25 0 1 0 911169102 454053888 84007 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110853 84007 301 301 0 110552 0
vsize: 443412
[startup+620.081 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 147043 0 0 0 61674 338 0 0 25 0 1 0 911169102 454053888 84007 4294967295 134512640 135730672 3221224592 3221221680 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110853 84007 301 301 0 110552 0
vsize: 443412
[startup+630.08 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 147043 0 0 0 62674 338 0 0 25 0 1 0 911169102 454053888 84007 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110853 84007 301 301 0 110552 0
vsize: 443412
[startup+640.082 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 150595 0 0 0 63667 346 0 0 25 0 1 0 911169102 454074368 87490 4294967295 134512640 135730672 3221224592 3221221680 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110858 87490 301 301 0 110557 0
vsize: 443432
[startup+650.082 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 150595 0 0 0 64666 346 0 0 25 0 1 0 911169102 454074368 87490 4294967295 134512640 135730672 3221224592 3221221680 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110858 87490 301 301 0 110557 0
vsize: 443432
[startup+660.082 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 150595 0 0 0 65665 346 0 0 25 0 1 0 911169102 454074368 87490 4294967295 134512640 135730672 3221224592 3221220832 134543510 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110858 87490 301 301 0 110557 0
vsize: 443432
[startup+670.083 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 150629 0 0 0 66664 347 0 0 25 0 1 0 911169102 454074368 87524 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110858 87524 301 301 0 110557 0
vsize: 443432
[startup+680.083 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 150629 0 0 0 67663 348 0 0 25 0 1 0 911169102 454074368 87524 4294967295 134512640 135730672 3221224592 3221221680 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110858 87524 301 301 0 110557 0
vsize: 443432
[startup+690.083 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 154180 0 0 0 68654 357 0 0 25 0 1 0 911169102 454086656 91005 4294967295 134512640 135730672 3221224592 3221221680 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110861 91005 301 301 0 110560 0
vsize: 443444
[startup+700.083 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 154180 0 0 0 69654 357 0 0 25 0 1 0 911169102 454086656 91005 4294967295 134512640 135730672 3221224592 3221221680 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110861 91005 301 301 0 110560 0
vsize: 443444
[startup+710.084 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 154180 0 0 0 70654 357 0 0 25 0 1 0 911169102 454086656 91005 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 110861 91005 301 301 0 110560 0
vsize: 443444
[startup+720.084 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 154215 0 0 0 71653 358 0 0 25 0 1 0 911169102 454086656 91040 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110861 91040 301 301 0 110560 0
vsize: 443444
[startup+730.084 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 154215 0 0 0 72653 358 0 0 25 0 1 0 911169102 454086656 91040 4294967295 134512640 135730672 3221224592 3221221680 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 110861 91040 301 301 0 110560 0
vsize: 443444
[startup+740.084 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 156204 0 0 0 73649 362 0 0 25 0 1 0 911169102 454701056 92989 4294967295 134512640 135730672 3221224592 3218969504 135282223 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111011 92990 301 301 0 110710 0
vsize: 444044
[startup+750.084 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 158050 0 0 0 74645 366 0 0 25 0 1 0 911169102 454701056 94803 4294967295 134512640 135730672 3221224592 3221221680 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111011 94803 301 301 0 110710 0
vsize: 444044
[startup+760.084 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 158050 0 0 0 75645 366 0 0 25 0 1 0 911169102 454701056 94803 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 111011 94803 301 301 0 110710 0
vsize: 444044
[startup+770.083 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 158086 0 0 0 76644 366 0 0 25 0 1 0 911169102 454701056 94839 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111011 94839 301 301 0 110710 0
vsize: 444044
[startup+780.083 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 158086 0 0 0 77645 366 0 0 25 0 1 0 911169102 454701056 94839 4294967295 134512640 135730672 3221224592 3221221680 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111011 94839 301 301 0 110710 0
vsize: 444044
[startup+790.083 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 158086 0 0 0 78645 366 0 0 25 0 1 0 911169102 454701056 94839 4294967295 134512640 135730672 3221224592 3221221680 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111011 94839 301 301 0 110710 0
vsize: 444044
[startup+800.083 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13005
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 158097 0 0 0 79645 366 0 0 25 0 1 0 911169102 454701056 94850 4294967295 134512640 135730672 3221224592 3221221680 134561684 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 111011 94850 301 301 0 110710 0
vsize: 444044
[startup+810.084 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13007
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 187445 0 0 0 80574 438 0 0 25 0 1 0 911169102 557723648 99539 4294967295 134512640 135730672 3221224592 3221221680 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136163 99539 301 301 0 135862 0
vsize: 544652
[startup+820.084 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13007
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 187445 0 0 0 81573 438 0 0 25 0 1 0 911169102 557723648 99539 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 136163 99539 301 301 0 135862 0
vsize: 544652
[startup+830.084 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13007
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 187445 0 0 0 82573 438 0 0 25 0 1 0 911169102 557723648 99539 4294967295 134512640 135730672 3221224592 3221221680 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136163 99539 301 301 0 135862 0
vsize: 544652
[startup+840.085 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13007
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 187445 0 0 0 83573 438 0 0 25 0 1 0 911169102 557723648 99539 4294967295 134512640 135730672 3221224592 3221221680 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 136163 99539 301 301 0 135862 0
vsize: 544652
[startup+850.086 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13007
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 192805 0 0 0 84561 451 0 0 25 0 1 0 911169102 568610816 102241 4294967295 134512640 135730672 3221224592 3221222896 134747592 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 138821 102241 301 301 0 138520 0
vsize: 555284
[startup+860.086 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13007
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 205932 0 0 0 85519 492 0 0 25 0 1 0 911169102 634699776 115138 4294967295 134512640 135730672 3221224592 3197899864 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 154956 115138 301 301 0 154655 0
vsize: 619824
[startup+870.085 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13007
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 228241 0 0 0 86463 548 0 0 25 0 1 0 911169102 672411648 137154 4294967295 134512640 135730672 3221224592 3188773708 135109328 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 164163 137155 301 301 0 163862 0
vsize: 656652
[startup+880.085 s]
Raw data (loadavg): 0.99 0.97 0.94 3/55 13007
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 249012 0 0 0 87415 596 0 0 25 0 1 0 911169102 704987136 157669 4294967295 134512640 135730672 3221224592 3214644496 134770149 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 172116 157669 301 301 0 171815 0
vsize: 688464
[startup+890.085 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 13007
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 250920 0 0 0 88397 614 0 0 25 0 1 0 911169102 391483392 95078 4294967295 134512640 135730672 3221224592 3221222848 135282716 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95577 95078 301 301 0 95276 0
vsize: 382308
[startup+891.616 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 13007
Raw data (stat): 12948 (pb2sat-v2) R 12947 8378 8377 0 -1 0 250920 0 0 0 88397 614 0 0 25 0 1 0 911169102 391483392 95078 4294967295 134512640 135730672 3221224592 3221222848 135282716 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 95577 95078 301 301 0 95276 0
vsize: 0

Child status: 1
Real time (s): 891.616
CPU time (s): 891.653
CPU user time (s): 885.309
CPU system time (s): 6.34404
CPU usage (%): 100.004
Max. virtual memory (Kb): 688464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####