PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-fit2p.opb
MD5SUM	5f5cb3c37eae37e49339d7674a999c27
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	172663
Biggest coefficient in the objective function	10485760
Number of bits for the biggest coefficient in the objective function	24
Sum of the numbers in the objective function	42533442284
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	30985420800
Number of bits of the biggest number in a constraint	35
Biggest sum of numbers in a constraint	101083836075
Number of bits of the biggest sum of numbers	37
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.9357
Number of variables	210852
Total number of constraints	10500
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	10500
Minimum length of a constraint	10
Maximum length of a constraint	413
Trace number 26047

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 21:49:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15811 boxname=wulflinc31 idbench=1217 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5f5cb3c37eae37e49339d7674a999c27  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit2p.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-fit2p.opb
IDLAUNCH: 15811
/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:        726032 kB
Buffers:         10084 kB
Cached:         277020 kB
SwapCached:       1352 kB
Active:         220552 kB
Inactive:        69128 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        725780 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13232 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 22:09:26 (client local time) WITH STATUS 0 IN 1200.23 SECONDS
stats: 15811 7 1200.23 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.78 0.82 0.84 2/55 18723
Raw data (stat): 18723 (runsolver) R 18722 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 824944991 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.82 0.83 0.85 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 1303 0 0 0 990 6 0 0 25 0 1 0 824944991 15613952 1280 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3812 1280 1111 63 0 3749 0
vsize: 15248
[startup+20.002 s]
Raw data (loadavg): 0.84 0.83 0.85 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 1453 0 0 0 1990 7 0 0 25 0 1 0 824944991 16175104 1430 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3949 1430 1111 63 0 3886 0
vsize: 15796
[startup+30.0015 s]
Raw data (loadavg): 0.87 0.84 0.85 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 1601 0 0 0 2989 7 0 0 25 0 1 0 824944991 16863232 1578 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4117 1578 1111 63 0 4054 0
vsize: 16468
[startup+40.0025 s]
Raw data (loadavg): 0.89 0.84 0.85 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 1751 0 0 0 3990 7 0 0 25 0 1 0 824944991 17416192 1728 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4252 1728 1111 63 0 4189 0
vsize: 17008
[startup+50.0028 s]
Raw data (loadavg): 0.90 0.85 0.85 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 1899 0 0 0 4989 8 0 0 25 0 1 0 824944991 18112512 1876 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4422 1876 1111 63 0 4359 0
vsize: 17688
[startup+60.0033 s]
Raw data (loadavg): 0.92 0.85 0.85 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 2050 0 0 0 5989 8 0 0 25 0 1 0 824944991 18677760 2027 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4560 2027 1111 63 0 4497 0
vsize: 18240
[startup+70.0032 s]
Raw data (loadavg): 0.93 0.86 0.85 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 2194 0 0 0 6989 9 0 0 25 0 1 0 824944991 19234816 2171 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4696 2171 1111 63 0 4633 0
vsize: 18784
[startup+80.0035 s]
Raw data (loadavg): 0.94 0.86 0.85 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 2348 0 0 0 7989 9 0 0 25 0 1 0 824944991 19927040 2325 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4865 2325 1111 63 0 4802 0
vsize: 19460
[startup+90.0041 s]
Raw data (loadavg): 0.95 0.87 0.85 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 2498 0 0 0 8988 10 0 0 25 0 1 0 824944991 20484096 2475 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5001 2475 1111 63 0 4938 0
vsize: 20004
[startup+100.004 s]
Raw data (loadavg): 0.96 0.87 0.85 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 2641 0 0 0 9988 10 0 0 25 0 1 0 824944991 21037056 2618 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5136 2618 1111 63 0 5073 0
vsize: 20544
[startup+110.005 s]
Raw data (loadavg): 0.96 0.87 0.85 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 2801 0 0 0 10988 10 0 0 25 0 1 0 824944991 21729280 2778 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5305 2778 1111 63 0 5242 0
vsize: 21220
[startup+120.006 s]
Raw data (loadavg): 0.97 0.88 0.86 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 2950 0 0 0 11988 10 0 0 25 0 1 0 824944991 22417408 2927 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5473 2927 1111 63 0 5410 0
vsize: 21892
[startup+130.006 s]
Raw data (loadavg): 0.97 0.88 0.86 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 3100 0 0 0 12988 11 0 0 25 0 1 0 824944991 22978560 3077 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5610 3077 1111 63 0 5547 0
vsize: 22440
[startup+140.006 s]
Raw data (loadavg): 0.98 0.88 0.86 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 3248 0 0 0 13988 11 0 0 25 0 1 0 824944991 23531520 3225 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5745 3225 1111 63 0 5682 0
vsize: 22980
[startup+150.007 s]
Raw data (loadavg): 0.98 0.89 0.86 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 3399 0 0 0 14988 11 0 0 25 0 1 0 824944991 24227840 3376 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5915 3376 1111 63 0 5852 0
vsize: 23660
[startup+160.007 s]
Raw data (loadavg): 0.98 0.89 0.86 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 3547 0 0 0 15988 11 0 0 25 0 1 0 824944991 24780800 3524 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6050 3524 1111 63 0 5987 0
vsize: 24200
[startup+170.007 s]
Raw data (loadavg): 0.98 0.89 0.86 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 3697 0 0 0 16988 12 0 0 25 0 1 0 824944991 25468928 3674 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6218 3674 1111 63 0 6155 0
vsize: 24872
[startup+180.006 s]
Raw data (loadavg): 0.99 0.90 0.86 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 3846 0 0 0 17987 12 0 0 25 0 1 0 824944991 26030080 3823 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6355 3823 1111 63 0 6292 0
vsize: 25420
[startup+190.007 s]
Raw data (loadavg): 0.99 0.90 0.86 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 3994 0 0 0 18987 13 0 0 25 0 1 0 824944991 26578944 3971 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6489 3971 1111 63 0 6426 0
vsize: 25956
[startup+200.008 s]
Raw data (loadavg): 0.99 0.90 0.86 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 4144 0 0 0 19987 13 0 0 25 0 1 0 824944991 27279360 4121 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6660 4121 1111 63 0 6597 0
vsize: 26640
[startup+210.009 s]
Raw data (loadavg): 0.99 0.90 0.86 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 4303 0 0 0 20986 13 0 0 25 0 1 0 824944991 27979776 4280 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6831 4280 1111 63 0 6768 0
vsize: 27324
[startup+220.009 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 4455 0 0 0 21986 14 0 0 25 0 1 0 824944991 28549120 4432 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6970 4432 1111 63 0 6907 0
vsize: 27880
[startup+230.01 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 4598 0 0 0 22987 14 0 0 25 0 1 0 824944991 29097984 4575 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7104 4575 1111 63 0 7041 0
vsize: 28416
[startup+240.01 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 4754 0 0 0 23986 14 0 0 25 0 1 0 824944991 29794304 4731 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7274 4731 1111 63 0 7211 0
vsize: 29096
[startup+250.01 s]
Raw data (loadavg): 0.99 0.91 0.87 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 4903 0 0 0 24986 15 0 0 25 0 1 0 824944991 30351360 4880 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7410 4880 1111 63 0 7347 0
vsize: 29640
[startup+260.011 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 5053 0 0 0 25986 15 0 0 25 0 1 0 824944991 31047680 5030 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7580 5030 1111 63 0 7517 0
vsize: 30320
[startup+270.011 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 5209 0 0 0 26986 15 0 0 25 0 1 0 824944991 31596544 5186 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7714 5186 1111 63 0 7651 0
vsize: 30856
[startup+280.011 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 5359 0 0 0 27986 15 0 0 25 0 1 0 824944991 32292864 5336 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7884 5336 1111 63 0 7821 0
vsize: 31536
[startup+290.012 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 5507 0 0 0 28986 15 0 0 25 0 1 0 824944991 32845824 5484 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8019 5484 1111 63 0 7956 0
vsize: 32076
[startup+300.012 s]
Raw data (loadavg): 0.99 0.92 0.87 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 5658 0 0 0 29986 15 0 0 25 0 1 0 824944991 33398784 5635 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8154 5635 1111 63 0 8091 0
vsize: 32616
[startup+310.013 s]
Raw data (loadavg): 0.99 0.93 0.87 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 5813 0 0 0 30986 15 0 0 25 0 1 0 824944991 34095104 5790 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8324 5790 1111 63 0 8261 0
vsize: 33296
[startup+320.013 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 5963 0 0 0 31986 16 0 0 25 0 1 0 824944991 34648064 5940 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8459 5940 1111 63 0 8396 0
vsize: 33836
[startup+330.013 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 6113 0 0 0 32986 16 0 0 25 0 1 0 824944991 35344384 6090 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8629 6090 1111 63 0 8566 0
vsize: 34516
[startup+340.013 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 6267 0 0 0 33986 16 0 0 25 0 1 0 824944991 35897344 6244 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8764 6244 1111 63 0 8701 0
vsize: 35056
[startup+350.013 s]
Raw data (loadavg): 0.99 0.93 0.88 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 6417 0 0 0 34986 17 0 0 25 0 1 0 824944991 36593664 6394 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8934 6394 1111 63 0 8871 0
vsize: 35736
[startup+360.014 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 6573 0 0 0 35986 17 0 0 25 0 1 0 824944991 37146624 6550 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9069 6550 1111 63 0 9006 0
vsize: 36276
[startup+370.014 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 6717 0 0 0 36986 17 0 0 25 0 1 0 824944991 37842944 6694 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9239 6694 1111 63 0 9176 0
vsize: 36956
[startup+380.014 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 6872 0 0 0 37986 17 0 0 25 0 1 0 824944991 38395904 6849 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9374 6849 1111 63 0 9311 0
vsize: 37496
[startup+390.015 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 7028 0 0 0 38985 18 0 0 25 0 1 0 824944991 39092224 7005 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9544 7005 1111 63 0 9481 0
vsize: 38176
[startup+400.015 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 7177 0 0 0 39985 18 0 0 25 0 1 0 824944991 39645184 7154 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9679 7154 1111 63 0 9616 0
vsize: 38716
[startup+410.015 s]
Raw data (loadavg): 0.99 0.94 0.88 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 7327 0 0 0 40985 19 0 0 25 0 1 0 824944991 40341504 7304 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9849 7304 1111 63 0 9786 0
vsize: 39396
[startup+420.015 s]
Raw data (loadavg): 0.99 0.94 0.89 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 7493 0 0 0 41985 19 0 0 25 0 1 0 824944991 41041920 7470 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10020 7470 1111 63 0 9957 0
vsize: 40080
[startup+430.015 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 7649 0 0 0 42985 19 0 0 25 0 1 0 824944991 41603072 7626 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10157 7626 1111 63 0 10094 0
vsize: 40628
[startup+440.015 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 7798 0 0 0 43985 19 0 0 25 0 1 0 824944991 42295296 7775 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10326 7775 1111 63 0 10263 0
vsize: 41304
[startup+450.015 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 7949 0 0 0 44984 20 0 0 25 0 1 0 824944991 42844160 7926 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10460 7926 1111 63 0 10397 0
vsize: 41840
[startup+460.015 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 8104 0 0 0 45984 21 0 0 25 0 1 0 824944991 43540480 8081 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10630 8081 1111 63 0 10567 0
vsize: 42520
[startup+470.016 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 8260 0 0 0 46984 21 0 0 25 0 1 0 824944991 44093440 8237 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10765 8237 1111 63 0 10702 0
vsize: 43060
[startup+480.016 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 8416 0 0 0 47984 21 0 0 25 0 1 0 824944991 44793856 8393 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10936 8393 1111 63 0 10873 0
vsize: 43744
[startup+490.016 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 8565 0 0 0 48983 22 0 0 25 0 1 0 824944991 45342720 8542 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11070 8542 1111 63 0 11007 0
vsize: 44280
[startup+500.017 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 8722 0 0 0 49983 22 0 0 25 0 1 0 824944991 46039040 8699 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11240 8699 1111 63 0 11177 0
vsize: 44960
[startup+510.018 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 8871 0 0 0 50983 22 0 0 25 0 1 0 824944991 46596096 8848 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11376 8848 1111 63 0 11313 0
vsize: 45504
[startup+520.018 s]
Raw data (loadavg): 0.99 0.95 0.89 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 9028 0 0 0 51983 23 0 0 25 0 1 0 824944991 47292416 9005 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11546 9005 1111 63 0 11483 0
vsize: 46184
[startup+530.018 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 9177 0 0 0 52983 23 0 0 25 0 1 0 824944991 47845376 9154 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11681 9154 1111 63 0 11618 0
vsize: 46724
[startup+540.019 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 9334 0 0 0 53983 23 0 0 25 0 1 0 824944991 48541696 9311 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11851 9311 1111 63 0 11788 0
vsize: 47404
[startup+550.019 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 9483 0 0 0 54983 24 0 0 25 0 1 0 824944991 49094656 9460 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11986 9460 1111 63 0 11923 0
vsize: 47944
[startup+560.02 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 9640 0 0 0 55982 24 0 0 25 0 1 0 824944991 49790976 9617 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12156 9617 1111 63 0 12093 0
vsize: 48624
[startup+570.021 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 9796 0 0 0 56983 24 0 0 25 0 1 0 824944991 50483200 9773 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12325 9773 1111 63 0 12262 0
vsize: 49300
[startup+580.021 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 9946 0 0 0 57983 24 0 0 25 0 1 0 824944991 51040256 9923 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12461 9923 1111 63 0 12398 0
vsize: 49844
[startup+590.021 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 10101 0 0 0 58982 25 0 0 25 0 1 0 824944991 51732480 10078 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12630 10078 1111 63 0 12567 0
vsize: 50520
[startup+600.022 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 10258 0 0 0 59982 25 0 0 25 0 1 0 824944991 52289536 10235 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12766 10235 1111 63 0 12703 0
vsize: 51064
[startup+610.022 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 10407 0 0 0 60982 26 0 0 25 0 1 0 824944991 52981760 10384 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12935 10384 1111 63 0 12872 0
vsize: 51740
[startup+620.023 s]
Raw data (loadavg): 0.99 0.96 0.90 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 10565 0 0 0 61982 26 0 0 25 0 1 0 824944991 53530624 10542 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13069 10542 1111 63 0 13006 0
vsize: 52276
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 18723
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 10720 0 0 0 62982 26 0 0 25 0 1 0 824944991 54231040 10697 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13240 10697 1111 63 0 13177 0
vsize: 52960
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 3/56 18724
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 10876 0 0 0 63982 26 0 0 25 0 1 0 824944991 54784000 10853 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13375 10853 1111 63 0 13312 0
vsize: 53500
[startup+650.024 s]
Raw data (loadavg): 1.14 1.00 0.92 2/55 18776
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 11032 0 0 0 64980 27 0 0 25 0 1 0 824944991 55480320 11009 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13545 11009 1111 63 0 13482 0
vsize: 54180
[startup+660.024 s]
Raw data (loadavg): 1.12 1.00 0.92 2/55 18776
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 11181 0 0 0 65981 27 0 0 25 0 1 0 824944991 56029184 11158 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13679 11158 1111 63 0 13616 0
vsize: 54716
[startup+670.025 s]
Raw data (loadavg): 1.10 1.00 0.92 2/55 18776
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 11338 0 0 0 66980 27 0 0 25 0 1 0 824944991 56729600 11315 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13850 11315 1111 63 0 13787 0
vsize: 55400
[startup+680.025 s]
Raw data (loadavg): 1.08 1.00 0.92 2/55 18776
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 11493 0 0 0 67980 28 0 0 25 0 1 0 824944991 57417728 11470 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14018 11470 1111 63 0 13955 0
vsize: 56072
[startup+690.027 s]
Raw data (loadavg): 1.07 1.00 0.92 2/55 18776
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 11649 0 0 0 68980 28 0 0 25 0 1 0 824944991 57978880 11626 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14155 11626 1111 63 0 14092 0
vsize: 56620
[startup+700.027 s]
Raw data (loadavg): 1.06 1.00 0.92 2/55 18776
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 11804 0 0 0 69980 29 0 0 25 0 1 0 824944991 58667008 11781 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14323 11781 1111 63 0 14260 0
vsize: 57292
[startup+710.028 s]
Raw data (loadavg): 1.05 1.00 0.92 2/55 18776
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 11962 0 0 0 70980 29 0 0 25 0 1 0 824944991 59228160 11939 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14460 11939 1111 63 0 14397 0
vsize: 57840
[startup+720.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 12111 0 0 0 71979 29 0 0 25 0 1 0 824944991 59916288 12088 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14628 12088 1111 63 0 14565 0
vsize: 58512
[startup+730.028 s]
Raw data (loadavg): 1.04 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 12269 0 0 0 72979 30 0 0 25 0 1 0 824944991 60477440 12246 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14765 12246 1111 63 0 14702 0
vsize: 59060
[startup+740.029 s]
Raw data (loadavg): 1.03 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 12430 0 0 0 73979 30 0 0 25 0 1 0 824944991 61165568 12407 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14933 12407 1111 63 0 14870 0
vsize: 59732
[startup+750.029 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 12580 0 0 0 74979 30 0 0 25 0 1 0 824944991 61861888 12557 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15103 12557 1111 63 0 15040 0
vsize: 60412
[startup+760.029 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 12742 0 0 0 75979 31 0 0 25 0 1 0 824944991 62414848 12719 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15238 12719 1111 63 0 15175 0
vsize: 60952
[startup+770.03 s]
Raw data (loadavg): 1.02 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 12899 0 0 0 76979 31 0 0 25 0 1 0 824944991 63115264 12876 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15409 12876 1111 63 0 15346 0
vsize: 61636
[startup+780.029 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 13054 0 0 0 77979 31 0 0 25 0 1 0 824944991 63803392 13031 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15577 13031 1111 63 0 15514 0
vsize: 62308
[startup+790.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 13205 0 0 0 78979 32 0 0 25 0 1 0 824944991 64360448 13182 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15713 13182 1111 63 0 15650 0
vsize: 62852
[startup+800.03 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 13366 0 0 0 79978 32 0 0 25 0 1 0 824944991 65052672 13343 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15882 13343 1111 63 0 15819 0
vsize: 63528
[startup+810.032 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 13523 0 0 0 80978 32 0 0 25 0 1 0 824944991 65613824 13500 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16019 13500 1111 63 0 15956 0
vsize: 64076
[startup+820.032 s]
Raw data (loadavg): 1.01 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 13678 0 0 0 81978 33 0 0 25 0 1 0 824944991 66301952 13655 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16187 13655 1111 63 0 16124 0
vsize: 64748
[startup+830.032 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 13859 0 0 0 82978 33 0 0 25 0 1 0 824944991 67215360 13836 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16410 13836 1111 63 0 16347 0
vsize: 65640
[startup+840.033 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 14014 0 0 0 83978 33 0 0 25 0 1 0 824944991 67768320 13991 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16545 13991 1111 63 0 16482 0
vsize: 66180
[startup+850.034 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 14172 0 0 0 84978 34 0 0 25 0 1 0 824944991 68468736 14149 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16716 14149 1111 63 0 16653 0
vsize: 66864
[startup+860.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 14327 0 0 0 85978 34 0 0 25 0 1 0 824944991 69017600 14304 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16850 14304 1111 63 0 16787 0
vsize: 67400
[startup+870.035 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 14485 0 0 0 86978 34 0 0 25 0 1 0 824944991 69713920 14462 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17020 14462 1111 63 0 16957 0
vsize: 68080
[startup+880.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 14646 0 0 0 87977 35 0 0 25 0 1 0 824944991 70406144 14623 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17189 14623 1111 63 0 17126 0
vsize: 68756
[startup+890.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 14803 0 0 0 88977 35 0 0 25 0 1 0 824944991 70959104 14780 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17324 14780 1111 63 0 17261 0
vsize: 69296
[startup+900.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 14959 0 0 0 89977 35 0 0 25 0 1 0 824944991 71655424 14936 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17494 14936 1111 63 0 17431 0
vsize: 69976
[startup+910.036 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 15122 0 0 0 90977 36 0 0 25 0 1 0 824944991 72343552 15099 4294967295 134512640 134714540 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17662 15099 1111 63 0 17599 0
vsize: 70648
[startup+920.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 15278 0 0 0 91977 36 0 0 25 0 1 0 824944991 72904704 15255 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17799 15255 1111 63 0 17736 0
vsize: 71196
[startup+930.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 15433 0 0 0 92977 36 0 0 25 0 1 0 824944991 73592832 15410 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17967 15410 1111 63 0 17904 0
vsize: 71868
[startup+940.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 15590 0 0 0 93977 36 0 0 25 0 1 0 824944991 74293248 15567 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18138 15567 1111 63 0 18075 0
vsize: 72552
[startup+950.037 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 15747 0 0 0 94977 37 0 0 25 0 1 0 824944991 74842112 15724 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18272 15724 1111 63 0 18209 0
vsize: 73088
[startup+960.038 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 15910 0 0 0 95977 37 0 0 25 0 1 0 824944991 75538432 15887 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18442 15887 1111 63 0 18379 0
vsize: 73768
[startup+970.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18778
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 16072 0 0 0 96977 37 0 0 25 0 1 0 824944991 76230656 16049 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18611 16049 1111 63 0 18548 0
vsize: 74444
[startup+980.039 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 16229 0 0 0 97977 37 0 0 25 0 1 0 824944991 76791808 16206 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18748 16206 1111 63 0 18685 0
vsize: 74992
[startup+990.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 16384 0 0 0 98977 38 0 0 25 0 1 0 824944991 77479936 16361 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18916 16361 1111 63 0 18853 0
vsize: 75664
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 16548 0 0 0 99977 38 0 0 25 0 1 0 824944991 78176256 16525 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19086 16525 1111 63 0 19023 0
vsize: 76344
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 16710 0 0 0 100977 38 0 0 25 0 1 0 824944991 78864384 16687 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19254 16687 1111 63 0 19191 0
vsize: 77016
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 16868 0 0 0 101977 38 0 0 25 0 1 0 824944991 79425536 16845 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19391 16845 1111 63 0 19328 0
vsize: 77564
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 17029 0 0 0 102976 39 0 0 25 0 1 0 824944991 80117760 17006 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19560 17006 1111 63 0 19497 0
vsize: 78240
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 17186 0 0 0 103976 39 0 0 25 0 1 0 824944991 80814080 17163 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19730 17163 1111 63 0 19667 0
vsize: 78920
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 17343 0 0 0 104976 39 0 0 25 0 1 0 824944991 81362944 17320 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19864 17320 1111 63 0 19801 0
vsize: 79456
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 17506 0 0 0 105976 40 0 0 25 0 1 0 824944991 82063360 17483 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20035 17483 1111 63 0 19972 0
vsize: 80140
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 17662 0 0 0 106976 40 0 0 25 0 1 0 824944991 82751488 17639 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20203 17639 1111 63 0 20140 0
vsize: 80812
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 17825 0 0 0 107976 40 0 0 25 0 1 0 824944991 83312640 17802 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20340 17802 1111 63 0 20277 0
vsize: 81360
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 17987 0 0 0 108976 41 0 0 25 0 1 0 824944991 84000768 17964 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20508 17964 1111 63 0 20445 0
vsize: 82032
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 18151 0 0 0 109975 41 0 0 25 0 1 0 824944991 84697088 18128 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20678 18128 1111 63 0 20615 0
vsize: 82712
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 18306 0 0 0 110975 42 0 0 25 0 1 0 824944991 85389312 18283 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20847 18283 1111 63 0 20784 0
vsize: 83388
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 18471 0 0 0 111975 42 0 0 25 0 1 0 824944991 85946368 18448 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20983 18448 1111 63 0 20920 0
vsize: 83932
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 18632 0 0 0 112975 42 0 0 25 0 1 0 824944991 86638592 18609 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21152 18609 1111 63 0 21089 0
vsize: 84608
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 18789 0 0 0 113975 42 0 0 25 0 1 0 824944991 87334912 18766 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21322 18766 1111 63 0 21259 0
vsize: 85288
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 18952 0 0 0 114975 43 0 0 25 0 1 0 824944991 88023040 18929 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21490 18929 1111 63 0 21427 0
vsize: 85960
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 19115 0 0 0 115975 43 0 0 25 0 1 0 824944991 88584192 19092 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21627 19092 1111 63 0 21564 0
vsize: 86508
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 19278 0 0 0 116975 43 0 0 25 0 1 0 824944991 89276416 19255 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21796 19255 1111 63 0 21733 0
vsize: 87184
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 19441 0 0 0 117974 44 0 0 25 0 1 0 824944991 89972736 19418 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21966 19418 1111 63 0 21903 0
vsize: 87864
[startup+1190.05 s]
Raw data (loadavg): 1.08 1.02 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 19603 0 0 0 118974 44 0 0 25 0 1 0 824944991 90660864 19580 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22134 19580 1111 63 0 22071 0
vsize: 88536
[startup+1200.05 s]
Raw data (loadavg): 1.07 1.02 0.92 2/55 18780
Raw data (stat): 18723 (bsolo_mis) R 18722 7876 7672 0 -1 0 19767 0 0 0 119974 44 0 0 25 0 1 0 824944991 91357184 19744 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22304 19744 1111 63 0 22241 0
vsize: 89216
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.07 1.02 0.92 1/55 18780
Raw data (stat): 18723 (bsolo_mis) Z 18722 7876 7672 0 -1 1036 19767 0 0 0 119974 48 0 0 25 0 1 0 824944991 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 1 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.09
CPU time (s): 1200.23
CPU user time (s): 1199.75
CPU system time (s): 0.484926
CPU usage (%): 100.012
Max. virtual memory (Kb): 89216
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####