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-ran14x18_1.opb
MD5SUM	27cc6bcebfcedf07c5cf3ac138a419c6
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	913429
Optimality of the best value was proved	NO
Number of terms in the objective function	5292
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1421968313
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1421968313
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.03
Number of variables	5292
Total number of constraints	536
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	252
Number of constraints which are nor clauses,nor cardinality constraints	284
Minimum length of a constraint	1
Maximum length of a constraint	360
Trace number 25436

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-19 08:38:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19802 boxname=wulflinc31 idbench=1524 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  27cc6bcebfcedf07c5cf3ac138a419c6  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran14x18_1.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran14x18_1.opb
IDLAUNCH: 19802
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        804744 kB
Buffers:         27508 kB
Cached:         177144 kB
SwapCached:       5400 kB
Active:         141276 kB
Inactive:        70072 kB
HighTotal:      131008 kB
HighFree:         1260 kB
LowTotal:       903652 kB
LowFree:        803484 kB
SwapTotal:     2097892 kB
SwapFree:      2091564 kB
Dirty:             460 kB
Writeback:           0 kB
Mapped:           5360 kB
Slab:            12976 kB
Committed_AS:    63856 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-19 08:58:32 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 19802 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 5292 variables and 316 constraints.
c After prepocess the problem consists of 3084 variables and 316 constraints.
c preprocess terminated 4.587 s
c Initial Lower Bound: 53
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.85 0.95 0.94 2/55 19324
Raw data (stat): 19324 (runsolver) R 19323 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 785637735 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10 s]
Raw data (loadavg): 0.88 0.95 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6429 0 0 0 980 16 0 0 25 0 1 0 785637735 30085120 6384 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7345 6384 1111 63 0 7282 0
vsize: 29380
[startup+20 s]
Raw data (loadavg): 0.89 0.95 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6476 0 0 0 1978 17 0 0 25 0 1 0 785637735 30220288 6431 4294967295 134512640 134714540 3221221776 3221220488 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7378 6431 1111 63 0 7315 0
vsize: 29512
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.95 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6710 0 0 0 2977 19 0 0 25 0 1 0 785637735 31162368 6665 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7608 6665 1111 63 0 7545 0
vsize: 30432
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.95 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6711 0 0 0 3976 20 0 0 25 0 1 0 785637735 31162368 6666 4294967295 134512640 134714540 3221221776 3221220552 134624883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7608 6666 1111 63 0 7545 0
vsize: 30432
[startup+50.0017 s]
Raw data (loadavg): 0.93 0.96 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6711 0 0 0 4975 21 0 0 25 0 1 0 785637735 31162368 6666 4294967295 134512640 134714540 3221221776 3221220592 134611108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7608 6666 1111 63 0 7545 0
vsize: 30432
[startup+60.002 s]
Raw data (loadavg): 0.94 0.96 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6736 0 0 0 5974 22 0 0 25 0 1 0 785637735 31297536 6691 4294967295 134512640 134714540 3221221776 3221220540 134543553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7641 6691 1111 63 0 7578 0
vsize: 30564
[startup+70.0016 s]
Raw data (loadavg): 0.95 0.96 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6775 0 0 0 6974 23 0 0 25 0 1 0 785637735 31432704 6730 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7674 6730 1111 63 0 7611 0
vsize: 30696
[startup+80.0025 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6777 0 0 0 7973 24 0 0 25 0 1 0 785637735 31432704 6732 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7674 6732 1111 63 0 7611 0
vsize: 30696
[startup+90.0027 s]
Raw data (loadavg): 0.96 0.96 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6777 0 0 0 8971 26 0 0 25 0 1 0 785637735 31432704 6732 4294967295 134512640 134714540 3221221776 3221220512 134695379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7674 6732 1111 63 0 7611 0
vsize: 30696
[startup+100.003 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6777 0 0 0 9971 26 0 0 25 0 1 0 785637735 31432704 6732 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7674 6732 1111 63 0 7611 0
vsize: 30696
[startup+110.004 s]
Raw data (loadavg): 0.97 0.96 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6806 0 0 0 10970 27 0 0 25 0 1 0 785637735 31567872 6761 4294967295 134512640 134714540 3221221776 3221220060 1077379846 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6761 1111 63 0 7644 0
vsize: 30828
[startup+120.004 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6806 0 0 0 11969 29 0 0 25 0 1 0 785637735 31567872 6761 4294967295 134512640 134714540 3221221776 3221220104 1077377437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6761 1111 63 0 7644 0
vsize: 30828
[startup+130.004 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6806 0 0 0 12968 29 0 0 25 0 1 0 785637735 31567872 6761 4294967295 134512640 134714540 3221221776 3221220352 134697429 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6761 1111 63 0 7644 0
vsize: 30828
[startup+140.004 s]
Raw data (loadavg): 0.98 0.96 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6806 0 0 0 13968 30 0 0 25 0 1 0 785637735 31567872 6761 4294967295 134512640 134714540 3221221776 3221220496 134556897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6761 1111 63 0 7644 0
vsize: 30828
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6806 0 0 0 14967 31 0 0 25 0 1 0 785637735 31567872 6761 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6761 1111 63 0 7644 0
vsize: 30828
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6806 0 0 0 15966 32 0 0 25 0 1 0 785637735 31567872 6761 4294967295 134512640 134714540 3221221776 3221220592 134611108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6761 1111 63 0 7644 0
vsize: 30828
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6806 0 0 0 16965 33 0 0 25 0 1 0 785637735 31567872 6761 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6761 1111 63 0 7644 0
vsize: 30828
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6811 0 0 0 17964 34 0 0 25 0 1 0 785637735 31567872 6766 4294967295 134512640 134714540 3221221776 3221220480 134556515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6766 1111 63 0 7644 0
vsize: 30828
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6811 0 0 0 18964 35 0 0 25 0 1 0 785637735 31567872 6766 4294967295 134512640 134714540 3221221776 3221220436 1077378565 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6766 1111 63 0 7644 0
vsize: 30828
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6811 0 0 0 19963 36 0 0 25 0 1 0 785637735 31567872 6766 4294967295 134512640 134714540 3221221776 3221220512 134695334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6766 1111 63 0 7644 0
vsize: 30828
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6811 0 0 0 20963 37 0 0 25 0 1 0 785637735 31567872 6766 4294967295 134512640 134714540 3221221776 3221220512 134695297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6766 1111 63 0 7644 0
vsize: 30828
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6811 0 0 0 21962 38 0 0 25 0 1 0 785637735 31567872 6766 4294967295 134512640 134714540 3221221776 3221220476 134558630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7707 6766 1111 63 0 7644 0
vsize: 30828
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6823 0 0 0 22961 39 0 0 25 0 1 0 785637735 31703040 6778 4294967295 134512640 134714540 3221221776 3221220488 134558606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6778 1111 63 0 7677 0
vsize: 30960
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6823 0 0 0 23960 40 0 0 25 0 1 0 785637735 31703040 6778 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6778 1111 63 0 7677 0
vsize: 30960
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6823 0 0 0 24960 41 0 0 25 0 1 0 785637735 31703040 6778 4294967295 134512640 134714540 3221221776 3221220528 134592438 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6778 1111 63 0 7677 0
vsize: 30960
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6823 0 0 0 25958 42 0 0 25 0 1 0 785637735 31703040 6778 4294967295 134512640 134714540 3221221776 3221220528 134534148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6778 1111 63 0 7677 0
vsize: 30960
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6823 0 0 0 26958 43 0 0 25 0 1 0 785637735 31703040 6778 4294967295 134512640 134714540 3221221776 3221220512 134556630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6778 1111 63 0 7677 0
vsize: 30960
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6828 0 0 0 27957 44 0 0 25 0 1 0 785637735 31703040 6783 4294967295 134512640 134714540 3221221776 3221220568 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6783 1111 63 0 7677 0
vsize: 30960
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6828 0 0 0 28956 45 0 0 25 0 1 0 785637735 31703040 6783 4294967295 134512640 134714540 3221221776 3221220416 134613422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6783 1111 63 0 7677 0
vsize: 30960
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6828 0 0 0 29955 46 0 0 25 0 1 0 785637735 31703040 6783 4294967295 134512640 134714540 3221221776 3221220512 134695297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6783 1111 63 0 7677 0
vsize: 30960
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6828 0 0 0 30955 47 0 0 25 0 1 0 785637735 31703040 6783 4294967295 134512640 134714540 3221221776 3221220544 134592424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6783 1111 63 0 7677 0
vsize: 30960
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6828 0 0 0 31954 48 0 0 25 0 1 0 785637735 31703040 6783 4294967295 134512640 134714540 3221221776 3221220512 134695328 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6783 1111 63 0 7677 0
vsize: 30960
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6828 0 0 0 32953 49 0 0 25 0 1 0 785637735 31703040 6783 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6783 1111 63 0 7677 0
vsize: 30960
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6828 0 0 0 33951 50 0 0 25 0 1 0 785637735 31703040 6783 4294967295 134512640 134714540 3221221776 3221220592 134611590 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6783 1111 63 0 7677 0
vsize: 30960
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6828 0 0 0 34951 51 0 0 25 0 1 0 785637735 31703040 6783 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6783 1111 63 0 7677 0
vsize: 30960
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6828 0 0 0 35950 52 0 0 25 0 1 0 785637735 31703040 6783 4294967295 134512640 134714540 3221221776 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6783 1111 63 0 7677 0
vsize: 30960
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6828 0 0 0 36949 53 0 0 25 0 1 0 785637735 31703040 6783 4294967295 134512640 134714540 3221221776 3221220512 134695325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6783 1111 63 0 7677 0
vsize: 30960
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6832 0 0 0 37948 54 0 0 25 0 1 0 785637735 31703040 6787 4294967295 134512640 134714540 3221221776 3221220520 134672929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6787 1111 63 0 7677 0
vsize: 30960
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6832 0 0 0 38948 55 0 0 25 0 1 0 785637735 31703040 6787 4294967295 134512640 134714540 3221221776 3221220592 134610966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6787 1111 63 0 7677 0
vsize: 30960
[startup+400.013 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6832 0 0 0 39947 55 0 0 25 0 1 0 785637735 31703040 6787 4294967295 134512640 134714540 3221221776 3221220356 1077378632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6787 1111 63 0 7677 0
vsize: 30960
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6834 0 0 0 40947 56 0 0 25 0 1 0 785637735 31703040 6789 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6789 1111 63 0 7677 0
vsize: 30960
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6834 0 0 0 41947 57 0 0 25 0 1 0 785637735 31703040 6789 4294967295 134512640 134714540 3221221776 3221220672 134595169 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6789 1111 63 0 7677 0
vsize: 30960
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6834 0 0 0 42946 57 0 0 25 0 1 0 785637735 31703040 6789 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6789 1111 63 0 7677 0
vsize: 30960
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6834 0 0 0 43946 58 0 0 25 0 1 0 785637735 31703040 6789 4294967295 134512640 134714540 3221221776 3221220512 134695379 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7740 6789 1111 63 0 7677 0
vsize: 30960
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6884 0 0 0 44945 59 0 0 25 0 1 0 785637735 31973376 6839 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7806 6839 1111 63 0 7743 0
vsize: 31224
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6884 0 0 0 45944 60 0 0 25 0 1 0 785637735 31956992 6839 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6839 1111 63 0 7739 0
vsize: 31208
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6887 0 0 0 46943 61 0 0 25 0 1 0 785637735 31956992 6842 4294967295 134512640 134714540 3221221776 3221220512 134695297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6842 1111 63 0 7739 0
vsize: 31208
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6887 0 0 0 47943 62 0 0 25 0 1 0 785637735 31956992 6842 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6842 1111 63 0 7739 0
vsize: 31208
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6887 0 0 0 48942 63 0 0 25 0 1 0 785637735 31956992 6842 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6842 1111 63 0 7739 0
vsize: 31208
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6887 0 0 0 49942 63 0 0 25 0 1 0 785637735 31956992 6842 4294967295 134512640 134714540 3221221776 3221220488 134558621 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6842 1111 63 0 7739 0
vsize: 31208
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6887 0 0 0 50941 64 0 0 25 0 1 0 785637735 31956992 6842 4294967295 134512640 134714540 3221221776 3221220496 134556677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6842 1111 63 0 7739 0
vsize: 31208
[startup+520.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6887 0 0 0 51940 65 0 0 25 0 1 0 785637735 31956992 6842 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6842 1111 63 0 7739 0
vsize: 31208
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6888 0 0 0 52940 66 0 0 25 0 1 0 785637735 31956992 6843 4294967295 134512640 134714540 3221221776 3221220496 134556748 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6843 1111 63 0 7739 0
vsize: 31208
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6888 0 0 0 53939 67 0 0 25 0 1 0 785637735 31956992 6843 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6843 1111 63 0 7739 0
vsize: 31208
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6888 0 0 0 54939 67 0 0 25 0 1 0 785637735 31956992 6843 4294967295 134512640 134714540 3221221776 3221220512 134556867 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6843 1111 63 0 7739 0
vsize: 31208
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6888 0 0 0 55938 68 0 0 25 0 1 0 785637735 31956992 6843 4294967295 134512640 134714540 3221221776 3221220524 134535494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6843 1111 63 0 7739 0
vsize: 31208
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6888 0 0 0 56937 69 0 0 25 0 1 0 785637735 31956992 6843 4294967295 134512640 134714540 3221221776 3221220508 134558784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6843 1111 63 0 7739 0
vsize: 31208
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6889 0 0 0 57937 70 0 0 25 0 1 0 785637735 31956992 6844 4294967295 134512640 134714540 3221221776 3221220472 134558629 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6844 1111 63 0 7739 0
vsize: 31208
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6889 0 0 0 58936 71 0 0 25 0 1 0 785637735 31956992 6844 4294967295 134512640 134714540 3221221776 3221220476 134558620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6844 1111 63 0 7739 0
vsize: 31208
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6889 0 0 0 59935 71 0 0 25 0 1 0 785637735 31956992 6844 4294967295 134512640 134714540 3221221776 3221220120 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6844 1111 63 0 7739 0
vsize: 31208
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6889 0 0 0 60935 72 0 0 25 0 1 0 785637735 31956992 6844 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6844 1111 63 0 7739 0
vsize: 31208
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 61934 73 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 62934 73 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220460 134553611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 63933 74 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 64933 75 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 65932 76 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 66931 77 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 67930 78 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 68930 79 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 69930 79 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 70930 79 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220480 134524477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 71930 80 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 72929 81 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220560 134624377 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 73928 82 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220512 134695405 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 74927 82 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220480 1076648070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 75926 84 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 76925 85 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 77924 86 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220452 1077374568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 78924 87 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220524 134535506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 79923 88 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220544 134592449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 80923 88 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220404 134696262 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 81922 89 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220336 134540129 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 82921 91 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220512 134695334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 83920 91 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220572 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 84920 92 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220480 134556510 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 85919 93 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220332 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 86918 94 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 87917 95 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 88917 95 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 89917 96 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+910.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 90916 97 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 91916 97 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+930.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 92916 97 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220512 134695241 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+940.036 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 93915 99 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 94914 100 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220512 134695306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 95913 101 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 96913 101 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220540 134543553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 97912 102 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 98911 103 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220488 134558568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 99911 104 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220512 134695325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 100909 105 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 101908 107 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 102908 108 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220496 134556671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 103907 108 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220520 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 104906 109 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220520 134672948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 105906 110 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 106905 110 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220336 134540342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 107905 111 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 108905 112 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 109904 112 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220132 1077378674 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 110904 113 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220560 134558521 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 111903 114 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 112902 115 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220648 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 113901 116 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220404 1077374210 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 114901 116 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220524 134535676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 115900 117 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.94 2/55 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 116900 118 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 31208
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.94 1/54 19324
Raw data (stat): 19324 (bsolo_mis) R 19323 7876 7672 0 -1 0 6899 0 0 0 116900 118 0 0 25 0 1 0 785637735 31956992 6854 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7802 6854 1111 63 0 7739 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.84
CPU system time (s): 1.19982
CPU usage (%): 100.012
Max. virtual memory (Kb): 31224
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####