PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-bienst2.opb
MD5SUM	3c3e6264ad2029dcb2dc81be78ef5988
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	20
Biggest coefficient in the objective function	524288
Number of bits for the biggest coefficient in the objective function	20
Sum of the numbers in the objective function	1048575
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	524288
Number of bits of the biggest number in a constraint	20
Biggest sum of numbers in a constraint	13633395
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	103.29
Number of variables	9183
Total number of constraints	632
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	592
Minimum length of a constraint	1
Maximum length of a constraint	260
Trace number 26997

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        767944 kB
Buffers:         34256 kB
Cached:         210732 kB
SwapCached:       1104 kB
Active:          61452 kB
Inactive:       186192 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        767692 kB
SwapTotal:     2097640 kB
SwapFree:      2096184 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5544 kB
Slab:            13424 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 18:55:39 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 19425 7 1175.03 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 9183 variables and 725 constraints.
c After prepocess the problem consists of 6361 variables and 725 constraints.
c preprocess terminated 4.466 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### 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.84 0.94 0.92 2/54 27926
Raw data (stat): 27926 (runsolver) R 27925 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832451717 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.87 0.94 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11956 0 0 0 970 28 0 0 25 0 1 0 832451717 52965376 11931 4294967295 134512640 134714540 3221224592 3221223312 134556668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12931 11931 1111 63 0 12868 0
vsize: 51724
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.94 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 1969 29 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223272 134558621 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+30.0015 s]
Raw data (loadavg): 0.90 0.94 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 2968 31 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223216 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.94 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 3967 32 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134542598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+50.0092 s]
Raw data (loadavg): 0.93 0.94 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 4966 33 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223380 134556757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+60.0086 s]
Raw data (loadavg): 0.94 0.95 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 5965 35 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+70.0156 s]
Raw data (loadavg): 0.95 0.95 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 6964 36 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223232 134696145 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+80.0163 s]
Raw data (loadavg): 0.96 0.95 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 7964 37 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+90.0157 s]
Raw data (loadavg): 0.96 0.95 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 8963 38 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223408 134622115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+100.016 s]
Raw data (loadavg): 0.97 0.95 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 9962 39 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+110.015 s]
Raw data (loadavg): 0.97 0.95 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 10960 41 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223232 134613464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+120.018 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 11959 42 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223232 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+130.018 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 12958 43 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+140.017 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 13957 45 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223328 134556487 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+150.018 s]
Raw data (loadavg): 0.98 0.95 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 14957 45 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+160.018 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 15955 47 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+170.019 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 16954 49 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223184 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+180.018 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 17953 50 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223232 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+190.018 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 18951 52 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223364 134542593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+200.019 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 19950 53 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223232 134613422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+210.018 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 20948 55 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223336 134591816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+220.019 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 21947 56 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+230.019 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 22946 57 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+240.018 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 23945 58 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223272 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+250.018 s]
Raw data (loadavg): 0.99 0.96 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 24945 59 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223296 134556775 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+260.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 25944 60 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223340 134536856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+270.019 s]
Raw data (loadavg): 1.07 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 26943 62 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223160 1077377725 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+280.019 s]
Raw data (loadavg): 1.06 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 27941 64 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223232 134539419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+290.019 s]
Raw data (loadavg): 1.05 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 28940 65 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+300.019 s]
Raw data (loadavg): 1.04 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 29939 66 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+310.019 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 30938 67 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223376 134584866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+320.02 s]
Raw data (loadavg): 1.03 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 31937 69 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223144 1077374049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+330.019 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 32936 69 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+340.019 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 33935 71 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223260 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+350.02 s]
Raw data (loadavg): 1.02 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 34934 72 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223336 134672929 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+360.02 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 35933 73 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+370.021 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 36932 74 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+380.021 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 37931 75 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223336 134536877 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+390.021 s]
Raw data (loadavg): 1.01 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 38930 77 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+400.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 39929 78 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223376 134624498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+410.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 40927 80 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+420.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 41925 83 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221222876 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+430.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 42923 84 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+440.021 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 43922 85 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221222676 134697393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+450.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 44921 87 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+460.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 45920 88 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223152 134540180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+470.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 46919 90 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223328 134558523 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+480.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 47917 91 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223312 1076647868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+490.022 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 48917 92 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223264 134553177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+500.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 49916 93 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223272 134594352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+510.023 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 50915 94 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+520.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 51915 95 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223272 134553175 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+530.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 52913 96 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223264 134553177 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+540.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 53913 97 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223312 134556668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+550.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 54912 98 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223376 134624384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+560.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 55911 99 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221222876 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+570.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 56911 100 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223008 134697270 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+580.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 57909 101 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223340 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+590.024 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 58909 102 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+600.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 59907 104 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221222748 134613752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+610.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 60907 104 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+620.025 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 61906 106 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+630.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 62905 107 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+640.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 63904 108 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223276 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+650.026 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 64903 109 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223392 134555029 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+660.027 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 65902 110 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223336 134558490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+670.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 66901 112 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+680.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 67899 113 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134592424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+690.028 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 68898 115 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223320 134532455 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+700.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 69897 116 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223312 134556642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+710.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 70896 118 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223012 1077374598 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+720.029 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 71894 120 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+730.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 72892 122 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223152 134696864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+740.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 73891 123 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221222920 1077377790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+750.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 74889 125 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223376 134624467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+760.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 75887 127 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223408 134610900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+770.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 76886 129 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+780.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 77885 130 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223328 134556745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+790.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 78883 132 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+800.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 79882 134 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223328 134556624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+810.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 80881 135 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223180 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+820.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 81878 137 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223216 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+830.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 82877 139 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223392 134588090 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+840.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 83876 140 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+850.031 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 84875 141 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223232 134538795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+860.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 85873 143 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223440 134623456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+870.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 86872 145 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+880.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 87870 146 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+890.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 88869 148 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+900.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 89868 150 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223340 134535671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+910.032 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 90866 151 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223388 134558545 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+920.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 91866 152 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223340 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+930.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 92864 153 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223152 134539757 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+940.033 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 93863 155 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221222920 1077378100 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+950.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 94861 157 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223160 1077377316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+960.034 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 95860 159 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223232 134613454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+970.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 96858 160 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223368 134624425 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+980.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 97857 162 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223376 134584866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+990.035 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 98855 163 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 99855 165 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223340 134556736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 100854 166 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 101852 168 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223344 134558507 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 102850 170 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223196 1076999581 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 103849 170 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223176 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 104848 172 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 105846 175 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223292 134558607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 106845 176 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223364 134624473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 107843 178 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223212 134539584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 108842 179 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223396 134610916 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 109841 180 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 110839 182 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 111838 184 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221222948 1077378674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 112837 185 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 113836 186 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223344 134584919 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 114835 187 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223152 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 115835 187 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223328 134591994 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.98 0.92 2/54 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 116834 188 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223160 1077378441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 51724
[startup+1174.84 s]
Raw data (loadavg): 1.00 0.98 0.92 1/53 27926
Raw data (stat): 27926 (bsolo_mis) R 27925 24821 24820 0 -1 0 11960 0 0 0 116834 188 0 0 25 0 1 0 832451717 52965376 11935 4294967295 134512640 134714540 3221224592 3221223160 1077378441 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12931 11935 1111 63 0 12868 0
vsize: 0

Child status: 0
Real time (s): 1174.84
CPU time (s): 1175.03
CPU user time (s): 1173.12
CPU system time (s): 1.91271
CPU usage (%): 100.017
Max. virtual memory (Kb): 51724
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####