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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n3704.opb
MD5SUM	6f8b2121f6d249fe6e02652d1aab6d14
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29675972066390
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29675972066390
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.43378
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 26329

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc21 THE 2005-05-24 15:02:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14056 boxname=wulflinc21 idbench=1082 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6f8b2121f6d249fe6e02652d1aab6d14  /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-n3704.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc21/normalized-mps-v2-20-10-n3704.opb
IDLAUNCH: 14056
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.161
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:        888040 kB
Buffers:         35656 kB
Cached:          89200 kB
SwapCached:       1216 kB
Active:          86936 kB
Inactive:        40676 kB
HighTotal:      131008 kB
HighFree:        57624 kB
LowTotal:       903652 kB
LowFree:        830416 kB
SwapTotal:     2097892 kB
SwapFree:      2096256 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13340 kB
Committed_AS:    63912 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:22:41 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 14056 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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
Raw data (loadavg): 0.99 1.00 1.11 2/55 32754
Raw data (stat): 32754 (runsolver) R 32753 32363 32362 0 -1 64 4 0 0 0 0 0 0 0 20 0 1 0 708429884 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.99 1.00 1.11 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 1140 0 0 0 994 4 0 0 25 0 1 0 708429884 15507456 1118 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 1118 1111 63 0 3723 0
vsize: 15144
[startup+20.0007 s]
Raw data (loadavg): 0.99 1.00 1.11 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 1250 0 0 0 1994 5 0 0 25 0 1 0 708429884 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3896 1228 1111 63 0 3833 0
vsize: 15584
[startup+30.0004 s]
Raw data (loadavg): 0.99 1.00 1.11 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 1352 0 0 0 2993 6 0 0 25 0 1 0 708429884 16257024 1330 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3969 1330 1111 63 0 3906 0
vsize: 15876
[startup+40.0001 s]
Raw data (loadavg): 1.07 1.02 1.11 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 1462 0 0 0 3993 6 0 0 25 0 1 0 708429884 16830464 1440 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4109 1440 1111 63 0 4046 0
vsize: 16436
[startup+50.0008 s]
Raw data (loadavg): 1.06 1.01 1.11 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 1574 0 0 0 4993 6 0 0 25 0 1 0 708429884 17256448 1552 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4213 1552 1111 63 0 4150 0
vsize: 16852
[startup+60.0005 s]
Raw data (loadavg): 1.05 1.01 1.10 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 1684 0 0 0 5993 7 0 0 25 0 1 0 708429884 17711104 1662 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4324 1662 1111 63 0 4261 0
vsize: 17296
[startup+70.0012 s]
Raw data (loadavg): 1.04 1.01 1.10 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 1793 0 0 0 6993 7 0 0 25 0 1 0 708429884 18157568 1771 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4433 1771 1111 63 0 4370 0
vsize: 17732
[startup+80.0019 s]
Raw data (loadavg): 1.03 1.01 1.10 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 1897 0 0 0 7993 7 0 0 25 0 1 0 708429884 18608128 1875 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4543 1875 1111 63 0 4480 0
vsize: 18172
[startup+90.0015 s]
Raw data (loadavg): 1.03 1.01 1.10 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 2006 0 0 0 8993 7 0 0 25 0 1 0 708429884 19058688 1984 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4653 1984 1111 63 0 4590 0
vsize: 18612
[startup+100.001 s]
Raw data (loadavg): 1.02 1.01 1.10 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 2121 0 0 0 9993 7 0 0 25 0 1 0 708429884 19480576 2099 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4756 2099 1111 63 0 4693 0
vsize: 19024
[startup+110.001 s]
Raw data (loadavg): 1.02 1.01 1.10 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 2225 0 0 0 10993 8 0 0 25 0 1 0 708429884 19922944 2203 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4864 2203 1111 63 0 4801 0
vsize: 19456
[startup+120.002 s]
Raw data (loadavg): 1.02 1.01 1.09 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 2341 0 0 0 11993 8 0 0 25 0 1 0 708429884 20373504 2319 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4974 2319 1111 63 0 4911 0
vsize: 19896
[startup+130.002 s]
Raw data (loadavg): 1.01 1.01 1.09 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 2444 0 0 0 12992 8 0 0 25 0 1 0 708429884 20819968 2422 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5083 2422 1111 63 0 5020 0
vsize: 20332
[startup+140.002 s]
Raw data (loadavg): 1.01 1.01 1.09 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 2554 0 0 0 13992 9 0 0 25 0 1 0 708429884 21270528 2532 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5193 2532 1111 63 0 5130 0
vsize: 20772
[startup+150.003 s]
Raw data (loadavg): 1.01 1.00 1.09 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 2663 0 0 0 14992 9 0 0 25 0 1 0 708429884 21721088 2641 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5303 2641 1111 63 0 5240 0
vsize: 21212
[startup+160.002 s]
Raw data (loadavg): 1.01 1.00 1.09 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 2774 0 0 0 15992 9 0 0 25 0 1 0 708429884 22171648 2752 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5413 2752 1111 63 0 5350 0
vsize: 21652
[startup+170.003 s]
Raw data (loadavg): 1.00 1.00 1.09 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 2882 0 0 0 16992 10 0 0 25 0 1 0 708429884 22618112 2860 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5522 2860 1111 63 0 5459 0
vsize: 22088
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 1.09 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 2987 0 0 0 17992 10 0 0 25 0 1 0 708429884 23068672 2965 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5632 2965 1111 63 0 5569 0
vsize: 22528
[startup+190.015 s]
Raw data (loadavg): 1.00 1.00 1.08 2/55 32754
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 3108 0 0 0 18993 10 0 0 25 0 1 0 708429884 23506944 3086 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 3086 1111 63 0 5676 0
vsize: 22956
[startup+200.015 s]
Raw data (loadavg): 1.00 1.00 1.08 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 3213 0 0 0 19992 11 0 0 25 0 1 0 708429884 23953408 3191 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5848 3191 1111 63 0 5785 0
vsize: 23392
[startup+210.015 s]
Raw data (loadavg): 1.00 1.00 1.08 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 3322 0 0 0 20992 11 0 0 25 0 1 0 708429884 24408064 3300 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5959 3300 1111 63 0 5896 0
vsize: 23836
[startup+220.016 s]
Raw data (loadavg): 1.00 1.00 1.08 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 3433 0 0 0 21992 12 0 0 25 0 1 0 708429884 24850432 3411 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6067 3411 1111 63 0 6004 0
vsize: 24268
[startup+230.015 s]
Raw data (loadavg): 1.00 1.00 1.08 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 3543 0 0 0 22992 12 0 0 25 0 1 0 708429884 25276416 3521 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6171 3521 1111 63 0 6108 0
vsize: 24684
[startup+240.015 s]
Raw data (loadavg): 1.00 1.00 1.08 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 3654 0 0 0 23991 13 0 0 25 0 1 0 708429884 25722880 3632 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6280 3632 1111 63 0 6217 0
vsize: 25120
[startup+250.015 s]
Raw data (loadavg): 1.00 1.00 1.08 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 3763 0 0 0 24991 13 0 0 25 0 1 0 708429884 26173440 3741 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6390 3741 1111 63 0 6327 0
vsize: 25560
[startup+260.015 s]
Raw data (loadavg): 1.00 1.00 1.08 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 3875 0 0 0 25991 13 0 0 25 0 1 0 708429884 26624000 3853 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6500 3853 1111 63 0 6437 0
vsize: 26000
[startup+270.015 s]
Raw data (loadavg): 1.00 1.00 1.08 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 3991 0 0 0 26991 13 0 0 25 0 1 0 708429884 27074560 3969 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6610 3969 1111 63 0 6547 0
vsize: 26440
[startup+280.015 s]
Raw data (loadavg): 1.00 1.00 1.08 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 4096 0 0 0 27991 13 0 0 25 0 1 0 708429884 27521024 4074 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6719 4074 1111 63 0 6656 0
vsize: 26876
[startup+290.014 s]
Raw data (loadavg): 1.00 1.00 1.08 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 4211 0 0 0 28991 14 0 0 25 0 1 0 708429884 27971584 4189 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6829 4189 1111 63 0 6766 0
vsize: 27316
[startup+300.014 s]
Raw data (loadavg): 1.00 1.00 1.07 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 4322 0 0 0 29991 14 0 0 25 0 1 0 708429884 28422144 4300 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6939 4300 1111 63 0 6876 0
vsize: 27756
[startup+310.014 s]
Raw data (loadavg): 1.00 1.00 1.07 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 4432 0 0 0 30990 15 0 0 25 0 1 0 708429884 28872704 4410 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7049 4410 1111 63 0 6986 0
vsize: 28196
[startup+320.013 s]
Raw data (loadavg): 1.00 1.00 1.07 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 4549 0 0 0 31990 15 0 0 25 0 1 0 708429884 29474816 4527 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4527 1111 63 0 7133 0
vsize: 28784
[startup+330.014 s]
Raw data (loadavg): 1.00 1.00 1.07 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 4652 0 0 0 32990 15 0 0 25 0 1 0 708429884 29769728 4630 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7268 4630 1111 63 0 7205 0
vsize: 29072
[startup+340.014 s]
Raw data (loadavg): 1.00 1.00 1.07 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 4769 0 0 0 33989 16 0 0 25 0 1 0 708429884 30371840 4747 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7415 4747 1111 63 0 7352 0
vsize: 29660
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 1.07 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 4878 0 0 0 34989 17 0 0 25 0 1 0 708429884 30822400 4856 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7525 4856 1111 63 0 7462 0
vsize: 30100
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 1.07 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 5001 0 0 0 35989 17 0 0 25 0 1 0 708429884 31277056 4979 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7636 4979 1111 63 0 7573 0
vsize: 30544
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.07 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 5116 0 0 0 36989 17 0 0 25 0 1 0 708429884 31727616 5094 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7746 5094 1111 63 0 7683 0
vsize: 30984
[startup+380.013 s]
Raw data (loadavg): 1.00 1.00 1.07 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 5227 0 0 0 37989 18 0 0 25 0 1 0 708429884 32174080 5205 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7855 5205 1111 63 0 7792 0
vsize: 31420
[startup+390.013 s]
Raw data (loadavg): 1.00 1.00 1.07 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 5337 0 0 0 38988 18 0 0 25 0 1 0 708429884 32624640 5315 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7965 5315 1111 63 0 7902 0
vsize: 31860
[startup+400.014 s]
Raw data (loadavg): 1.00 1.00 1.06 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 5454 0 0 0 39988 19 0 0 25 0 1 0 708429884 33226752 5432 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8112 5432 1111 63 0 8049 0
vsize: 32448
[startup+410.013 s]
Raw data (loadavg): 1.00 1.00 1.06 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 5565 0 0 0 40988 19 0 0 25 0 1 0 708429884 33677312 5543 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8222 5543 1111 63 0 8159 0
vsize: 32888
[startup+420.013 s]
Raw data (loadavg): 1.00 1.00 1.06 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 5676 0 0 0 41988 19 0 0 25 0 1 0 708429884 34127872 5654 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8332 5654 1111 63 0 8269 0
vsize: 33328
[startup+430.014 s]
Raw data (loadavg): 1.00 1.00 1.06 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 5792 0 0 0 42988 19 0 0 25 0 1 0 708429884 34574336 5770 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8441 5770 1111 63 0 8378 0
vsize: 33764
[startup+440.014 s]
Raw data (loadavg): 1.00 1.00 1.06 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 5903 0 0 0 43988 19 0 0 25 0 1 0 708429884 35024896 5881 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8551 5881 1111 63 0 8488 0
vsize: 34204
[startup+450.013 s]
Raw data (loadavg): 1.00 1.00 1.06 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 6014 0 0 0 44988 20 0 0 25 0 1 0 708429884 35475456 5992 4294967295 134512640 134714540 3221224592 3221222820 1077414372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8661 5992 1111 63 0 8598 0
vsize: 34644
[startup+460.013 s]
Raw data (loadavg): 1.00 1.00 1.06 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 6131 0 0 0 45988 20 0 0 25 0 1 0 708429884 35926016 6109 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8771 6109 1111 63 0 8708 0
vsize: 35084
[startup+470.014 s]
Raw data (loadavg): 1.00 1.00 1.06 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 6240 0 0 0 46988 20 0 0 25 0 1 0 708429884 36372480 6218 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8880 6218 1111 63 0 8817 0
vsize: 35520
[startup+480.014 s]
Raw data (loadavg): 1.00 1.00 1.06 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 6352 0 0 0 47988 20 0 0 25 0 1 0 708429884 36823040 6330 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8990 6330 1111 63 0 8927 0
vsize: 35960
[startup+490.013 s]
Raw data (loadavg): 1.00 1.00 1.06 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 6468 0 0 0 48987 21 0 0 25 0 1 0 708429884 37273600 6446 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9100 6446 1111 63 0 9037 0
vsize: 36400
[startup+500.014 s]
Raw data (loadavg): 1.00 1.00 1.05 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 6579 0 0 0 49987 21 0 0 25 0 1 0 708429884 37724160 6557 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9210 6557 1111 63 0 9147 0
vsize: 36840
[startup+510.013 s]
Raw data (loadavg): 1.00 1.00 1.05 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 6689 0 0 0 50987 21 0 0 25 0 1 0 708429884 38174720 6667 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9320 6667 1111 63 0 9257 0
vsize: 37280
[startup+520.013 s]
Raw data (loadavg): 1.00 1.00 1.05 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 6807 0 0 0 51987 21 0 0 25 0 1 0 708429884 38625280 6785 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9430 6785 1111 63 0 9367 0
vsize: 37720
[startup+530.013 s]
Raw data (loadavg): 1.00 1.00 1.05 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 6922 0 0 0 52987 22 0 0 25 0 1 0 708429884 39219200 6900 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9575 6900 1111 63 0 9512 0
vsize: 38300
[startup+540.013 s]
Raw data (loadavg): 1.00 1.00 1.05 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 7035 0 0 0 53987 22 0 0 25 0 1 0 708429884 39673856 7013 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9686 7013 1111 63 0 9623 0
vsize: 38744
[startup+550.013 s]
Raw data (loadavg): 1.00 1.00 1.05 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 7144 0 0 0 54987 22 0 0 25 0 1 0 708429884 40120320 7122 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9795 7122 1111 63 0 9732 0
vsize: 39180
[startup+560.013 s]
Raw data (loadavg): 1.00 1.00 1.05 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 7262 0 0 0 55986 23 0 0 25 0 1 0 708429884 40574976 7240 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9906 7240 1111 63 0 9843 0
vsize: 39624
[startup+570.014 s]
Raw data (loadavg): 1.00 1.00 1.05 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 7378 0 0 0 56987 23 0 0 25 0 1 0 708429884 41017344 7356 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10014 7356 1111 63 0 9951 0
vsize: 40056
[startup+580.013 s]
Raw data (loadavg): 1.00 1.00 1.05 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 7490 0 0 0 57986 23 0 0 25 0 1 0 708429884 41472000 7468 4294967295 134512640 134714540 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10125 7468 1111 63 0 10062 0
vsize: 40500
[startup+590.013 s]
Raw data (loadavg): 1.00 1.00 1.05 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 7606 0 0 0 58986 23 0 0 25 0 1 0 708429884 41918464 7584 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10234 7584 1111 63 0 10171 0
vsize: 40936
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 1.04 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 7717 0 0 0 59986 24 0 0 25 0 1 0 708429884 42373120 7695 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10345 7695 1111 63 0 10282 0
vsize: 41380
[startup+610.013 s]
Raw data (loadavg): 1.00 1.00 1.04 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 7834 0 0 0 60986 24 0 0 25 0 1 0 708429884 42815488 7812 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10453 7812 1111 63 0 10390 0
vsize: 41812
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 1.04 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 7952 0 0 0 61986 24 0 0 25 0 1 0 708429884 43417600 7930 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10600 7930 1111 63 0 10537 0
vsize: 42400
[startup+630.013 s]
Raw data (loadavg): 1.00 1.00 1.04 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 8062 0 0 0 62986 24 0 0 25 0 1 0 708429884 43868160 8040 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10710 8040 1111 63 0 10647 0
vsize: 42840
[startup+640.012 s]
Raw data (loadavg): 1.00 1.00 1.04 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 8180 0 0 0 63985 25 0 0 25 0 1 0 708429884 44318720 8158 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10820 8158 1111 63 0 10757 0
vsize: 43280
[startup+650.012 s]
Raw data (loadavg): 1.00 1.00 1.04 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 8290 0 0 0 64985 25 0 0 25 0 1 0 708429884 44765184 8268 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10929 8268 1111 63 0 10866 0
vsize: 43716
[startup+660.012 s]
Raw data (loadavg): 1.00 1.00 1.04 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 8408 0 0 0 65985 25 0 0 25 0 1 0 708429884 45215744 8386 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11039 8386 1111 63 0 10976 0
vsize: 44156
[startup+670.012 s]
Raw data (loadavg): 1.00 1.00 1.04 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 8524 0 0 0 66985 25 0 0 25 0 1 0 708429884 45666304 8502 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11149 8502 1111 63 0 11086 0
vsize: 44596
[startup+680.012 s]
Raw data (loadavg): 1.00 1.00 1.04 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 8641 0 0 0 67985 26 0 0 25 0 1 0 708429884 46116864 8619 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11259 8619 1111 63 0 11196 0
vsize: 45036
[startup+690.012 s]
Raw data (loadavg): 1.00 1.00 1.04 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 8753 0 0 0 68985 26 0 0 25 0 1 0 708429884 46567424 8731 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8731 1111 63 0 11306 0
vsize: 45476
[startup+700.011 s]
Raw data (loadavg): 1.00 1.00 1.04 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 8869 0 0 0 69985 26 0 0 25 0 1 0 708429884 47165440 8847 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11515 8847 1111 63 0 11452 0
vsize: 46060
[startup+710.011 s]
Raw data (loadavg): 1.00 1.00 1.03 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 9000 0 0 0 70985 27 0 0 25 0 1 0 708429884 47808512 8978 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11672 8978 1111 63 0 11609 0
vsize: 46688
[startup+720.011 s]
Raw data (loadavg): 1.00 1.00 1.03 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 9116 0 0 0 71985 27 0 0 25 0 1 0 708429884 48259072 9094 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11782 9094 1111 63 0 11719 0
vsize: 47128
[startup+730.01 s]
Raw data (loadavg): 1.00 1.00 1.03 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 9233 0 0 0 72985 27 0 0 25 0 1 0 708429884 48709632 9211 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11892 9211 1111 63 0 11829 0
vsize: 47568
[startup+740.01 s]
Raw data (loadavg): 1.00 1.00 1.03 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 9349 0 0 0 73984 27 0 0 25 0 1 0 708429884 49156096 9327 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12001 9327 1111 63 0 11938 0
vsize: 48004
[startup+750.011 s]
Raw data (loadavg): 1.00 1.00 1.03 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 9468 0 0 0 74985 27 0 0 25 0 1 0 708429884 49610752 9446 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12112 9446 1111 63 0 12049 0
vsize: 48448
[startup+760.011 s]
Raw data (loadavg): 1.00 1.00 1.03 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 9579 0 0 0 75985 28 0 0 25 0 1 0 708429884 50057216 9557 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12221 9557 1111 63 0 12158 0
vsize: 48884
[startup+770.01 s]
Raw data (loadavg): 1.00 1.00 1.03 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 9696 0 0 0 76984 28 0 0 25 0 1 0 708429884 50659328 9674 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12368 9674 1111 63 0 12305 0
vsize: 49472
[startup+780.01 s]
Raw data (loadavg): 1.00 1.00 1.03 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 9813 0 0 0 77984 28 0 0 25 0 1 0 708429884 51105792 9791 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12477 9791 1111 63 0 12414 0
vsize: 49908
[startup+790.01 s]
Raw data (loadavg): 1.00 1.00 1.03 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 9931 0 0 0 78984 29 0 0 25 0 1 0 708429884 51560448 9909 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12588 9909 1111 63 0 12525 0
vsize: 50352
[startup+800.009 s]
Raw data (loadavg): 1.00 1.00 1.03 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 10042 0 0 0 79984 29 0 0 25 0 1 0 708429884 52002816 10020 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12696 10020 1111 63 0 12633 0
vsize: 50784
[startup+810.009 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 10160 0 0 0 80983 29 0 0 25 0 1 0 708429884 52457472 10138 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12807 10138 1111 63 0 12744 0
vsize: 51228
[startup+820.01 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 10276 0 0 0 81983 30 0 0 25 0 1 0 708429884 52903936 10254 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12916 10254 1111 63 0 12853 0
vsize: 51664
[startup+830.009 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 10394 0 0 0 82983 30 0 0 25 0 1 0 708429884 53506048 10372 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13063 10372 1111 63 0 13000 0
vsize: 52252
[startup+840.01 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 10511 0 0 0 83983 30 0 0 25 0 1 0 708429884 53952512 10489 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13172 10489 1111 63 0 13109 0
vsize: 52688
[startup+850.01 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 10629 0 0 0 84983 30 0 0 25 0 1 0 708429884 54403072 10607 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13282 10607 1111 63 0 13219 0
vsize: 53128
[startup+860.01 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 10745 0 0 0 85983 31 0 0 25 0 1 0 708429884 54853632 10723 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13392 10723 1111 63 0 13329 0
vsize: 53568
[startup+870.01 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 10864 0 0 0 86983 31 0 0 25 0 1 0 708429884 55304192 10842 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13502 10842 1111 63 0 13439 0
vsize: 54008
[startup+880.011 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 10981 0 0 0 87983 31 0 0 25 0 1 0 708429884 55906304 10959 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13649 10959 1111 63 0 13586 0
vsize: 54596
[startup+890.011 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 11099 0 0 0 88983 31 0 0 25 0 1 0 708429884 56352768 11077 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13758 11077 1111 63 0 13695 0
vsize: 55032
[startup+900.011 s]
Raw data (loadavg): 1.00 1.00 1.02 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 11216 0 0 0 89983 31 0 0 25 0 1 0 708429884 56803328 11194 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13868 11194 1111 63 0 13805 0
vsize: 55472
[startup+910.01 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 11333 0 0 0 90983 32 0 0 25 0 1 0 708429884 57253888 11311 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13978 11311 1111 63 0 13915 0
vsize: 55912
[startup+920.011 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 11452 0 0 0 91983 32 0 0 25 0 1 0 708429884 57696256 11430 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14086 11430 1111 63 0 14023 0
vsize: 56344
[startup+930.011 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 11569 0 0 0 92982 33 0 0 25 0 1 0 708429884 58269696 11547 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14226 11547 1111 63 0 14163 0
vsize: 56904
[startup+940.01 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 11687 0 0 0 93982 33 0 0 25 0 1 0 708429884 58724352 11665 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14337 11665 1111 63 0 14274 0
vsize: 57348
[startup+950.011 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 11803 0 0 0 94982 34 0 0 25 0 1 0 708429884 59170816 11781 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14446 11781 1111 63 0 14383 0
vsize: 57784
[startup+960.011 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 11922 0 0 0 95982 34 0 0 25 0 1 0 708429884 59621376 11900 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14556 11900 1111 63 0 14493 0
vsize: 58224
[startup+970.011 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 12040 0 0 0 96982 34 0 0 25 0 1 0 708429884 60215296 12018 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14701 12018 1111 63 0 14638 0
vsize: 58804
[startup+980.012 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 12157 0 0 0 97982 34 0 0 25 0 1 0 708429884 60669952 12135 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14812 12135 1111 63 0 14749 0
vsize: 59248
[startup+990.012 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 12274 0 0 0 98982 35 0 0 25 0 1 0 708429884 61116416 12252 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14921 12252 1111 63 0 14858 0
vsize: 59684
[startup+1000.01 s]
Raw data (loadavg): 1.00 1.00 1.01 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 12393 0 0 0 99982 35 0 0 25 0 1 0 708429884 61571072 12371 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15032 12371 1111 63 0 14969 0
vsize: 60128
[startup+1010.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 12510 0 0 0 100982 35 0 0 25 0 1 0 708429884 62017536 12488 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15141 12488 1111 63 0 15078 0
vsize: 60564
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 12634 0 0 0 101982 35 0 0 25 0 1 0 708429884 62619648 12612 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15288 12612 1111 63 0 15225 0
vsize: 61152
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 12752 0 0 0 102981 36 0 0 25 0 1 0 708429884 63066112 12730 4294967295 134512640 134714540 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15397 12730 1111 63 0 15334 0
vsize: 61588
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 12870 0 0 0 103981 36 0 0 25 0 1 0 708429884 63516672 12848 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15507 12848 1111 63 0 15444 0
vsize: 62028
[startup+1050.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 12988 0 0 0 104981 36 0 0 25 0 1 0 708429884 63967232 12966 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15617 12966 1111 63 0 15554 0
vsize: 62468
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 13112 0 0 0 105981 36 0 0 25 0 1 0 708429884 64569344 13090 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15764 13090 1111 63 0 15701 0
vsize: 63056
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 13230 0 0 0 106981 36 0 0 25 0 1 0 708429884 65019904 13208 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15874 13208 1111 63 0 15811 0
vsize: 63496
[startup+1080.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 13347 0 0 0 107981 37 0 0 25 0 1 0 708429884 65466368 13325 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15983 13325 1111 63 0 15920 0
vsize: 63932
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 13465 0 0 0 108981 37 0 0 25 0 1 0 708429884 65916928 13443 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16093 13443 1111 63 0 16030 0
vsize: 64372
[startup+1100.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 13583 0 0 0 109981 37 0 0 25 0 1 0 708429884 66514944 13561 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16239 13561 1111 63 0 16176 0
vsize: 64956
[startup+1110.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 13707 0 0 0 110981 38 0 0 25 0 1 0 708429884 66969600 13685 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16350 13685 1111 63 0 16287 0
vsize: 65400
[startup+1120.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 13825 0 0 0 111980 38 0 0 25 0 1 0 708429884 67411968 13803 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16458 13803 1111 63 0 16395 0
vsize: 65832
[startup+1130.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 13949 0 0 0 112980 38 0 0 25 0 1 0 708429884 68014080 13927 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16605 13927 1111 63 0 16542 0
vsize: 66420
[startup+1140.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 14067 0 0 0 113980 39 0 0 25 0 1 0 708429884 68464640 14045 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16715 14045 1111 63 0 16652 0
vsize: 66860
[startup+1150.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 14185 0 0 0 114980 39 0 0 25 0 1 0 708429884 68915200 14163 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16825 14163 1111 63 0 16762 0
vsize: 67300
[startup+1160.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 14304 0 0 0 115980 40 0 0 25 0 1 0 708429884 69361664 14282 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16934 14282 1111 63 0 16871 0
vsize: 67736
[startup+1170.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 14427 0 0 0 116980 40 0 0 25 0 1 0 708429884 69963776 14405 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17081 14405 1111 63 0 17018 0
vsize: 68324
[startup+1180.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 14547 0 0 0 117980 40 0 0 25 0 1 0 708429884 70414336 14525 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17191 14525 1111 63 0 17128 0
vsize: 68764
[startup+1190.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 14669 0 0 0 118980 40 0 0 25 0 1 0 708429884 70864896 14647 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17301 14647 1111 63 0 17238 0
vsize: 69204
[startup+1200.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 32756
Raw data (stat): 32754 (bsolo_mis) R 32753 32363 32362 0 -1 0 14789 0 0 0 119979 41 0 0 25 0 1 0 708429884 71315456 14767 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17411 14767 1111 63 0 17348 0
vsize: 69644
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 32756
Raw data (stat): 32754 (bsolo_mis) Z 32753 32363 32362 0 -1 1036 14789 0 0 0 119979 43 0 0 25 0 1 0 708429884 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.04
CPU time (s): 1200.24
CPU user time (s): 1199.8
CPU system time (s): 0.439933
CPU usage (%): 100.016
Max. virtual memory (Kb): 69644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####