PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-neos1.opb
MD5SUM	3fce91583b30a82646d8d8e778b97a89
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	19
Optimality of the best value was proved	NO
Number of terms in the objective function	288
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	288
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	5
Number of bits of the biggest number in a constraint	3
Biggest sum of numbers in a constraint	288
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05884
Number of variables	2112
Total number of constraints	7132
Number of constraints which are clauses	4128
Number of constraints which are cardinality constraints (but not clauses)	2328
Number of constraints which are nor clauses,nor cardinality constraints	676
Minimum length of a constraint	1
Maximum length of a constraint	32
Trace number 28073

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.091
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:        627552 kB
Buffers:         37316 kB
Cached:         349036 kB
SwapCached:        568 kB
Active:         105664 kB
Inactive:       283168 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        627300 kB
SwapTotal:     2097136 kB
SwapFree:      2096076 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5676 kB
Slab:            12676 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:35:50 (client local time) WITH STATUS 0 IN 1200.86 SECONDS
stats: 14641 7 1200.86 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 2112 variables and 5120 constraints.
c After prepocess the problem consists of 2112 variables and 4886 constraints.
c preprocess terminated 4.924 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 39 @ 11.626
c NEW SOLUTION FOUND: 38 @ 20.462
c NEW SOLUTION FOUND: 37 @ 20.61
c NEW SOLUTION FOUND: 36 @ 21.793
c NEW SOLUTION FOUND: 35 @ 22.986
c NEW SOLUTION FOUND: 34 @ 23.022
c NEW SOLUTION FOUND: 33 @ 23.054
c NEW SOLUTION FOUND: 32 @ 23.192
c NEW SOLUTION FOUND: 31 @ 24.404
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (runsolver) R 6159 32284 32283 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776255957 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 14262 0 0 0 967 31 0 0 25 0 1 0 776255957 62156800 14238 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15175 14238 1111 63 0 15112 0
vsize: 60700
[startup+20.1113 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 14913 0 0 0 1974 34 0 0 25 0 1 0 776255957 64745472 14889 4294967295 134512640 134714540 3221224592 3221223236 134613632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15807 14889 1111 63 0 15744 0
vsize: 63228
[startup+30.1118 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 16575 0 0 0 2969 39 0 0 25 0 1 0 776255957 71639040 16551 4294967295 134512640 134714540 3221224592 3221223184 134696371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17490 16551 1111 63 0 17427 0
vsize: 69960
[startup+40.2159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 17548 0 0 0 3977 42 0 0 25 0 1 0 776255957 75751424 17523 4294967295 134512640 134714540 3221224592 3221223148 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18494 17523 1111 63 0 18431 0
vsize: 73976
[startup+50.2234 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18440 0 0 0 4975 45 0 0 25 0 1 0 776255957 79339520 18415 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19370 18415 1111 63 0 19307 0
vsize: 77480
[startup+60.2317 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18527 0 0 0 5975 46 0 0 25 0 1 0 776255957 79609856 18502 4294967295 134512640 134714540 3221224592 3221223328 134622740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19436 18502 1111 63 0 19373 0
vsize: 77744
[startup+70.2411 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18527 0 0 0 6976 46 0 0 25 0 1 0 776255957 79609856 18502 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19436 18502 1111 63 0 19373 0
vsize: 77744
[startup+80.2434 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18527 0 0 0 7976 46 0 0 25 0 1 0 776255957 79609856 18502 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19436 18502 1111 63 0 19373 0
vsize: 77744
[startup+90.2438 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18527 0 0 0 8975 47 0 0 25 0 1 0 776255957 79609856 18502 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19436 18502 1111 63 0 19373 0
vsize: 77744
[startup+100.244 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18527 0 0 0 9975 47 0 0 25 0 1 0 776255957 79609856 18502 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19436 18502 1111 63 0 19373 0
vsize: 77744
[startup+110.243 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18530 0 0 0 10975 47 0 0 25 0 1 0 776255957 79745024 18505 4294967295 134512640 134714540 3221224592 3221223316 134622760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18505 1111 63 0 19406 0
vsize: 77876
[startup+120.245 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18530 0 0 0 11975 48 0 0 25 0 1 0 776255957 79745024 18505 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18505 1111 63 0 19406 0
vsize: 77876
[startup+130.245 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18530 0 0 0 12974 48 0 0 25 0 1 0 776255957 79745024 18505 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18505 1111 63 0 19406 0
vsize: 77876
[startup+140.245 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18530 0 0 0 13974 48 0 0 25 0 1 0 776255957 79745024 18505 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18505 1111 63 0 19406 0
vsize: 77876
[startup+150.246 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18530 0 0 0 14974 49 0 0 25 0 1 0 776255957 79745024 18505 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19469 18505 1111 63 0 19406 0
vsize: 77876
[startup+160.246 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 18694 0 0 0 15973 50 0 0 25 0 1 0 776255957 80326656 18669 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19611 18669 1111 63 0 19548 0
vsize: 78444
[startup+170.256 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19061 0 0 0 16971 53 0 0 25 0 1 0 776255957 81948672 19036 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19036 1111 63 0 19944 0
vsize: 80028
[startup+180.257 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19061 0 0 0 17971 53 0 0 25 0 1 0 776255957 81948672 19036 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19036 1111 63 0 19944 0
vsize: 80028
[startup+190.264 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19061 0 0 0 18972 53 0 0 25 0 1 0 776255957 81948672 19036 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19036 1111 63 0 19944 0
vsize: 80028
[startup+200.264 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19061 0 0 0 19972 53 0 0 25 0 1 0 776255957 81948672 19036 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19036 1111 63 0 19944 0
vsize: 80028
[startup+210.285 s]
Raw data (loadavg): 1.14 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19061 0 0 0 20974 53 0 0 25 0 1 0 776255957 81948672 19036 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19036 1111 63 0 19944 0
vsize: 80028
[startup+220.302 s]
Raw data (loadavg): 1.12 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19061 0 0 0 21975 54 0 0 25 0 1 0 776255957 81948672 19036 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19036 1111 63 0 19944 0
vsize: 80028
[startup+230.304 s]
Raw data (loadavg): 1.10 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19062 0 0 0 22975 54 0 0 25 0 1 0 776255957 81948672 19037 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19037 1111 63 0 19944 0
vsize: 80028
[startup+240.305 s]
Raw data (loadavg): 1.08 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19062 0 0 0 23975 54 0 0 25 0 1 0 776255957 81948672 19037 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19037 1111 63 0 19944 0
vsize: 80028
[startup+250.305 s]
Raw data (loadavg): 1.07 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19062 0 0 0 24975 54 0 0 25 0 1 0 776255957 81948672 19037 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19037 1111 63 0 19944 0
vsize: 80028
[startup+260.306 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19082 0 0 0 25974 55 0 0 25 0 1 0 776255957 81948672 19057 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19057 1111 63 0 19944 0
vsize: 80028
[startup+270.306 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19082 0 0 0 26974 55 0 0 25 0 1 0 776255957 81948672 19057 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19057 1111 63 0 19944 0
vsize: 80028
[startup+280.316 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19082 0 0 0 27975 55 0 0 25 0 1 0 776255957 81948672 19057 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19057 1111 63 0 19944 0
vsize: 80028
[startup+290.328 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19082 0 0 0 28976 55 0 0 25 0 1 0 776255957 81948672 19057 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19057 1111 63 0 19944 0
vsize: 80028
[startup+300.338 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19082 0 0 0 29977 55 0 0 25 0 1 0 776255957 81948672 19057 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19057 1111 63 0 19944 0
vsize: 80028
[startup+310.337 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19082 0 0 0 30977 56 0 0 25 0 1 0 776255957 81948672 19057 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20007 19057 1111 63 0 19944 0
vsize: 80028
[startup+320.337 s]
Raw data (loadavg): 1.10 1.02 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19099 0 0 0 31976 56 0 0 25 0 1 0 776255957 82083840 19074 4294967295 134512640 134714540 3221224592 3221223328 134622844 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20040 19074 1111 63 0 19977 0
vsize: 80160
[startup+330.337 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19099 0 0 0 32976 57 0 0 25 0 1 0 776255957 82083840 19074 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20040 19074 1111 63 0 19977 0
vsize: 80160
[startup+340.341 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19099 0 0 0 33976 57 0 0 25 0 1 0 776255957 82083840 19074 4294967295 134512640 134714540 3221224592 3221223320 134622755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20040 19074 1111 63 0 19977 0
vsize: 80160
[startup+350.341 s]
Raw data (loadavg): 1.06 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19099 0 0 0 34976 57 0 0 25 0 1 0 776255957 82083840 19074 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20040 19074 1111 63 0 19977 0
vsize: 80160
[startup+360.349 s]
Raw data (loadavg): 1.05 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19099 0 0 0 35977 57 0 0 25 0 1 0 776255957 82083840 19074 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20040 19074 1111 63 0 19977 0
vsize: 80160
[startup+370.35 s]
Raw data (loadavg): 1.04 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19099 0 0 0 36977 58 0 0 25 0 1 0 776255957 82083840 19074 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20040 19074 1111 63 0 19977 0
vsize: 80160
[startup+380.349 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 19537 0 0 0 37975 59 0 0 25 0 1 0 776255957 83902464 19506 4294967295 134512640 134714540 3221224592 3221223344 134558521 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20484 19506 1111 63 0 20421 0
vsize: 81936
[startup+390.35 s]
Raw data (loadavg): 1.03 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 21721 0 0 0 38969 65 0 0 25 0 1 0 776255957 92962816 21684 4294967295 134512640 134714540 3221224592 3221223168 134542356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22696 21684 1111 63 0 22633 0
vsize: 90784
[startup+400.351 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 22187 0 0 0 39969 66 0 0 25 0 1 0 776255957 94855168 22150 4294967295 134512640 134714540 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23158 22150 1111 63 0 23095 0
vsize: 92632
[startup+410.351 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 22238 0 0 0 40969 66 0 0 25 0 1 0 776255957 94990336 22201 4294967295 134512640 134714540 3221224592 3221223304 134543130 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23191 22201 1111 63 0 23128 0
vsize: 92764
[startup+420.351 s]
Raw data (loadavg): 1.02 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 22238 0 0 0 41969 66 0 0 25 0 1 0 776255957 94990336 22201 4294967295 134512640 134714540 3221224592 3221223304 134543162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23191 22201 1111 63 0 23128 0
vsize: 92764
[startup+430.351 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 22238 0 0 0 42969 66 0 0 25 0 1 0 776255957 94990336 22201 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23191 22201 1111 63 0 23128 0
vsize: 92764
[startup+440.352 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 22452 0 0 0 43968 67 0 0 25 0 1 0 776255957 95981568 22412 4294967295 134512640 134714540 3221224592 3221223372 134623145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23433 22412 1111 63 0 23370 0
vsize: 93732
[startup+450.351 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 24846 0 0 0 44963 73 0 0 25 0 1 0 776255957 106295296 24759 4294967295 134512640 134714540 3221224592 3221223132 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25951 24759 1111 63 0 25888 0
vsize: 103804
[startup+460.351 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 26628 0 0 0 45959 77 0 0 25 0 1 0 776255957 113573888 26533 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27728 26533 1111 63 0 27665 0
vsize: 110912
[startup+470.359 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 26629 0 0 0 46960 77 0 0 25 0 1 0 776255957 113573888 26534 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27728 26534 1111 63 0 27665 0
vsize: 110912
[startup+480.367 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 26631 0 0 0 47961 77 0 0 25 0 1 0 776255957 113573888 26536 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27728 26536 1111 63 0 27665 0
vsize: 110912
[startup+490.368 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 26631 0 0 0 48961 77 0 0 25 0 1 0 776255957 113573888 26536 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27728 26536 1111 63 0 27665 0
vsize: 110912
[startup+500.367 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 26632 0 0 0 49961 77 0 0 25 0 1 0 776255957 113573888 26537 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27728 26537 1111 63 0 27665 0
vsize: 110912
[startup+510.367 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 26632 0 0 0 50961 77 0 0 25 0 1 0 776255957 113573888 26537 4294967295 134512640 134714540 3221224592 3221223304 134543157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27728 26537 1111 63 0 27665 0
vsize: 110912
[startup+520.367 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 26634 0 0 0 51962 77 0 0 25 0 1 0 776255957 113573888 26539 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27728 26539 1111 63 0 27665 0
vsize: 110912
[startup+530.367 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 26634 0 0 0 52962 77 0 0 25 0 1 0 776255957 113573888 26539 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27728 26539 1111 63 0 27665 0
vsize: 110912
[startup+540.368 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 26635 0 0 0 53962 77 0 0 25 0 1 0 776255957 113573888 26540 4294967295 134512640 134714540 3221224592 3221223368 134542416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27728 26540 1111 63 0 27665 0
vsize: 110912
[startup+550.368 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 26656 0 0 0 54962 77 0 0 25 0 1 0 776255957 113709056 26561 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27761 26561 1111 63 0 27698 0
vsize: 111044
[startup+560.367 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 26677 0 0 0 55962 77 0 0 25 0 1 0 776255957 113844224 26582 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27794 26582 1111 63 0 27731 0
vsize: 111176
[startup+570.368 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 27474 0 0 0 56960 80 0 0 25 0 1 0 776255957 117346304 27342 4294967295 134512640 134714540 3221224592 3221223184 134696145 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28649 27342 1111 63 0 28586 0
vsize: 114596
[startup+580.369 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 27726 0 0 0 57959 80 0 0 25 0 1 0 776255957 118431744 27592 4294967295 134512640 134714540 3221224592 3221223388 134622597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28914 27592 1111 63 0 28851 0
vsize: 115656
[startup+590.369 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 28286 0 0 0 58957 82 0 0 25 0 1 0 776255957 120692736 28147 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29466 28147 1111 63 0 29403 0
vsize: 117864
[startup+600.372 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 29564 0 0 0 59955 86 0 0 25 0 1 0 776255957 125820928 29416 4294967295 134512640 134714540 3221224592 3221223136 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30718 29416 1111 63 0 30655 0
vsize: 122872
[startup+610.372 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 30423 0 0 0 60952 88 0 0 25 0 1 0 776255957 129204224 30275 4294967295 134512640 134714540 3221224592 3221223308 134543156 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31544 30275 1111 63 0 31481 0
vsize: 126176
[startup+620.371 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 31965 0 0 0 61948 92 0 0 25 0 1 0 776255957 135733248 31759 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33138 31759 1111 63 0 33075 0
vsize: 132552
[startup+630.371 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 62947 93 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+640.377 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 63948 93 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+650.376 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 64948 93 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223312 134622839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+660.378 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 65948 93 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223388 134536922 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+670.379 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 66949 93 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+680.379 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 67949 93 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+690.378 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 68949 93 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+700.378 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 69949 93 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223316 134622811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+710.387 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 70950 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223320 134622755 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+720.387 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 71950 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+730.392 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 72951 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+740.4 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 73952 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+750.399 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 74952 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+760.4 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 75952 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+770.408 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 76953 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223312 134622817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+780.407 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 77953 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+790.411 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 78954 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+800.419 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 79954 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+810.419 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 80955 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+820.419 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 81955 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+830.422 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 82955 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+840.423 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 83955 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+850.425 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 84956 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+860.433 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 85957 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223308 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+870.44 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 86958 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+880.44 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 87958 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+890.44 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 88958 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+900.442 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 89958 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+910.449 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 90959 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223304 134543125 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+920.455 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 91960 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+930.455 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 92960 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223304 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+940.465 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 93961 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+950.465 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 94961 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+960.466 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 95962 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223384 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+970.471 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 96962 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+980.471 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 97962 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+990.471 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 98962 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223388 134543553 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1000.47 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 99963 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1010.59 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 100975 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223384 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1020.62 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 101977 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223396 134622592 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1030.62 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 102978 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223384 134536909 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1040.63 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 103979 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223304 134543181 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1050.63 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 104979 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1060.63 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 105979 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1070.63 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 106979 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1080.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 107982 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1090.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 108982 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223376 134622506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1100.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 109982 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1110.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 110982 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223396 134622632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1120.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 111983 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223312 134622884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1130.65 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 112983 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1140.66 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 113983 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1150.66 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 114984 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223376 134622506 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1160.66 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 115984 94 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223392 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1170.66 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 116984 95 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1180.66 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 117984 95 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223304 134558490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1190.66 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 118984 95 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223328 134622747 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
[startup+1200.66 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 6160
Raw data (stat): 6160 (bsolo_mis) R 6159 32284 32283 0 -1 0 32389 0 0 0 119984 95 0 0 25 0 1 0 776255957 137854976 32152 4294967295 134512640 134714540 3221224592 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33656 32152 1111 63 0 33593 0
vsize: 134624
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.74 s]
Raw data (loadavg): 1.00 1.00 0.93 1/54 6160
Raw data (stat): 6160 (bsolo_mis) Z 6159 32284 32283 0 -1 1036 32389 0 0 0 119984 101 0 0 24 0 1 0 776255957 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.74
CPU time (s): 1200.86
CPU user time (s): 1199.85
CPU system time (s): 1.01484
CPU usage (%): 100.01
Max. virtual memory (Kb): 134624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####