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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-dfl001.opb
MD5SUM	0613a0c4894703648f95007e06fadc66
Bench Category	optimization, big integers (OPTBIGINT)
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	187033
Biggest coefficient in the objective function	2150851580428025856
Number of bits for the biggest coefficient in the objective function	61
Sum of the numbers in the objective function	882752655849462562816
Number of bits of the sum of numbers in the objective function	70
Biggest number in a constraint	53687091200000000000
Number of bits of the biggest number in a constraint	66
Biggest sum of numbers in a constraint	4277072243466308681728
Number of bits of the biggest sum of numbers	72
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	3.46847
Number of variables	366703
Total number of constraints	6084
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	6084
Minimum length of a constraint	13
Maximum length of a constraint	6840
Trace number 29046

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.242
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:        524744 kB
Buffers:         20244 kB
Cached:         467412 kB
SwapCached:        584 kB
Active:          61628 kB
Inactive:       428184 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        524464 kB
SwapTotal:     2097136 kB
SwapFree:      2095724 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           5412 kB
Slab:            14436 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:57:17 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 10715 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
#### 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.76 0.91 0.96 1/54 16516
Raw data (stat): 16516 (runsolver) R 16515 3944 3943 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777830474 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10 s]
Raw data (loadavg): 0.79 0.91 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 1532 0 0 0 993 6 0 0 25 0 1 0 777830474 15208448 1510 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3713 1510 1111 63 0 3650 0
vsize: 14852
[startup+20.0001 s]
Raw data (loadavg): 0.82 0.92 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 1577 0 0 0 1992 6 0 0 25 0 1 0 777830474 15355904 1555 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3749 1555 1111 63 0 3686 0
vsize: 14996
[startup+30.0001 s]
Raw data (loadavg): 0.85 0.92 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 1628 0 0 0 2992 7 0 0 25 0 1 0 777830474 15654912 1606 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3822 1606 1111 63 0 3759 0
vsize: 15288
[startup+40.0003 s]
Raw data (loadavg): 0.87 0.92 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 1680 0 0 0 3992 7 0 0 25 0 1 0 777830474 15790080 1658 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3855 1658 1111 63 0 3792 0
vsize: 15420
[startup+50.0023 s]
Raw data (loadavg): 0.89 0.92 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 1731 0 0 0 4992 7 0 0 25 0 1 0 777830474 16080896 1709 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3926 1709 1111 63 0 3863 0
vsize: 15704
[startup+60.0024 s]
Raw data (loadavg): 0.91 0.92 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 1782 0 0 0 5992 7 0 0 25 0 1 0 777830474 16232448 1760 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3963 1760 1111 63 0 3900 0
vsize: 15852
[startup+70.0025 s]
Raw data (loadavg): 0.92 0.93 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 1833 0 0 0 6992 8 0 0 25 0 1 0 777830474 16527360 1811 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4035 1811 1111 63 0 3972 0
vsize: 16140
[startup+80.0036 s]
Raw data (loadavg): 0.93 0.93 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 1886 0 0 0 7992 8 0 0 25 0 1 0 777830474 16674816 1864 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4071 1864 1111 63 0 4008 0
vsize: 16284
[startup+90.0027 s]
Raw data (loadavg): 0.94 0.93 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 1943 0 0 0 8992 9 0 0 25 0 1 0 777830474 16953344 1921 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4139 1921 1111 63 0 4076 0
vsize: 16556
[startup+100.003 s]
Raw data (loadavg): 0.95 0.93 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 1990 0 0 0 9992 9 0 0 25 0 1 0 777830474 17092608 1968 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4173 1968 1111 63 0 4110 0
vsize: 16692
[startup+110.004 s]
Raw data (loadavg): 0.96 0.93 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2041 0 0 0 10991 10 0 0 25 0 1 0 777830474 17383424 2019 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 2019 1111 63 0 4181 0
vsize: 16976
[startup+120.003 s]
Raw data (loadavg): 0.96 0.94 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2092 0 0 0 11991 10 0 0 25 0 1 0 777830474 17530880 2070 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4280 2070 1111 63 0 4217 0
vsize: 17120
[startup+130.003 s]
Raw data (loadavg): 0.97 0.94 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2145 0 0 0 12991 10 0 0 25 0 1 0 777830474 17686528 2123 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4318 2123 1111 63 0 4255 0
vsize: 17272
[startup+140.003 s]
Raw data (loadavg): 0.97 0.94 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2196 0 0 0 13991 11 0 0 25 0 1 0 777830474 17985536 2174 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4391 2174 1111 63 0 4328 0
vsize: 17564
[startup+150.004 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2247 0 0 0 14991 11 0 0 25 0 1 0 777830474 18132992 2225 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4427 2225 1111 63 0 4364 0
vsize: 17708
[startup+160.005 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2298 0 0 0 15990 11 0 0 25 0 1 0 777830474 18432000 2276 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4500 2276 1111 63 0 4437 0
vsize: 18000
[startup+170.004 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2344 0 0 0 16990 12 0 0 25 0 1 0 777830474 18567168 2322 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4533 2322 1111 63 0 4470 0
vsize: 18132
[startup+180.005 s]
Raw data (loadavg): 0.98 0.94 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2401 0 0 0 17990 12 0 0 25 0 1 0 777830474 18857984 2379 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4604 2379 1111 63 0 4541 0
vsize: 18416
[startup+190.005 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2446 0 0 0 18990 12 0 0 25 0 1 0 777830474 19009536 2424 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4641 2424 1111 63 0 4578 0
vsize: 18564
[startup+200.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2508 0 0 0 19989 13 0 0 25 0 1 0 777830474 19300352 2486 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4712 2486 1111 63 0 4649 0
vsize: 18848
[startup+210.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2555 0 0 0 20989 13 0 0 25 0 1 0 777830474 19456000 2533 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 2533 1111 63 0 4687 0
vsize: 19000
[startup+220.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2612 0 0 0 21989 14 0 0 25 0 1 0 777830474 19603456 2590 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4786 2590 1111 63 0 4723 0
vsize: 19144
[startup+230.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2670 0 0 0 22988 14 0 0 25 0 1 0 777830474 19902464 2648 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4859 2648 1111 63 0 4796 0
vsize: 19436
[startup+240.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2721 0 0 0 23988 15 0 0 25 0 1 0 777830474 20054016 2699 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4896 2699 1111 63 0 4833 0
vsize: 19584
[startup+250.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2774 0 0 0 24988 15 0 0 25 0 1 0 777830474 20357120 2752 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4970 2752 1111 63 0 4907 0
vsize: 19880
[startup+260.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2817 0 0 0 25988 15 0 0 25 0 1 0 777830474 20504576 2795 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5006 2795 1111 63 0 4943 0
vsize: 20024
[startup+270.006 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2863 0 0 0 26988 15 0 0 25 0 1 0 777830474 20656128 2841 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5043 2841 1111 63 0 4980 0
vsize: 20172
[startup+280.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2920 0 0 0 27987 16 0 0 25 0 1 0 777830474 20955136 2898 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5116 2898 1111 63 0 5053 0
vsize: 20464
[startup+290.007 s]
Raw data (loadavg): 0.99 0.95 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 2964 0 0 0 28987 17 0 0 25 0 1 0 777830474 21102592 2942 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5152 2942 1111 63 0 5089 0
vsize: 20608
[startup+300.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3017 0 0 0 29986 17 0 0 25 0 1 0 777830474 21254144 2995 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5189 2995 1111 63 0 5126 0
vsize: 20756
[startup+310.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3068 0 0 0 30986 18 0 0 25 0 1 0 777830474 21557248 3046 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5263 3046 1111 63 0 5200 0
vsize: 21052
[startup+320.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3126 0 0 0 31985 18 0 0 25 0 1 0 777830474 21704704 3104 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5299 3104 1111 63 0 5236 0
vsize: 21196
[startup+330.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3177 0 0 0 32985 19 0 0 25 0 1 0 777830474 22003712 3155 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5372 3155 1111 63 0 5309 0
vsize: 21488
[startup+340.008 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3230 0 0 0 33985 19 0 0 25 0 1 0 777830474 22155264 3208 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5409 3208 1111 63 0 5346 0
vsize: 21636
[startup+350.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3288 0 0 0 34984 20 0 0 25 0 1 0 777830474 22458368 3266 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5483 3266 1111 63 0 5420 0
vsize: 21932
[startup+360.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3332 0 0 0 35985 20 0 0 25 0 1 0 777830474 22605824 3310 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5519 3310 1111 63 0 5456 0
vsize: 22076
[startup+370.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3390 0 0 0 36985 20 0 0 25 0 1 0 777830474 22904832 3368 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5592 3368 1111 63 0 5529 0
vsize: 22368
[startup+380.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3443 0 0 0 37984 20 0 0 25 0 1 0 777830474 23056384 3421 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5629 3421 1111 63 0 5566 0
vsize: 22516
[startup+390.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3501 0 0 0 38984 21 0 0 25 0 1 0 777830474 23326720 3479 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5695 3479 1111 63 0 5632 0
vsize: 22780
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3558 0 0 0 39984 21 0 0 25 0 1 0 777830474 23617536 3536 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5766 3536 1111 63 0 5703 0
vsize: 23064
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3603 0 0 0 40984 21 0 0 25 0 1 0 777830474 23769088 3581 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5803 3581 1111 63 0 5740 0
vsize: 23212
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3662 0 0 0 41984 21 0 0 25 0 1 0 777830474 23916544 3640 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5839 3640 1111 63 0 5776 0
vsize: 23356
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3714 0 0 0 42984 22 0 0 25 0 1 0 777830474 24219648 3692 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5913 3692 1111 63 0 5850 0
vsize: 23652
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3758 0 0 0 43984 22 0 0 25 0 1 0 777830474 24371200 3736 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5950 3736 1111 63 0 5887 0
vsize: 23800
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3809 0 0 0 44984 22 0 0 25 0 1 0 777830474 24518656 3787 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5986 3787 1111 63 0 5923 0
vsize: 23944
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3867 0 0 0 45984 23 0 0 25 0 1 0 777830474 24817664 3845 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6059 3845 1111 63 0 5996 0
vsize: 24236
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3913 0 0 0 46984 23 0 0 25 0 1 0 777830474 24973312 3891 4294967295 134512640 134714540 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6097 3891 1111 63 0 6034 0
vsize: 24388
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 3972 0 0 0 47984 23 0 0 25 0 1 0 777830474 25272320 3950 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6170 3950 1111 63 0 6107 0
vsize: 24680
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4016 0 0 0 48983 23 0 0 25 0 1 0 777830474 25419776 3994 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6206 3994 1111 63 0 6143 0
vsize: 24824
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4067 0 0 0 49983 24 0 0 25 0 1 0 777830474 25571328 4045 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6243 4045 1111 63 0 6180 0
vsize: 24972
[startup+510.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4120 0 0 0 50983 24 0 0 25 0 1 0 777830474 25853952 4098 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6312 4098 1111 63 0 6249 0
vsize: 25248
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4178 0 0 0 51983 25 0 0 25 0 1 0 777830474 26144768 4156 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6383 4156 1111 63 0 6320 0
vsize: 25532
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4230 0 0 0 52983 25 0 0 25 0 1 0 777830474 26296320 4208 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6420 4208 1111 63 0 6357 0
vsize: 25680
[startup+540.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4281 0 0 0 53983 25 0 0 25 0 1 0 777830474 26443776 4259 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6456 4259 1111 63 0 6393 0
vsize: 25824
[startup+550.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4340 0 0 0 54982 26 0 0 25 0 1 0 777830474 26738688 4318 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6528 4318 1111 63 0 6465 0
vsize: 26112
[startup+560.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4385 0 0 0 55982 26 0 0 25 0 1 0 777830474 26873856 4363 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6561 4363 1111 63 0 6498 0
vsize: 26244
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4444 0 0 0 56982 26 0 0 25 0 1 0 777830474 27164672 4422 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6632 4422 1111 63 0 6569 0
vsize: 26528
[startup+580.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4488 0 0 0 57982 27 0 0 25 0 1 0 777830474 27316224 4466 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6669 4466 1111 63 0 6606 0
vsize: 26676
[startup+590.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4547 0 0 0 58982 27 0 0 25 0 1 0 777830474 27615232 4525 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6742 4525 1111 63 0 6679 0
vsize: 26968
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4591 0 0 0 59981 28 0 0 25 0 1 0 777830474 27766784 4569 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6779 4569 1111 63 0 6716 0
vsize: 27116
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4649 0 0 0 60982 28 0 0 25 0 1 0 777830474 28065792 4627 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6852 4627 1111 63 0 6789 0
vsize: 27408
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4707 0 0 0 61981 29 0 0 25 0 1 0 777830474 28217344 4685 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6889 4685 1111 63 0 6826 0
vsize: 27556
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4759 0 0 0 62981 29 0 0 25 0 1 0 777830474 28516352 4737 4294967295 134512640 134714540 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6962 4737 1111 63 0 6899 0
vsize: 27848
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4811 0 0 0 63980 30 0 0 25 0 1 0 777830474 28672000 4789 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7000 4789 1111 63 0 6937 0
vsize: 28000
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4863 0 0 0 64981 30 0 0 25 0 1 0 777830474 28819456 4841 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7036 4841 1111 63 0 6973 0
vsize: 28144
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4914 0 0 0 65980 30 0 0 25 0 1 0 777830474 29118464 4892 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7109 4892 1111 63 0 7046 0
vsize: 28436
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 4965 0 0 0 66980 31 0 0 25 0 1 0 777830474 29265920 4943 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7145 4943 1111 63 0 7082 0
vsize: 28580
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5018 0 0 0 67980 31 0 0 25 0 1 0 777830474 29573120 4996 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7220 4996 1111 63 0 7157 0
vsize: 28880
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5075 0 0 0 68980 31 0 0 25 0 1 0 777830474 29724672 5053 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7257 5053 1111 63 0 7194 0
vsize: 29028
[startup+700.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5120 0 0 0 69980 31 0 0 25 0 1 0 777830474 29872128 5098 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7293 5098 1111 63 0 7230 0
vsize: 29172
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5178 0 0 0 70980 32 0 0 25 0 1 0 777830474 30167040 5156 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7365 5156 1111 63 0 7302 0
vsize: 29460
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5231 0 0 0 71979 32 0 0 25 0 1 0 777830474 30318592 5209 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7402 5209 1111 63 0 7339 0
vsize: 29608
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5281 0 0 0 72979 32 0 0 25 0 1 0 777830474 30625792 5259 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7477 5259 1111 63 0 7414 0
vsize: 29908
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5333 0 0 0 73979 33 0 0 25 0 1 0 777830474 30773248 5311 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7513 5311 1111 63 0 7450 0
vsize: 30052
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5384 0 0 0 74979 33 0 0 25 0 1 0 777830474 31072256 5362 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7586 5362 1111 63 0 7523 0
vsize: 30344
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5454 0 0 0 75979 34 0 0 25 0 1 0 777830474 31412224 5432 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7669 5432 1111 63 0 7606 0
vsize: 30676
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5506 0 0 0 76978 34 0 0 25 0 1 0 777830474 31563776 5484 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7706 5484 1111 63 0 7643 0
vsize: 30824
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5557 0 0 0 77978 35 0 0 25 0 1 0 777830474 31711232 5535 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7742 5535 1111 63 0 7679 0
vsize: 30968
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5615 0 0 0 78977 35 0 0 25 0 1 0 777830474 32010240 5593 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7815 5593 1111 63 0 7752 0
vsize: 31260
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5668 0 0 0 79977 36 0 0 25 0 1 0 777830474 32161792 5646 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7852 5646 1111 63 0 7789 0
vsize: 31408
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5719 0 0 0 80977 36 0 0 25 0 1 0 777830474 32464896 5697 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7926 5697 1111 63 0 7863 0
vsize: 31704
[startup+820.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5777 0 0 0 81977 36 0 0 25 0 1 0 777830474 32612352 5755 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7962 5755 1111 63 0 7899 0
vsize: 31848
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5828 0 0 0 82977 36 0 0 25 0 1 0 777830474 32911360 5806 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8035 5806 1111 63 0 7972 0
vsize: 32140
[startup+840.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5887 0 0 0 83977 37 0 0 25 0 1 0 777830474 33062912 5865 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8072 5865 1111 63 0 8009 0
vsize: 32288
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5939 0 0 0 84977 37 0 0 25 0 1 0 777830474 33366016 5917 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8146 5917 1111 63 0 8083 0
vsize: 32584
[startup+860.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 5992 0 0 0 85977 37 0 0 25 0 1 0 777830474 33513472 5970 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8182 5970 1111 63 0 8119 0
vsize: 32728
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6044 0 0 0 86977 37 0 0 25 0 1 0 777830474 33812480 6022 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8255 6022 1111 63 0 8192 0
vsize: 33020
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6102 0 0 0 87977 38 0 0 25 0 1 0 777830474 33964032 6080 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8292 6080 1111 63 0 8229 0
vsize: 33168
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6161 0 0 0 88977 38 0 0 25 0 1 0 777830474 34267136 6139 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8366 6139 1111 63 0 8303 0
vsize: 33464
[startup+900.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6218 0 0 0 89977 38 0 0 25 0 1 0 777830474 34414592 6196 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8402 6196 1111 63 0 8339 0
vsize: 33608
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6263 0 0 0 90976 39 0 0 25 0 1 0 777830474 34713600 6241 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8475 6241 1111 63 0 8412 0
vsize: 33900
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6321 0 0 0 91976 39 0 0 25 0 1 0 777830474 34865152 6299 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8512 6299 1111 63 0 8449 0
vsize: 34048
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6374 0 0 0 92976 40 0 0 25 0 1 0 777830474 35168256 6352 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8586 6352 1111 63 0 8523 0
vsize: 34344
[startup+940.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6426 0 0 0 93976 40 0 0 25 0 1 0 777830474 35315712 6404 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8622 6404 1111 63 0 8559 0
vsize: 34488
[startup+950.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6484 0 0 0 94975 41 0 0 25 0 1 0 777830474 35614720 6462 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8695 6462 1111 63 0 8632 0
vsize: 34780
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6543 0 0 0 95975 42 0 0 25 0 1 0 777830474 35766272 6521 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8732 6521 1111 63 0 8669 0
vsize: 34928
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6596 0 0 0 96975 42 0 0 25 0 1 0 777830474 36073472 6574 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8807 6574 1111 63 0 8744 0
vsize: 35228
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6647 0 0 0 97975 42 0 0 25 0 1 0 777830474 36220928 6625 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8843 6625 1111 63 0 8780 0
vsize: 35372
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6698 0 0 0 98975 42 0 0 25 0 1 0 777830474 36372480 6676 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8880 6676 1111 63 0 8817 0
vsize: 35520
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6750 0 0 0 99975 42 0 0 25 0 1 0 777830474 36667392 6728 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8952 6728 1111 63 0 8889 0
vsize: 35808
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6809 0 0 0 100975 43 0 0 25 0 1 0 777830474 36823040 6787 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8990 6787 1111 63 0 8927 0
vsize: 35960
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6860 0 0 0 101974 43 0 0 25 0 1 0 777830474 37122048 6838 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9063 6838 1111 63 0 9000 0
vsize: 36252
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6919 0 0 0 102974 43 0 0 25 0 1 0 777830474 37273600 6897 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9100 6897 1111 63 0 9037 0
vsize: 36400
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 6970 0 0 0 103974 43 0 0 25 0 1 0 777830474 37572608 6948 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9173 6948 1111 63 0 9110 0
vsize: 36692
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7024 0 0 0 104974 44 0 0 25 0 1 0 777830474 37724160 7002 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9210 7002 1111 63 0 9147 0
vsize: 36840
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7076 0 0 0 105975 44 0 0 25 0 1 0 777830474 38023168 7054 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9283 7054 1111 63 0 9220 0
vsize: 37132
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7133 0 0 0 106974 44 0 0 25 0 1 0 777830474 38174720 7111 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9320 7111 1111 63 0 9257 0
vsize: 37280
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7177 0 0 0 107974 44 0 0 25 0 1 0 777830474 38322176 7155 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9356 7155 1111 63 0 9293 0
vsize: 37424
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7222 0 0 0 108975 44 0 0 25 0 1 0 777830474 38625280 7200 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9430 7200 1111 63 0 9367 0
vsize: 37720
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7280 0 0 0 109975 44 0 0 25 0 1 0 777830474 38776832 7258 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9467 7258 1111 63 0 9404 0
vsize: 37868
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7325 0 0 0 110975 44 0 0 25 0 1 0 777830474 38924288 7303 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9503 7303 1111 63 0 9440 0
vsize: 38012
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7383 0 0 0 111975 45 0 0 25 0 1 0 777830474 39223296 7361 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9576 7361 1111 63 0 9513 0
vsize: 38304
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7443 0 0 0 112975 45 0 0 25 0 1 0 777830474 39526400 7421 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9650 7421 1111 63 0 9587 0
vsize: 38600
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7495 0 0 0 113975 45 0 0 25 0 1 0 777830474 39677952 7473 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9687 7473 1111 63 0 9624 0
vsize: 38748
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7547 0 0 0 114975 45 0 0 25 0 1 0 777830474 39825408 7525 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9723 7525 1111 63 0 9660 0
vsize: 38892
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7605 0 0 0 115975 45 0 0 25 0 1 0 777830474 40124416 7583 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9796 7583 1111 63 0 9733 0
vsize: 39184
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7664 0 0 0 116975 45 0 0 25 0 1 0 777830474 40431616 7642 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9871 7642 1111 63 0 9808 0
vsize: 39484
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7709 0 0 0 117975 45 0 0 25 0 1 0 777830474 40583168 7687 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9908 7687 1111 63 0 9845 0
vsize: 39632
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7753 0 0 0 118975 46 0 0 25 0 1 0 777830474 40730624 7731 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9944 7731 1111 63 0 9881 0
vsize: 39776
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 16516
Raw data (stat): 16516 (bsolo_mis) R 16515 3944 3943 0 -1 0 7810 0 0 0 119975 46 0 0 25 0 1 0 777830474 41025536 7788 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10016 7788 1111 63 0 9953 0
vsize: 40064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 16516
Raw data (stat): 16516 (bsolo_mis) Z 16515 3944 3943 0 -1 1036 7810 0 0 0 119976 47 0 0 25 0 1 0 777830474 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.06
CPU time (s): 1200.24
CPU user time (s): 1199.76
CPU system time (s): 0.475927
CPU usage (%): 100.015
Max. virtual memory (Kb): 40064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####