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/miplib/normalized-mps-v2-20-10-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	1175.28
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 28677

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 03:34:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11898 boxname=wulflinc22 idbench=916 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  00855a9538cee8df79108d56ee6867b4  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-l152lav.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-l152lav.opb
IDLAUNCH: 11898
/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:        919416 kB
Buffers:          6076 kB
Cached:          86888 kB
SwapCached:        400 kB
Active:          18396 kB
Inactive:        76828 kB
HighTotal:      131008 kB
HighFree:        86492 kB
LowTotal:       903652 kB
LowFree:        832924 kB
SwapTotal:     2097892 kB
SwapFree:      2096804 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5576 kB
Slab:            14440 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 03:54:04 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 11898 7 1200.27 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.357 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.91 0.95 0.97 2/54 30543
Raw data (stat): 30543 (runsolver) R 30542 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835672653 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+9.99971 s]
Raw data (loadavg): 0.92 0.95 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 12949 0 0 0 967 31 0 0 25 0 1 0 835672653 56651776 12916 4294967295 134512640 134714540 3221224592 3221223168 134535728 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.0004 s]
Raw data (loadavg): 0.93 0.95 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 13326 0 0 0 1965 33 0 0 25 0 1 0 835672653 58277888 13293 4294967295 134512640 134714540 3221224592 3221223360 134592104 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.0005 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 13326 0 0 0 2964 35 0 0 25 0 1 0 835672653 58277888 13293 4294967295 134512640 134714540 3221224592 3221223360 134592116 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.0008 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 13350 0 0 0 3961 38 0 0 25 0 1 0 835672653 58277888 13317 4294967295 134512640 134714540 3221224592 3221222876 1077379908 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.0015 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 13350 0 0 0 4959 40 0 0 25 0 1 0 835672653 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.0017 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 13387 0 0 0 5957 42 0 0 25 0 1 0 835672653 58540032 13354 4294967295 134512640 134714540 3221224592 3221223344 134592443 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.002 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 13387 0 0 0 6955 44 0 0 25 0 1 0 835672653 58503168 13354 4294967295 134512640 134714540 3221224592 3221223360 134592116 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.0017 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 13387 0 0 0 7953 46 0 0 25 0 1 0 835672653 58474496 13354 4294967295 134512640 134714540 3221224592 3221223352 134543541 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.0028 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 14066 0 0 0 8951 49 0 0 25 0 1 0 835672653 61239296 14033 4294967295 134512640 134714540 3221224592 3221223340 134672920 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.98 0.96 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 14534 0 0 0 9948 51 0 0 25 0 1 0 835672653 63131648 14501 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15413 14501 1111 63 0 15350 0
vsize: 61652
[startup+110.003 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 14832 0 0 0 10947 53 0 0 25 0 1 0 835672653 64348160 14799 4294967295 134512640 134714540 3221224592 3221223336 134672944 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.96 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 15255 0 0 0 11944 56 0 0 25 0 1 0 835672653 66101248 15222 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16138 15222 1111 63 0 16075 0
vsize: 64552
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 15589 0 0 0 12942 59 0 0 25 0 1 0 835672653 67452928 15556 4294967295 134512640 134714540 3221224592 3221223360 134592116 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.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 16181 0 0 0 13940 61 0 0 25 0 1 0 835672653 69890048 16148 4294967295 134512640 134714540 3221224592 3221223304 134543187 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.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 16181 0 0 0 14940 61 0 0 25 0 1 0 835672653 69890048 16148 4294967295 134512640 134714540 3221224592 3221223312 134622889 0 0 7 0 0 0 0 17 1 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.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 16413 0 0 0 15938 62 0 0 25 0 1 0 835672653 70836224 16380 4294967295 134512640 134714540 3221224592 3221223244 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17294 16380 1111 63 0 17231 0
vsize: 69176
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 16569 0 0 0 16937 64 0 0 25 0 1 0 835672653 71512064 16536 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17459 16536 1111 63 0 17396 0
vsize: 69836
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 16813 0 0 0 17935 66 0 0 25 0 1 0 835672653 72458240 16780 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17690 16780 1111 63 0 17627 0
vsize: 70760
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 16943 0 0 0 18934 67 0 0 25 0 1 0 835672653 72998912 16910 4294967295 134512640 134714540 3221224592 3221223232 134613442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17822 16910 1111 63 0 17759 0
vsize: 71288
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 17186 0 0 0 19931 70 0 0 25 0 1 0 835672653 74080256 17153 4294967295 134512640 134714540 3221224592 3221223232 134613422 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18086 17153 1111 63 0 18023 0
vsize: 72344
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 17283 0 0 0 20931 70 0 0 25 0 1 0 835672653 74452992 17250 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 17283 0 0 0 21930 71 0 0 25 0 1 0 835672653 74452992 17250 4294967295 134512640 134714540 3221224592 3221223312 134622735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 17283 0 0 0 22930 71 0 0 25 0 1 0 835672653 74452992 17250 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18177 17250 1111 63 0 18114 0
vsize: 72708
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 17283 0 0 0 23930 71 0 0 25 0 1 0 835672653 74452992 17250 4294967295 134512640 134714540 3221224592 3221223320 134622752 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.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 17283 0 0 0 24930 72 0 0 25 0 1 0 835672653 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.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 17283 0 0 0 25930 72 0 0 25 0 1 0 835672653 74452992 17250 4294967295 134512640 134714540 3221224592 3221223396 134622483 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.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 17501 0 0 0 26929 73 0 0 25 0 1 0 835672653 75403264 17468 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18409 17468 1111 63 0 18346 0
vsize: 73636
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 17735 0 0 0 27926 75 0 0 25 0 1 0 835672653 76365824 17700 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18644 17700 1111 63 0 18581 0
vsize: 74576
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 17969 0 0 0 28925 77 0 0 25 0 1 0 835672653 77312000 17934 4294967295 134512640 134714540 3221224592 3221223200 134523396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18875 17934 1111 63 0 18812 0
vsize: 75500
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 18147 0 0 0 29923 79 0 0 25 0 1 0 835672653 78123008 18112 4294967295 134512640 134714540 3221224592 3221223344 134592438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19073 18112 1111 63 0 19010 0
vsize: 76292
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 18228 0 0 0 30922 81 0 0 25 0 1 0 835672653 78393344 18193 4294967295 134512640 134714540 3221224592 3221223516 1077781665 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.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 18383 0 0 0 31920 82 0 0 25 0 1 0 835672653 79069184 18348 4294967295 134512640 134714540 3221224592 3221223256 134672944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19304 18348 1111 63 0 19241 0
vsize: 77216
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 18551 0 0 0 32918 85 0 0 25 0 1 0 835672653 79745024 18516 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18516 1111 63 0 19406 0
vsize: 77876
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 18645 0 0 0 33916 86 0 0 25 0 1 0 835672653 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.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 18880 0 0 0 34914 89 0 0 25 0 1 0 835672653 81092608 18845 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19798 18845 1111 63 0 19735 0
vsize: 79192
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 19027 0 0 0 35913 90 0 0 25 0 1 0 835672653 81637376 18992 4294967295 134512640 134714540 3221224592 3221223360 134592449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19931 18992 1111 63 0 19868 0
vsize: 79724
[startup+370.007 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 19303 0 0 0 36911 92 0 0 25 0 1 0 835672653 82718720 19268 4294967295 134512640 134714540 3221224592 3221223476 134621630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20195 19268 1111 63 0 20132 0
vsize: 80780
[startup+380.007 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 19624 0 0 0 37910 93 0 0 25 0 1 0 835672653 84369408 19587 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20598 19587 1111 63 0 20535 0
vsize: 82392
[startup+390.008 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 19686 0 0 0 38910 94 0 0 25 0 1 0 835672653 84504576 19649 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20631 19649 1111 63 0 20568 0
vsize: 82524
[startup+400.008 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 19885 0 0 0 39909 96 0 0 25 0 1 0 835672653 85315584 19848 4294967295 134512640 134714540 3221224592 3221223152 134540342 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20829 19848 1111 63 0 20766 0
vsize: 83316
[startup+410.008 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 20069 0 0 0 40907 97 0 0 25 0 1 0 835672653 86126592 20032 4294967295 134512640 134714540 3221224592 3221223340 134672920 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.008 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 20197 0 0 0 41905 99 0 0 25 0 1 0 835672653 86667264 20160 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21159 20160 1111 63 0 21096 0
vsize: 84636
[startup+430.007 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 20549 0 0 0 42904 101 0 0 25 0 1 0 835672653 88154112 20512 4294967295 134512640 134714540 3221224592 3221223328 134695334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21522 20512 1111 63 0 21459 0
vsize: 86088
[startup+440.007 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 20956 0 0 0 43903 102 0 0 25 0 1 0 835672653 89776128 20919 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21918 20919 1111 63 0 21855 0
vsize: 87672
[startup+450.007 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 21298 0 0 0 44901 104 0 0 25 0 1 0 835672653 91127808 21261 4294967295 134512640 134714540 3221224592 3221223360 134592098 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22248 21261 1111 63 0 22185 0
vsize: 88992
[startup+460.006 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 21798 0 0 0 45898 107 0 0 25 0 1 0 835672653 93278208 21748 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22773 21748 1111 63 0 22710 0
vsize: 91092
[startup+470.007 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 22033 0 0 0 46897 108 0 0 25 0 1 0 835672653 94380032 21982 4294967295 134512640 134714540 3221224592 3221223360 134592119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23042 21982 1111 63 0 22979 0
vsize: 92168
[startup+480.007 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 22244 0 0 0 47895 110 0 0 25 0 1 0 835672653 95191040 22193 4294967295 134512640 134714540 3221224592 3221223408 134611676 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23240 22193 1111 63 0 23177 0
vsize: 92960
[startup+490.007 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 22674 0 0 0 48894 112 0 0 25 0 1 0 835672653 96948224 22623 4294967295 134512640 134714540 3221224592 3221223260 134538732 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23669 22623 1111 63 0 23606 0
vsize: 94676
[startup+500.007 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 22824 0 0 0 49892 114 0 0 25 0 1 0 835672653 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.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 23136 0 0 0 50889 116 0 0 25 0 1 0 835672653 98816000 23071 4294967295 134512640 134714540 3221224592 3221223336 134672932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24125 23071 1111 63 0 24062 0
vsize: 96500
[startup+520.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 23423 0 0 0 51888 118 0 0 25 0 1 0 835672653 99999744 23358 4294967295 134512640 134714540 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24414 23358 1111 63 0 24351 0
vsize: 97656
[startup+530.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 24158 0 0 0 52886 120 0 0 25 0 1 0 835672653 103583744 24054 4294967295 134512640 134714540 3221224592 3221223152 134540037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25289 24054 1111 63 0 25226 0
vsize: 101156
[startup+540.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 24374 0 0 0 53884 122 0 0 25 0 1 0 835672653 104529920 24270 4294967295 134512640 134714540 3221224592 3221223216 134535416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25520 24270 1111 63 0 25457 0
vsize: 102080
[startup+550.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 24791 0 0 0 54883 124 0 0 25 0 1 0 835672653 106094592 24686 4294967295 134512640 134714540 3221224592 3221223384 134558597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25902 24686 1111 63 0 25839 0
vsize: 103608
[startup+560.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 25311 0 0 0 55881 126 0 0 25 0 1 0 835672653 108257280 25206 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26430 25206 1111 63 0 26367 0
vsize: 105720
[startup+570.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 25692 0 0 0 56878 129 0 0 25 0 1 0 835672653 109826048 25586 4294967295 134512640 134714540 3221224592 3221223248 134523862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26813 25586 1111 63 0 26750 0
vsize: 107252
[startup+580.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 26513 0 0 0 57876 131 0 0 25 0 1 0 835672653 113070080 26405 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27605 26405 1111 63 0 27542 0
vsize: 110420
[startup+590.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 26757 0 0 0 58874 133 0 0 25 0 1 0 835672653 114003968 26649 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27833 26649 1111 63 0 27770 0
vsize: 111332
[startup+600.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 27069 0 0 0 59873 135 0 0 25 0 1 0 835672653 115220480 26961 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28130 26961 1111 63 0 28067 0
vsize: 112520
[startup+610.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 27638 0 0 0 60871 137 0 0 25 0 1 0 835672653 117583872 27519 4294967295 134512640 134714540 3221224592 3221223160 1077378438 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28707 27519 1111 63 0 28644 0
vsize: 114828
[startup+620.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 27982 0 0 0 61869 138 0 0 25 0 1 0 835672653 118935552 27863 4294967295 134512640 134714540 3221224592 3221223360 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29037 27863 1111 63 0 28974 0
vsize: 116148
[startup+630.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 28137 0 0 0 62868 139 0 0 25 0 1 0 835672653 119476224 28018 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29169 28018 1111 63 0 29106 0
vsize: 116676
[startup+640.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 28473 0 0 0 63867 141 0 0 25 0 1 0 835672653 120786944 28354 4294967295 134512640 134714540 3221224592 3221223152 134538322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29489 28354 1111 63 0 29426 0
vsize: 117956
[startup+650.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 28872 0 0 0 64864 144 0 0 25 0 1 0 835672653 122413056 28753 4294967295 134512640 134714540 3221224592 3221223516 1077781665 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.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 29150 0 0 0 65863 145 0 0 25 0 1 0 835672653 123588608 29031 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30173 29031 1111 63 0 30110 0
vsize: 120692
[startup+670.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 29485 0 0 0 66861 148 0 0 25 0 1 0 835672653 124923904 29366 4294967295 134512640 134714540 3221224592 3221223360 134592424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30499 29366 1111 63 0 30436 0
vsize: 121996
[startup+680.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 29832 0 0 0 67859 149 0 0 25 0 1 0 835672653 126705664 29665 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30934 29665 1111 63 0 30871 0
vsize: 123736
[startup+690.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 30042 0 0 0 68858 151 0 0 25 0 1 0 835672653 127516672 29875 4294967295 134512640 134714540 3221224592 3221223360 134592116 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.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 30131 0 0 0 69856 153 0 0 25 0 1 0 835672653 127922176 29964 4294967295 134512640 134714540 3221224592 3221223324 134532458 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31231 29964 1111 63 0 31168 0
vsize: 124924
[startup+710.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 30469 0 0 0 70855 154 0 0 25 0 1 0 835672653 129146880 30275 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31530 30275 1111 63 0 31467 0
vsize: 126120
[startup+720.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 30900 0 0 0 71853 156 0 0 25 0 1 0 835672653 130842624 30706 4294967295 134512640 134714540 3221224592 3221222876 1077379936 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31944 30706 1111 63 0 31881 0
vsize: 127776
[startup+730.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 31317 0 0 0 72851 158 0 0 25 0 1 0 835672653 132599808 31123 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32373 31123 1111 63 0 32310 0
vsize: 129492
[startup+740.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 31597 0 0 0 73849 160 0 0 25 0 1 0 835672653 133681152 31403 4294967295 134512640 134714540 3221224592 3221223248 134524211 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.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 31876 0 0 0 74848 162 0 0 25 0 1 0 835672653 134758400 31678 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32900 31678 1111 63 0 32837 0
vsize: 131600
[startup+760.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 31947 0 0 0 75848 162 0 0 25 0 1 0 835672653 135028736 31749 4294967295 134512640 134714540 3221224592 3221223328 134622743 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): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 32425 0 0 0 76846 164 0 0 25 0 1 0 835672653 137170944 32227 4294967295 134512640 134714540 3221224592 3221223268 1077374543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33489 32227 1111 63 0 33426 0
vsize: 133956
[startup+780.003 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 33288 0 0 0 77843 167 0 0 25 0 1 0 835672653 140689408 33090 4294967295 134512640 134714540 3221224592 3221223280 134524415 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34348 33090 1111 63 0 34285 0
vsize: 137392
[startup+790.003 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 34249 0 0 0 78841 170 0 0 25 0 1 0 835672653 144859136 34051 4294967295 134512640 134714540 3221224592 3221222920 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35366 34051 1111 63 0 35303 0
vsize: 141464
[startup+800.003 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 34988 0 0 0 79838 173 0 0 25 0 1 0 835672653 147828736 34790 4294967295 134512640 134714540 3221224592 3221223340 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36091 34790 1111 63 0 36028 0
vsize: 144364
[startup+810.003 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 36105 0 0 0 80834 176 0 0 25 0 1 0 835672653 152395776 35896 4294967295 134512640 134714540 3221224592 3221223360 134556525 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37206 35896 1111 63 0 37143 0
vsize: 148824
[startup+820.003 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 36704 0 0 0 81833 178 0 0 25 0 1 0 835672653 154804224 36493 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37794 36493 1111 63 0 37731 0
vsize: 151176
[startup+830.003 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 37415 0 0 0 82830 181 0 0 25 0 1 0 835672653 157712384 37204 4294967295 134512640 134714540 3221224592 3221223360 134592424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38504 37204 1111 63 0 38441 0
vsize: 154016
[startup+840.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 38159 0 0 0 83827 184 0 0 25 0 1 0 835672653 160784384 37948 4294967295 134512640 134714540 3221224592 3221223336 134672944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39254 37949 1111 63 0 39191 0
vsize: 157016
[startup+850.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 39349 0 0 0 84824 188 0 0 25 0 1 0 835672653 165777408 39128 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40473 39128 1111 63 0 40410 0
vsize: 161892
[startup+860.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 40652 0 0 0 85821 191 0 0 25 0 1 0 835672653 172109824 40338 4294967295 134512640 134714540 3221224592 3221223384 134586033 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42019 40338 1111 63 0 41956 0
vsize: 168076
[startup+870.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 41554 0 0 0 86818 195 0 0 25 0 1 0 835672653 175763456 41240 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42911 41240 1111 63 0 42848 0
vsize: 171644
[startup+880.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 42210 0 0 0 87814 198 0 0 25 0 1 0 835672653 178507776 41896 4294967295 134512640 134714540 3221224592 3221223476 134621538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43581 41896 1111 63 0 43518 0
vsize: 174324
[startup+890.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 42583 0 0 0 88813 199 0 0 25 0 1 0 835672653 179994624 42269 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43944 42269 1111 63 0 43881 0
vsize: 175776
[startup+900.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 43148 0 0 0 89811 201 0 0 25 0 1 0 835672653 182292480 42834 4294967295 134512640 134714540 3221224592 3221223312 1076648048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44505 42834 1111 63 0 44442 0
vsize: 178020
[startup+910.004 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 43617 0 0 0 90809 204 0 0 25 0 1 0 835672653 184193024 43303 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44969 43303 1111 63 0 44906 0
vsize: 179876
[startup+920.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44064 0 0 0 91807 206 0 0 25 0 1 0 835672653 185950208 43750 4294967295 134512640 134714540 3221224592 3221223488 134621515 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45398 43750 1111 63 0 45335 0
vsize: 181592
[startup+930.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 92807 206 0 0 25 0 1 0 835672653 185950208 43758 4294967295 134512640 134714540 3221224592 3221223316 134622905 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.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 93807 206 0 0 25 0 1 0 835672653 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+950.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 94807 206 0 0 25 0 1 0 835672653 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134558485 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.005 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 95807 207 0 0 25 0 1 0 835672653 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+970.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 96807 207 0 0 25 0 1 0 835672653 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+980.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 97807 207 0 0 25 0 1 0 835672653 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.006 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 98808 207 0 0 25 0 1 0 835672653 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
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 99808 207 0 0 25 0 1 0 835672653 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+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 100808 207 0 0 25 0 1 0 835672653 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134558492 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.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 101808 207 0 0 25 0 1 0 835672653 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.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 102808 207 0 0 25 0 1 0 835672653 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.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 103808 207 0 0 25 0 1 0 835672653 185950208 43758 4294967295 134512640 134714540 3221224592 3221223316 134622811 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.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 104808 207 0 0 25 0 1 0 835672653 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.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 105808 207 0 0 25 0 1 0 835672653 185950208 43758 4294967295 134512640 134714540 3221224592 3221223312 134622817 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.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 106809 207 0 0 25 0 1 0 835672653 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+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 107809 207 0 0 25 0 1 0 835672653 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134558490 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.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 108809 207 0 0 25 0 1 0 835672653 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+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 109809 207 0 0 25 0 1 0 835672653 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+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 110809 207 0 0 25 0 1 0 835672653 185950208 43758 4294967295 134512640 134714540 3221224592 3221223304 134543179 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.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 111809 208 0 0 25 0 1 0 835672653 185950208 43758 4294967295 134512640 134714540 3221224592 3221223308 134558476 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.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 112809 208 0 0 25 0 1 0 835672653 185950208 43758 4294967295 134512640 134714540 3221224592 3221223308 134543156 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.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 113809 208 0 0 25 0 1 0 835672653 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+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 114809 208 0 0 25 0 1 0 835672653 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+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 115809 208 0 0 25 0 1 0 835672653 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+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 116810 208 0 0 25 0 1 0 835672653 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
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 117810 208 0 0 25 0 1 0 835672653 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+1190.01 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 118810 208 0 0 25 0 1 0 835672653 185950208 43758 4294967295 134512640 134714540 3221224592 3221223316 134622811 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.98 2/54 30543
Raw data (stat): 30543 (bsolo_mis) R 30542 23310 23309 0 -1 0 44072 0 0 0 119810 208 0 0 25 0 1 0 835672653 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
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.98 1/54 30543
Raw data (stat): 30543 (bsolo_mis) Z 30542 23310 23309 0 -1 1036 44072 0 0 0 119810 216 0 0 25 0 1 0 835672653 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.27
CPU user time (s): 1198.11
CPU system time (s): 2.16467
CPU usage (%): 100.015
Max. virtual memory (Kb): 181592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####