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-sierra.opb
MD5SUM	0c242afd458949841d3ea7014466f311
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	31139
Biggest coefficient in the objective function	5007894118400
Number of bits for the biggest coefficient in the objective function	43
Sum of the numbers in the objective function	89107300928876
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	5007894118400
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	89107300928876
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.282956
Number of variables	32607
Total number of constraints	3263
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	3263
Minimum length of a constraint	7
Maximum length of a constraint	426
Trace number 25950

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-23 14:27:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16474 boxname=wulflinc31 idbench=1268 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  0c242afd458949841d3ea7014466f311  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sierra.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-sierra.opb
IDLAUNCH: 16474
/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:        852484 kB
Buffers:         21180 kB
Cached:         137472 kB
SwapCached:        944 kB
Active:         110116 kB
Inactive:        50660 kB
HighTotal:      131008 kB
HighFree:         1876 kB
LowTotal:       903652 kB
LowFree:        850608 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            15580 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-23 14:47:29 (client local time) WITH STATUS 0 IN 1200.35 SECONDS
stats: 16474 7 1200.35 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 32607 variables and 3791 constraints.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.72 0.90 0.90 2/55 9139
Raw data (stat): 9139 (runsolver) R 9138 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 822292978 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.76 0.90 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 1208 0 0 0 992 4 0 0 25 0 1 0 822292978 18034688 1185 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4403 1185 1111 63 0 4340 0
vsize: 17612
[startup+20.0003 s]
Raw data (loadavg): 0.80 0.90 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 1977 0 0 0 1990 7 0 0 25 0 1 0 822292978 21127168 1954 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5158 1954 1111 63 0 5095 0
vsize: 20632
[startup+30.002 s]
Raw data (loadavg): 0.83 0.91 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 2689 0 0 0 2988 9 0 0 25 0 1 0 822292978 24104960 2666 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5885 2666 1111 63 0 5822 0
vsize: 23540
[startup+40.0022 s]
Raw data (loadavg): 0.85 0.91 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 3647 0 0 0 3986 11 0 0 25 0 1 0 822292978 27963392 3624 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6827 3624 1111 63 0 6764 0
vsize: 27308
[startup+50.002 s]
Raw data (loadavg): 0.88 0.91 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 4538 0 0 0 4985 12 0 0 25 0 1 0 822292978 31584256 4515 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7744 4516 1111 63 0 7681 0
vsize: 30844
[startup+60.0023 s]
Raw data (loadavg): 0.89 0.91 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 5540 0 0 0 5983 15 0 0 25 0 1 0 822292978 35696640 5517 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8715 5517 1111 63 0 8652 0
vsize: 34860
[startup+70.0029 s]
Raw data (loadavg): 0.91 0.92 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 6506 0 0 0 6982 16 0 0 25 0 1 0 822292978 39706624 6483 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9694 6483 1111 63 0 9631 0
vsize: 38776
[startup+80.0038 s]
Raw data (loadavg): 0.92 0.92 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 7563 0 0 0 7979 19 0 0 25 0 1 0 822292978 44109824 7540 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10769 7540 1111 63 0 10706 0
vsize: 43076
[startup+90.0043 s]
Raw data (loadavg): 0.93 0.92 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 8428 0 0 0 8977 21 0 0 25 0 1 0 822292978 47611904 8405 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11624 8405 1111 63 0 11561 0
vsize: 46496
[startup+100.004 s]
Raw data (loadavg): 0.94 0.92 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 9557 0 0 0 9976 22 0 0 25 0 1 0 822292978 52289536 9534 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12766 9534 1111 63 0 12703 0
vsize: 51064
[startup+110.005 s]
Raw data (loadavg): 0.95 0.92 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 10758 0 0 0 10974 25 0 0 25 0 1 0 822292978 57114624 10735 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13944 10735 1111 63 0 13881 0
vsize: 55776
[startup+120.005 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 12185 0 0 0 11971 28 0 0 25 0 1 0 822292978 62976000 12162 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15375 12162 1111 63 0 15312 0
vsize: 61500
[startup+130.005 s]
Raw data (loadavg): 0.96 0.93 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 13794 0 0 0 12969 30 0 0 25 0 1 0 822292978 69595136 13771 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16991 13771 1111 63 0 16928 0
vsize: 67964
[startup+140.005 s]
Raw data (loadavg): 0.97 0.93 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 15239 0 0 0 13967 32 0 0 25 0 1 0 822292978 75550720 15216 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18445 15216 1111 63 0 18382 0
vsize: 73780
[startup+150.006 s]
Raw data (loadavg): 0.97 0.93 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 16648 0 0 0 14965 35 0 0 25 0 1 0 822292978 81362944 16625 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19864 16625 1111 63 0 19801 0
vsize: 79456
[startup+160.006 s]
Raw data (loadavg): 0.98 0.93 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 18142 0 0 0 15962 37 0 0 25 0 1 0 822292978 87437312 18119 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21347 18119 1111 63 0 21284 0
vsize: 85388
[startup+170.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 19743 0 0 0 16959 41 0 0 25 0 1 0 822292978 93921280 19720 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22930 19720 1111 63 0 22867 0
vsize: 91720
[startup+180.006 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 21548 0 0 0 17955 44 0 0 25 0 1 0 822292978 101351424 21525 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24744 21525 1111 63 0 24681 0
vsize: 98976
[startup+190.007 s]
Raw data (loadavg): 0.98 0.94 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 23537 0 0 0 18952 48 0 0 25 0 1 0 822292978 109481984 23514 4294967295 134512640 134714540 3221221776 3221219896 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26729 23519 1111 63 0 26666 0
vsize: 106916
[startup+200.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 25590 0 0 0 19947 53 0 0 25 0 1 0 822292978 117858304 25567 4294967295 134512640 134714540 3221221776 3221219644 1077271501 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28774 25567 1111 63 0 28711 0
vsize: 115096
[startup+210.007 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 30053 0 0 0 20937 63 0 0 25 0 1 0 822292978 136417280 30030 4294967295 134512640 134714540 3221221776 3221218340 1077358243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33305 30030 1111 63 0 33242 0
vsize: 133220
[startup+220.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 91470 0 0 0 21796 203 0 0 25 0 1 0 822292978 377307136 90958 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92116 90958 1111 63 0 92053 0
vsize: 368464
[startup+230.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 92622 0 0 0 22793 206 0 0 25 0 1 0 822292978 377307136 90958 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92116 90958 1111 63 0 92053 0
vsize: 368464
[startup+240.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 93998 0 0 0 23790 210 0 0 25 0 1 0 822292978 377307136 90958 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92116 90958 1111 63 0 92053 0
vsize: 368464
[startup+250.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 95726 0 0 0 24785 214 0 0 25 0 1 0 822292978 377307136 90958 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92116 90958 1111 63 0 92053 0
vsize: 368464
[startup+260.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 25782 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+270.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 26782 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+280.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 27782 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+290.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 28783 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+300.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 29783 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+310.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 30783 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+320.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 31783 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+330.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 32784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+340.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 33784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+350.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 34784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+360.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 35784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+370.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97290 0 0 0 36784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+380.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97416 0 0 0 37784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+390.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97416 0 0 0 38784 218 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+400.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97542 0 0 0 39784 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+410.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97542 0 0 0 40784 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+420.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97668 0 0 0 41784 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+430.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97668 0 0 0 42784 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+440.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97668 0 0 0 43785 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97668 0 0 0 44785 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97857 0 0 0 45785 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 97857 0 0 0 46785 219 0 0 25 0 1 0 822292978 380571648 91755 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 92913 91755 1111 63 0 92850 0
vsize: 371652
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98111 0 0 0 47785 220 0 0 25 0 1 0 822292978 381353984 91946 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93104 91946 1111 63 0 93041 0
vsize: 372416
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98365 0 0 0 48784 220 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98365 0 0 0 49784 220 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98428 0 0 0 50784 220 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98428 0 0 0 51785 220 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 52785 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 53785 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 54785 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 55785 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 56785 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 57786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 58786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 59786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 60786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 61786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 62786 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 63787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 64787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 65787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 66787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 67787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 68787 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 69788 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+710.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 70788 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 71788 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 72788 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 73788 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 74789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 75789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+770.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 76789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 77789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 78789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 79789 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+810.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 80790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 81790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 82790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 83790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+850.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 84790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+860.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 85790 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+870.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 86791 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+880.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 87791 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+890.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 88791 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+900.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 89791 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 90791 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 91792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+930.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 92792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 93792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 94792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 95792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 96792 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+980.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 97793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 98793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 99793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 100793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 101793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 102793 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 103794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98491 0 0 0 104794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98554 0 0 0 105794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98554 0 0 0 106794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220484 134618239 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98617 0 0 0 107794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98617 0 0 0 108794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220484 134618239 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98680 0 0 0 109794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98680 0 0 0 110794 221 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98743 0 0 0 111794 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98743 0 0 0 112795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 113795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 114795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 115795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 116795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 117795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 118795 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 9139
Raw data (stat): 9139 (bsolo_mis) R 9138 7876 7672 0 -1 0 98806 0 0 0 119796 222 0 0 25 0 1 0 822292978 382136320 92137 4294967295 134512640 134714540 3221221776 3221220416 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 93295 92137 1111 63 0 93232 0
vsize: 373180
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.21 s]
Raw data (loadavg): 0.99 0.97 0.91 1/55 9139
Raw data (stat): 9139 (bsolo_mis) Z 9138 7876 7672 0 -1 1036 98806 0 0 0 119796 239 0 0 25 0 1 0 822292978 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.21
CPU time (s): 1200.35
CPU user time (s): 1197.96
CPU system time (s): 2.39164
CPU usage (%): 100.012
Max. virtual memory (Kb): 373180
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####