PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-air03.opb
MD5SUM	69337cf8d2b6f6cf8cc02fedc291ffcc
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	199890
Optimality of the best value was proved	NO
Number of terms in the objective function	10757
Biggest coefficient in the objective function	6873
Number of bits for the biggest coefficient in the objective function	13
Sum of the numbers in the objective function	13748961
Number of bits of the sum of numbers in the objective function	24
Biggest number in a constraint	6873
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	13748961
Number of bits of the biggest sum of numbers	24
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.44
Number of variables	10757
Total number of constraints	10881
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	10881
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	3861
Trace number 28349

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-25 01:52:21 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13159 boxname=wulflinc31 idbench=1013 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  69337cf8d2b6f6cf8cc02fedc291ffcc  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-air03.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-air03.opb
IDLAUNCH: 13159
/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:        495584 kB
Buffers:          8080 kB
Cached:         503180 kB
SwapCached:       1120 kB
Active:          65132 kB
Inactive:       448472 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        495304 kB
SwapTotal:     2097892 kB
SwapFree:      2096052 kB
Dirty:             156 kB
Writeback:           0 kB
Mapped:           5416 kB
Slab:            19812 kB
Committed_AS:    63808 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 02:12:24 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 13159 7 1200.39 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 10757 variables and 248 constraints.
#### 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.92 0.95 0.92 2/55 7666
Raw data (stat): 7666 (runsolver) R 7665 29618 29617 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 835043880 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+9.99995 s]
Raw data (loadavg): 0.93 0.95 0.92 2/55 7666
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 27989 0 0 0 943 55 0 0 25 0 1 0 835043880 128253952 27967 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31312 27967 1111 63 0 31249 0
vsize: 125248
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.96 0.92 2/55 7666
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 55481 0 0 0 1892 106 0 0 25 0 1 0 835043880 240889856 55459 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58811 55459 1111 63 0 58748 0
vsize: 235244
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.96 0.92 2/55 7668
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 66413 0 0 0 2872 126 0 0 25 0 1 0 835043880 285614080 66391 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69730 66391 1111 63 0 69667 0
vsize: 278920
[startup+40.0015 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 7668
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 67068 0 0 0 3870 128 0 0 25 0 1 0 835043880 288321536 67046 4294967295 134512640 134714540 3221224592 3221222880 134566780 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70391 67046 1111 63 0 70328 0
vsize: 281564
[startup+50.0023 s]
Raw data (loadavg): 0.96 0.96 0.92 2/55 7668
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 67681 0 0 0 4868 129 0 0 25 0 1 0 835043880 290758656 67659 4294967295 134512640 134714540 3221224592 3221223204 134524411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70986 67659 1111 63 0 70923 0
vsize: 283944
[startup+60.0026 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 7668
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 68271 0 0 0 5867 131 0 0 25 0 1 0 835043880 293240832 68249 4294967295 134512640 134714540 3221224592 3221222876 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71592 68249 1111 63 0 71529 0
vsize: 286368
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.92 2/55 7668
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 68857 0 0 0 6865 132 0 0 25 0 1 0 835043880 295870464 68835 4294967295 134512640 134714540 3221224592 3221221212 1077253688 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72234 68835 1111 63 0 72171 0
vsize: 288936
[startup+80.0031 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7668
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69885 0 0 0 7862 135 0 0 25 0 1 0 835043880 290381824 69806 4294967295 134512640 134714540 3221224592 3221223036 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69806 1111 63 0 70831 0
vsize: 283576
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7670
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 8862 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7670
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 9863 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223156 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.92 2/55 7670
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 10863 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222972 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7670
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 11863 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7670
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 12863 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223024 134543671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7670
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 13863 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7672
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 14863 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222988 134543588 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7672
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 15863 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223004 134542372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7672
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 16863 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7672
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 17864 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7672
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 18864 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7672
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 19864 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222980 134542296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7674
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 20864 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7674
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 21864 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134536921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7674
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 22864 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7674
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 23864 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7674
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 24865 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7674
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 25865 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223004 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7676
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 26865 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7676
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 27865 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7676
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 28865 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223092 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7676
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 29865 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7676
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 30866 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7676
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 31866 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7678
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 32866 135 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7678
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 33866 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7678
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 34866 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7678
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 35866 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+370.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7678
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 36867 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7678
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 37867 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223096 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7680
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 38867 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223452 134558493 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7680
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 39867 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7680
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 40867 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7680
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 41867 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7680
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 42868 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7680
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 43868 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7682
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 44868 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/55 7682
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 45868 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+470.013 s]
Raw data (loadavg): 1.07 0.99 0.93 2/55 7735
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 46868 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+480.013 s]
Raw data (loadavg): 1.06 0.99 0.93 2/55 7735
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 47868 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134528410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+490.014 s]
Raw data (loadavg): 1.05 0.99 0.93 2/55 7735
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 48868 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223216 134594959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+500.014 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 7735
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 49869 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134543744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+510.013 s]
Raw data (loadavg): 1.04 0.99 0.93 2/55 7737
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 50869 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+520.013 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 7737
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 51869 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+530.014 s]
Raw data (loadavg): 1.03 0.99 0.93 2/55 7737
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 52869 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222972 134539326 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+540.015 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 7739
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 53869 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+550.015 s]
Raw data (loadavg): 1.02 0.99 0.93 2/55 7739
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 54870 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+560.015 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 7739
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 55870 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+570.016 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 7741
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 56870 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222984 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+580.016 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 7741
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 57870 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+590.017 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 7741
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 58870 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+600.022 s]
Raw data (loadavg): 1.01 0.99 0.93 2/55 7741
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 59870 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223164 134543124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+610.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7741
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 60870 136 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543796 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+620.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7741
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 61871 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223384 134617118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+630.022 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7743
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 62871 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+640.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7743
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 63872 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+650.032 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7743
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 64872 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+660.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7743
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 65872 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223056 134536653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+670.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7743
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 66872 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+680.033 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7743
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 67872 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223344 134630798 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+690.034 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7745
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 68872 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223148 134543760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+700.054 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7745
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 69875 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134539338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+710.053 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7745
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 70875 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+720.054 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7745
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 71875 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+730.055 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7745
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 72875 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222972 134539251 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+740.056 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7745
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 73875 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222992 134542753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+750.056 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7747
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 74875 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223096 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+760.056 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7747
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 75875 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+770.056 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7747
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 76876 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223208 134543804 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+780.057 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7747
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 77876 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223216 134594999 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+790.058 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7749
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 78876 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223096 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+800.058 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7749
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 79876 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223024 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+810.058 s]
Raw data (loadavg): 1.00 0.99 0.93 2/55 7751
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 80876 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223168 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+820.058 s]
Raw data (loadavg): 1.08 1.00 0.93 2/55 7751
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 81877 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223168 134587954 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+830.064 s]
Raw data (loadavg): 1.07 1.00 0.93 2/55 7751
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 82877 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134536820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+840.083 s]
Raw data (loadavg): 1.06 1.00 0.93 2/55 7751
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 83879 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223152 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+850.083 s]
Raw data (loadavg): 1.05 1.00 0.93 2/55 7751
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 84879 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+860.083 s]
Raw data (loadavg): 1.04 1.00 0.93 2/55 7751
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 85880 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+870.084 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 7753
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 86880 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134542680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+880.084 s]
Raw data (loadavg): 1.03 1.00 0.93 2/55 7753
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 87880 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+890.085 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 7753
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 88880 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+900.085 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 7753
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 89880 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134584901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+910.086 s]
Raw data (loadavg): 1.02 1.00 0.93 2/55 7753
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 90880 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222972 134539243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+920.087 s]
Raw data (loadavg): 1.01 1.00 0.93 2/55 7753
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 91881 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134542362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+930.087 s]
Raw data (loadavg): 1.08 1.02 0.94 2/55 7755
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 92881 137 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+940.087 s]
Raw data (loadavg): 1.07 1.02 0.94 2/55 7755
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 93881 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223104 134543719 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+950.087 s]
Raw data (loadavg): 1.06 1.01 0.94 2/55 7755
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 94881 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+960.088 s]
Raw data (loadavg): 1.05 1.01 0.94 2/55 7755
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 95881 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+970.088 s]
Raw data (loadavg): 1.04 1.01 0.94 2/55 7755
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 96882 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+980.089 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 7755
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 97882 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+990.094 s]
Raw data (loadavg): 1.03 1.01 0.94 2/55 7757
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 98882 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223096 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1000.09 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 7757
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 99883 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223136 134535807 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1010.09 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 7757
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 100883 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134536784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1020.1 s]
Raw data (loadavg): 1.02 1.01 0.94 2/55 7757
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 101883 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223008 134543740 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1030.1 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 7757
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 102883 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222976 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1040.1 s]
Raw data (loadavg): 1.01 1.01 0.94 2/55 7757
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 103883 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134543724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1050.1 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 7759
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 104884 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223216 134528771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1060.1 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 7759
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 105884 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223120 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1070.1 s]
Raw data (loadavg): 1.01 1.00 0.94 2/55 7759
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 106884 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1080.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7759
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 107884 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1090.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7759
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 108884 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221222956 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1100.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7759
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 109885 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1110.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7761
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 110885 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1120.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7761
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 111885 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134535942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7761
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 112885 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7761
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 113885 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223220 134594953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7761
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 114886 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223072 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7761
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 115886 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223036 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7763
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 116886 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223216 134529009 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1180.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7763
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 117887 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223232 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1190.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7763
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 118887 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223000 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
[startup+1200.11 s]
Raw data (loadavg): 1.00 1.00 0.94 2/55 7763
Raw data (stat): 7666 (bsolo_mis) R 7665 29618 29617 0 -1 0 69886 0 0 0 119887 138 0 0 25 0 1 0 835043880 290381824 69807 4294967295 134512640 134714540 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70894 69807 1111 63 0 70831 0
vsize: 283576
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.00 1.00 0.94 1/55 7763
Raw data (stat): 7666 (bsolo_mis) Z 7665 29618 29617 0 -1 1036 69886 0 0 0 119887 151 0 0 25 0 1 0 835043880 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.24
CPU time (s): 1200.39
CPU user time (s): 1198.87
CPU system time (s): 1.51777
CPU usage (%): 100.012
Max. virtual memory (Kb): 288936
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####