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/MIPLIB/miplib3/normalized-mps-v2-20-10-l152lav.opb
MD5SUM	9d4ce12b138a2bef65a1f401ec9d1f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	4742
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.33
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 26452

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-05-24 15:38:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13484 boxname=wulflinc1 idbench=1038 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  9d4ce12b138a2bef65a1f401ec9d1f01  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 13484
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        625052 kB
Buffers:         38332 kB
Cached:         340836 kB
SwapCached:          0 kB
Active:          78436 kB
Inactive:       303856 kB
HighTotal:      131008 kB
HighFree:        69160 kB
LowTotal:       903652 kB
LowFree:        555892 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7144 kB
Slab:            21680 kB
Committed_AS:    92700 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 15:58:15 (client local time) WITH STATUS 0 IN 1200.37 SECONDS
stats: 13484 7 1200.37 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1989 variables and 193 constraints.
c After prepocess the problem consists of 1988 variables and 193 constraints.
c preprocess terminated 14.271 s
c Initial Lower Bound: 1154
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
#### 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.92 0.98 0.99 2/55 8787
Raw data (stat): 8787 (runsolver) R 8786 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 716300401 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+9.99955 s]
Raw data (loadavg): 0.93 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 12949 0 0 0 969 29 0 0 25 0 1 0 716300401 56651776 12916 4294967295 134512640 134714540 3221224592 3221222976 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13831 12916 1111 63 0 13768 0
vsize: 55324
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13326 0 0 0 1967 31 0 0 25 0 1 0 716300401 58277888 13293 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14228 13293 1111 63 0 14165 0
vsize: 56912
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13326 0 0 0 2965 33 0 0 25 0 1 0 716300401 58277888 13293 4294967295 134512640 134714540 3221224592 3221223216 134535462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14228 13293 1111 63 0 14165 0
vsize: 56912
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13350 0 0 0 3963 35 0 0 25 0 1 0 716300401 58277888 13317 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14228 13317 1111 63 0 14165 0
vsize: 56912
[startup+50.0027 s]
Raw data (loadavg): 0.96 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13350 0 0 0 4962 37 0 0 25 0 1 0 716300401 58277888 13317 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14228 13317 1111 63 0 14165 0
vsize: 56912
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13387 0 0 0 5960 39 0 0 25 0 1 0 716300401 58540032 13354 4294967295 134512640 134714540 3221224592 3221223384 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14292 13354 1111 63 0 14229 0
vsize: 57168
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13387 0 0 0 6958 41 0 0 25 0 1 0 716300401 58503168 13354 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14283 13354 1111 63 0 14220 0
vsize: 57132
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13387 0 0 0 7957 42 0 0 25 0 1 0 716300401 58503168 13354 4294967295 134512640 134714540 3221224592 3221223160 134540531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14283 13354 1111 63 0 14220 0
vsize: 57132
[startup+90.0053 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 13766 0 0 0 8955 45 0 0 25 0 1 0 716300401 60022784 13733 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14654 13733 1111 63 0 14591 0
vsize: 58616
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 14440 0 0 0 9952 48 0 0 25 0 1 0 716300401 62726144 14407 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15314 14407 1111 63 0 15251 0
vsize: 61256
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 14737 0 0 0 10950 50 0 0 25 0 1 0 716300401 63942656 14704 4294967295 134512640 134714540 3221224592 3221223328 134591824 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15611 14704 1111 63 0 15548 0
vsize: 62444
[startup+120.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 15165 0 0 0 11948 52 0 0 25 0 1 0 716300401 65695744 15132 4294967295 134512640 134714540 3221224592 3221223332 134591993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16039 15132 1111 63 0 15976 0
vsize: 64156
[startup+130.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 15514 0 0 0 12946 54 0 0 25 0 1 0 716300401 67182592 15481 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16402 15481 1111 63 0 16339 0
vsize: 65608
[startup+140.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16058 0 0 0 13944 57 0 0 25 0 1 0 716300401 69476352 16025 4294967295 134512640 134714540 3221224592 3221223184 134543751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16962 16025 1111 63 0 16899 0
vsize: 67848
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16181 0 0 0 14943 58 0 0 25 0 1 0 716300401 69890048 16148 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17063 16148 1111 63 0 17000 0
vsize: 68252
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16298 0 0 0 15942 59 0 0 25 0 1 0 716300401 70430720 16265 4294967295 134512640 134714540 3221224592 3221223340 134672920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17195 16265 1111 63 0 17132 0
vsize: 68780
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16492 0 0 0 16940 61 0 0 25 0 1 0 716300401 71241728 16459 4294967295 134512640 134714540 3221224592 3221223360 134542626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17393 16459 1111 63 0 17330 0
vsize: 69572
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16733 0 0 0 17938 63 0 0 25 0 1 0 716300401 72187904 16700 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17624 16700 1111 63 0 17561 0
vsize: 70496
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 16934 0 0 0 18936 65 0 0 25 0 1 0 716300401 72998912 16901 4294967295 134512640 134714540 3221224592 3221223260 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17822 16901 1111 63 0 17759 0
vsize: 71288
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17083 0 0 0 19935 67 0 0 25 0 1 0 716300401 73674752 17050 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17987 17050 1111 63 0 17924 0
vsize: 71948
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 20933 69 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 21933 69 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+230.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 22932 70 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+240.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 23933 70 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+250.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 24932 70 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+260.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17283 0 0 0 25932 71 0 0 25 0 1 0 716300401 74452992 17250 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+270.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17327 0 0 0 26931 72 0 0 25 0 1 0 716300401 74588160 17294 4294967295 134512640 134714540 3221224592 3221223468 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18210 17294 1111 63 0 18147 0
vsize: 72840
[startup+280.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17626 0 0 0 27930 73 0 0 25 0 1 0 716300401 75960320 17591 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18545 17591 1111 63 0 18482 0
vsize: 74180
[startup+290.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 17884 0 0 0 28928 75 0 0 25 0 1 0 716300401 77041664 17849 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18809 17849 1111 63 0 18746 0
vsize: 75236
[startup+300.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18095 0 0 0 29926 77 0 0 25 0 1 0 716300401 77852672 18060 4294967295 134512640 134714540 3221224592 3221223336 134558544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19007 18060 1111 63 0 18944 0
vsize: 76028
[startup+310.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18228 0 0 0 30924 79 0 0 25 0 1 0 716300401 78393344 18193 4294967295 134512640 134714540 3221224592 3221223340 134535643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19139 18193 1111 63 0 19076 0
vsize: 76556
[startup+320.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18293 0 0 0 31923 81 0 0 25 0 1 0 716300401 78663680 18258 4294967295 134512640 134714540 3221224592 3221223236 134536691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19205 18258 1111 63 0 19142 0
vsize: 76820
[startup+330.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18489 0 0 0 32922 83 0 0 25 0 1 0 716300401 79474688 18454 4294967295 134512640 134714540 3221224592 3221223212 134613764 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19403 18454 1111 63 0 19340 0
vsize: 77612
[startup+340.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18645 0 0 0 33920 86 0 0 25 0 1 0 716300401 80150528 18610 4294967295 134512640 134714540 3221224592 3221223216 134535468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19568 18610 1111 63 0 19505 0
vsize: 78272
[startup+350.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18803 0 0 0 34918 87 0 0 25 0 1 0 716300401 80687104 18768 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19699 18768 1111 63 0 19636 0
vsize: 78796
[startup+360.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 18956 0 0 0 35916 90 0 0 25 0 1 0 716300401 81362944 18921 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19864 18921 1111 63 0 19801 0
vsize: 79456
[startup+370.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 19118 0 0 0 36914 92 0 0 25 0 1 0 716300401 82042880 19083 4294967295 134512640 134714540 3221224592 3221223360 134592125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20030 19083 1111 63 0 19967 0
vsize: 80120
[startup+380.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 19510 0 0 0 37913 93 0 0 25 0 1 0 716300401 83828736 19473 4294967295 134512640 134714540 3221224592 3221223360 134592119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20466 19473 1111 63 0 20403 0
vsize: 81864
[startup+390.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 19646 0 0 0 38911 95 0 0 25 0 1 0 716300401 84369408 19609 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20598 19609 1111 63 0 20535 0
vsize: 82392
[startup+400.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 19852 0 0 0 39910 96 0 0 25 0 1 0 716300401 85180416 19815 4294967295 134512640 134714540 3221224592 3221223236 134535481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20796 19815 1111 63 0 20733 0
vsize: 83184
[startup+410.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 20058 0 0 0 40908 99 0 0 25 0 1 0 716300401 86126592 20021 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21027 20021 1111 63 0 20964 0
vsize: 84108
[startup+420.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 20131 0 0 0 41906 100 0 0 25 0 1 0 716300401 86396928 20094 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21093 20094 1111 63 0 21030 0
vsize: 84372
[startup+430.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 20312 0 0 0 42905 102 0 0 25 0 1 0 716300401 87072768 20275 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21258 20275 1111 63 0 21195 0
vsize: 85032
[startup+440.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 20661 0 0 0 43903 104 0 0 25 0 1 0 716300401 88559616 20624 4294967295 134512640 134714540 3221224592 3221223132 134517908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21621 20624 1111 63 0 21558 0
vsize: 86484
[startup+450.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 21187 0 0 0 44901 106 0 0 25 0 1 0 716300401 90722304 21150 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22149 21150 1111 63 0 22086 0
vsize: 88596
[startup+460.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 21713 0 0 0 45899 108 0 0 25 0 1 0 716300401 93007872 21663 4294967295 134512640 134714540 3221224592 3221223232 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22707 21663 1111 63 0 22644 0
vsize: 90828
[startup+470.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 22003 0 0 0 46897 110 0 0 25 0 1 0 716300401 94244864 21952 4294967295 134512640 134714540 3221224592 3221223336 134672921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23009 21952 1111 63 0 22946 0
vsize: 92036
[startup+480.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 22174 0 0 0 47895 112 0 0 25 0 1 0 716300401 94920704 22123 4294967295 134512640 134714540 3221224592 3221223384 134556377 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23174 22123 1111 63 0 23111 0
vsize: 92696
[startup+490.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 22639 0 0 0 48893 115 0 0 25 0 1 0 716300401 96813056 22588 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23636 22588 1111 63 0 23573 0
vsize: 94544
[startup+500.041 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 22824 0 0 0 49891 117 0 0 25 0 1 0 716300401 97464320 22759 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23795 22759 1111 63 0 23732 0
vsize: 95180
[startup+510.045 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 23132 0 0 0 50889 119 0 0 25 0 1 0 716300401 98816000 23067 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24125 23067 1111 63 0 24062 0
vsize: 96500
[startup+520.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 23390 0 0 0 51887 122 0 0 25 0 1 0 716300401 99864576 23325 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24381 23325 1111 63 0 24318 0
vsize: 97524
[startup+530.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 23629 0 0 0 52885 124 0 0 25 0 1 0 716300401 100814848 23564 4294967295 134512640 134714540 3221224592 3221223156 134537910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24613 23564 1111 63 0 24550 0
vsize: 98452
[startup+540.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 24331 0 0 0 53883 127 0 0 25 0 1 0 716300401 104259584 24227 4294967295 134512640 134714540 3221224592 3221223332 134613679 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25454 24227 1111 63 0 25391 0
vsize: 101816
[startup+550.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 24522 0 0 0 54881 129 0 0 25 0 1 0 716300401 105013248 24417 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25638 24417 1111 63 0 25575 0
vsize: 102552
[startup+560.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 24937 0 0 0 55879 131 0 0 25 0 1 0 716300401 106635264 24832 4294967295 134512640 134714540 3221224592 3221223216 134536680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26034 24832 1111 63 0 25971 0
vsize: 104136
[startup+570.05 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 25660 0 0 0 56876 134 0 0 25 0 1 0 716300401 109690880 25554 4294967295 134512640 134714540 3221224592 3221223336 134672921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26780 25554 1111 63 0 26717 0
vsize: 107120
[startup+580.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 25929 0 0 0 57874 136 0 0 25 0 1 0 716300401 110772224 25823 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27044 25823 1111 63 0 26981 0
vsize: 108176
[startup+590.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 26522 0 0 0 58872 139 0 0 25 0 1 0 716300401 113057792 26414 4294967295 134512640 134714540 3221224592 3221223328 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27602 26414 1111 63 0 27539 0
vsize: 110408
[startup+600.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 26893 0 0 0 59870 141 0 0 25 0 1 0 716300401 114544640 26785 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27965 26785 1111 63 0 27902 0
vsize: 111860
[startup+610.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 27298 0 0 0 60868 142 0 0 25 0 1 0 716300401 116092928 27179 4294967295 134512640 134714540 3221224592 3221223296 134524443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28343 27179 1111 63 0 28280 0
vsize: 113372
[startup+620.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 27937 0 0 0 61867 144 0 0 25 0 1 0 716300401 118665216 27818 4294967295 134512640 134714540 3221224592 3221223336 134672948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28971 27818 1111 63 0 28908 0
vsize: 115884
[startup+630.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 27984 0 0 0 62865 146 0 0 25 0 1 0 716300401 118935552 27865 4294967295 134512640 134714540 3221224592 3221223384 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29037 27865 1111 63 0 28974 0
vsize: 116148
[startup+640.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 28463 0 0 0 63863 148 0 0 25 0 1 0 716300401 120827904 28344 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29499 28344 1111 63 0 29436 0
vsize: 117996
[startup+650.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 28766 0 0 0 64862 150 0 0 25 0 1 0 716300401 122007552 28647 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29787 28647 1111 63 0 29724 0
vsize: 119148
[startup+660.061 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 29041 0 0 0 65860 152 0 0 25 0 1 0 716300401 123088896 28922 4294967295 134512640 134714540 3221224592 3221223336 134672941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30051 28922 1111 63 0 29988 0
vsize: 120204
[startup+670.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 29226 0 0 0 66858 154 0 0 25 0 1 0 716300401 123842560 29107 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30235 29107 1111 63 0 30172 0
vsize: 120940
[startup+680.062 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 29696 0 0 0 67856 156 0 0 25 0 1 0 716300401 126046208 29541 4294967295 134512640 134714540 3221224592 3221223324 134532440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30773 29541 1111 63 0 30710 0
vsize: 123092
[startup+690.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 29981 0 0 0 68854 159 0 0 25 0 1 0 716300401 127246336 29814 4294967295 134512640 134714540 3221224592 3221223336 134672941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31066 29814 1111 63 0 31003 0
vsize: 124264
[startup+700.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 30129 0 0 0 69853 160 0 0 25 0 1 0 716300401 127922176 29962 4294967295 134512640 134714540 3221224592 3221223276 134523848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31231 29962 1111 63 0 31168 0
vsize: 124924
[startup+710.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 30197 0 0 0 70852 161 0 0 25 0 1 0 716300401 128065536 30003 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31266 30003 1111 63 0 31203 0
vsize: 125064
[startup+720.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 30678 0 0 0 71850 163 0 0 25 0 1 0 716300401 129961984 30484 4294967295 134512640 134714540 3221224592 3221223288 1077374433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31729 30484 1111 63 0 31666 0
vsize: 126916
[startup+730.064 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 31108 0 0 0 72848 165 0 0 25 0 1 0 716300401 131788800 30914 4294967295 134512640 134714540 3221224592 3221223324 134518132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32175 30914 1111 63 0 32112 0
vsize: 128700
[startup+740.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 31597 0 0 0 73846 168 0 0 25 0 1 0 716300401 133681152 31403 4294967295 134512640 134714540 3221224592 3221223384 134536889 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32637 31403 1111 63 0 32574 0
vsize: 130548
[startup+750.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 31601 0 0 0 74844 169 0 0 25 0 1 0 716300401 133677056 31403 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32636 31403 1111 63 0 32573 0
vsize: 130544
[startup+760.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 31943 0 0 0 75842 171 0 0 25 0 1 0 716300401 135028736 31745 4294967295 134512640 134714540 3221224592 3221223216 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32966 31745 1111 63 0 32903 0
vsize: 131864
[startup+770.065 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 31947 0 0 0 76842 172 0 0 25 0 1 0 716300401 135028736 31749 4294967295 134512640 134714540 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32966 31749 1111 63 0 32903 0
vsize: 131864
[startup+780.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 32824 0 0 0 77839 175 0 0 25 0 1 0 716300401 138797056 32626 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33886 32626 1111 63 0 33823 0
vsize: 135544
[startup+790.066 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 33661 0 0 0 78836 178 0 0 25 0 1 0 716300401 142286848 33463 4294967295 134512640 134714540 3221224592 3221222876 1077379860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34738 33463 1111 63 0 34675 0
vsize: 138952
[startup+800.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 34635 0 0 0 79833 182 0 0 25 0 1 0 716300401 146341888 34437 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35728 34437 1111 63 0 35665 0
vsize: 142912
[startup+810.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 35331 0 0 0 80831 184 0 0 25 0 1 0 716300401 149237760 35129 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36435 35129 1111 63 0 36372 0
vsize: 145740
[startup+820.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 36220 0 0 0 81828 186 0 0 25 0 1 0 716300401 152936448 36011 4294967295 134512640 134714540 3221224592 3221223328 134534159 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37338 36011 1111 63 0 37275 0
vsize: 149352
[startup+830.067 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 37074 0 0 0 82826 189 0 0 25 0 1 0 716300401 156291072 36863 4294967295 134512640 134714540 3221224592 3221223232 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38157 36863 1111 63 0 38094 0
vsize: 152628
[startup+840.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 37542 0 0 0 83824 191 0 0 25 0 1 0 716300401 158253056 37331 4294967295 134512640 134714540 3221224592 3221223180 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38636 37331 1111 63 0 38573 0
vsize: 154544
[startup+850.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 38383 0 0 0 84821 194 0 0 25 0 1 0 716300401 161599488 38172 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39453 38172 1111 63 0 39390 0
vsize: 157812
[startup+860.068 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 39977 0 0 0 85817 198 0 0 25 0 1 0 716300401 169402368 39664 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41358 39664 1111 63 0 41295 0
vsize: 165432
[startup+870.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 40843 0 0 0 86815 201 0 0 25 0 1 0 716300401 172916736 40529 4294967295 134512640 134714540 3221224592 3221223352 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42216 40529 1111 63 0 42153 0
vsize: 168864
[startup+880.069 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 41648 0 0 0 87813 203 0 0 25 0 1 0 716300401 176168960 41334 4294967295 134512640 134714540 3221224592 3221223340 134535620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43010 41334 1111 63 0 42947 0
vsize: 172040
[startup+890.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 42223 0 0 0 88810 206 0 0 25 0 1 0 716300401 178507776 41909 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43581 41909 1111 63 0 43518 0
vsize: 174324
[startup+900.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 42770 0 0 0 89808 208 0 0 25 0 1 0 716300401 180805632 42456 4294967295 134512640 134714540 3221224592 3221223320 1076647870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44142 42456 1111 63 0 44079 0
vsize: 176568
[startup+910.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 43173 0 0 0 90806 211 0 0 25 0 1 0 716300401 182427648 42859 4294967295 134512640 134714540 3221224592 3221223340 134535500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44538 42859 1111 63 0 44475 0
vsize: 178152
[startup+920.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 43686 0 0 0 91803 213 0 0 25 0 1 0 716300401 184463360 43372 4294967295 134512640 134714540 3221224592 3221223340 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45035 43372 1111 63 0 44972 0
vsize: 180140
[startup+930.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44064 0 0 0 92801 216 0 0 25 0 1 0 716300401 185950208 43750 4294967295 134512640 134714540 3221224592 3221223464 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43750 1111 63 0 45335 0
vsize: 181592
[startup+940.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 93801 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+950.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 94802 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+960.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 95802 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+970.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 96802 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+980.071 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 97802 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+990.072 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 98802 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223320 134622828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 99803 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223368 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 100803 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 101804 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 102804 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223376 134622318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 103804 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 104806 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 105806 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223316 134622785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 106806 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 107808 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 108809 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 109809 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 110811 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223312 134622891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 111811 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 112811 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1140.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 113811 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1150.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 114812 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1160.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 115812 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1170.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 116812 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1180.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 117812 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1190.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 118812 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1200.14 s]
Raw data (loadavg): 0.99 0.98 0.99 2/55 8787
Raw data (stat): 8787 (bsolo_mis) R 8786 8378 8377 0 -1 0 44072 0 0 0 119813 216 0 0 25 0 1 0 716300401 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.22 s]
Raw data (loadavg): 0.99 0.98 0.99 1/55 8787
Raw data (stat): 8787 (bsolo_mis) Z 8786 8378 8377 0 -1 1036 44072 0 0 0 119813 223 0 0 25 0 1 0 716300401 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.22
CPU time (s): 1200.37
CPU user time (s): 1198.13
CPU system time (s): 2.23966
CPU usage (%): 100.013
Max. virtual memory (Kb): 181592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####