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-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
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	1176.34
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 27491

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        825304 kB
Buffers:         36876 kB
Cached:         138808 kB
SwapCached:      12200 kB
Active:          65680 kB
Inactive:       124316 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        825052 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5780 kB
Slab:            13780 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:26:10 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 16890 7 1200.29 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.192 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.85 0.97 0.95 2/54 27364
Raw data (stat): 27364 (runsolver) R 27363 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833704953 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0011 s]
Raw data (loadavg): 0.87 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 12949 0 0 0 973 26 0 0 25 0 1 0 833704953 56651776 12916 4294967295 134512640 134714540 3221224592 3221223056 134536650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13831 12916 1111 63 0 13768 0
vsize: 55324
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 13326 0 0 0 1970 28 0 0 25 0 1 0 833704953 58277888 13293 4294967295 134512640 134714540 3221224592 3221223260 1077378650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14228 13293 1111 63 0 14165 0
vsize: 56912
[startup+30.0021 s]
Raw data (loadavg): 0.91 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 13326 0 0 0 2968 30 0 0 25 0 1 0 833704953 58277888 13293 4294967295 134512640 134714540 3221224592 3221222876 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14228 13293 1111 63 0 14165 0
vsize: 56912
[startup+40.0022 s]
Raw data (loadavg): 0.92 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 13350 0 0 0 3967 32 0 0 25 0 1 0 833704953 58277888 13317 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14228 13317 1111 63 0 14165 0
vsize: 56912
[startup+50.0025 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 13350 0 0 0 4966 34 0 0 25 0 1 0 833704953 58277888 13317 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14228 13317 1111 63 0 14165 0
vsize: 56912
[startup+60.0022 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 13387 0 0 0 5964 36 0 0 25 0 1 0 833704953 58540032 13354 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14292 13354 1111 63 0 14229 0
vsize: 57168
[startup+70.0019 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 13387 0 0 0 6962 38 0 0 25 0 1 0 833704953 58503168 13354 4294967295 134512640 134714540 3221224592 3221222980 1077374203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14283 13354 1111 63 0 14220 0
vsize: 57132
[startup+80.003 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 13387 0 0 0 7959 40 0 0 25 0 1 0 833704953 58474496 13354 4294967295 134512640 134714540 3221224592 3221223320 134532455 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14276 13354 1111 63 0 14213 0
vsize: 57104
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 14066 0 0 0 8957 43 0 0 25 0 1 0 833704953 61239296 14033 4294967295 134512640 134714540 3221224592 3221223344 134592368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14951 14033 1111 63 0 14888 0
vsize: 59804
[startup+100.003 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 14518 0 0 0 9955 45 0 0 25 0 1 0 833704953 63131648 14485 4294967295 134512640 134714540 3221224592 3221223268 1077374568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15413 14485 1111 63 0 15350 0
vsize: 61652
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 14832 0 0 0 10953 47 0 0 25 0 1 0 833704953 64348160 14799 4294967295 134512640 134714540 3221224592 3221223216 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15710 14799 1111 63 0 15647 0
vsize: 62840
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 15238 0 0 0 11951 50 0 0 25 0 1 0 833704953 66101248 15205 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16138 15205 1111 63 0 16075 0
vsize: 64552
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 15589 0 0 0 12949 52 0 0 25 0 1 0 833704953 67452928 15556 4294967295 134512640 134714540 3221224592 3221223172 1077378603 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16468 15556 1111 63 0 16405 0
vsize: 65872
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 16181 0 0 0 13946 54 0 0 25 0 1 0 833704953 69890048 16148 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17063 16148 1111 63 0 17000 0
vsize: 68252
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 16181 0 0 0 14946 55 0 0 25 0 1 0 833704953 69890048 16148 4294967295 134512640 134714540 3221224592 3221223304 134543187 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.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 16391 0 0 0 15945 56 0 0 25 0 1 0 833704953 70836224 16358 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17294 16358 1111 63 0 17231 0
vsize: 69176
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 16560 0 0 0 16944 57 0 0 25 0 1 0 833704953 71512064 16527 4294967295 134512640 134714540 3221224592 3221223360 134592119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17459 16527 1111 63 0 17396 0
vsize: 69836
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 16809 0 0 0 17942 59 0 0 25 0 1 0 833704953 72458240 16776 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17690 16776 1111 63 0 17627 0
vsize: 70760
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 16943 0 0 0 18941 61 0 0 25 0 1 0 833704953 72998912 16910 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17822 16910 1111 63 0 17759 0
vsize: 71288
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 17186 0 0 0 19938 63 0 0 25 0 1 0 833704953 74080256 17153 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18086 17153 1111 63 0 18023 0
vsize: 72344
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 17283 0 0 0 20938 64 0 0 25 0 1 0 833704953 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+220.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 17283 0 0 0 21937 65 0 0 25 0 1 0 833704953 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+230.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 17283 0 0 0 22938 65 0 0 25 0 1 0 833704953 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+240.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 17283 0 0 0 23938 65 0 0 25 0 1 0 833704953 74452992 17250 4294967295 134512640 134714540 3221224592 3221223308 134558493 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.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 17283 0 0 0 24938 65 0 0 25 0 1 0 833704953 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+260.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 17283 0 0 0 25938 65 0 0 25 0 1 0 833704953 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.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 17458 0 0 0 26937 66 0 0 25 0 1 0 833704953 75132928 17425 4294967295 134512640 134714540 3221224592 3221223360 134592449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18343 17425 1111 63 0 18280 0
vsize: 73372
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 17730 0 0 0 27934 68 0 0 25 0 1 0 833704953 76365824 17695 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18644 17695 1111 63 0 18581 0
vsize: 74576
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 17959 0 0 0 28933 70 0 0 25 0 1 0 833704953 77312000 17924 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18875 17924 1111 63 0 18812 0
vsize: 75500
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 18114 0 0 0 29931 72 0 0 25 0 1 0 833704953 77987840 18079 4294967295 134512640 134714540 3221224592 3221223264 134594364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19040 18079 1111 63 0 18977 0
vsize: 76160
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 18228 0 0 0 30930 73 0 0 25 0 1 0 833704953 78393344 18193 4294967295 134512640 134714540 3221224592 3221223360 134592116 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.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 18373 0 0 0 31929 75 0 0 25 0 1 0 833704953 78934016 18338 4294967295 134512640 134714540 3221224592 3221223344 134591920 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19271 18338 1111 63 0 19208 0
vsize: 77084
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 18550 0 0 0 32927 77 0 0 25 0 1 0 833704953 79745024 18515 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18515 1111 63 0 19406 0
vsize: 77876
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 18645 0 0 0 33926 78 0 0 25 0 1 0 833704953 80150528 18610 4294967295 134512640 134714540 3221224592 3221223360 134592116 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.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 18815 0 0 0 34925 79 0 0 25 0 1 0 833704953 80822272 18780 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19732 18780 1111 63 0 19669 0
vsize: 78928
[startup+360.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 19002 0 0 0 35924 81 0 0 25 0 1 0 833704953 81502208 18967 4294967295 134512640 134714540 3221224592 3221223344 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19898 18967 1111 63 0 19835 0
vsize: 79592
[startup+370.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 19196 0 0 0 36921 83 0 0 25 0 1 0 833704953 82313216 19161 4294967295 134512640 134714540 3221224592 3221223216 134696297 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20096 19161 1111 63 0 20033 0
vsize: 80384
[startup+380.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 19568 0 0 0 37920 85 0 0 25 0 1 0 833704953 84099072 19531 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20532 19531 1111 63 0 20469 0
vsize: 82128
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 19647 0 0 0 38918 87 0 0 25 0 1 0 833704953 84369408 19610 4294967295 134512640 134714540 3221224592 3221223336 134672936 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20598 19610 1111 63 0 20535 0
vsize: 82392
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 19883 0 0 0 39917 88 0 0 25 0 1 0 833704953 85315584 19846 4294967295 134512640 134714540 3221224592 3221223296 134591898 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20829 19846 1111 63 0 20766 0
vsize: 83316
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 20069 0 0 0 40915 90 0 0 25 0 1 0 833704953 86126592 20032 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21027 20032 1111 63 0 20964 0
vsize: 84108
[startup+420.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 20131 0 0 0 41914 91 0 0 25 0 1 0 833704953 86396928 20094 4294967295 134512640 134714540 3221224592 3221223516 1077781665 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.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 20454 0 0 0 42913 93 0 0 25 0 1 0 833704953 87748608 20417 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21423 20417 1111 63 0 21360 0
vsize: 85692
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 20765 0 0 0 43911 95 0 0 25 0 1 0 833704953 88965120 20728 4294967295 134512640 134714540 3221224592 3221223344 134592443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21720 20728 1111 63 0 21657 0
vsize: 86880
[startup+450.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 21187 0 0 0 44908 98 0 0 25 0 1 0 833704953 90722304 21150 4294967295 134512640 134714540 3221224592 3221223232 134696371 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.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 21774 0 0 0 45906 100 0 0 25 0 1 0 833704953 93278208 21724 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22773 21724 1111 63 0 22710 0
vsize: 91092
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 22003 0 0 0 46904 102 0 0 25 0 1 0 833704953 94244864 21952 4294967295 134512640 134714540 3221224592 3221223360 134592116 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.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 22174 0 0 0 47904 103 0 0 25 0 1 0 833704953 94920704 22123 4294967295 134512640 134714540 3221224592 3221223360 134592104 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.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 22639 0 0 0 48901 106 0 0 25 0 1 0 833704953 96813056 22588 4294967295 134512640 134714540 3221224592 3221223280 134534115 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.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 22824 0 0 0 49900 107 0 0 25 0 1 0 833704953 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.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 23132 0 0 0 50898 109 0 0 25 0 1 0 833704953 98816000 23067 4294967295 134512640 134714540 3221224592 3221223360 134592116 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.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 23390 0 0 0 51896 111 0 0 25 0 1 0 833704953 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.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 23781 0 0 0 52895 112 0 0 25 0 1 0 833704953 101490688 23716 4294967295 134512640 134714540 3221224592 3221223364 134542593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24778 23716 1111 63 0 24715 0
vsize: 99112
[startup+540.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 24331 0 0 0 53893 114 0 0 25 0 1 0 833704953 104259584 24227 4294967295 134512640 134714540 3221224592 3221223360 134592104 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.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 24601 0 0 0 54891 117 0 0 25 0 1 0 833704953 105283584 24496 4294967295 134512640 134714540 3221224592 3221223216 134535391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25704 24496 1111 63 0 25641 0
vsize: 102816
[startup+560.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 25096 0 0 0 55888 119 0 0 25 0 1 0 833704953 107311104 24991 4294967295 134512640 134714540 3221224592 3221223472 134621636 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26199 24991 1111 63 0 26136 0
vsize: 104796
[startup+570.001 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 25660 0 0 0 56887 121 0 0 25 0 1 0 833704953 109690880 25554 4294967295 134512640 134714540 3221224592 3221223216 134535448 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.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 26130 0 0 0 57883 125 0 0 25 0 1 0 833704953 111583232 26024 4294967295 134512640 134714540 3221224592 3221223380 134622018 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27242 26024 1111 63 0 27179 0
vsize: 108968
[startup+590.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 26532 0 0 0 58882 127 0 0 25 0 1 0 833704953 113057792 26424 4294967295 134512640 134714540 3221224592 3221223328 134558518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27602 26424 1111 63 0 27539 0
vsize: 110408
[startup+600.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 26973 0 0 0 59879 129 0 0 25 0 1 0 833704953 114950144 26865 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28064 26865 1111 63 0 28001 0
vsize: 112256
[startup+610.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 27388 0 0 0 60877 132 0 0 25 0 1 0 833704953 116498432 27269 4294967295 134512640 134714540 3221224592 3221223256 134538733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28442 27269 1111 63 0 28379 0
vsize: 113768
[startup+620.002 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 27938 0 0 0 61876 133 0 0 25 0 1 0 833704953 118665216 27819 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28971 27819 1111 63 0 28908 0
vsize: 115884
[startup+630.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 28029 0 0 0 62875 134 0 0 25 0 1 0 833704953 119070720 27910 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29070 27910 1111 63 0 29007 0
vsize: 116280
[startup+640.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 28463 0 0 0 63874 136 0 0 25 0 1 0 833704953 120786944 28344 4294967295 134512640 134714540 3221224592 3221223336 134672948 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29489 28344 1111 63 0 29426 0
vsize: 117956
[startup+650.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 28872 0 0 0 64872 138 0 0 25 0 1 0 833704953 122413056 28753 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29886 28753 1111 63 0 29823 0
vsize: 119544
[startup+660.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 29087 0 0 0 65871 139 0 0 25 0 1 0 833704953 123318272 28968 4294967295 134512640 134714540 3221224592 3221223228 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30107 28968 1111 63 0 30044 0
vsize: 120428
[startup+670.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 29282 0 0 0 66869 141 0 0 25 0 1 0 833704953 124112896 29163 4294967295 134512640 134714540 3221224592 3221223312 134535790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30301 29163 1111 63 0 30238 0
vsize: 121204
[startup+680.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 29696 0 0 0 67867 143 0 0 25 0 1 0 833704953 126046208 29541 4294967295 134512640 134714540 3221224592 3221223408 134622252 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.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 30042 0 0 0 68865 145 0 0 25 0 1 0 833704953 127516672 29875 4294967295 134512640 134714540 3221224592 3221223360 134592119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31132 29875 1111 63 0 31069 0
vsize: 124528
[startup+700.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 30129 0 0 0 69864 146 0 0 25 0 1 0 833704953 127922176 29962 4294967295 134512640 134714540 3221224592 3221223240 134543614 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.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 30386 0 0 0 70863 148 0 0 25 0 1 0 833704953 128741376 30192 4294967295 134512640 134714540 3221224592 3221223408 134590021 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31431 30192 1111 63 0 31368 0
vsize: 125724
[startup+720.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 30740 0 0 0 71861 150 0 0 25 0 1 0 833704953 130232320 30546 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31795 30546 1111 63 0 31732 0
vsize: 127180
[startup+730.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 31193 0 0 0 72858 153 0 0 25 0 1 0 833704953 132059136 30999 4294967295 134512640 134714540 3221224592 3221223336 134672941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32241 30999 1111 63 0 32178 0
vsize: 128964
[startup+740.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 31597 0 0 0 73857 155 0 0 25 0 1 0 833704953 133681152 31403 4294967295 134512640 134714540 3221224592 3221223360 134592098 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.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 31612 0 0 0 74855 156 0 0 25 0 1 0 833704953 133677056 31414 4294967295 134512640 134714540 3221224592 3221223384 134558582 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32636 31414 1111 63 0 32573 0
vsize: 130544
[startup+760.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 31947 0 0 0 75854 158 0 0 25 0 1 0 833704953 135028736 31749 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32966 31749 1111 63 0 32903 0
vsize: 131864
[startup+770.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 31947 0 0 0 76854 158 0 0 25 0 1 0 833704953 135028736 31749 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32966 31749 1111 63 0 32903 0
vsize: 131864
[startup+780.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 32838 0 0 0 77850 161 0 0 25 0 1 0 833704953 138932224 32640 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33919 32640 1111 63 0 33856 0
vsize: 135676
[startup+790.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 33709 0 0 0 78847 165 0 0 25 0 1 0 833704953 142422016 33511 4294967295 134512640 134714540 3221224592 3221223232 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34771 33511 1111 63 0 34708 0
vsize: 139084
[startup+800.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 34685 0 0 0 79845 167 0 0 25 0 1 0 833704953 146612224 34487 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35794 34487 1111 63 0 35731 0
vsize: 143176
[startup+810.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 35541 0 0 0 80842 171 0 0 25 0 1 0 833704953 150048768 35338 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36633 35338 1111 63 0 36570 0
vsize: 146532
[startup+820.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 36359 0 0 0 81837 175 0 0 25 0 1 0 833704953 153477120 36150 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37470 36150 1111 63 0 37407 0
vsize: 149880
[startup+830.003 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 37088 0 0 0 82835 178 0 0 25 0 1 0 833704953 156426240 36877 4294967295 134512640 134714540 3221224592 3221222876 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38190 36877 1111 63 0 38127 0
vsize: 152760
[startup+840.003 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 37710 0 0 0 83833 180 0 0 25 0 1 0 833704953 158928896 37499 4294967295 134512640 134714540 3221224592 3221223232 134538819 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38801 37499 1111 63 0 38738 0
vsize: 155204
[startup+850.003 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 38619 0 0 0 84830 183 0 0 25 0 1 0 833704953 162623488 38400 4294967295 134512640 134714540 3221224592 3221223468 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39703 38400 1111 63 0 39640 0
vsize: 158812
[startup+860.003 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 40101 0 0 0 85825 188 0 0 25 0 1 0 833704953 169807872 39788 4294967295 134512640 134714540 3221224592 3221223328 134558542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41457 39788 1111 63 0 41394 0
vsize: 165828
[startup+870.003 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 41174 0 0 0 86821 192 0 0 25 0 1 0 833704953 174268416 40860 4294967295 134512640 134714540 3221224592 3221223340 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42546 40860 1111 63 0 42483 0
vsize: 170184
[startup+880.003 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 41915 0 0 0 87819 195 0 0 25 0 1 0 833704953 177291264 41601 4294967295 134512640 134714540 3221224592 3221223360 134592424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43284 41601 1111 63 0 43221 0
vsize: 173136
[startup+890.003 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 42343 0 0 0 88816 197 0 0 25 0 1 0 833704953 179048448 42029 4294967295 134512640 134714540 3221224592 3221223212 134613956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43713 42029 1111 63 0 43650 0
vsize: 174852
[startup+900.003 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 42852 0 0 0 89814 200 0 0 25 0 1 0 833704953 181075968 42538 4294967295 134512640 134714540 3221224592 3221223184 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44208 42538 1111 63 0 44145 0
vsize: 176832
[startup+910.003 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 43341 0 0 0 90812 202 0 0 25 0 1 0 833704953 183103488 43027 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44703 43027 1111 63 0 44640 0
vsize: 178812
[startup+920.004 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 43743 0 0 0 91809 206 0 0 25 0 1 0 833704953 184733696 43429 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45101 43429 1111 63 0 45038 0
vsize: 180404
[startup+930.003 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 92808 207 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+940.008 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 93808 207 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+950.008 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 94808 207 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+960.008 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 95809 207 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+970.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 96809 207 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223384 134536906 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+980.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 97809 207 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+990.009 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 98809 207 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223316 134622883 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 99809 207 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 100809 207 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 101809 207 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 102809 207 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 103810 208 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 104810 208 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 105810 208 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223312 134622863 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 106810 208 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 107810 208 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 108810 208 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 109810 208 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 110810 208 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 111810 208 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223320 134622882 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 112810 208 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543165 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 113810 209 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 114810 209 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 115810 209 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 116810 209 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 117810 209 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1190.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 118811 209 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
[startup+1200.01 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 27364
Raw data (stat): 27364 (bsolo_mis) R 27363 23310 23309 0 -1 0 44072 0 0 0 119811 209 0 0 25 0 1 0 833704953 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43758 1111 63 0 45335 0
vsize: 181592
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.96 1/54 27364
Raw data (stat): 27364 (bsolo_mis) Z 27363 23310 23309 0 -1 1036 44072 0 0 0 119811 217 0 0 25 0 1 0 833704953 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.29
CPU user time (s): 1198.11
CPU system time (s): 2.17867
CPU usage (%): 100.017
Max. virtual memory (Kb): 181592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####