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-80bau3b.opb
MD5SUM	482f3c6a016323a565c292702d2c5673
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	183640
Biggest coefficient in the objective function	179765856174080000
Number of bits for the biggest coefficient in the objective function	58
Sum of the numbers in the objective function	6977628092477113102
Number of bits of the sum of numbers in the objective function	63
Biggest number in a constraint	179765856174080000
Number of bits of the biggest number in a constraint	58
Biggest sum of numbers in a constraint	6977628092477113102
Number of bits of the biggest sum of numbers	63
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.14967
Number of variables	228990
Total number of constraints	5220
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	5220
Minimum length of a constraint	10
Maximum length of a constraint	3330
Trace number 42303

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-16 05:07:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=25503 boxname=wulflinc6 idbench=803 idsolver=18 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  482f3c6a016323a565c292702d2c5673  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-80bau3b.opb
REAL COMMAND:  pb2sat-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-80bau3b.opb
IDLAUNCH: 25503
/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:        674340 kB
Buffers:         34224 kB
Cached:         302708 kB
SwapCached:       1028 kB
Active:          85084 kB
Inactive:       254080 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        674088 kB
SwapTotal:     2097136 kB
SwapFree:      2095200 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            15456 kB
Committed_AS:    63848 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-16 05:25:19 (client local time) WITH STATUS 1 IN 1061.57 SECONDS
stats: 25503 7 1061.57 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.98 1.00 0.94 1/54 14389
Raw data (stat): 14389 (runsolver) R 14388 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 968118512 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 0 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0001 s]
Raw data (loadavg): 0.98 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 2134 0 0 0 995 4 0 0 25 0 1 0 968118512 7958528 1459 4294967295 134512640 135730672 3221224576 3221221664 134561677 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 1943 1459 301 301 0 1642 0
vsize: 7772
[startup+20.0003 s]
Raw data (loadavg): 0.98 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 2637 0 0 0 1994 6 0 0 25 0 1 0 968118512 9175040 1954 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2240 1954 301 301 0 1939 0
vsize: 8960
[startup+30.0005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 3848 0 0 0 2992 8 0 0 25 0 1 0 968118512 13549568 2453 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3308 2453 301 301 0 3007 0
vsize: 13232
[startup+40.0006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 4066 0 0 0 3992 9 0 0 25 0 1 0 968118512 13955072 2666 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3407 2666 301 301 0 3106 0
vsize: 13628
[startup+50.0007 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 4340 0 0 0 4991 10 0 0 25 0 1 0 968118512 14630912 2936 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3572 2936 301 301 0 3271 0
vsize: 14288
[startup+60.0009 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 4587 0 0 0 5989 12 0 0 25 0 1 0 968118512 15306752 3179 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3737 3179 301 301 0 3436 0
vsize: 14948
[startup+70.001 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 4816 0 0 0 6988 13 0 0 25 0 1 0 968118512 15982592 3404 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3902 3404 301 301 0 3601 0
vsize: 15608
[startup+80.0012 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 5026 0 0 0 7988 14 0 0 25 0 1 0 968118512 16523264 3611 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4034 3611 301 301 0 3733 0
vsize: 16136
[startup+90.0017 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 5221 0 0 0 8987 15 0 0 25 0 1 0 968118512 17063936 3803 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4166 3803 301 301 0 3865 0
vsize: 16664
[startup+100.001 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 5410 0 0 0 9987 16 0 0 25 0 1 0 968118512 17604608 3989 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4298 3989 301 301 0 3997 0
vsize: 17192
[startup+110.002 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 5584 0 0 0 10986 16 0 0 25 0 1 0 968118512 18010112 4160 4294967295 134512640 135730672 3221224576 3221221664 134561683 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4397 4160 301 301 0 4096 0
vsize: 17588
[startup+120.002 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 7571 0 0 0 11981 22 0 0 25 0 1 0 968118512 25677824 4735 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6269 4735 301 301 0 5968 0
vsize: 25076
[startup+130.002 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 7626 0 0 0 12981 23 0 0 25 0 1 0 968118512 25677824 4787 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6269 4787 301 301 0 5968 0
vsize: 25076
[startup+140.002 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 7679 0 0 0 13981 23 0 0 25 0 1 0 968118512 25677824 4838 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6269 4838 301 301 0 5968 0
vsize: 25076
[startup+150.003 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 7758 0 0 0 14980 24 0 0 25 0 1 0 968118512 25812992 4915 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6302 4915 301 301 0 6001 0
vsize: 25208
[startup+160.002 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 7830 0 0 0 15980 24 0 0 25 0 1 0 968118512 25948160 4984 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6335 4984 301 301 0 6034 0
vsize: 25340
[startup+170.003 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 7958 0 0 0 16980 25 0 0 25 0 1 0 968118512 26218496 5110 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6401 5110 301 301 0 6100 0
vsize: 25604
[startup+180.003 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 8093 0 0 0 17979 26 0 0 25 0 1 0 968118512 26624000 5243 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6500 5243 301 301 0 6199 0
vsize: 26000
[startup+190.003 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 8224 0 0 0 18979 27 0 0 25 0 1 0 968118512 26894336 5372 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6566 5372 301 301 0 6265 0
vsize: 26264
[startup+200.003 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 8353 0 0 0 19978 27 0 0 25 0 1 0 968118512 27299840 5499 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6665 5499 301 301 0 6364 0
vsize: 26660
[startup+210.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 8479 0 0 0 20978 28 0 0 25 0 1 0 968118512 27570176 5623 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6731 5623 301 301 0 6430 0
vsize: 26924
[startup+220.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 8602 0 0 0 21978 29 0 0 25 0 1 0 968118512 27975680 5744 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6830 5744 301 301 0 6529 0
vsize: 27320
[startup+230.004 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 8721 0 0 0 22978 29 0 0 25 0 1 0 968118512 28246016 5861 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6896 5861 301 301 0 6595 0
vsize: 27584
[startup+240.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 8836 0 0 0 23978 30 0 0 25 0 1 0 968118512 28516352 5974 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6962 5974 301 301 0 6661 0
vsize: 27848
[startup+250.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 8947 0 0 0 24978 30 0 0 25 0 1 0 968118512 28921856 6084 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7061 6084 301 301 0 6760 0
vsize: 28244
[startup+260.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 9057 0 0 0 25977 31 0 0 25 0 1 0 968118512 29192192 6192 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7127 6192 301 301 0 6826 0
vsize: 28508
[startup+270.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 9166 0 0 0 26977 31 0 0 25 0 1 0 968118512 29462528 6299 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7193 6299 301 301 0 6892 0
vsize: 28772
[startup+280.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 9272 0 0 0 27977 32 0 0 25 0 1 0 968118512 29732864 6403 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7259 6403 301 301 0 6958 0
vsize: 29036
[startup+290.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 9375 0 0 0 28976 32 0 0 25 0 1 0 968118512 30003200 6505 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7325 6505 301 301 0 7024 0
vsize: 29300
[startup+300.005 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 9478 0 0 0 29976 33 0 0 25 0 1 0 968118512 30273536 6606 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7391 6606 301 301 0 7090 0
vsize: 29564
[startup+310.006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 9580 0 0 0 30976 33 0 0 25 0 1 0 968118512 30543872 6706 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7457 6706 301 301 0 7156 0
vsize: 29828
[startup+320.006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 9678 0 0 0 31976 34 0 0 25 0 1 0 968118512 30814208 6803 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7523 6803 301 301 0 7222 0
vsize: 30092
[startup+330.006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 9776 0 0 0 32976 35 0 0 25 0 1 0 968118512 31084544 6899 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7589 6899 301 301 0 7288 0
vsize: 30356
[startup+340.006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 9873 0 0 0 33975 35 0 0 25 0 1 0 968118512 31354880 6995 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7655 6995 301 301 0 7354 0
vsize: 30620
[startup+350.006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 9969 0 0 0 34975 36 0 0 25 0 1 0 968118512 31625216 7089 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7721 7089 301 301 0 7420 0
vsize: 30884
[startup+360.006 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 10061 0 0 0 35975 36 0 0 25 0 1 0 968118512 31760384 7180 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7754 7180 301 301 0 7453 0
vsize: 31016
[startup+370.007 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 10155 0 0 0 36975 37 0 0 25 0 1 0 968118512 32030720 7272 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7820 7272 301 301 0 7519 0
vsize: 31280
[startup+380.007 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 10246 0 0 0 37975 37 0 0 25 0 1 0 968118512 32301056 7362 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7886 7362 301 301 0 7585 0
vsize: 31544
[startup+390.007 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 10337 0 0 0 38975 37 0 0 25 0 1 0 968118512 32571392 7451 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7952 7451 301 301 0 7651 0
vsize: 31808
[startup+400.007 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 10425 0 0 0 39975 38 0 0 25 0 1 0 968118512 32841728 7538 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8018 7538 301 301 0 7717 0
vsize: 32072
[startup+410.007 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 10513 0 0 0 40975 38 0 0 25 0 1 0 968118512 32976896 7624 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8051 7624 301 301 0 7750 0
vsize: 32204
[startup+420.007 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 10600 0 0 0 41975 38 0 0 25 0 1 0 968118512 33247232 7710 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8117 7710 301 301 0 7816 0
vsize: 32468
[startup+430.009 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 10684 0 0 0 42975 38 0 0 25 0 1 0 968118512 33517568 7793 4294967295 134512640 135730672 3221224576 3221221520 134539721 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8183 7793 301 301 0 7882 0
vsize: 32732
[startup+440.009 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 10770 0 0 0 43976 38 0 0 25 0 1 0 968118512 33652736 7877 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8216 7877 301 301 0 7915 0
vsize: 32864
[startup+450.009 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 10852 0 0 0 44975 39 0 0 25 0 1 0 968118512 33923072 7958 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8282 7958 301 301 0 7981 0
vsize: 33128
[startup+460.01 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 10935 0 0 0 45975 39 0 0 25 0 1 0 968118512 34193408 8040 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8348 8040 301 301 0 8047 0
vsize: 33392
[startup+470.01 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 11018 0 0 0 46974 40 0 0 25 0 1 0 968118512 34328576 8121 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8381 8121 301 301 0 8080 0
vsize: 33524
[startup+480.01 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 14423 0 0 0 47969 45 0 0 25 0 1 0 968118512 47702016 9220 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 11646 9220 301 301 0 11345 0
vsize: 46584
[startup+490.01 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 14964 0 0 0 48968 46 0 0 25 0 1 0 968118512 49799168 9247 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9247 301 301 0 11857 0
vsize: 48632
[startup+500.01 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 14993 0 0 0 49969 46 0 0 25 0 1 0 968118512 49799168 9274 4294967295 134512640 135730672 3221224576 3221221664 134561675 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9274 301 301 0 11857 0
vsize: 48632
[startup+510.011 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15020 0 0 0 50969 47 0 0 25 0 1 0 968118512 49799168 9300 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9300 301 301 0 11857 0
vsize: 48632
[startup+520.011 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15048 0 0 0 51968 47 0 0 25 0 1 0 968118512 49799168 9327 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9327 301 301 0 11857 0
vsize: 48632
[startup+530.011 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15075 0 0 0 52969 47 0 0 25 0 1 0 968118512 49799168 9353 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9353 301 301 0 11857 0
vsize: 48632
[startup+540.011 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15103 0 0 0 53969 47 0 0 25 0 1 0 968118512 49799168 9379 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9379 301 301 0 11857 0
vsize: 48632
[startup+550.011 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15130 0 0 0 54969 47 0 0 25 0 1 0 968118512 49799168 9405 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9405 301 301 0 11857 0
vsize: 48632
[startup+560.011 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15155 0 0 0 55969 48 0 0 25 0 1 0 968118512 49799168 9429 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9429 301 301 0 11857 0
vsize: 48632
[startup+570.012 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15182 0 0 0 56969 48 0 0 25 0 1 0 968118512 49799168 9455 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9455 301 301 0 11857 0
vsize: 48632
[startup+580.012 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15208 0 0 0 57969 48 0 0 25 0 1 0 968118512 49799168 9480 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9480 301 301 0 11857 0
vsize: 48632
[startup+590.012 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15235 0 0 0 58970 48 0 0 25 0 1 0 968118512 49799168 9505 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9505 301 301 0 11857 0
vsize: 48632
[startup+600.012 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15260 0 0 0 59970 48 0 0 25 0 1 0 968118512 49799168 9529 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9529 301 301 0 11857 0
vsize: 48632
[startup+610.012 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15286 0 0 0 60970 48 0 0 25 0 1 0 968118512 49799168 9554 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9554 301 301 0 11857 0
vsize: 48632
[startup+620.012 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15337 0 0 0 61970 48 0 0 25 0 1 0 968118512 49799168 9604 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9604 301 301 0 11857 0
vsize: 48632
[startup+630.013 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15364 0 0 0 62970 48 0 0 25 0 1 0 968118512 49799168 9630 4294967295 134512640 135730672 3221224576 3221221664 134561688 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12158 9630 301 301 0 11857 0
vsize: 48632
[startup+640.014 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15389 0 0 0 63970 49 0 0 25 0 1 0 968118512 49799168 9654 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12158 9654 301 301 0 11857 0
vsize: 48632
[startup+650.014 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15414 0 0 0 64970 49 0 0 25 0 1 0 968118512 49799168 9678 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9678 301 301 0 11857 0
vsize: 48632
[startup+660.014 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15440 0 0 0 65970 49 0 0 25 0 1 0 968118512 49799168 9702 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9702 301 301 0 11857 0
vsize: 48632
[startup+670.014 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15463 0 0 0 66970 49 0 0 25 0 1 0 968118512 49799168 9724 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12158 9724 301 301 0 11857 0
vsize: 48632
[startup+680.014 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15516 0 0 0 67970 49 0 0 25 0 1 0 968118512 49934336 9776 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12191 9776 301 301 0 11890 0
vsize: 48764
[startup+690.015 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15584 0 0 0 68970 49 0 0 25 0 1 0 968118512 50204672 9843 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12257 9843 301 301 0 11956 0
vsize: 49028
[startup+700.014 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15651 0 0 0 69971 49 0 0 25 0 1 0 968118512 50339840 9909 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12290 9909 301 301 0 11989 0
vsize: 49160
[startup+710.016 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15719 0 0 0 70971 50 0 0 25 0 1 0 968118512 50475008 9976 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12323 9976 301 301 0 12022 0
vsize: 49292
[startup+720.016 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15785 0 0 0 71971 50 0 0 25 0 1 0 968118512 50745344 10041 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12389 10041 301 301 0 12088 0
vsize: 49556
[startup+730.016 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15850 0 0 0 72971 50 0 0 25 0 1 0 968118512 50880512 10105 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12422 10105 301 301 0 12121 0
vsize: 49688
[startup+740.017 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15917 0 0 0 73971 50 0 0 25 0 1 0 968118512 51015680 10171 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12455 10171 301 301 0 12154 0
vsize: 49820
[startup+750.018 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 15982 0 0 0 74971 51 0 0 25 0 1 0 968118512 51150848 10235 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12488 10235 301 301 0 12187 0
vsize: 49952
[startup+760.017 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16047 0 0 0 75971 51 0 0 25 0 1 0 968118512 51421184 10299 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12554 10299 301 301 0 12253 0
vsize: 50216
[startup+770.018 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16110 0 0 0 76971 51 0 0 25 0 1 0 968118512 51556352 10361 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12587 10361 301 301 0 12286 0
vsize: 50348
[startup+780.019 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16175 0 0 0 77971 52 0 0 25 0 1 0 968118512 51691520 10425 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12620 10425 301 301 0 12319 0
vsize: 50480
[startup+790.019 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16238 0 0 0 78970 52 0 0 25 0 1 0 968118512 51826688 10487 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12653 10487 301 301 0 12352 0
vsize: 50612
[startup+800.019 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16301 0 0 0 79971 52 0 0 25 0 1 0 968118512 52097024 10549 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12719 10549 301 301 0 12418 0
vsize: 50876
[startup+810.019 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16364 0 0 0 80971 53 0 0 25 0 1 0 968118512 52232192 10611 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12752 10611 301 301 0 12451 0
vsize: 51008
[startup+820.02 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16426 0 0 0 81971 53 0 0 25 0 1 0 968118512 52367360 10672 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12785 10672 301 301 0 12484 0
vsize: 51140
[startup+830.019 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16488 0 0 0 82971 53 0 0 25 0 1 0 968118512 52502528 10733 4294967295 134512640 135730672 3221224576 3221221664 134561664 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12818 10733 301 301 0 12517 0
vsize: 51272
[startup+840.02 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16550 0 0 0 83971 53 0 0 25 0 1 0 968118512 52772864 10794 4294967295 134512640 135730672 3221224576 3221221664 134561691 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12884 10794 301 301 0 12583 0
vsize: 51536
[startup+850.02 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16611 0 0 0 84971 54 0 0 25 0 1 0 968118512 52908032 10854 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12917 10854 301 301 0 12616 0
vsize: 51668
[startup+860.02 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16672 0 0 0 85971 54 0 0 25 0 1 0 968118512 53043200 10914 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12950 10914 301 301 0 12649 0
vsize: 51800
[startup+870.02 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16733 0 0 0 86971 54 0 0 25 0 1 0 968118512 53178368 10974 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12983 10974 301 301 0 12682 0
vsize: 51932
[startup+880.021 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16793 0 0 0 87972 54 0 0 25 0 1 0 968118512 53313536 11033 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13016 11033 301 301 0 12715 0
vsize: 52064
[startup+890.021 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16853 0 0 0 88971 55 0 0 25 0 1 0 968118512 53448704 11092 4294967295 134512640 135730672 3221224576 3221221664 134561669 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13049 11092 301 301 0 12748 0
vsize: 52196
[startup+900.021 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16913 0 0 0 89971 55 0 0 25 0 1 0 968118512 53719040 11151 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13115 11151 301 301 0 12814 0
vsize: 52460
[startup+910.022 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 16973 0 0 0 90971 55 0 0 25 0 1 0 968118512 53854208 11210 4294967295 134512640 135730672 3221224576 3221221664 134561656 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13148 11210 301 301 0 12847 0
vsize: 52592
[startup+920.023 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 17031 0 0 0 91971 56 0 0 25 0 1 0 968118512 53989376 11267 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13181 11267 301 301 0 12880 0
vsize: 52724
[startup+930.023 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 17090 0 0 0 92971 56 0 0 25 0 1 0 968118512 54124544 11325 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13214 11325 301 301 0 12913 0
vsize: 52856
[startup+940.023 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 17149 0 0 0 93972 56 0 0 25 0 1 0 968118512 54259712 11383 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13247 11383 301 301 0 12946 0
vsize: 52988
[startup+950.024 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 17207 0 0 0 94971 56 0 0 25 0 1 0 968118512 54394880 11440 4294967295 134512640 135730672 3221224576 3221221664 134561667 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13280 11440 301 301 0 12979 0
vsize: 53120
[startup+960.024 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 24552 0 0 0 95951 77 0 0 25 0 1 0 968118512 75878400 17226 4294967295 134512640 135730672 3221224576 3221101080 134548297 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 18525 17227 301 301 0 18224 0
vsize: 74100
[startup+970.025 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 54304 0 0 0 96888 140 0 0 25 0 1 0 968118512 203284480 37542 4294967295 134512640 135730672 3221224576 3221091072 134788521 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 49630 37546 301 301 0 49329 0
vsize: 198520
[startup+980.026 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 83817 0 0 0 97827 201 0 0 25 0 1 0 968118512 254935040 50998 4294967295 134512640 135730672 3221224576 3221088028 135301586 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 62240 50998 301 301 0 61939 0
vsize: 248960
[startup+990.026 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 113456 0 0 0 98769 260 0 0 25 0 1 0 968118512 363966464 68140 4294967295 134512640 135730672 3221224576 3221091032 134787727 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 88859 68140 301 301 0 88558 0
vsize: 355436
[startup+1000.03 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 156982 0 0 0 99685 344 0 0 25 0 1 0 968118512 571559936 110470 4294967295 134512640 135730672 3221224576 3221095468 135281239 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 139541 110470 301 301 0 139240 0
vsize: 558164
[startup+1010.03 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 168595 0 0 0 100660 370 0 0 25 0 1 0 968118512 508645376 104483 4294967295 134512640 135730672 3221224576 3221092000 134788136 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 124181 104483 301 301 0 123880 0
vsize: 496724
[startup+1020.03 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 204324 0 0 0 101582 447 0 0 25 0 1 0 968118512 609308672 115436 4294967295 134512640 135730672 3221224576 3221092800 134546351 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 148757 115436 301 301 0 148456 0
vsize: 595028
[startup+1030.03 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 221361 0 0 0 102546 484 0 0 25 0 1 0 968118512 667533312 132274 4294967295 134512640 135730672 3221224576 3221088792 135285983 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 162972 132274 301 301 0 162671 0
vsize: 651888
[startup+1040.03 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 241080 0 0 0 103509 521 0 0 25 0 1 0 968118512 696201216 151765 4294967295 134512640 135730672 3221224576 3221099260 134608033 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 169971 151765 301 301 0 169670 0
vsize: 679884
[startup+1050.03 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 258011 0 0 0 104476 554 0 0 25 0 1 0 968118512 771006464 168500 4294967295 134512640 135730672 3221224576 3221089888 134784086 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 188234 168500 301 301 0 187933 0
vsize: 752936
[startup+1060.03 s]
Raw data (loadavg): 0.99 1.00 0.94 2/54 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 258959 0 0 0 105460 570 0 0 25 0 1 0 968118512 408485888 99257 4294967295 134512640 135730672 3221224576 3221222928 135284078 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99728 99257 301 301 0 99427 0
vsize: 398912
[startup+1061.29 s]
Raw data (loadavg): 0.99 1.00 0.94 1/53 14389
Raw data (stat): 14389 (pb2sat-v2) R 14388 25568 25567 0 -1 0 258959 0 0 0 105460 570 0 0 25 0 1 0 968118512 408485888 99257 4294967295 134512640 135730672 3221224576 3221222928 135284078 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 99728 99257 301 301 0 99427 0
vsize: 0

Child status: 1
Real time (s): 1061.29
CPU time (s): 1061.57
CPU user time (s): 1055.66
CPU system time (s): 5.9181
CPU usage (%): 100.027
Max. virtual memory (Kb): 752936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####