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/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3701.opb
MD5SUM	c5e85fef75cd61b11166b8854f4a9cf3
Bench Category	optimization, medium integers (OPTMEDINT)
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	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39244285251
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39244285251
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.963853
Number of variables	105000
Total number of constraints	5150
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	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 25587

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 00:31:18 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19009 boxname=wulflinc31 idbench=1463 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c5e85fef75cd61b11166b8854f4a9cf3  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3701.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3701.opb
IDLAUNCH: 19009
/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:        586824 kB
Buffers:         34052 kB
Cached:         392564 kB
SwapCached:       1172 kB
Active:         295476 kB
Inactive:       133504 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        586572 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13220 kB
Committed_AS:    63844 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 00:51:21 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19009 7 1200.27 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.93 0.98 0.91 2/55 3580
Raw data (stat): 3580 (runsolver) R 3579 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 799993590 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.0006 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 1003 0 0 0 992 4 0 0 25 0 1 0 799993590 16048128 980 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3918 980 1111 63 0 3855 0
vsize: 15672
[startup+20.0014 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 1249 0 0 0 1992 5 0 0 25 0 1 0 799993590 17027072 1226 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4157 1226 1111 63 0 4094 0
vsize: 16628
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 1500 0 0 0 2991 5 0 0 25 0 1 0 799993590 18026496 1477 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4401 1477 1111 63 0 4338 0
vsize: 17604
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 1748 0 0 0 3991 6 0 0 25 0 1 0 799993590 19013632 1725 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4642 1725 1111 63 0 4579 0
vsize: 18568
[startup+50.0025 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 1996 0 0 0 4991 6 0 0 25 0 1 0 799993590 20140032 1973 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4917 1973 1111 63 0 4854 0
vsize: 19668
[startup+60.0021 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 2249 0 0 0 5990 7 0 0 25 0 1 0 799993590 21123072 2226 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5157 2226 1111 63 0 5094 0
vsize: 20628
[startup+70.0031 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 2496 0 0 0 6990 7 0 0 25 0 1 0 799993590 22110208 2473 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 2473 1111 63 0 5335 0
vsize: 21592
[startup+80.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 2750 0 0 0 7990 8 0 0 25 0 1 0 799993590 23232512 2727 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5672 2727 1111 63 0 5609 0
vsize: 22688
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 2998 0 0 0 8989 9 0 0 25 0 1 0 799993590 24215552 2975 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5912 2975 1111 63 0 5849 0
vsize: 23648
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 3252 0 0 0 9989 9 0 0 25 0 1 0 799993590 25206784 3229 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6154 3229 1111 63 0 6091 0
vsize: 24616
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 3500 0 0 0 10988 10 0 0 25 0 1 0 799993590 26189824 3477 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6394 3477 1111 63 0 6331 0
vsize: 25576
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 3756 0 0 0 11988 10 0 0 25 0 1 0 799993590 27336704 3733 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6674 3733 1111 63 0 6611 0
vsize: 26696
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 4010 0 0 0 12988 10 0 0 25 0 1 0 799993590 28323840 3987 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6915 3987 1111 63 0 6852 0
vsize: 27660
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 4266 0 0 0 13987 11 0 0 25 0 1 0 799993590 29450240 4243 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7190 4243 1111 63 0 7127 0
vsize: 28760
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 4513 0 0 0 14987 12 0 0 25 0 1 0 799993590 30433280 4490 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7430 4490 1111 63 0 7367 0
vsize: 29720
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 4768 0 0 0 15986 13 0 0 25 0 1 0 799993590 31416320 4745 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7670 4745 1111 63 0 7607 0
vsize: 30680
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 5023 0 0 0 16986 14 0 0 25 0 1 0 799993590 32546816 5000 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7946 5000 1111 63 0 7883 0
vsize: 31784
[startup+180.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 5278 0 0 0 17985 15 0 0 25 0 1 0 799993590 33533952 5255 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8187 5255 1111 63 0 8124 0
vsize: 32748
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 5533 0 0 0 18985 15 0 0 25 0 1 0 799993590 34516992 5510 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8427 5510 1111 63 0 8364 0
vsize: 33708
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 5782 0 0 0 19984 16 0 0 25 0 1 0 799993590 35643392 5759 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8702 5759 1111 63 0 8639 0
vsize: 34808
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 6042 0 0 0 20984 16 0 0 25 0 1 0 799993590 36634624 6019 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8944 6019 1111 63 0 8881 0
vsize: 35776
[startup+220.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 6307 0 0 0 21983 17 0 0 25 0 1 0 799993590 37801984 6284 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9229 6284 1111 63 0 9166 0
vsize: 36916
[startup+230.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 6561 0 0 0 22983 17 0 0 25 0 1 0 799993590 38780928 6538 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9468 6538 1111 63 0 9405 0
vsize: 37872
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 6816 0 0 0 23983 18 0 0 25 0 1 0 799993590 39907328 6793 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9743 6793 1111 63 0 9680 0
vsize: 38972
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 7072 0 0 0 24983 18 0 0 25 0 1 0 799993590 40894464 7049 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9984 7049 1111 63 0 9921 0
vsize: 39936
[startup+260.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 7334 0 0 0 25982 18 0 0 25 0 1 0 799993590 42020864 7311 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10259 7311 1111 63 0 10196 0
vsize: 41036
[startup+270.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 7589 0 0 0 26982 19 0 0 25 0 1 0 799993590 43008000 7566 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10500 7566 1111 63 0 10437 0
vsize: 42000
[startup+280.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 7845 0 0 0 27982 19 0 0 25 0 1 0 799993590 44134400 7822 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10775 7822 1111 63 0 10712 0
vsize: 43100
[startup+290.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 8107 0 0 0 28981 20 0 0 25 0 1 0 799993590 45121536 8084 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11016 8084 1111 63 0 10953 0
vsize: 44064
[startup+300.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 8369 0 0 0 29981 21 0 0 25 0 1 0 799993590 46247936 8346 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11291 8346 1111 63 0 11228 0
vsize: 45164
[startup+310.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 8630 0 0 0 30981 21 0 0 25 0 1 0 799993590 47226880 8607 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11530 8607 1111 63 0 11467 0
vsize: 46120
[startup+320.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 8885 0 0 0 31981 21 0 0 25 0 1 0 799993590 48353280 8862 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11805 8862 1111 63 0 11742 0
vsize: 47220
[startup+330.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 9147 0 0 0 32980 22 0 0 25 0 1 0 799993590 49340416 9124 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12046 9124 1111 63 0 11983 0
vsize: 48184
[startup+340.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 9409 0 0 0 33980 23 0 0 25 0 1 0 799993590 50466816 9386 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12321 9386 1111 63 0 12258 0
vsize: 49284
[startup+350.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 9671 0 0 0 34980 23 0 0 25 0 1 0 799993590 51597312 9648 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12597 9648 1111 63 0 12534 0
vsize: 50388
[startup+360.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 9933 0 0 0 35980 23 0 0 25 0 1 0 799993590 52580352 9910 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12837 9910 1111 63 0 12774 0
vsize: 51348
[startup+370.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 10196 0 0 0 36980 24 0 0 25 0 1 0 799993590 53706752 10173 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13112 10173 1111 63 0 13049 0
vsize: 52448
[startup+380.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 10464 0 0 0 37979 24 0 0 25 0 1 0 799993590 54833152 10441 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13387 10441 1111 63 0 13324 0
vsize: 53548
[startup+390.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 10727 0 0 0 38979 25 0 0 25 0 1 0 799993590 55816192 10704 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13627 10704 1111 63 0 13564 0
vsize: 54508
[startup+400.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 10987 0 0 0 39979 25 0 0 25 0 1 0 799993590 56942592 10964 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13902 10964 1111 63 0 13839 0
vsize: 55608
[startup+410.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 11249 0 0 0 40978 26 0 0 25 0 1 0 799993590 57929728 11226 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14143 11226 1111 63 0 14080 0
vsize: 56572
[startup+420.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 11517 0 0 0 41978 26 0 0 25 0 1 0 799993590 59056128 11494 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14418 11494 1111 63 0 14355 0
vsize: 57672
[startup+430.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 11785 0 0 0 42977 27 0 0 25 0 1 0 799993590 60182528 11762 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14693 11762 1111 63 0 14630 0
vsize: 58772
[startup+440.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 12065 0 0 0 43977 28 0 0 25 0 1 0 799993590 61419520 12042 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14995 12042 1111 63 0 14932 0
vsize: 59980
[startup+450.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 12333 0 0 0 44976 28 0 0 25 0 1 0 799993590 62545920 12310 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15270 12310 1111 63 0 15207 0
vsize: 61080
[startup+460.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 12603 0 0 0 45976 29 0 0 25 0 1 0 799993590 63672320 12580 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15545 12580 1111 63 0 15482 0
vsize: 62180
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 12865 0 0 0 46976 29 0 0 25 0 1 0 799993590 64655360 12842 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15785 12842 1111 63 0 15722 0
vsize: 63140
[startup+480.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 13140 0 0 0 47975 30 0 0 25 0 1 0 799993590 65785856 13117 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16061 13117 1111 63 0 15998 0
vsize: 64244
[startup+490.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 13410 0 0 0 48974 31 0 0 25 0 1 0 799993590 66912256 13387 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16336 13387 1111 63 0 16273 0
vsize: 65344
[startup+500.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 13679 0 0 0 49974 32 0 0 25 0 1 0 799993590 68030464 13656 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16609 13656 1111 63 0 16546 0
vsize: 66436
[startup+510.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 13954 0 0 0 50974 32 0 0 25 0 1 0 799993590 69156864 13931 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16884 13931 1111 63 0 16821 0
vsize: 67536
[startup+520.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 14229 0 0 0 51973 33 0 0 25 0 1 0 799993590 70283264 14206 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17159 14206 1111 63 0 17096 0
vsize: 68636
[startup+530.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 14511 0 0 0 52973 33 0 0 25 0 1 0 799993590 71413760 14488 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17435 14488 1111 63 0 17372 0
vsize: 69740
[startup+540.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 14788 0 0 0 53972 34 0 0 25 0 1 0 799993590 72540160 14765 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17710 14765 1111 63 0 17647 0
vsize: 70840
[startup+550.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 15071 0 0 0 54972 35 0 0 25 0 1 0 799993590 73666560 15048 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17985 15048 1111 63 0 17922 0
vsize: 71940
[startup+560.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 15347 0 0 0 55971 36 0 0 25 0 1 0 799993590 74792960 15324 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18260 15324 1111 63 0 18197 0
vsize: 73040
[startup+570.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 15629 0 0 0 56971 36 0 0 25 0 1 0 799993590 76058624 15606 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18569 15606 1111 63 0 18506 0
vsize: 74276
[startup+580.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 15912 0 0 0 57970 37 0 0 25 0 1 0 799993590 77185024 15889 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18844 15889 1111 63 0 18781 0
vsize: 75376
[startup+590.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 16194 0 0 0 58970 38 0 0 25 0 1 0 799993590 78315520 16171 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19120 16171 1111 63 0 19057 0
vsize: 76480
[startup+600.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 16477 0 0 0 59970 38 0 0 25 0 1 0 799993590 79441920 16454 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19395 16454 1111 63 0 19332 0
vsize: 77580
[startup+610.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 16760 0 0 0 60970 38 0 0 25 0 1 0 799993590 80568320 16737 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19670 16737 1111 63 0 19607 0
vsize: 78680
[startup+620.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 17043 0 0 0 61969 39 0 0 25 0 1 0 799993590 81833984 17020 4294967295 134512640 134714540 3221221776 3221220008 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19979 17020 1111 63 0 19916 0
vsize: 79916
[startup+630.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 17332 0 0 0 62969 39 0 0 25 0 1 0 799993590 82960384 17309 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20254 17309 1111 63 0 20191 0
vsize: 81016
[startup+640.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 17615 0 0 0 63969 40 0 0 25 0 1 0 799993590 84086784 17592 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20529 17592 1111 63 0 20466 0
vsize: 82116
[startup+650.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 17898 0 0 0 64968 40 0 0 25 0 1 0 799993590 85213184 17875 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20804 17875 1111 63 0 20741 0
vsize: 83216
[startup+660.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 18188 0 0 0 65967 41 0 0 25 0 1 0 799993590 86482944 18165 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21114 18165 1111 63 0 21051 0
vsize: 84456
[startup+670.027 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 18476 0 0 0 66967 42 0 0 25 0 1 0 799993590 87609344 18453 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21389 18453 1111 63 0 21326 0
vsize: 85556
[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 18761 0 0 0 67967 43 0 0 25 0 1 0 799993590 88735744 18738 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21664 18738 1111 63 0 21601 0
vsize: 86656
[startup+690.028 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 19049 0 0 0 68966 43 0 0 25 0 1 0 799993590 90001408 19026 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21973 19026 1111 63 0 21910 0
vsize: 87892
[startup+700.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 19333 0 0 0 69966 44 0 0 25 0 1 0 799993590 91127808 19310 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22248 19310 1111 63 0 22185 0
vsize: 88992
[startup+710.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 19622 0 0 0 70966 44 0 0 25 0 1 0 799993590 92254208 19599 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22523 19599 1111 63 0 22460 0
vsize: 90092
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 19911 0 0 0 71965 45 0 0 25 0 1 0 799993590 93523968 19888 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22833 19888 1111 63 0 22770 0
vsize: 91332
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 20202 0 0 0 72965 45 0 0 25 0 1 0 799993590 94650368 20179 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23108 20179 1111 63 0 23045 0
vsize: 92432
[startup+740.029 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 20490 0 0 0 73964 46 0 0 25 0 1 0 799993590 95916032 20467 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23417 20467 1111 63 0 23354 0
vsize: 93668
[startup+750.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 20780 0 0 0 74964 47 0 0 25 0 1 0 799993590 97042432 20757 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23692 20757 1111 63 0 23629 0
vsize: 94768
[startup+760.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 21070 0 0 0 75962 48 0 0 25 0 1 0 799993590 98168832 21047 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23967 21047 1111 63 0 23904 0
vsize: 95868
[startup+770.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 21359 0 0 0 76962 49 0 0 25 0 1 0 799993590 99434496 21336 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24276 21336 1111 63 0 24213 0
vsize: 97104
[startup+780.032 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 21650 0 0 0 77961 50 0 0 25 0 1 0 799993590 100564992 21627 4294967295 134512640 134714540 3221221776 3221220432 134527948 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24552 21627 1111 63 0 24489 0
vsize: 98208
[startup+790.031 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 21945 0 0 0 78960 51 0 0 25 0 1 0 799993590 101830656 21922 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24861 21922 1111 63 0 24798 0
vsize: 99444
[startup+800.034 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 22241 0 0 0 79960 51 0 0 25 0 1 0 799993590 102957056 22218 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25136 22218 1111 63 0 25073 0
vsize: 100544
[startup+810.035 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 22530 0 0 0 80960 52 0 0 25 0 1 0 799993590 104222720 22507 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25445 22507 1111 63 0 25382 0
vsize: 101780
[startup+820.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 22820 0 0 0 81959 52 0 0 25 0 1 0 799993590 105349120 22797 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25720 22797 1111 63 0 25657 0
vsize: 102880
[startup+830.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 23149 0 0 0 82959 53 0 0 25 0 1 0 799993590 106979328 23126 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26118 23126 1111 63 0 26055 0
vsize: 104472
[startup+840.036 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 23445 0 0 0 83959 53 0 0 25 0 1 0 799993590 108244992 23422 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26427 23422 1111 63 0 26364 0
vsize: 105708
[startup+850.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 23748 0 0 0 84958 54 0 0 25 0 1 0 799993590 109371392 23725 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26702 23725 1111 63 0 26639 0
vsize: 106808
[startup+860.037 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 24038 0 0 0 85958 55 0 0 25 0 1 0 799993590 110637056 24015 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27011 24015 1111 63 0 26948 0
vsize: 108044
[startup+870.038 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 24342 0 0 0 86957 55 0 0 25 0 1 0 799993590 111902720 24319 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27320 24319 1111 63 0 27257 0
vsize: 109280
[startup+880.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 24644 0 0 0 87957 56 0 0 25 0 1 0 799993590 113029120 24621 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27595 24621 1111 63 0 27532 0
vsize: 110380
[startup+890.039 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 24941 0 0 0 88956 57 0 0 25 0 1 0 799993590 114298880 24918 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27905 24918 1111 63 0 27842 0
vsize: 111620
[startup+900.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 25238 0 0 0 89956 57 0 0 25 0 1 0 799993590 115564544 25215 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28214 25215 1111 63 0 28151 0
vsize: 112856
[startup+910.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 25541 0 0 0 90955 58 0 0 25 0 1 0 799993590 116690944 25518 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28489 25518 1111 63 0 28426 0
vsize: 113956
[startup+920.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 25844 0 0 0 91955 58 0 0 25 0 1 0 799993590 117960704 25821 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28799 25821 1111 63 0 28736 0
vsize: 115196
[startup+930.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 26147 0 0 0 92955 59 0 0 25 0 1 0 799993590 119226368 26124 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29108 26124 1111 63 0 29045 0
vsize: 116432
[startup+940.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 26451 0 0 0 93954 60 0 0 25 0 1 0 799993590 120492032 26428 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29417 26428 1111 63 0 29354 0
vsize: 117668
[startup+950.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 26754 0 0 0 94954 61 0 0 25 0 1 0 799993590 121757696 26731 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29726 26731 1111 63 0 29663 0
vsize: 118904
[startup+960.041 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 27058 0 0 0 95953 61 0 0 25 0 1 0 799993590 122884096 27035 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30001 27035 1111 63 0 29938 0
vsize: 120004
[startup+970.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 27361 0 0 0 96953 62 0 0 25 0 1 0 799993590 124153856 27338 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30311 27338 1111 63 0 30248 0
vsize: 121244
[startup+980.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 27671 0 0 0 97952 62 0 0 25 0 1 0 799993590 125419520 27648 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30620 27648 1111 63 0 30557 0
vsize: 122480
[startup+990.042 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 27975 0 0 0 98952 63 0 0 25 0 1 0 799993590 126685184 27952 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30929 27952 1111 63 0 30866 0
vsize: 123716
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 28284 0 0 0 99952 63 0 0 25 0 1 0 799993590 127954944 28261 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31239 28261 1111 63 0 31176 0
vsize: 124956
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 28589 0 0 0 100951 64 0 0 25 0 1 0 799993590 129220608 28566 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31548 28566 1111 63 0 31485 0
vsize: 126192
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 28904 0 0 0 101951 64 0 0 25 0 1 0 799993590 130486272 28881 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31857 28881 1111 63 0 31794 0
vsize: 127428
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 29209 0 0 0 102951 65 0 0 25 0 1 0 799993590 131756032 29186 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32167 29186 1111 63 0 32104 0
vsize: 128668
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 29524 0 0 0 103950 66 0 0 25 0 1 0 799993590 133021696 29501 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32476 29501 1111 63 0 32413 0
vsize: 129904
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 29829 0 0 0 104949 67 0 0 25 0 1 0 799993590 134287360 29806 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32785 29806 1111 63 0 32722 0
vsize: 131140
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 30144 0 0 0 105949 67 0 0 25 0 1 0 799993590 135553024 30121 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33094 30121 1111 63 0 33031 0
vsize: 132376
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 30454 0 0 0 106949 67 0 0 25 0 1 0 799993590 136822784 30431 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33404 30431 1111 63 0 33341 0
vsize: 133616
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 30767 0 0 0 107949 68 0 0 25 0 1 0 799993590 138088448 30744 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33713 30744 1111 63 0 33650 0
vsize: 134852
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 31083 0 0 0 108949 68 0 0 25 0 1 0 799993590 139362304 31060 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34024 31060 1111 63 0 33961 0
vsize: 136096
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 31401 0 0 0 109948 69 0 0 25 0 1 0 799993590 140627968 31378 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34333 31378 1111 63 0 34270 0
vsize: 137332
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 31716 0 0 0 110948 70 0 0 25 0 1 0 799993590 142032896 31693 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34676 31693 1111 63 0 34613 0
vsize: 138704
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 32028 0 0 0 111947 70 0 0 25 0 1 0 799993590 143302656 32005 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34986 32005 1111 63 0 34923 0
vsize: 139944
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 32344 0 0 0 112947 71 0 0 25 0 1 0 799993590 144568320 32321 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35295 32321 1111 63 0 35232 0
vsize: 141180
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 32656 0 0 0 113946 72 0 0 25 0 1 0 799993590 145838080 32633 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35605 32633 1111 63 0 35542 0
vsize: 142420
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 32979 0 0 0 114946 72 0 0 25 0 1 0 799993590 147103744 32956 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35914 32956 1111 63 0 35851 0
vsize: 143656
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 33297 0 0 0 115945 73 0 0 25 0 1 0 799993590 148369408 33274 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36223 33274 1111 63 0 36160 0
vsize: 144892
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 33613 0 0 0 116945 74 0 0 25 0 1 0 799993590 149778432 33590 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36567 33590 1111 63 0 36504 0
vsize: 146268
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 33930 0 0 0 117944 75 0 0 25 0 1 0 799993590 151044096 33907 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36876 33907 1111 63 0 36813 0
vsize: 147504
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 34254 0 0 0 118944 75 0 0 25 0 1 0 799993590 152309760 34231 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37185 34231 1111 63 0 37122 0
vsize: 148740
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 3580
Raw data (stat): 3580 (bsolo_mis) R 3579 7876 7672 0 -1 0 34570 0 0 0 119944 76 0 0 25 0 1 0 799993590 153575424 34547 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37494 34547 1111 63 0 37431 0
vsize: 149976
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.98 0.91 1/55 3580
Raw data (stat): 3580 (bsolo_mis) Z 3579 7876 7672 0 -1 1036 34570 0 0 0 119944 82 0 0 25 0 1 0 799993590 0 0 4294967295 0 0 0 0 0 0 0 1 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.12
CPU time (s): 1200.27
CPU user time (s): 1199.44
CPU system time (s): 0.825874
CPU usage (%): 100.012
Max. virtual memory (Kb): 149976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####