PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb
MD5SUM	6a4305210f653cc893fd9d3ee7862505
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	185520
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6640019433432
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	193273528320
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	11024119093221
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68674
Number of variables	185520
Total number of constraints	404
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	404
Minimum length of a constraint	30
Maximum length of a constraint	185520
Trace number 35145

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc25 THE 2005-05-28 12:04:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=24350 boxname=wulflinc25 idbench=822 idsolver=17 numberseed=0
MD5SUM SOLVER: 
MD5SUM BENCH:  6a4305210f653cc893fd9d3ee7862505  /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-d6cube.opb
REAL COMMAND:  pb2sat /oldhome/oroussel/tmp/wulflinc25/normalized-mps-v2-20-10-d6cube.opb
IDLAUNCH: 24350
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.220
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.220
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:        662112 kB
Buffers:         36528 kB
Cached:         314988 kB
SwapCached:        996 kB
Active:          61492 kB
Inactive:       292196 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        661832 kB
SwapTotal:     2097892 kB
SwapFree:      2095984 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5060 kB
Slab:            13196 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-28 12:20:33 (client local time) WITH STATUS 0 IN 978.275 SECONDS
stats: 24350 7 978.275 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.02 0.99 0.91 2/54 8840
Raw data (stat): 8840 (runsolver) R 8839 1586 1585 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 864673669 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+10.0004 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8840
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 2250 0 0 0 995 4 0 0 25 0 1 0 864673669 8224768 1573 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2008 1573 300 300 0 1708 0
vsize: 8032
[startup+20.009 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8840
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 2775 0 0 0 1994 6 0 0 25 0 1 0 864673669 9576448 2089 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 2338 2089 300 300 0 2038 0
vsize: 9352
[startup+30.0089 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8840
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 3889 0 0 0 2992 8 0 0 25 0 1 0 864673669 13410304 2492 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3274 2492 300 300 0 2974 0
vsize: 13096
[startup+40.0092 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8840
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 4155 0 0 0 3990 10 0 0 25 0 1 0 864673669 14086144 2753 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3439 2753 300 300 0 3139 0
vsize: 13756
[startup+50.0098 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 8840
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 4411 0 0 0 4988 12 0 0 25 0 1 0 864673669 14761984 3005 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3604 3005 300 300 0 3304 0
vsize: 14416
[startup+60.0099 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8840
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 4639 0 0 0 5987 13 0 0 25 0 1 0 864673669 15437824 3229 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3769 3229 300 300 0 3469 0
vsize: 15076
[startup+70.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8840
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 4845 0 0 0 6986 15 0 0 25 0 1 0 864673669 15978496 3432 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 3901 3432 300 300 0 3601 0
vsize: 15604
[startup+80.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8840
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 5037 0 0 0 7985 16 0 0 25 0 1 0 864673669 16519168 3621 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4033 3621 300 300 0 3733 0
vsize: 16132
[startup+90.0106 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8840
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 5218 0 0 0 8984 16 0 0 25 0 1 0 864673669 16924672 3799 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4132 3799 300 300 0 3832 0
vsize: 16528
[startup+100.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8840
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 5389 0 0 0 9984 17 0 0 25 0 1 0 864673669 17465344 3967 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 4264 3967 300 300 0 3964 0
vsize: 17056
[startup+110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 7454 0 0 0 10979 22 0 0 25 0 1 0 864673669 25403392 4620 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4620 300 300 0 5902 0
vsize: 24808
[startup+120.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 7510 0 0 0 11979 23 0 0 25 0 1 0 864673669 25403392 4673 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4673 300 300 0 5902 0
vsize: 24808
[startup+130.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 7564 0 0 0 12978 24 0 0 25 0 1 0 864673669 25403392 4725 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4725 300 300 0 5902 0
vsize: 24808
[startup+140.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 7616 0 0 0 13978 24 0 0 25 0 1 0 864673669 25403392 4774 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6202 4774 300 300 0 5902 0
vsize: 24808
[startup+150.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 7694 0 0 0 14977 25 0 0 25 0 1 0 864673669 25403392 4850 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6202 4850 300 300 0 5902 0
vsize: 24808
[startup+160.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 7754 0 0 0 15977 25 0 0 25 0 1 0 864673669 25538560 4908 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6235 4908 300 300 0 5935 0
vsize: 24940
[startup+170.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 7887 0 0 0 16977 25 0 0 25 0 1 0 864673669 25808896 5039 4294967295 134512640 135726644 3221224576 3221221664 134556195 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6301 5039 300 300 0 6001 0
vsize: 25204
[startup+180.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 8016 0 0 0 17977 26 0 0 25 0 1 0 864673669 26214400 5166 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6400 5166 300 300 0 6100 0
vsize: 25600
[startup+190.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 8141 0 0 0 18977 26 0 0 25 0 1 0 864673669 26484736 5289 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6466 5289 300 300 0 6166 0
vsize: 25864
[startup+200.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 8264 0 0 0 19977 26 0 0 25 0 1 0 864673669 26890240 5410 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6565 5410 300 300 0 6265 0
vsize: 26260
[startup+210.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 8385 0 0 0 20976 27 0 0 25 0 1 0 864673669 27160576 5529 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 6631 5529 300 300 0 6331 0
vsize: 26524
[startup+220.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 8503 0 0 0 21975 27 0 0 25 0 1 0 864673669 27566080 5645 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6730 5645 300 300 0 6430 0
vsize: 26920
[startup+230.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 8619 0 0 0 22975 28 0 0 25 0 1 0 864673669 27836416 5759 4294967295 134512640 135726644 3221224576 3221221448 135336109 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6796 5759 300 300 0 6496 0
vsize: 27184
[startup+240.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 8731 0 0 0 23975 28 0 0 25 0 1 0 864673669 28106752 5869 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6862 5869 300 300 0 6562 0
vsize: 27448
[startup+250.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 8842 0 0 0 24975 28 0 0 25 0 1 0 864673669 28377088 5978 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6928 5978 300 300 0 6628 0
vsize: 27712
[startup+260.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 8950 0 0 0 25974 29 0 0 25 0 1 0 864673669 28647424 6085 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 6994 6085 300 300 0 6694 0
vsize: 27976
[startup+270.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 9057 0 0 0 26974 29 0 0 25 0 1 0 864673669 28917760 6190 4294967295 134512640 135726644 3221224576 3221221664 134556179 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7060 6190 300 300 0 6760 0
vsize: 28240
[startup+280.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 9163 0 0 0 27973 30 0 0 25 0 1 0 864673669 29188096 6294 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7126 6294 300 300 0 6826 0
vsize: 28504
[startup+290.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 9266 0 0 0 28972 30 0 0 25 0 1 0 864673669 29458432 6395 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7192 6395 300 300 0 6892 0
vsize: 28768
[startup+300.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 9367 0 0 0 29972 31 0 0 25 0 1 0 864673669 29728768 6495 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7258 6495 300 300 0 6958 0
vsize: 29032
[startup+310.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 9468 0 0 0 30972 31 0 0 25 0 1 0 864673669 29999104 6594 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7324 6594 300 300 0 7024 0
vsize: 29296
[startup+320.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 9566 0 0 0 31972 32 0 0 25 0 1 0 864673669 30269440 6691 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7390 6691 300 300 0 7090 0
vsize: 29560
[startup+330.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 9662 0 0 0 32973 32 0 0 25 0 1 0 864673669 30539776 6785 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7456 6785 300 300 0 7156 0
vsize: 29824
[startup+340.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 9761 0 0 0 33972 32 0 0 25 0 1 0 864673669 30810112 6882 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7522 6882 300 300 0 7222 0
vsize: 30088
[startup+350.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 9855 0 0 0 34971 33 0 0 25 0 1 0 864673669 31080448 6975 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7588 6975 300 300 0 7288 0
vsize: 30352
[startup+360.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 9948 0 0 0 35971 33 0 0 25 0 1 0 864673669 31350784 7066 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7654 7066 300 300 0 7354 0
vsize: 30616
[startup+370.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 10039 0 0 0 36971 33 0 0 25 0 1 0 864673669 31621120 7156 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7720 7156 300 300 0 7420 0
vsize: 30880
[startup+380.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 10130 0 0 0 37970 34 0 0 25 0 1 0 864673669 31756288 7246 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7753 7246 300 300 0 7453 0
vsize: 31012
[startup+390.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 10220 0 0 0 38970 34 0 0 25 0 1 0 864673669 32026624 7334 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 7819 7334 300 300 0 7519 0
vsize: 31276
[startup+400.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 10308 0 0 0 39970 35 0 0 25 0 1 0 864673669 32296960 7421 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7885 7421 300 300 0 7585 0
vsize: 31540
[startup+410.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 10396 0 0 0 40970 35 0 0 25 0 1 0 864673669 32567296 7507 4294967295 134512640 135726644 3221224576 3221221520 134541104 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7951 7507 300 300 0 7651 0
vsize: 31804
[startup+420.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 10482 0 0 0 41970 35 0 0 25 0 1 0 864673669 32702464 7592 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 7984 7592 300 300 0 7684 0
vsize: 31936
[startup+430.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 10568 0 0 0 42969 35 0 0 25 0 1 0 864673669 32972800 7676 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8050 7676 300 300 0 7750 0
vsize: 32200
[startup+440.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 10652 0 0 0 43969 36 0 0 25 0 1 0 864673669 33243136 7759 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8116 7759 300 300 0 7816 0
vsize: 32464
[startup+450.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 10735 0 0 0 44969 36 0 0 25 0 1 0 864673669 33378304 7841 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8149 7841 300 300 0 7849 0
vsize: 32596
[startup+460.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 10819 0 0 0 45969 36 0 0 25 0 1 0 864673669 33648640 7923 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8215 7923 300 300 0 7915 0
vsize: 32860
[startup+470.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 10899 0 0 0 46969 37 0 0 25 0 1 0 864673669 33783808 8002 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 8248 8002 300 300 0 7948 0
vsize: 32992
[startup+480.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 14811 0 0 0 47963 43 0 0 25 0 1 0 864673669 49254400 9095 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9095 300 300 0 11725 0
vsize: 48100
[startup+490.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 14839 0 0 0 48963 43 0 0 25 0 1 0 864673669 49254400 9122 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9122 300 300 0 11725 0
vsize: 48100
[startup+500.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 14868 0 0 0 49963 43 0 0 25 0 1 0 864673669 49254400 9149 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9149 300 300 0 11725 0
vsize: 48100
[startup+510.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 14897 0 0 0 50963 43 0 0 25 0 1 0 864673669 49254400 9177 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9177 300 300 0 11725 0
vsize: 48100
[startup+520.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 14924 0 0 0 51963 43 0 0 25 0 1 0 864673669 49254400 9203 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9203 300 300 0 11725 0
vsize: 48100
[startup+530.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 14953 0 0 0 52962 44 0 0 25 0 1 0 864673669 49254400 9230 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9230 300 300 0 11725 0
vsize: 48100
[startup+540.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 14980 0 0 0 53962 44 0 0 25 0 1 0 864673669 49254400 9256 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9256 300 300 0 11725 0
vsize: 48100
[startup+550.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15005 0 0 0 54962 44 0 0 25 0 1 0 864673669 49254400 9280 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9280 300 300 0 11725 0
vsize: 48100
[startup+560.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15032 0 0 0 55962 44 0 0 25 0 1 0 864673669 49254400 9306 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9306 300 300 0 11725 0
vsize: 48100
[startup+570.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15058 0 0 0 56962 44 0 0 25 0 1 0 864673669 49254400 9331 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9331 300 300 0 11725 0
vsize: 48100
[startup+580.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15086 0 0 0 57961 45 0 0 25 0 1 0 864673669 49254400 9357 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12025 9357 300 300 0 11725 0
vsize: 48100
[startup+590.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15112 0 0 0 58961 45 0 0 25 0 1 0 864673669 49254400 9382 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9382 300 300 0 11725 0
vsize: 48100
[startup+600.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15137 0 0 0 59961 45 0 0 25 0 1 0 864673669 49254400 9406 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9406 300 300 0 11725 0
vsize: 48100
[startup+610.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15166 0 0 0 60961 45 0 0 25 0 1 0 864673669 49254400 9434 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9434 300 300 0 11725 0
vsize: 48100
[startup+620.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15214 0 0 0 61961 45 0 0 25 0 1 0 864673669 49254400 9481 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9481 300 300 0 11725 0
vsize: 48100
[startup+630.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15239 0 0 0 62961 45 0 0 25 0 1 0 864673669 49254400 9505 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9505 300 300 0 11725 0
vsize: 48100
[startup+640.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15265 0 0 0 63960 46 0 0 25 0 1 0 864673669 49254400 9529 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9529 300 300 0 11725 0
vsize: 48100
[startup+650.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15289 0 0 0 64960 46 0 0 25 0 1 0 864673669 49254400 9552 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9552 300 300 0 11725 0
vsize: 48100
[startup+660.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15314 0 0 0 65960 46 0 0 25 0 1 0 864673669 49254400 9576 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9576 300 300 0 11725 0
vsize: 48100
[startup+670.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15338 0 0 0 66960 46 0 0 25 0 1 0 864673669 49254400 9599 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12025 9599 300 300 0 11725 0
vsize: 48100
[startup+680.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15402 0 0 0 67960 46 0 0 25 0 1 0 864673669 49524736 9662 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12091 9662 300 300 0 11791 0
vsize: 48364
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15470 0 0 0 68960 47 0 0 25 0 1 0 864673669 49659904 9729 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12124 9729 300 300 0 11824 0
vsize: 48496
[startup+700.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15536 0 0 0 69960 47 0 0 25 0 1 0 864673669 49795072 9794 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12157 9794 300 300 0 11857 0
vsize: 48628
[startup+710.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15604 0 0 0 70960 47 0 0 25 0 1 0 864673669 50065408 9861 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12223 9861 300 300 0 11923 0
vsize: 48892
[startup+720.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15671 0 0 0 71960 47 0 0 25 0 1 0 864673669 50200576 9927 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12256 9927 300 300 0 11956 0
vsize: 49024
[startup+730.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15736 0 0 0 72961 47 0 0 25 0 1 0 864673669 50335744 9991 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12289 9991 300 300 0 11989 0
vsize: 49156
[startup+740.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15802 0 0 0 73962 47 0 0 25 0 1 0 864673669 50606080 10056 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12355 10056 300 300 0 12055 0
vsize: 49420
[startup+750.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15869 0 0 0 74962 47 0 0 25 0 1 0 864673669 50741248 10121 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12388 10121 300 300 0 12088 0
vsize: 49552
[startup+760.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15933 0 0 0 75962 48 0 0 25 0 1 0 864673669 50876416 10184 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12421 10184 300 300 0 12121 0
vsize: 49684
[startup+770.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 15998 0 0 0 76960 49 0 0 25 0 1 0 864673669 51011584 10248 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12454 10248 300 300 0 12154 0
vsize: 49816
[startup+780.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16062 0 0 0 77960 49 0 0 25 0 1 0 864673669 51281920 10311 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12520 10311 300 300 0 12220 0
vsize: 50080
[startup+790.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16125 0 0 0 78960 49 0 0 25 0 1 0 864673669 51417088 10373 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12553 10373 300 300 0 12253 0
vsize: 50212
[startup+800.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16189 0 0 0 79960 50 0 0 25 0 1 0 864673669 51552256 10436 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12586 10436 300 300 0 12286 0
vsize: 50344
[startup+810.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16251 0 0 0 80960 50 0 0 25 0 1 0 864673669 51687424 10497 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12619 10497 300 300 0 12319 0
vsize: 50476
[startup+820.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16313 0 0 0 81960 50 0 0 25 0 1 0 864673669 51822592 10558 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12652 10558 300 300 0 12352 0
vsize: 50608
[startup+830.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16376 0 0 0 82959 51 0 0 25 0 1 0 864673669 52092928 10620 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12718 10620 300 300 0 12418 0
vsize: 50872
[startup+840.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16438 0 0 0 83958 52 0 0 25 0 1 0 864673669 52228096 10681 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12751 10681 300 300 0 12451 0
vsize: 51004
[startup+850.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16499 0 0 0 84958 52 0 0 25 0 1 0 864673669 52363264 10741 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12784 10741 300 300 0 12484 0
vsize: 51136
[startup+860.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16561 0 0 0 85958 52 0 0 25 0 1 0 864673669 52498432 10802 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12817 10802 300 300 0 12517 0
vsize: 51268
[startup+870.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16621 0 0 0 86958 52 0 0 25 0 1 0 864673669 52768768 10861 4294967295 134512640 135726644 3221224576 3221221664 134556168 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12883 10861 300 300 0 12583 0
vsize: 51532
[startup+880.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16682 0 0 0 87957 53 0 0 25 0 1 0 864673669 52903936 10921 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12916 10921 300 300 0 12616 0
vsize: 51664
[startup+890.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16742 0 0 0 88956 53 0 0 25 0 1 0 864673669 53039104 10980 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 12949 10980 300 300 0 12649 0
vsize: 51796
[startup+900.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16802 0 0 0 89956 54 0 0 25 0 1 0 864673669 53174272 11039 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 12982 11039 300 300 0 12682 0
vsize: 51928
[startup+910.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16861 0 0 0 90956 54 0 0 25 0 1 0 864673669 53309440 11097 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13015 11097 300 300 0 12715 0
vsize: 52060
[startup+920.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16920 0 0 0 91956 54 0 0 25 0 1 0 864673669 53444608 11156 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13048 11156 300 300 0 12748 0
vsize: 52192
[startup+930.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 16977 0 0 0 92956 54 0 0 25 0 1 0 864673669 53579776 11212 4294967295 134512640 135726644 3221224576 3221221664 134556173 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13081 11212 300 300 0 12781 0
vsize: 52324
[startup+940.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 17036 0 0 0 93956 54 0 0 25 0 1 0 864673669 53850112 11270 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13147 11270 300 300 0 12847 0
vsize: 52588
[startup+950.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 17095 0 0 0 94956 55 0 0 25 0 1 0 864673669 53985280 11328 4294967295 134512640 135726644 3221224576 3221221664 134556160 0 0 7 16384 0 0 0 17 1 0 0
Raw data (statm): 13180 11328 300 300 0 12880 0
vsize: 52720
[startup+960.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 17153 0 0 0 95956 55 0 0 25 0 1 0 864673669 54120448 11385 4294967295 134512640 135726644 3221224576 3221221664 134556171 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13213 11385 300 300 0 12913 0
vsize: 52852
[startup+970.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 17775 0 0 0 96955 56 0 0 25 0 1 0 864673669 56553472 12006 4294967295 134512640 135726644 3221224576 3221221368 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13807 12007 300 300 0 13507 0
vsize: 55228
[startup+978.205 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 8842
Raw data (stat): 8840 (pb2sat) R 8839 1586 1585 0 -1 0 17775 0 0 0 96955 56 0 0 25 0 1 0 864673669 56553472 12006 4294967295 134512640 135726644 3221224576 3221221368 135282351 0 0 7 16384 0 0 0 17 0 0 0
Raw data (statm): 13807 12007 300 300 0 13507 0
vsize: 0

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 978.205
CPU time (s): 978.275
CPU user time (s): 976.885
CPU system time (s): 1.38979
CPU usage (%): 100.007
Max. virtual memory (Kb): 55228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####