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-ship04l.opb
MD5SUM	2c68ccb202caa7ec35d2be2cf2e849d9
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	63540
Biggest coefficient in the objective function	1977295568896000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	435915316225983825
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	1977295568896000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	435915316225983825
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.556914
Number of variables	63540
Total number of constraints	352
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	352
Minimum length of a constraint	30
Maximum length of a constraint	2520
Trace number 28888

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-25 04:05:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=11404 boxname=wulflinc7 idbench=878 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  2c68ccb202caa7ec35d2be2cf2e849d9  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-ship04l.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-ship04l.opb
IDLAUNCH: 11404
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        822872 kB
Buffers:          7160 kB
Cached:         184336 kB
SwapCached:        740 kB
Active:          43592 kB
Inactive:       150064 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        822620 kB
SwapTotal:     2097136 kB
SwapFree:      2095584 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5124 kB
Slab:            12532 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 04:25:11 (client local time) WITH STATUS 0 IN 1200.44 SECONDS
stats: 11404 7 1200.44 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.86 0.93 0.90 2/54 5486
Raw data (stat): 5486 (runsolver) R 5485 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777647096 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.99998 s]
Raw data (loadavg): 0.88 0.94 0.90 2/54 5486
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 852 0 0 0 996 2 0 0 25 0 1 0 777647096 15507456 830 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3786 830 1111 63 0 3723 0
vsize: 15144
[startup+19.9999 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 5486
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 986 0 0 0 1996 3 0 0 25 0 1 0 777647096 16080896 964 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3926 964 1111 63 0 3863 0
vsize: 15704
[startup+30.0002 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 5486
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 1147 0 0 0 2996 3 0 0 25 0 1 0 777647096 16678912 1125 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 1125 1111 63 0 4009 0
vsize: 16288
[startup+39.9998 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 5486
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 1297 0 0 0 3996 3 0 0 25 0 1 0 777647096 17387520 1275 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4245 1275 1111 63 0 4182 0
vsize: 16980
[startup+49.9999 s]
Raw data (loadavg): 0.94 0.94 0.90 2/54 5486
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 1458 0 0 0 4995 4 0 0 25 0 1 0 777647096 17989632 1436 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4392 1436 1111 63 0 4329 0
vsize: 17568
[startup+60.0001 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 5486
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 1613 0 0 0 5996 4 0 0 25 0 1 0 777647096 18714624 1591 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4569 1591 1111 63 0 4506 0
vsize: 18276
[startup+69.9997 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 1772 0 0 0 6995 4 0 0 25 0 1 0 777647096 19304448 1750 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4713 1750 1111 63 0 4650 0
vsize: 18852
[startup+80.001 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 1935 0 0 0 7995 4 0 0 25 0 1 0 777647096 20029440 1913 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4890 1913 1111 63 0 4827 0
vsize: 19560
[startup+90.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 2096 0 0 0 8995 5 0 0 25 0 1 0 777647096 20631552 2074 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5037 2074 1111 63 0 4974 0
vsize: 20148
[startup+100.001 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 2252 0 0 0 9995 5 0 0 25 0 1 0 777647096 21229568 2230 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5183 2230 1111 63 0 5120 0
vsize: 20732
[startup+110.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 2412 0 0 0 10995 5 0 0 25 0 1 0 777647096 21954560 2390 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5360 2390 1111 63 0 5297 0
vsize: 21440
[startup+120.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 2574 0 0 0 11995 6 0 0 25 0 1 0 777647096 22556672 2552 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5507 2552 1111 63 0 5444 0
vsize: 22028
[startup+130.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 2736 0 0 0 12995 6 0 0 25 0 1 0 777647096 23306240 2714 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5690 2714 1111 63 0 5627 0
vsize: 22760
[startup+140.002 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 2897 0 0 0 13994 6 0 0 25 0 1 0 777647096 23900160 2875 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5835 2875 1111 63 0 5772 0
vsize: 23340
[startup+150.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 3059 0 0 0 14994 7 0 0 25 0 1 0 777647096 24649728 3037 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6018 3037 1111 63 0 5955 0
vsize: 24072
[startup+160.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 3229 0 0 0 15994 7 0 0 25 0 1 0 777647096 25255936 3207 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6166 3207 1111 63 0 6103 0
vsize: 24664
[startup+170.001 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 3392 0 0 0 16994 7 0 0 25 0 1 0 777647096 26009600 3370 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6350 3370 1111 63 0 6287 0
vsize: 25400
[startup+180.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 3559 0 0 0 17994 8 0 0 25 0 1 0 777647096 26607616 3537 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6496 3537 1111 63 0 6433 0
vsize: 25984
[startup+190.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 3723 0 0 0 18994 8 0 0 25 0 1 0 777647096 27332608 3701 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6673 3701 1111 63 0 6610 0
vsize: 26692
[startup+200.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 3886 0 0 0 19993 9 0 0 25 0 1 0 777647096 27934720 3864 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6820 3864 1111 63 0 6757 0
vsize: 27280
[startup+210.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 4055 0 0 0 20993 9 0 0 25 0 1 0 777647096 28688384 4033 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7004 4033 1111 63 0 6941 0
vsize: 28016
[startup+220.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 4223 0 0 0 21993 9 0 0 25 0 1 0 777647096 29286400 4201 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7150 4201 1111 63 0 7087 0
vsize: 28600
[startup+230.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 4387 0 0 0 22993 10 0 0 25 0 1 0 777647096 30040064 4365 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7334 4365 1111 63 0 7271 0
vsize: 29336
[startup+240.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 4562 0 0 0 23992 10 0 0 25 0 1 0 777647096 30793728 4540 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7518 4540 1111 63 0 7455 0
vsize: 30072
[startup+250.001 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 4737 0 0 0 24992 10 0 0 25 0 1 0 777647096 31432704 4715 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7674 4715 1111 63 0 7611 0
vsize: 30696
[startup+260.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 4911 0 0 0 25992 11 0 0 25 0 1 0 777647096 32182272 4889 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7857 4889 1111 63 0 7794 0
vsize: 31428
[startup+270.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 5081 0 0 0 26992 11 0 0 25 0 1 0 777647096 32935936 5059 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8041 5059 1111 63 0 7978 0
vsize: 32164
[startup+280.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 5253 0 0 0 27992 12 0 0 25 0 1 0 777647096 33538048 5231 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8188 5231 1111 63 0 8125 0
vsize: 32752
[startup+290.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 5429 0 0 0 28992 12 0 0 25 0 1 0 777647096 34291712 5407 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8372 5407 1111 63 0 8309 0
vsize: 33488
[startup+300.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 5606 0 0 0 29992 12 0 0 25 0 1 0 777647096 35045376 5584 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8556 5584 1111 63 0 8493 0
vsize: 34224
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 5783 0 0 0 30991 12 0 0 25 0 1 0 777647096 35794944 5761 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8739 5761 1111 63 0 8676 0
vsize: 34956
[startup+320.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 5959 0 0 0 31991 13 0 0 25 0 1 0 777647096 36544512 5937 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8922 5937 1111 63 0 8859 0
vsize: 35688
[startup+330.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 6136 0 0 0 32992 13 0 0 25 0 1 0 777647096 37150720 6114 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9070 6114 1111 63 0 9007 0
vsize: 36280
[startup+340.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 6315 0 0 0 33991 13 0 0 25 0 1 0 777647096 37904384 6293 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9254 6293 1111 63 0 9191 0
vsize: 37016
[startup+350.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 6492 0 0 0 34991 14 0 0 25 0 1 0 777647096 38658048 6470 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6470 1111 63 0 9375 0
vsize: 37752
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 6675 0 0 0 35991 14 0 0 25 0 1 0 777647096 39407616 6653 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9621 6653 1111 63 0 9558 0
vsize: 38484
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 6853 0 0 0 36991 14 0 0 25 0 1 0 777647096 40157184 6831 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9804 6831 1111 63 0 9741 0
vsize: 39216
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 7036 0 0 0 37991 15 0 0 25 0 1 0 777647096 40914944 7014 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9989 7014 1111 63 0 9926 0
vsize: 39956
[startup+390.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 7215 0 0 0 38990 15 0 0 25 0 1 0 777647096 41664512 7193 4294967295 134512640 134714540 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10172 7193 1111 63 0 10109 0
vsize: 40688
[startup+400.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 7392 0 0 0 39990 15 0 0 25 0 1 0 777647096 42262528 7370 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10318 7370 1111 63 0 10255 0
vsize: 41272
[startup+410.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 7568 0 0 0 40990 16 0 0 25 0 1 0 777647096 42987520 7546 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 7546 1111 63 0 10432 0
vsize: 41980
[startup+420.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 7759 0 0 0 41990 16 0 0 25 0 1 0 777647096 43888640 7737 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10715 7737 1111 63 0 10652 0
vsize: 42860
[startup+430.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 7937 0 0 0 42990 16 0 0 25 0 1 0 777647096 44494848 7915 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10863 7915 1111 63 0 10800 0
vsize: 43452
[startup+440.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 8121 0 0 0 43990 16 0 0 25 0 1 0 777647096 45248512 8099 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11047 8099 1111 63 0 10984 0
vsize: 44188
[startup+450.003 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 8305 0 0 0 44989 17 0 0 25 0 1 0 777647096 46002176 8283 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11231 8283 1111 63 0 11168 0
vsize: 44924
[startup+460.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 8496 0 0 0 45989 18 0 0 25 0 1 0 777647096 46903296 8474 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11451 8474 1111 63 0 11388 0
vsize: 45804
[startup+470.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 8705 0 0 0 46989 18 0 0 25 0 1 0 777647096 47755264 8683 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11659 8683 1111 63 0 11596 0
vsize: 46636
[startup+480.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 8897 0 0 0 47988 19 0 0 25 0 1 0 777647096 48656384 8875 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11879 8875 1111 63 0 11816 0
vsize: 47516
[startup+490.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 9089 0 0 0 48988 19 0 0 25 0 1 0 777647096 49381376 9067 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12056 9067 1111 63 0 11993 0
vsize: 48224
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 9282 0 0 0 49989 19 0 0 25 0 1 0 777647096 50135040 9260 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12240 9260 1111 63 0 12177 0
vsize: 48960
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 9474 0 0 0 50989 20 0 0 25 0 1 0 777647096 51007488 9452 4294967295 134512640 134714540 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12453 9452 1111 63 0 12390 0
vsize: 49812
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 9680 0 0 0 51988 20 0 0 25 0 1 0 777647096 51761152 9658 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12637 9658 1111 63 0 12574 0
vsize: 50548
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 9872 0 0 0 52988 21 0 0 25 0 1 0 777647096 52514816 9850 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12821 9850 1111 63 0 12758 0
vsize: 51284
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 10077 0 0 0 53987 21 0 0 25 0 1 0 777647096 53415936 10055 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13041 10055 1111 63 0 12978 0
vsize: 52164
[startup+550.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 10272 0 0 0 54987 22 0 0 25 0 1 0 777647096 54165504 10250 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13224 10250 1111 63 0 13161 0
vsize: 52896
[startup+560.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 10475 0 0 0 55986 23 0 0 25 0 1 0 777647096 55070720 10453 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13445 10453 1111 63 0 13382 0
vsize: 53780
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 10676 0 0 0 56986 23 0 0 25 0 1 0 777647096 55820288 10654 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13628 10654 1111 63 0 13565 0
vsize: 54512
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 10882 0 0 0 57986 23 0 0 25 0 1 0 777647096 56725504 10860 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13849 10860 1111 63 0 13786 0
vsize: 55396
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 11081 0 0 0 58986 24 0 0 25 0 1 0 777647096 57479168 11059 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14033 11059 1111 63 0 13970 0
vsize: 56132
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 11289 0 0 0 59986 24 0 0 25 0 1 0 777647096 58384384 11267 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14254 11267 1111 63 0 14191 0
vsize: 57016
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 11495 0 0 0 60987 25 0 0 25 0 1 0 777647096 59133952 11473 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14437 11473 1111 63 0 14374 0
vsize: 57748
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 11709 0 0 0 61987 25 0 0 25 0 1 0 777647096 60039168 11687 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14658 11687 1111 63 0 14595 0
vsize: 58632
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 11922 0 0 0 62987 25 0 0 25 0 1 0 777647096 60940288 11900 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14878 11900 1111 63 0 14815 0
vsize: 59512
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 12131 0 0 0 63987 25 0 0 25 0 1 0 777647096 61845504 12109 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15099 12109 1111 63 0 15036 0
vsize: 60396
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 12350 0 0 0 64986 26 0 0 25 0 1 0 777647096 62746624 12328 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15319 12328 1111 63 0 15256 0
vsize: 61276
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 12565 0 0 0 65986 26 0 0 25 0 1 0 777647096 63500288 12543 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15503 12543 1111 63 0 15440 0
vsize: 62012
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 12780 0 0 0 66985 27 0 0 25 0 1 0 777647096 64405504 12758 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15724 12758 1111 63 0 15661 0
vsize: 62896
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 13000 0 0 0 67985 28 0 0 25 0 1 0 777647096 65306624 12978 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15944 12978 1111 63 0 15881 0
vsize: 63776
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 13222 0 0 0 68985 28 0 0 25 0 1 0 777647096 66211840 13200 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16165 13200 1111 63 0 16102 0
vsize: 64660
[startup+700.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 13443 0 0 0 69985 29 0 0 25 0 1 0 777647096 67112960 13421 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16385 13421 1111 63 0 16322 0
vsize: 65540
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 13666 0 0 0 70985 29 0 0 25 0 1 0 777647096 68018176 13644 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16606 13644 1111 63 0 16543 0
vsize: 66424
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 13893 0 0 0 71984 29 0 0 25 0 1 0 777647096 68919296 13871 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16826 13871 1111 63 0 16763 0
vsize: 67304
[startup+730.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 14123 0 0 0 72984 30 0 0 25 0 1 0 777647096 69971968 14101 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17083 14101 1111 63 0 17020 0
vsize: 68332
[startup+740.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 14351 0 0 0 73983 31 0 0 25 0 1 0 777647096 70873088 14329 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17303 14329 1111 63 0 17240 0
vsize: 69212
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 14586 0 0 0 74983 31 0 0 25 0 1 0 777647096 71778304 14564 4294967295 134512640 134714540 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17524 14564 1111 63 0 17461 0
vsize: 70096
[startup+760.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 14816 0 0 0 75983 31 0 0 25 0 1 0 777647096 72679424 14794 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17744 14794 1111 63 0 17681 0
vsize: 70976
[startup+770.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 15052 0 0 0 76983 31 0 0 25 0 1 0 777647096 73703424 15030 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17994 15030 1111 63 0 17931 0
vsize: 71976
[startup+780.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 15288 0 0 0 77983 32 0 0 25 0 1 0 777647096 74604544 15266 4294967295 134512640 134714540 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18214 15266 1111 63 0 18151 0
vsize: 72856
[startup+790.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 15530 0 0 0 78982 33 0 0 25 0 1 0 777647096 75661312 15508 4294967295 134512640 134714540 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18472 15508 1111 63 0 18409 0
vsize: 73888
[startup+800.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 15773 0 0 0 79982 33 0 0 25 0 1 0 777647096 76709888 15751 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18728 15751 1111 63 0 18665 0
vsize: 74912
[startup+810.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 16022 0 0 0 80982 34 0 0 25 0 1 0 777647096 77615104 16000 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18949 16000 1111 63 0 18886 0
vsize: 75796
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 16274 0 0 0 81982 34 0 0 25 0 1 0 777647096 78667776 16252 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19206 16252 1111 63 0 19143 0
vsize: 76824
[startup+830.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 16565 0 0 0 82981 35 0 0 25 0 1 0 777647096 80089088 16543 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19553 16543 1111 63 0 19490 0
vsize: 78212
[startup+840.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 16829 0 0 0 83981 35 0 0 25 0 1 0 777647096 81256448 16807 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19838 16807 1111 63 0 19775 0
vsize: 79352
[startup+850.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 17102 0 0 0 84980 36 0 0 25 0 1 0 777647096 82309120 17080 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20095 17080 1111 63 0 20032 0
vsize: 80380
[startup+860.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 17374 0 0 0 85980 37 0 0 25 0 1 0 777647096 83513344 17352 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20389 17352 1111 63 0 20326 0
vsize: 81556
[startup+870.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 17649 0 0 0 86980 37 0 0 25 0 1 0 777647096 84570112 17627 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20647 17627 1111 63 0 20584 0
vsize: 82588
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 17929 0 0 0 87980 37 0 0 25 0 1 0 777647096 85770240 17907 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20940 17907 1111 63 0 20877 0
vsize: 83760
[startup+890.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 18209 0 0 0 88981 38 0 0 25 0 1 0 777647096 86822912 18187 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21197 18187 1111 63 0 21134 0
vsize: 84788
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 18489 0 0 0 89981 38 0 0 25 0 1 0 777647096 88027136 18467 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21491 18467 1111 63 0 21428 0
vsize: 85964
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 18778 0 0 0 90980 38 0 0 25 0 1 0 777647096 89210880 18756 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21780 18756 1111 63 0 21717 0
vsize: 87120
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 19066 0 0 0 91980 39 0 0 25 0 1 0 777647096 90406912 19044 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22072 19044 1111 63 0 22009 0
vsize: 88288
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 19359 0 0 0 92980 39 0 0 25 0 1 0 777647096 91607040 19337 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22365 19337 1111 63 0 22302 0
vsize: 89460
[startup+940.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 19657 0 0 0 93979 40 0 0 25 0 1 0 777647096 92815360 19635 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22660 19635 1111 63 0 22597 0
vsize: 90640
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 19964 0 0 0 94979 41 0 0 25 0 1 0 777647096 94015488 19942 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22953 19942 1111 63 0 22890 0
vsize: 91812
[startup+960.164 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 20267 0 0 0 95991 42 0 0 25 0 1 0 777647096 95219712 20245 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23247 20245 1111 63 0 23184 0
vsize: 92988
[startup+970.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 20578 0 0 0 96990 42 0 0 25 0 1 0 777647096 96579584 20556 4294967295 134512640 134714540 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23579 20556 1111 63 0 23516 0
vsize: 94316
[startup+980.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 20887 0 0 0 97990 43 0 0 25 0 1 0 777647096 97779712 20865 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23872 20865 1111 63 0 23809 0
vsize: 95488
[startup+990.163 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 21205 0 0 0 98989 43 0 0 25 0 1 0 777647096 99135488 21183 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24203 21183 1111 63 0 24140 0
vsize: 96812
[startup+1000.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 21522 0 0 0 99989 44 0 0 25 0 1 0 777647096 100339712 21500 4294967295 134512640 134714540 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24497 21500 1111 63 0 24434 0
vsize: 97988
[startup+1010.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 21852 0 0 0 100988 44 0 0 25 0 1 0 777647096 101691392 21830 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24827 21830 1111 63 0 24764 0
vsize: 99308
[startup+1020.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 22191 0 0 0 101988 45 0 0 25 0 1 0 777647096 103047168 22169 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25158 22169 1111 63 0 25095 0
vsize: 100632
[startup+1030.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 22532 0 0 0 102987 46 0 0 25 0 1 0 777647096 104554496 22510 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25526 22510 1111 63 0 25463 0
vsize: 102104
[startup+1040.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 22877 0 0 0 103986 47 0 0 25 0 1 0 777647096 105906176 22855 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25856 22855 1111 63 0 25793 0
vsize: 103424
[startup+1050.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 23233 0 0 0 104986 48 0 0 25 0 1 0 777647096 107413504 23211 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26224 23211 1111 63 0 26161 0
vsize: 104896
[startup+1060.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 23601 0 0 0 105985 49 0 0 25 0 1 0 777647096 108916736 23579 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26591 23579 1111 63 0 26528 0
vsize: 106364
[startup+1070.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 23979 0 0 0 106984 50 0 0 25 0 1 0 777647096 110424064 23957 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26959 23957 1111 63 0 26896 0
vsize: 107836
[startup+1080.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 24362 0 0 0 107983 51 0 0 25 0 1 0 777647096 111931392 24340 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27327 24340 1111 63 0 27264 0
vsize: 109308
[startup+1090.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 24759 0 0 0 108982 52 0 0 25 0 1 0 777647096 113586176 24737 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27731 24737 1111 63 0 27668 0
vsize: 110924
[startup+1100.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 25157 0 0 0 109982 53 0 0 25 0 1 0 777647096 115236864 25135 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28134 25135 1111 63 0 28071 0
vsize: 112536
[startup+1110.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 25557 0 0 0 110981 54 0 0 25 0 1 0 777647096 116891648 25535 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28538 25535 1111 63 0 28475 0
vsize: 114152
[startup+1120.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 25969 0 0 0 111980 55 0 0 25 0 1 0 777647096 118550528 25947 4294967295 134512640 134714540 3221224592 3221221412 1076880129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28943 25947 1111 63 0 28880 0
vsize: 115772
[startup+1130.16 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 26384 0 0 0 112980 55 0 0 25 0 1 0 777647096 120205312 26362 4294967295 134512640 134714540 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29347 26362 1111 63 0 29284 0
vsize: 117388
[startup+1140.16 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 26825 0 0 0 113979 56 0 0 25 0 1 0 777647096 121982976 26803 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29781 26803 1111 63 0 29718 0
vsize: 119124
[startup+1150.16 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 27269 0 0 0 114978 57 0 0 25 0 1 0 777647096 123789312 27247 4294967295 134512640 134714540 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30222 27247 1111 63 0 30159 0
vsize: 120888
[startup+1160.16 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 27748 0 0 0 115978 58 0 0 25 0 1 0 777647096 125743104 27726 4294967295 134512640 134714540 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30699 27726 1111 63 0 30636 0
vsize: 122796
[startup+1170.16 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 28241 0 0 0 116978 58 0 0 25 0 1 0 777647096 127848448 28219 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31213 28219 1111 63 0 31150 0
vsize: 124852
[startup+1180.16 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 28737 0 0 0 117977 59 0 0 25 0 1 0 777647096 129806336 28715 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31691 28715 1111 63 0 31628 0
vsize: 126764
[startup+1190.16 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 29246 0 0 0 118976 60 0 0 25 0 1 0 777647096 131915776 29224 4294967295 134512640 134714540 3221224592 3221223248 134527948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32206 29224 1111 63 0 32143 0
vsize: 128824
[startup+1200.17 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5488
Raw data (stat): 5486 (bsolo_mis) R 5485 24300 24299 0 -1 0 29769 0 0 0 119976 61 0 0 25 0 1 0 777647096 134021120 29747 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32720 29747 1111 63 0 32657 0
vsize: 130880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.58 s]
Raw data (loadavg): 1.03 0.99 0.91 1/54 5488
Raw data (stat): 5486 (bsolo_mis) Z 5485 24300 24299 0 -1 1036 29769 0 0 0 119976 67 0 0 21 0 1 0 777647096 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.58
CPU time (s): 1200.44
CPU user time (s): 1199.76
CPU system time (s): 0.673897
CPU usage (%): 99.9878
Max. virtual memory (Kb): 130880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####