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-n3708.opb
MD5SUM	530cef6af13bdf9c6dc1bddf1879e0d7
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	29705729356859
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	29705729356859
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.42678
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 26300

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 14:58:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14108 boxname=wulflinc31 idbench=1086 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  530cef6af13bdf9c6dc1bddf1879e0d7  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-n3708.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-n3708.opb
IDLAUNCH: 14108
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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:        476616 kB
Buffers:         33640 kB
Cached:         502720 kB
SwapCached:       1248 kB
Active:         196596 kB
Inactive:       342292 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        476364 kB
SwapTotal:     2097892 kB
SwapFree:      2096040 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5336 kB
Slab:            13452 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 15:18:50 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 14108 7 1200.27 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.82 0.95 0.77 2/55 30173
Raw data (stat): 30173 (runsolver) R 30172 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831122048 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0008 s]
Raw data (loadavg): 0.85 0.95 0.77 2/55 30175
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1140 0 0 0 995 3 0 0 25 0 1 0 831122048 15507456 1118 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3786 1118 1111 63 0 3723 0
vsize: 15144
[startup+20.0012 s]
Raw data (loadavg): 0.87 0.95 0.77 2/55 30175
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1250 0 0 0 1995 4 0 0 25 0 1 0 831122048 15958016 1228 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3896 1228 1111 63 0 3833 0
vsize: 15584
[startup+30.0025 s]
Raw data (loadavg): 0.89 0.95 0.77 2/55 30175
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1359 0 0 0 2995 4 0 0 25 0 1 0 831122048 16404480 1337 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4005 1337 1111 63 0 3942 0
vsize: 16020
[startup+40.0031 s]
Raw data (loadavg): 0.91 0.96 0.78 2/55 30175
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1469 0 0 0 3995 4 0 0 25 0 1 0 831122048 16830464 1447 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4109 1447 1111 63 0 4046 0
vsize: 16436
[startup+50.003 s]
Raw data (loadavg): 0.92 0.96 0.78 2/55 30175
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1575 0 0 0 4995 5 0 0 25 0 1 0 831122048 17256448 1553 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4213 1553 1111 63 0 4150 0
vsize: 16852
[startup+60.0032 s]
Raw data (loadavg): 0.93 0.96 0.78 2/55 30175
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1691 0 0 0 5995 5 0 0 25 0 1 0 831122048 17711104 1669 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1669 1111 63 0 4261 0
vsize: 17296
[startup+70.0029 s]
Raw data (loadavg): 0.94 0.96 0.78 2/55 30177
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1794 0 0 0 6995 5 0 0 25 0 1 0 831122048 18157568 1772 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4433 1772 1111 63 0 4370 0
vsize: 17732
[startup+80.0691 s]
Raw data (loadavg): 0.95 0.96 0.78 3/57 30230
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 1904 0 0 0 8001 5 0 0 25 0 1 0 831122048 18608128 1882 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4543 1882 1111 63 0 4480 0
vsize: 18172
[startup+90.0697 s]
Raw data (loadavg): 0.96 0.96 0.79 2/55 30230
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2020 0 0 0 9001 6 0 0 25 0 1 0 831122048 19058688 1998 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 1998 1111 63 0 4590 0
vsize: 18612
[startup+100.07 s]
Raw data (loadavg): 0.96 0.96 0.79 2/55 30230
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2129 0 0 0 10000 7 0 0 25 0 1 0 831122048 19480576 2107 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4756 2107 1111 63 0 4693 0
vsize: 19024
[startup+110.071 s]
Raw data (loadavg): 0.97 0.96 0.79 2/55 30230
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2238 0 0 0 10999 8 0 0 25 0 1 0 831122048 19922944 2216 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4864 2216 1111 63 0 4801 0
vsize: 19456
[startup+120.071 s]
Raw data (loadavg): 0.97 0.96 0.79 2/55 30230
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2349 0 0 0 11999 8 0 0 25 0 1 0 831122048 20373504 2327 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4974 2327 1111 63 0 4911 0
vsize: 19896
[startup+130.071 s]
Raw data (loadavg): 0.98 0.96 0.79 2/55 30232
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2458 0 0 0 12999 9 0 0 25 0 1 0 831122048 20819968 2436 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5083 2436 1111 63 0 5020 0
vsize: 20332
[startup+140.071 s]
Raw data (loadavg): 0.98 0.97 0.80 2/55 30232
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2562 0 0 0 13998 9 0 0 25 0 1 0 831122048 21270528 2540 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5193 2540 1111 63 0 5130 0
vsize: 20772
[startup+150.071 s]
Raw data (loadavg): 0.98 0.97 0.80 2/55 30234
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2677 0 0 0 14997 10 0 0 25 0 1 0 831122048 21721088 2655 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5303 2655 1111 63 0 5240 0
vsize: 21212
[startup+160.071 s]
Raw data (loadavg): 0.98 0.97 0.80 2/55 30234
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2782 0 0 0 15997 11 0 0 25 0 1 0 831122048 22171648 2760 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2760 1111 63 0 5350 0
vsize: 21652
[startup+170.071 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 30234
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 2897 0 0 0 16996 11 0 0 25 0 1 0 831122048 22618112 2875 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5522 2875 1111 63 0 5459 0
vsize: 22088
[startup+180.072 s]
Raw data (loadavg): 0.99 0.97 0.80 2/55 30234
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3010 0 0 0 17996 12 0 0 25 0 1 0 831122048 23068672 2988 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5632 2988 1111 63 0 5569 0
vsize: 22528
[startup+190.072 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 30236
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3117 0 0 0 18995 12 0 0 25 0 1 0 831122048 23506944 3095 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 3095 1111 63 0 5676 0
vsize: 22956
[startup+200.072 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 30236
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3227 0 0 0 19995 13 0 0 25 0 1 0 831122048 23953408 3205 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5848 3205 1111 63 0 5785 0
vsize: 23392
[startup+210.073 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 30236
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3336 0 0 0 20995 13 0 0 25 0 1 0 831122048 24408064 3314 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5959 3314 1111 63 0 5896 0
vsize: 23836
[startup+220.074 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 30236
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3447 0 0 0 21995 13 0 0 25 0 1 0 831122048 24850432 3425 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6067 3425 1111 63 0 6004 0
vsize: 24268
[startup+230.074 s]
Raw data (loadavg): 0.99 0.97 0.81 2/55 30236
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3551 0 0 0 22994 13 0 0 25 0 1 0 831122048 25276416 3529 4294967295 134512640 134714540 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6171 3529 1111 63 0 6108 0
vsize: 24684
[startup+240.074 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 30236
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3668 0 0 0 23994 14 0 0 25 0 1 0 831122048 25874432 3646 4294967295 134512640 134714540 3221224592 3221221308 1077191619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6317 3646 1111 63 0 6254 0
vsize: 25268
[startup+250.074 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 30238
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3771 0 0 0 24994 14 0 0 25 0 1 0 831122048 26173440 3749 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6390 3749 1111 63 0 6327 0
vsize: 25560
[startup+260.077 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 30238
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3888 0 0 0 25995 14 0 0 25 0 1 0 831122048 26775552 3866 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6537 3866 1111 63 0 6474 0
vsize: 26148
[startup+270.076 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 30238
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 3992 0 0 0 26994 14 0 0 25 0 1 0 831122048 27074560 3970 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6610 3970 1111 63 0 6547 0
vsize: 26440
[startup+280.076 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 30238
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4102 0 0 0 27995 14 0 0 25 0 1 0 831122048 27521024 4080 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6719 4080 1111 63 0 6656 0
vsize: 26876
[startup+290.077 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 30238
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4211 0 0 0 28994 15 0 0 25 0 1 0 831122048 27971584 4189 4294967295 134512640 134714540 3221224592 3221222820 1077414413 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.078 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 30238
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4322 0 0 0 29993 15 0 0 25 0 1 0 831122048 28422144 4300 4294967295 134512640 134714540 3221224592 3221222820 1077414363 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.078 s]
Raw data (loadavg): 0.99 0.97 0.82 2/55 30240
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4432 0 0 0 30992 16 0 0 25 0 1 0 831122048 28872704 4410 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7049 4410 1111 63 0 6986 0
vsize: 28196
[startup+320.078 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 30240
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4543 0 0 0 31992 16 0 0 25 0 1 0 831122048 29319168 4521 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7158 4521 1111 63 0 7095 0
vsize: 28632
[startup+330.078 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 30240
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4652 0 0 0 32992 16 0 0 25 0 1 0 831122048 29769728 4630 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7268 4630 1111 63 0 7205 0
vsize: 29072
[startup+340.078 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 30240
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4762 0 0 0 33992 16 0 0 25 0 1 0 831122048 30220288 4740 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7378 4740 1111 63 0 7315 0
vsize: 29512
[startup+350.078 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 30240
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4871 0 0 0 34992 17 0 0 25 0 1 0 831122048 30670848 4849 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7488 4849 1111 63 0 7425 0
vsize: 29952
[startup+360.079 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 30240
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 4993 0 0 0 35992 17 0 0 25 0 1 0 831122048 31277056 4971 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7636 4971 1111 63 0 7573 0
vsize: 30544
[startup+370.079 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 30242
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5102 0 0 0 36992 18 0 0 25 0 1 0 831122048 31727616 5080 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7746 5080 1111 63 0 7683 0
vsize: 30984
[startup+380.079 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 30242
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5219 0 0 0 37991 18 0 0 25 0 1 0 831122048 32174080 5197 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7855 5197 1111 63 0 7792 0
vsize: 31420
[startup+390.08 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 30242
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5323 0 0 0 38991 19 0 0 25 0 1 0 831122048 32624640 5301 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7965 5301 1111 63 0 7902 0
vsize: 31860
[startup+400.08 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 30242
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5440 0 0 0 39991 19 0 0 25 0 1 0 831122048 33075200 5418 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8075 5418 1111 63 0 8012 0
vsize: 32300
[startup+410.079 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 30244
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5544 0 0 0 40990 19 0 0 25 0 1 0 831122048 33525760 5522 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8185 5522 1111 63 0 8122 0
vsize: 32740
[startup+420.08 s]
Raw data (loadavg): 0.99 0.97 0.83 2/55 30244
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5661 0 0 0 41990 19 0 0 25 0 1 0 831122048 33972224 5639 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8294 5639 1111 63 0 8231 0
vsize: 33176
[startup+430.079 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 30246
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5771 0 0 0 42990 19 0 0 25 0 1 0 831122048 34422784 5749 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8404 5749 1111 63 0 8341 0
vsize: 33616
[startup+440.079 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 30246
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5882 0 0 0 43990 20 0 0 25 0 1 0 831122048 34873344 5860 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8514 5860 1111 63 0 8451 0
vsize: 34056
[startup+450.079 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 30246
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 5992 0 0 0 44990 20 0 0 25 0 1 0 831122048 35323904 5970 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8624 5970 1111 63 0 8561 0
vsize: 34496
[startup+460.08 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 30246
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6103 0 0 0 45990 20 0 0 25 0 1 0 831122048 35770368 6081 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8733 6081 1111 63 0 8670 0
vsize: 34932
[startup+470.08 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 30246
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6218 0 0 0 46990 20 0 0 25 0 1 0 831122048 36225024 6196 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8844 6196 1111 63 0 8781 0
vsize: 35376
[startup+480.081 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 30246
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6323 0 0 0 47990 21 0 0 25 0 1 0 831122048 36671488 6301 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8953 6301 1111 63 0 8890 0
vsize: 35812
[startup+490.081 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 30248
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6439 0 0 0 48990 21 0 0 25 0 1 0 831122048 37122048 6417 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9063 6417 1111 63 0 9000 0
vsize: 36252
[startup+500.081 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 30248
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6550 0 0 0 49990 21 0 0 25 0 1 0 831122048 37572608 6528 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9173 6528 1111 63 0 9110 0
vsize: 36692
[startup+510.081 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 30248
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6659 0 0 0 50990 22 0 0 25 0 1 0 831122048 38023168 6637 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9283 6637 1111 63 0 9220 0
vsize: 37132
[startup+520.081 s]
Raw data (loadavg): 0.99 0.97 0.84 2/55 30248
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6777 0 0 0 51990 22 0 0 25 0 1 0 831122048 38625280 6755 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9430 6755 1111 63 0 9367 0
vsize: 37720
[startup+530.081 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 30248
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6880 0 0 0 52990 22 0 0 25 0 1 0 831122048 38920192 6858 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9502 6858 1111 63 0 9439 0
vsize: 38008
[startup+540.082 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 30248
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 6998 0 0 0 53989 23 0 0 25 0 1 0 831122048 39522304 6976 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9649 6976 1111 63 0 9586 0
vsize: 38596
[startup+550.082 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 30250
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7107 0 0 0 54989 23 0 0 25 0 1 0 831122048 39972864 7085 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9759 7085 1111 63 0 9696 0
vsize: 39036
[startup+560.082 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 30250
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7218 0 0 0 55989 23 0 0 25 0 1 0 831122048 40423424 7196 4294967295 134512640 134714540 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9869 7196 1111 63 0 9806 0
vsize: 39476
[startup+570.082 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 30250
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7335 0 0 0 56988 24 0 0 25 0 1 0 831122048 40869888 7313 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9978 7313 1111 63 0 9915 0
vsize: 39912
[startup+580.082 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 30250
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7446 0 0 0 57988 24 0 0 25 0 1 0 831122048 41320448 7424 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10088 7424 1111 63 0 10025 0
vsize: 40352
[startup+590.082 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 30250
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7556 0 0 0 58989 24 0 0 25 0 1 0 831122048 41771008 7534 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10198 7534 1111 63 0 10135 0
vsize: 40792
[startup+600.082 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 30250
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7673 0 0 0 59989 24 0 0 25 0 1 0 831122048 42221568 7651 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10308 7651 1111 63 0 10245 0
vsize: 41232
[startup+610.083 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 30252
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7783 0 0 0 60989 24 0 0 25 0 1 0 831122048 42668032 7761 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10417 7761 1111 63 0 10354 0
vsize: 41668
[startup+620.083 s]
Raw data (loadavg): 0.99 0.97 0.85 2/55 30252
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 7894 0 0 0 61989 24 0 0 25 0 1 0 831122048 43122688 7872 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10528 7872 1111 63 0 10465 0
vsize: 42112
[startup+630.083 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 30252
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8011 0 0 0 62989 24 0 0 25 0 1 0 831122048 43569152 7989 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10637 7989 1111 63 0 10574 0
vsize: 42548
[startup+640.083 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 30252
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8122 0 0 0 63989 25 0 0 25 0 1 0 831122048 44019712 8100 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10747 8100 1111 63 0 10684 0
vsize: 42988
[startup+650.083 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 30252
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8231 0 0 0 64988 25 0 0 25 0 1 0 831122048 44470272 8209 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10857 8209 1111 63 0 10794 0
vsize: 43428
[startup+660.083 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 30252
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8349 0 0 0 65988 25 0 0 25 0 1 0 831122048 44920832 8327 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10967 8327 1111 63 0 10904 0
vsize: 43868
[startup+670.084 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 30254
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8459 0 0 0 66988 26 0 0 25 0 1 0 831122048 45367296 8437 4294967295 134512640 134714540 3221224592 3221222460 1077246233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11076 8437 1111 63 0 11013 0
vsize: 44304
[startup+680.084 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 30254
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8570 0 0 0 67988 26 0 0 25 0 1 0 831122048 45817856 8548 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11186 8548 1111 63 0 11123 0
vsize: 44744
[startup+690.084 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 30254
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8686 0 0 0 68988 26 0 0 25 0 1 0 831122048 46415872 8664 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11332 8664 1111 63 0 11269 0
vsize: 45328
[startup+700.084 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 30254
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8803 0 0 0 69988 27 0 0 25 0 1 0 831122048 46870528 8781 4294967295 134512640 134714540 3221224592 3221222820 1077414418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11443 8781 1111 63 0 11380 0
vsize: 45772
[startup+710.084 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 30254
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 8931 0 0 0 70988 27 0 0 25 0 1 0 831122048 47509504 8909 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11599 8909 1111 63 0 11536 0
vsize: 46396
[startup+720.085 s]
Raw data (loadavg): 0.99 0.97 0.86 2/55 30254
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9043 0 0 0 71988 27 0 0 25 0 1 0 831122048 47960064 9021 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11709 9021 1111 63 0 11646 0
vsize: 46836
[startup+730.085 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 30256
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9159 0 0 0 72988 27 0 0 25 0 1 0 831122048 48406528 9137 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11818 9137 1111 63 0 11755 0
vsize: 47272
[startup+740.085 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 30256
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9276 0 0 0 73987 28 0 0 25 0 1 0 831122048 48861184 9254 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11929 9254 1111 63 0 11866 0
vsize: 47716
[startup+750.085 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 30256
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9386 0 0 0 74987 28 0 0 25 0 1 0 831122048 49303552 9364 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12037 9364 1111 63 0 11974 0
vsize: 48148
[startup+760.085 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 30256
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9499 0 0 0 75987 28 0 0 25 0 1 0 831122048 49758208 9477 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12148 9477 1111 63 0 12085 0
vsize: 48592
[startup+770.085 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 30256
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9615 0 0 0 76987 28 0 0 25 0 1 0 831122048 50204672 9593 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12257 9593 1111 63 0 12194 0
vsize: 49028
[startup+780.085 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 30256
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9732 0 0 0 77987 29 0 0 25 0 1 0 831122048 50806784 9710 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12404 9710 1111 63 0 12341 0
vsize: 49616
[startup+790.086 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 30258
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9842 0 0 0 78987 29 0 0 25 0 1 0 831122048 51253248 9820 4294967295 134512640 134714540 3221224592 3221223248 134527944 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12513 9820 1111 63 0 12450 0
vsize: 50052
[startup+800.086 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 30258
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 9960 0 0 0 79987 29 0 0 25 0 1 0 831122048 51703808 9938 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12623 9938 1111 63 0 12560 0
vsize: 50492
[startup+810.087 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 30258
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10071 0 0 0 80987 30 0 0 25 0 1 0 831122048 52154368 10049 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12733 10049 1111 63 0 12670 0
vsize: 50932
[startup+820.087 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 30258
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10188 0 0 0 81987 30 0 0 25 0 1 0 831122048 52604928 10166 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12843 10166 1111 63 0 12780 0
vsize: 51372
[startup+830.087 s]
Raw data (loadavg): 0.99 0.97 0.87 2/55 30258
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10304 0 0 0 82986 31 0 0 25 0 1 0 831122048 53051392 10282 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12952 10282 1111 63 0 12889 0
vsize: 51808
[startup+840.088 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 30258
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10415 0 0 0 83986 31 0 0 25 0 1 0 831122048 53506048 10393 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13063 10393 1111 63 0 13000 0
vsize: 52252
[startup+850.088 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 30260
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10532 0 0 0 84986 31 0 0 25 0 1 0 831122048 53952512 10510 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13172 10510 1111 63 0 13109 0
vsize: 52688
[startup+860.088 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 30260
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10644 0 0 0 85986 32 0 0 25 0 1 0 831122048 54403072 10622 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13282 10622 1111 63 0 13219 0
vsize: 53128
[startup+870.088 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 30260
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10761 0 0 0 86986 32 0 0 25 0 1 0 831122048 55005184 10739 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13429 10739 1111 63 0 13366 0
vsize: 53716
[startup+880.089 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 30260
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10878 0 0 0 87986 32 0 0 25 0 1 0 831122048 55455744 10856 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13539 10856 1111 63 0 13476 0
vsize: 54156
[startup+890.089 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 30260
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 10995 0 0 0 88985 33 0 0 25 0 1 0 831122048 55906304 10973 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13649 10973 1111 63 0 13586 0
vsize: 54596
[startup+900.089 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 30260
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11106 0 0 0 89985 33 0 0 25 0 1 0 831122048 56352768 11084 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13758 11084 1111 63 0 13695 0
vsize: 55032
[startup+910.09 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 30262
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11224 0 0 0 90985 33 0 0 25 0 1 0 831122048 56803328 11202 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13868 11202 1111 63 0 13805 0
vsize: 55472
[startup+920.09 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 30262
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11334 0 0 0 91985 33 0 0 25 0 1 0 831122048 57253888 11312 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13978 11312 1111 63 0 13915 0
vsize: 55912
[startup+930.09 s]
Raw data (loadavg): 0.99 0.97 0.88 2/55 30262
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11452 0 0 0 92985 33 0 0 25 0 1 0 831122048 57696256 11430 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14086 11430 1111 63 0 14023 0
vsize: 56344
[startup+940.09 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 30262
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11569 0 0 0 93985 34 0 0 25 0 1 0 831122048 58269696 11547 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14226 11547 1111 63 0 14163 0
vsize: 56904
[startup+950.091 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 30262
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11687 0 0 0 94985 34 0 0 25 0 1 0 831122048 58724352 11665 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14337 11665 1111 63 0 14274 0
vsize: 57348
[startup+960.091 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 30262
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11803 0 0 0 95985 34 0 0 25 0 1 0 831122048 59170816 11781 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14446 11781 1111 63 0 14383 0
vsize: 57784
[startup+970.091 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 30264
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 11921 0 0 0 96985 34 0 0 25 0 1 0 831122048 59621376 11899 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14556 11899 1111 63 0 14493 0
vsize: 58224
[startup+980.091 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 30264
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12032 0 0 0 97985 34 0 0 25 0 1 0 831122048 60071936 12010 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14666 12010 1111 63 0 14603 0
vsize: 58664
[startup+990.091 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 30264
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12150 0 0 0 98985 34 0 0 25 0 1 0 831122048 60669952 12128 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14812 12128 1111 63 0 14749 0
vsize: 59248
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 30264
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12266 0 0 0 99985 35 0 0 25 0 1 0 831122048 61116416 12244 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14921 12244 1111 63 0 14858 0
vsize: 59684
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 30264
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12385 0 0 0 100985 35 0 0 25 0 1 0 831122048 61571072 12363 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15032 12363 1111 63 0 14969 0
vsize: 60128
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 30264
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12496 0 0 0 101985 35 0 0 25 0 1 0 831122048 62017536 12474 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15141 12474 1111 63 0 15078 0
vsize: 60564
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.89 2/55 30266
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12614 0 0 0 102985 35 0 0 25 0 1 0 831122048 62472192 12592 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15252 12592 1111 63 0 15189 0
vsize: 61008
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30266
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12730 0 0 0 103985 36 0 0 25 0 1 0 831122048 62914560 12708 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15360 12708 1111 63 0 15297 0
vsize: 61440
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30266
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12848 0 0 0 104985 36 0 0 25 0 1 0 831122048 63516672 12826 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15507 12826 1111 63 0 15444 0
vsize: 62028
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30266
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 12966 0 0 0 105984 36 0 0 25 0 1 0 831122048 63967232 12944 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15617 12944 1111 63 0 15554 0
vsize: 62468
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30266
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13083 0 0 0 106984 37 0 0 25 0 1 0 831122048 64417792 13061 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15727 13061 1111 63 0 15664 0
vsize: 62908
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30266
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13201 0 0 0 107984 37 0 0 25 0 1 0 831122048 64864256 13179 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15836 13179 1111 63 0 15773 0
vsize: 63344
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30268
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13318 0 0 0 108984 37 0 0 25 0 1 0 831122048 65314816 13296 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15946 13296 1111 63 0 15883 0
vsize: 63784
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30268
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13436 0 0 0 109984 37 0 0 25 0 1 0 831122048 65916928 13414 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16093 13414 1111 63 0 16030 0
vsize: 64372
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30268
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13554 0 0 0 110984 38 0 0 25 0 1 0 831122048 66367488 13532 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16203 13532 1111 63 0 16140 0
vsize: 64812
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30268
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13671 0 0 0 111984 38 0 0 25 0 1 0 831122048 66818048 13649 4294967295 134512640 134714540 3221224592 3221223248 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16313 13649 1111 63 0 16250 0
vsize: 65252
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.90 2/55 30268
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13788 0 0 0 112984 38 0 0 25 0 1 0 831122048 67264512 13766 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16422 13766 1111 63 0 16359 0
vsize: 65688
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30268
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 13907 0 0 0 113984 38 0 0 25 0 1 0 831122048 67715072 13885 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16532 13885 1111 63 0 16469 0
vsize: 66128
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30270
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14024 0 0 0 114984 38 0 0 25 0 1 0 831122048 68313088 14002 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16678 14002 1111 63 0 16615 0
vsize: 66712
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 30270
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14142 0 0 0 115985 38 0 0 25 0 1 0 831122048 68767744 14120 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16789 14120 1111 63 0 16726 0
vsize: 67156
[startup+1170.1 s]
Raw data (loadavg): 1.15 1.00 0.92 2/55 30270
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14258 0 0 0 116985 38 0 0 25 0 1 0 831122048 69210112 14236 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16897 14236 1111 63 0 16834 0
vsize: 67588
[startup+1180.1 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 30270
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14377 0 0 0 117985 38 0 0 25 0 1 0 831122048 69664768 14355 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17008 14355 1111 63 0 16945 0
vsize: 68032
[startup+1190.1 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 30270
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14494 0 0 0 118985 39 0 0 25 0 1 0 831122048 70111232 14472 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17117 14472 1111 63 0 17054 0
vsize: 68468
[startup+1200.1 s]
Raw data (loadavg): 1.09 1.00 0.92 2/55 30270
Raw data (stat): 30173 (bsolo_mis) R 30172 29618 29617 0 -1 0 14619 0 0 0 119984 39 0 0 25 0 1 0 831122048 70713344 14597 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17264 14597 1111 63 0 17201 0
vsize: 69056
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.09 1.00 0.92 1/55 30270
Raw data (stat): 30173 (bsolo_mis) Z 30172 29618 29617 0 -1 1036 14619 0 0 0 119985 42 0 0 25 0 1 0 831122048 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.13
CPU time (s): 1200.27
CPU user time (s): 1199.85
CPU system time (s): 0.421935
CPU usage (%): 100.012
Max. virtual memory (Kb): 69056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####