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 35101

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc26 THE 2005-05-28 12:00:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24331 boxname=wulflinc26 idbench=803 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  482f3c6a016323a565c292702d2c5673  /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-80bau3b.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc26/normalized-mps-v2-20-10-80bau3b.opb
IDLAUNCH: 24331
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.061
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	: 3
cpu MHz		: 451.061
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        689720 kB
Buffers:         32928 kB
Cached:         279332 kB
SwapCached:        744 kB
Active:          40716 kB
Inactive:       274212 kB
HighTotal:      131008 kB
HighFree:        34832 kB
LowTotal:       903652 kB
LowFree:        654888 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5880 kB
Slab:            24204 kB
Committed_AS:    65204 kB
PageTables:        356 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:16:04 (client local time) WITH STATUS 0 IN 955.243 SECONDS
stats: 24331 7 955.243 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c This solver internally uses Chaff 2004.11.15 Simplified
#### 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.01 0.96 0.91 2/57 1490
Raw data (stat): 1490 (runsolver) R 1489 20687 20686 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864640869 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99983 s]
Raw data (loadavg): 1.08 0.98 0.92 2/54 1506
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 2154 0 0 0 992 5 0 0 25 0 1 0 864640869 7954432 1479 4294967295 134512640 135726644 3221224576 3221221728 134606965 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 1942 1479 300 300 0 1642 0
vsize: 7768
[startup+20.0005 s]
Raw data (loadavg): 1.07 0.98 0.92 2/54 1506
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 2692 0 0 0 1990 6 0 0 25 0 1 0 864640869 9306112 2008 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 2272 2008 300 300 0 1972 0
vsize: 9088
[startup+29.9997 s]
Raw data (loadavg): 1.06 0.98 0.92 2/54 1506
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 3874 0 0 0 2987 9 0 0 25 0 1 0 864640869 13545472 2478 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3307 2478 300 300 0 3007 0
vsize: 13228
[startup+40.0008 s]
Raw data (loadavg): 1.05 0.98 0.92 2/54 1506
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 4124 0 0 0 3986 10 0 0 25 0 1 0 864640869 14086144 2723 4294967295 134512640 135726644 3221224576 3221221720 134573103 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 3439 2723 300 300 0 3139 0
vsize: 13756
[startup+50.0011 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 1506
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 4397 0 0 0 4985 11 0 0 25 0 1 0 864640869 14897152 2992 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3637 2992 300 300 0 3337 0
vsize: 14548
[startup+60.0007 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 1506
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 4643 0 0 0 5984 12 0 0 25 0 1 0 864640869 15437824 3234 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3769 3234 300 300 0 3469 0
vsize: 15076
[startup+70.0008 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 4867 0 0 0 6984 12 0 0 25 0 1 0 864640869 16113664 3454 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3934 3454 300 300 0 3634 0
vsize: 15736
[startup+80.0014 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 5070 0 0 0 7983 13 0 0 25 0 1 0 864640869 16654336 3654 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4066 3654 300 300 0 3766 0
vsize: 16264
[startup+90.0019 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 5261 0 0 0 8981 15 0 0 25 0 1 0 864640869 17195008 3842 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4198 3842 300 300 0 3898 0
vsize: 16792
[startup+100.002 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 5442 0 0 0 9979 16 0 0 25 0 1 0 864640869 17600512 4021 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 4297 4021 300 300 0 3997 0
vsize: 17188
[startup+110.002 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 7526 0 0 0 10974 21 0 0 25 0 1 0 864640869 25673728 4692 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4692 300 300 0 5968 0
vsize: 25072
[startup+120.002 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 7583 0 0 0 11974 21 0 0 25 0 1 0 864640869 25673728 4746 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4746 300 300 0 5968 0
vsize: 25072
[startup+130.002 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 7637 0 0 0 12974 22 0 0 25 0 1 0 864640869 25673728 4798 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4798 300 300 0 5968 0
vsize: 25072
[startup+140.002 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 7694 0 0 0 13973 22 0 0 25 0 1 0 864640869 25673728 4853 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6268 4853 300 300 0 5968 0
vsize: 25072
[startup+150.003 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 7774 0 0 0 14972 23 0 0 25 0 1 0 864640869 25808896 4930 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6301 4930 300 300 0 6001 0
vsize: 25204
[startup+160.003 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 7847 0 0 0 15971 23 0 0 25 0 1 0 864640869 25944064 5001 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6334 5001 300 300 0 6034 0
vsize: 25336
[startup+170.003 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 7985 0 0 0 16971 24 0 0 25 0 1 0 864640869 26349568 5137 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6433 5137 300 300 0 6133 0
vsize: 25732
[startup+180.003 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 8120 0 0 0 17970 25 0 0 25 0 1 0 864640869 26619904 5270 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6499 5270 300 300 0 6199 0
vsize: 25996
[startup+190.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 8251 0 0 0 18970 25 0 0 25 0 1 0 864640869 27025408 5399 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6598 5399 300 300 0 6298 0
vsize: 26392
[startup+200.003 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 8378 0 0 0 19969 26 0 0 25 0 1 0 864640869 27295744 5524 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6664 5524 300 300 0 6364 0
vsize: 26656
[startup+210.003 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 8503 0 0 0 20968 27 0 0 25 0 1 0 864640869 27701248 5647 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6763 5647 300 300 0 6463 0
vsize: 27052
[startup+220.004 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 8623 0 0 0 21968 27 0 0 25 0 1 0 864640869 27971584 5765 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6829 5765 300 300 0 6529 0
vsize: 27316
[startup+230.003 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 8743 0 0 0 22967 28 0 0 25 0 1 0 864640869 28377088 5883 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6928 5883 300 300 0 6628 0
vsize: 27712
[startup+240.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 8856 0 0 0 23968 28 0 0 25 0 1 0 864640869 28647424 5994 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6994 5994 300 300 0 6694 0
vsize: 27976
[startup+250.011 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 8968 0 0 0 24968 28 0 0 25 0 1 0 864640869 28917760 6104 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7060 6104 300 300 0 6760 0
vsize: 28240
[startup+260.01 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 9077 0 0 0 25968 29 0 0 25 0 1 0 864640869 29188096 6212 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7126 6212 300 300 0 6826 0
vsize: 28504
[startup+270.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 9184 0 0 0 26968 29 0 0 25 0 1 0 864640869 29458432 6317 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7192 6317 300 300 0 6892 0
vsize: 28768
[startup+280.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 9290 0 0 0 27967 30 0 0 25 0 1 0 864640869 29728768 6421 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7258 6421 300 300 0 6958 0
vsize: 29032
[startup+290.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 9395 0 0 0 28967 30 0 0 25 0 1 0 864640869 29999104 6524 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7324 6524 300 300 0 7024 0
vsize: 29296
[startup+300.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 9496 0 0 0 29967 30 0 0 25 0 1 0 864640869 30269440 6624 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7390 6624 300 300 0 7090 0
vsize: 29560
[startup+310.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 9597 0 0 0 30967 30 0 0 25 0 1 0 864640869 30539776 6723 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7456 6723 300 300 0 7156 0
vsize: 29824
[startup+320.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 9696 0 0 0 31967 31 0 0 25 0 1 0 864640869 30810112 6821 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7522 6821 300 300 0 7222 0
vsize: 30088
[startup+330.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 9793 0 0 0 32967 31 0 0 25 0 1 0 864640869 31080448 6916 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7588 6916 300 300 0 7288 0
vsize: 30352
[startup+340.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 9888 0 0 0 33966 31 0 0 25 0 1 0 864640869 31350784 7010 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7654 7010 300 300 0 7354 0
vsize: 30616
[startup+350.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 9984 0 0 0 34966 32 0 0 25 0 1 0 864640869 31621120 7104 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7720 7104 300 300 0 7420 0
vsize: 30880
[startup+360.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1508
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 10078 0 0 0 35966 32 0 0 25 0 1 0 864640869 31891456 7196 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7786 7196 300 300 0 7486 0
vsize: 31144
[startup+370.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 10171 0 0 0 36965 32 0 0 25 0 1 0 864640869 32161792 7288 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7852 7288 300 300 0 7552 0
vsize: 31408
[startup+380.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 10263 0 0 0 37965 33 0 0 25 0 1 0 864640869 32296960 7378 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7885 7378 300 300 0 7585 0
vsize: 31540
[startup+390.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 10351 0 0 0 38964 33 0 0 25 0 1 0 864640869 32567296 7465 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7951 7465 300 300 0 7651 0
vsize: 31804
[startup+400.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 10440 0 0 0 39963 34 0 0 25 0 1 0 864640869 32837632 7553 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8017 7553 300 300 0 7717 0
vsize: 32068
[startup+410.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 10529 0 0 0 40963 34 0 0 25 0 1 0 864640869 33107968 7640 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8083 7640 300 300 0 7783 0
vsize: 32332
[startup+420.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 10615 0 0 0 41963 35 0 0 25 0 1 0 864640869 33243136 7725 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8116 7725 300 300 0 7816 0
vsize: 32464
[startup+430.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 10701 0 0 0 42963 35 0 0 25 0 1 0 864640869 33513472 7809 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8182 7809 300 300 0 7882 0
vsize: 32728
[startup+440.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 10787 0 0 0 43963 35 0 0 25 0 1 0 864640869 33783808 7894 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8248 7894 300 300 0 7948 0
vsize: 32992
[startup+450.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 10871 0 0 0 44963 36 0 0 25 0 1 0 864640869 33918976 7977 4294967295 134512640 135726644 3221224576 3221221624 134847105 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8281 7977 300 300 0 7981 0
vsize: 33124
[startup+460.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 10953 0 0 0 45961 36 0 0 25 0 1 0 864640869 34189312 8057 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8347 8057 300 300 0 8047 0
vsize: 33388
[startup+470.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 11036 0 0 0 46961 36 0 0 25 0 1 0 864640869 34324480 8139 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 8380 8139 300 300 0 8080 0
vsize: 33520
[startup+480.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 14943 0 0 0 47954 44 0 0 25 0 1 0 864640869 49795072 9227 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9227 300 300 0 11857 0
vsize: 48628
[startup+490.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 14973 0 0 0 48954 44 0 0 25 0 1 0 864640869 49795072 9255 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9255 300 300 0 11857 0
vsize: 48628
[startup+500.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15001 0 0 0 49954 44 0 0 25 0 1 0 864640869 49795072 9282 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9282 300 300 0 11857 0
vsize: 48628
[startup+510.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15029 0 0 0 50954 44 0 0 25 0 1 0 864640869 49795072 9309 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9309 300 300 0 11857 0
vsize: 48628
[startup+520.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15056 0 0 0 51954 45 0 0 25 0 1 0 864640869 49795072 9335 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12157 9335 300 300 0 11857 0
vsize: 48628
[startup+530.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15084 0 0 0 52952 46 0 0 25 0 1 0 864640869 49795072 9361 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9361 300 300 0 11857 0
vsize: 48628
[startup+540.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15111 0 0 0 53952 46 0 0 25 0 1 0 864640869 49795072 9387 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9387 300 300 0 11857 0
vsize: 48628
[startup+550.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15138 0 0 0 54953 46 0 0 25 0 1 0 864640869 49795072 9413 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9413 300 300 0 11857 0
vsize: 48628
[startup+560.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15165 0 0 0 55953 46 0 0 25 0 1 0 864640869 49795072 9439 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9439 300 300 0 11857 0
vsize: 48628
[startup+570.066 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15193 0 0 0 56956 46 0 0 25 0 1 0 864640869 49795072 9465 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9465 300 300 0 11857 0
vsize: 48628
[startup+580.066 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15218 0 0 0 57956 46 0 0 25 0 1 0 864640869 49795072 9489 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12157 9489 300 300 0 11857 0
vsize: 48628
[startup+590.067 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15244 0 0 0 58956 47 0 0 25 0 1 0 864640869 49795072 9514 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12157 9514 300 300 0 11857 0
vsize: 48628
[startup+600.068 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15270 0 0 0 59955 47 0 0 25 0 1 0 864640869 49795072 9539 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9539 300 300 0 11857 0
vsize: 48628
[startup+610.067 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15303 0 0 0 60955 47 0 0 25 0 1 0 864640869 49795072 9571 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9571 300 300 0 11857 0
vsize: 48628
[startup+620.072 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15349 0 0 0 61955 47 0 0 25 0 1 0 864640869 49795072 9616 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9616 300 300 0 11857 0
vsize: 48628
[startup+630.094 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15376 0 0 0 62958 47 0 0 25 0 1 0 864640869 49795072 9641 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9641 300 300 0 11857 0
vsize: 48628
[startup+640.096 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15400 0 0 0 63957 47 0 0 25 0 1 0 864640869 49795072 9664 4294967295 134512640 135726644 3221224576 3221221664 134556192 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12157 9664 300 300 0 11857 0
vsize: 48628
[startup+650.096 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15425 0 0 0 64957 48 0 0 25 0 1 0 864640869 49795072 9688 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9688 300 300 0 11857 0
vsize: 48628
[startup+660.096 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15449 0 0 0 65957 48 0 0 25 0 1 0 864640869 49795072 9711 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12157 9711 300 300 0 11857 0
vsize: 48628
[startup+670.096 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15475 0 0 0 66957 48 0 0 25 0 1 0 864640869 49930240 9736 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12190 9736 300 300 0 11890 0
vsize: 48760
[startup+680.096 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15543 0 0 0 67957 48 0 0 25 0 1 0 864640869 50065408 9803 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12223 9803 300 300 0 11923 0
vsize: 48892
[startup+690.097 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15612 0 0 0 68957 48 0 0 25 0 1 0 864640869 50200576 9871 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12256 9871 300 300 0 11956 0
vsize: 49024
[startup+700.098 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15680 0 0 0 69957 48 0 0 25 0 1 0 864640869 50470912 9938 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12322 9938 300 300 0 12022 0
vsize: 49288
[startup+710.098 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15746 0 0 0 70956 49 0 0 25 0 1 0 864640869 50606080 10003 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12355 10003 300 300 0 12055 0
vsize: 49420
[startup+720.098 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15814 0 0 0 71955 50 0 0 25 0 1 0 864640869 50741248 10069 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12388 10069 300 300 0 12088 0
vsize: 49552
[startup+730.098 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15879 0 0 0 72954 50 0 0 25 0 1 0 864640869 50876416 10133 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12421 10133 300 300 0 12121 0
vsize: 49684
[startup+740.098 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 15945 0 0 0 73954 50 0 0 25 0 1 0 864640869 51146752 10198 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12487 10198 300 300 0 12187 0
vsize: 49948
[startup+750.1 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16012 0 0 0 74955 50 0 0 25 0 1 0 864640869 51281920 10264 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12520 10264 300 300 0 12220 0
vsize: 50080
[startup+760.1 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16077 0 0 0 75955 51 0 0 25 0 1 0 864640869 51417088 10328 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12553 10328 300 300 0 12253 0
vsize: 50212
[startup+770.101 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16141 0 0 0 76954 51 0 0 25 0 1 0 864640869 51687424 10391 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12619 10391 300 300 0 12319 0
vsize: 50476
[startup+780.1 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16205 0 0 0 77953 51 0 0 25 0 1 0 864640869 51822592 10454 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12652 10454 300 300 0 12352 0
vsize: 50608
[startup+790.101 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16269 0 0 0 78953 51 0 0 25 0 1 0 864640869 51957760 10517 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12685 10517 300 300 0 12385 0
vsize: 50740
[startup+800.101 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16332 0 0 0 79953 52 0 0 25 0 1 0 864640869 52092928 10579 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12718 10579 300 300 0 12418 0
vsize: 50872
[startup+810.101 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16396 0 0 0 80953 52 0 0 25 0 1 0 864640869 52363264 10642 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12784 10642 300 300 0 12484 0
vsize: 51136
[startup+820.101 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16458 0 0 0 81953 52 0 0 25 0 1 0 864640869 52498432 10703 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12817 10703 300 300 0 12517 0
vsize: 51268
[startup+830.101 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16520 0 0 0 82953 52 0 0 25 0 1 0 864640869 52633600 10764 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12850 10764 300 300 0 12550 0
vsize: 51400
[startup+840.101 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16582 0 0 0 83952 52 0 0 25 0 1 0 864640869 52768768 10825 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12883 10825 300 300 0 12583 0
vsize: 51532
[startup+850.102 s]
Raw data (loadavg): 1.14 1.01 0.93 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16644 0 0 0 84952 53 0 0 25 0 1 0 864640869 52903936 10886 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12916 10886 300 300 0 12616 0
vsize: 51664
[startup+860.102 s]
Raw data (loadavg): 1.12 1.01 0.93 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16706 0 0 0 85952 53 0 0 25 0 1 0 864640869 53174272 10947 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12982 10947 300 300 0 12682 0
vsize: 51928
[startup+870.126 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16767 0 0 0 86954 53 0 0 25 0 1 0 864640869 53309440 11007 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13015 11007 300 300 0 12715 0
vsize: 52060
[startup+880.137 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16828 0 0 0 87956 53 0 0 25 0 1 0 864640869 53444608 11067 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13048 11067 300 300 0 12748 0
vsize: 52192
[startup+890.138 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16888 0 0 0 88956 53 0 0 25 0 1 0 864640869 53579776 11126 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13081 11126 300 300 0 12781 0
vsize: 52324
[startup+900.139 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 16948 0 0 0 89955 53 0 0 25 0 1 0 864640869 53714944 11185 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13114 11185 300 300 0 12814 0
vsize: 52456
[startup+910.139 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 17009 0 0 0 90955 54 0 0 25 0 1 0 864640869 53850112 11245 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13147 11245 300 300 0 12847 0
vsize: 52588
[startup+920.139 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 17068 0 0 0 91955 54 0 0 25 0 1 0 864640869 54120448 11303 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13213 11303 300 300 0 12913 0
vsize: 52852
[startup+930.139 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 17126 0 0 0 92955 54 0 0 25 0 1 0 864640869 54255616 11360 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13246 11360 300 300 0 12946 0
vsize: 52984
[startup+940.14 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 17185 0 0 0 93956 54 0 0 25 0 1 0 864640869 54390784 11418 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13279 11418 300 300 0 12979 0
vsize: 53116
[startup+950.14 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 21202 0 0 0 94946 63 0 0 25 0 1 0 864640869 69341184 15370 4294967295 134512640 135726644 3221224576 3214891728 134554676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16929 15370 300 300 0 16629 0
vsize: 67716
[startup+955.28 s]
Raw data (loadavg): 1.02 1.00 0.93 1/53 1510
Raw data (stat): 1490 (pb2sat) R 1489 20687 20686 0 -1 0 21202 0 0 0 94946 63 0 0 25 0 1 0 864640869 69341184 15370 4294967295 134512640 135726644 3221224576 3214891728 134554676 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 16929 15370 300 300 0 16629 0
vsize: 0

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 955.28
CPU time (s): 955.243
CPU user time (s): 953.814
CPU system time (s): 1.42878
CPU usage (%): 99.9961
Max. virtual memory (Kb): 67716
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####