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-n3700.opb
MD5SUM	389a3363aac4cd4681aed244ad9f1688
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	39143259648
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	39143259648
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.975851
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 25590

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-21 01:32:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18996 boxname=wulflinc31 idbench=1462 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  389a3363aac4cd4681aed244ad9f1688  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3700.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3700.opb
IDLAUNCH: 18996
/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:        579232 kB
Buffers:         34436 kB
Cached:         399796 kB
SwapCached:       1172 kB
Active:         303244 kB
Inactive:       133392 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        578980 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5356 kB
Slab:            13052 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-21 01:52:03 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 18996 7 1200.28 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.97 0.91 2/55 3913
Raw data (stat): 3913 (runsolver) R 3912 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 800357836 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0015 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 1003 0 0 0 992 4 0 0 25 0 1 0 800357836 16048128 980 4294967295 134512640 134714540 3221221776 3221220004 1077414401 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.0027 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 1243 0 0 0 1992 5 0 0 25 0 1 0 800357836 17027072 1220 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4157 1220 1111 63 0 4094 0
vsize: 16628
[startup+30.0043 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 1487 0 0 0 2991 6 0 0 25 0 1 0 800357836 18026496 1464 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4401 1464 1111 63 0 4338 0
vsize: 17604
[startup+40.0052 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 1734 0 0 0 3991 7 0 0 25 0 1 0 800357836 19013632 1711 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4642 1711 1111 63 0 4579 0
vsize: 18568
[startup+50.0062 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 1982 0 0 0 4990 8 0 0 25 0 1 0 800357836 20000768 1959 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4883 1959 1111 63 0 4820 0
vsize: 19532
[startup+60.0071 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 2234 0 0 0 5989 9 0 0 25 0 1 0 800357836 21123072 2211 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5157 2211 1111 63 0 5094 0
vsize: 20628
[startup+70.0081 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 2476 0 0 0 6988 10 0 0 25 0 1 0 800357836 22110208 2453 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 2453 1111 63 0 5335 0
vsize: 21592
[startup+80.0083 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 2723 0 0 0 7987 11 0 0 25 0 1 0 800357836 23089152 2700 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5637 2700 1111 63 0 5574 0
vsize: 22548
[startup+90.0089 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 2970 0 0 0 8986 12 0 0 25 0 1 0 800357836 24076288 2947 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5878 2947 1111 63 0 5815 0
vsize: 23512
[startup+100.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 3212 0 0 0 9986 13 0 0 25 0 1 0 800357836 25063424 3189 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6119 3189 1111 63 0 6056 0
vsize: 24476
[startup+110.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 3460 0 0 0 10985 14 0 0 25 0 1 0 800357836 26050560 3437 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6360 3437 1111 63 0 6297 0
vsize: 25440
[startup+120.011 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 3714 0 0 0 11984 15 0 0 25 0 1 0 800357836 27197440 3691 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6640 3691 1111 63 0 6577 0
vsize: 26560
[startup+130.011 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 3969 0 0 0 12983 17 0 0 25 0 1 0 800357836 28184576 3946 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6881 3946 1111 63 0 6818 0
vsize: 27524
[startup+140.012 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 4216 0 0 0 13982 17 0 0 25 0 1 0 800357836 29163520 4193 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7120 4193 1111 63 0 7057 0
vsize: 28480
[startup+150.013 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 4465 0 0 0 14982 18 0 0 25 0 1 0 800357836 30150656 4442 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7361 4442 1111 63 0 7298 0
vsize: 29444
[startup+160.013 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 4713 0 0 0 15981 19 0 0 25 0 1 0 800357836 31281152 4690 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7637 4690 1111 63 0 7574 0
vsize: 30548
[startup+170.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 4968 0 0 0 16981 20 0 0 25 0 1 0 800357836 32264192 4945 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7877 4945 1111 63 0 7814 0
vsize: 31508
[startup+180.013 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 5217 0 0 0 17980 20 0 0 25 0 1 0 800357836 33251328 5194 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8118 5194 1111 63 0 8055 0
vsize: 32472
[startup+190.014 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 5465 0 0 0 18979 21 0 0 25 0 1 0 800357836 34238464 5442 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8359 5442 1111 63 0 8296 0
vsize: 33436
[startup+200.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 5719 0 0 0 19978 22 0 0 25 0 1 0 800357836 35364864 5696 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8634 5696 1111 63 0 8571 0
vsize: 34536
[startup+210.015 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 5972 0 0 0 20978 23 0 0 25 0 1 0 800357836 36347904 5949 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8874 5949 1111 63 0 8811 0
vsize: 35496
[startup+220.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 6227 0 0 0 21978 23 0 0 25 0 1 0 800357836 37474304 6204 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9149 6204 1111 63 0 9086 0
vsize: 36596
[startup+230.016 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 6493 0 0 0 22978 23 0 0 25 0 1 0 800357836 38498304 6470 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9399 6470 1111 63 0 9336 0
vsize: 37596
[startup+240.017 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 6748 0 0 0 23978 24 0 0 25 0 1 0 800357836 39624704 6725 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9674 6725 1111 63 0 9611 0
vsize: 38696
[startup+250.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 7004 0 0 0 24978 24 0 0 25 0 1 0 800357836 40611840 6981 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9915 6981 1111 63 0 9852 0
vsize: 39660
[startup+260.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 7266 0 0 0 25978 24 0 0 25 0 1 0 800357836 41742336 7243 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10191 7243 1111 63 0 10128 0
vsize: 40764
[startup+270.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 7521 0 0 0 26978 25 0 0 25 0 1 0 800357836 42725376 7498 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10431 7498 1111 63 0 10368 0
vsize: 41724
[startup+280.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 7782 0 0 0 27977 25 0 0 25 0 1 0 800357836 43851776 7759 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10706 7759 1111 63 0 10643 0
vsize: 42824
[startup+290.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 8037 0 0 0 28977 25 0 0 25 0 1 0 800357836 44834816 8014 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10946 8014 1111 63 0 10883 0
vsize: 43784
[startup+300.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 8298 0 0 0 29976 26 0 0 25 0 1 0 800357836 45961216 8275 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11221 8275 1111 63 0 11158 0
vsize: 44884
[startup+310.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 8560 0 0 0 30976 27 0 0 25 0 1 0 800357836 46948352 8537 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11462 8537 1111 63 0 11399 0
vsize: 45848
[startup+320.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 8816 0 0 0 31976 28 0 0 25 0 1 0 800357836 48074752 8793 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11737 8793 1111 63 0 11674 0
vsize: 46948
[startup+330.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 9079 0 0 0 32975 28 0 0 25 0 1 0 800357836 49061888 9056 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11978 9056 1111 63 0 11915 0
vsize: 47912
[startup+340.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 9341 0 0 0 33975 29 0 0 25 0 1 0 800357836 50188288 9318 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12253 9318 1111 63 0 12190 0
vsize: 49012
[startup+350.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 9602 0 0 0 34974 29 0 0 25 0 1 0 800357836 51314688 9579 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12528 9579 1111 63 0 12465 0
vsize: 50112
[startup+360.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 9865 0 0 0 35974 30 0 0 25 0 1 0 800357836 52301824 9842 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12769 9842 1111 63 0 12706 0
vsize: 51076
[startup+370.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 10127 0 0 0 36974 31 0 0 25 0 1 0 800357836 53420032 10104 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13042 10104 1111 63 0 12979 0
vsize: 52168
[startup+380.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 10387 0 0 0 37973 31 0 0 25 0 1 0 800357836 54407168 10364 4294967295 134512640 134714540 3221221776 3221219644 1077256566 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13283 10364 1111 63 0 13220 0
vsize: 53132
[startup+390.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 10650 0 0 0 38973 32 0 0 25 0 1 0 800357836 55537664 10627 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13559 10627 1111 63 0 13496 0
vsize: 54236
[startup+400.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 10918 0 0 0 39972 33 0 0 25 0 1 0 800357836 56664064 10895 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13834 10895 1111 63 0 13771 0
vsize: 55336
[startup+410.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 11180 0 0 0 40972 33 0 0 25 0 1 0 800357836 57647104 11157 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14074 11157 1111 63 0 14011 0
vsize: 56296
[startup+420.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 11442 0 0 0 41972 34 0 0 25 0 1 0 800357836 58773504 11419 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14349 11419 1111 63 0 14286 0
vsize: 57396
[startup+430.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 11710 0 0 0 42971 34 0 0 25 0 1 0 800357836 59904000 11687 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14625 11687 1111 63 0 14562 0
vsize: 58500
[startup+440.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 11996 0 0 0 43971 34 0 0 25 0 1 0 800357836 61136896 11973 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14926 11973 1111 63 0 14863 0
vsize: 59704
[startup+450.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 12259 0 0 0 44971 35 0 0 25 0 1 0 800357836 62263296 12236 4294967295 134512640 134714540 3221221776 3221220432 134527928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15201 12236 1111 63 0 15138 0
vsize: 60804
[startup+460.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 12528 0 0 0 45971 35 0 0 25 0 1 0 800357836 63389696 12505 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15476 12505 1111 63 0 15413 0
vsize: 61904
[startup+470.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 12796 0 0 0 46970 36 0 0 25 0 1 0 800357836 64372736 12773 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15716 12773 1111 63 0 15653 0
vsize: 62864
[startup+480.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 13057 0 0 0 47970 37 0 0 25 0 1 0 800357836 65499136 13034 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15991 13034 1111 63 0 15928 0
vsize: 63964
[startup+490.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 13333 0 0 0 48969 37 0 0 25 0 1 0 800357836 66625536 13310 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16266 13310 1111 63 0 16203 0
vsize: 65064
[startup+500.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 13595 0 0 0 49969 37 0 0 25 0 1 0 800357836 67751936 13572 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16541 13572 1111 63 0 16478 0
vsize: 66164
[startup+510.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 13870 0 0 0 50969 38 0 0 25 0 1 0 800357836 68878336 13847 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16816 13847 1111 63 0 16753 0
vsize: 67264
[startup+520.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 14139 0 0 0 51969 38 0 0 25 0 1 0 800357836 69865472 14116 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17057 14116 1111 63 0 16994 0
vsize: 68228
[startup+530.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 14409 0 0 0 52968 39 0 0 25 0 1 0 800357836 70991872 14386 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17332 14386 1111 63 0 17269 0
vsize: 69328
[startup+540.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 14679 0 0 0 53968 40 0 0 25 0 1 0 800357836 72118272 14656 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17607 14656 1111 63 0 17544 0
vsize: 70428
[startup+550.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 14953 0 0 0 54968 40 0 0 25 0 1 0 800357836 73244672 14930 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17882 14930 1111 63 0 17819 0
vsize: 71528
[startup+560.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 15223 0 0 0 55967 41 0 0 25 0 1 0 800357836 74371072 15200 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18157 15200 1111 63 0 18094 0
vsize: 72628
[startup+570.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 15499 0 0 0 56967 41 0 0 25 0 1 0 800357836 75501568 15476 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18433 15476 1111 63 0 18370 0
vsize: 73732
[startup+580.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 15774 0 0 0 57966 42 0 0 25 0 1 0 800357836 76627968 15751 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18708 15751 1111 63 0 18645 0
vsize: 74832
[startup+590.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 16050 0 0 0 58966 42 0 0 25 0 1 0 800357836 77754368 16027 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18983 16027 1111 63 0 18920 0
vsize: 75932
[startup+600.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 16319 0 0 0 59966 43 0 0 25 0 1 0 800357836 78880768 16296 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19258 16296 1111 63 0 19195 0
vsize: 77032
[startup+610.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 16594 0 0 0 60965 44 0 0 25 0 1 0 800357836 79998976 16571 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19531 16571 1111 63 0 19468 0
vsize: 78124
[startup+620.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 16870 0 0 0 61965 44 0 0 25 0 1 0 800357836 81129472 16847 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19807 16847 1111 63 0 19744 0
vsize: 79228
[startup+630.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 17145 0 0 0 62964 45 0 0 25 0 1 0 800357836 82255872 17122 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20082 17122 1111 63 0 20019 0
vsize: 80328
[startup+640.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 17428 0 0 0 63964 46 0 0 25 0 1 0 800357836 83382272 17405 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20357 17405 1111 63 0 20294 0
vsize: 81428
[startup+650.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 17704 0 0 0 64964 46 0 0 25 0 1 0 800357836 84508672 17681 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20632 17681 1111 63 0 20569 0
vsize: 82528
[startup+660.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 17980 0 0 0 65963 47 0 0 25 0 1 0 800357836 85635072 17957 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20907 17957 1111 63 0 20844 0
vsize: 83628
[startup+670.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 18257 0 0 0 66963 47 0 0 25 0 1 0 800357836 86761472 18234 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21182 18234 1111 63 0 21119 0
vsize: 84728
[startup+680.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 18538 0 0 0 67962 48 0 0 25 0 1 0 800357836 87887872 18515 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21457 18515 1111 63 0 21394 0
vsize: 85828
[startup+690.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 18822 0 0 0 68962 49 0 0 25 0 1 0 800357836 89014272 18799 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21732 18799 1111 63 0 21669 0
vsize: 86928
[startup+700.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 19097 0 0 0 69962 49 0 0 25 0 1 0 800357836 90140672 19074 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22007 19074 1111 63 0 21944 0
vsize: 88028
[startup+710.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 19380 0 0 0 70961 49 0 0 25 0 1 0 800357836 91267072 19357 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22282 19357 1111 63 0 22219 0
vsize: 89128
[startup+720.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 19663 0 0 0 71961 50 0 0 25 0 1 0 800357836 92532736 19640 4294967295 134512640 134714540 3221221776 3221220432 134527941 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22591 19640 1111 63 0 22528 0
vsize: 90364
[startup+730.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 19945 0 0 0 72960 51 0 0 25 0 1 0 800357836 93663232 19922 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22867 19922 1111 63 0 22804 0
vsize: 91468
[startup+740.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 20229 0 0 0 73960 52 0 0 25 0 1 0 800357836 94789632 20206 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23142 20206 1111 63 0 23079 0
vsize: 92568
[startup+750.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 20517 0 0 0 74959 52 0 0 25 0 1 0 800357836 95916032 20494 4294967295 134512640 134714540 3221221776 3221220128 134567410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23417 20494 1111 63 0 23354 0
vsize: 93668
[startup+760.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 20795 0 0 0 75959 53 0 0 25 0 1 0 800357836 97042432 20772 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23692 20772 1111 63 0 23629 0
vsize: 94768
[startup+770.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 21083 0 0 0 76959 53 0 0 25 0 1 0 800357836 98308096 21060 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24001 21060 1111 63 0 23938 0
vsize: 96004
[startup+780.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 21366 0 0 0 77958 54 0 0 25 0 1 0 800357836 99434496 21343 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24276 21343 1111 63 0 24213 0
vsize: 97104
[startup+790.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 21656 0 0 0 78958 54 0 0 25 0 1 0 800357836 100564992 21633 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24552 21633 1111 63 0 24489 0
vsize: 98208
[startup+800.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 21939 0 0 0 79957 55 0 0 25 0 1 0 800357836 101830656 21916 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24861 21916 1111 63 0 24798 0
vsize: 99444
[startup+810.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 22228 0 0 0 80957 56 0 0 25 0 1 0 800357836 102957056 22205 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25136 22205 1111 63 0 25073 0
vsize: 100544
[startup+820.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 22517 0 0 0 81957 56 0 0 25 0 1 0 800357836 104075264 22494 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25409 22494 1111 63 0 25346 0
vsize: 101636
[startup+830.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 22805 0 0 0 82956 57 0 0 25 0 1 0 800357836 105349120 22782 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25720 22782 1111 63 0 25657 0
vsize: 102880
[startup+840.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 23128 0 0 0 83956 57 0 0 25 0 1 0 800357836 106831872 23105 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26082 23105 1111 63 0 26019 0
vsize: 104328
[startup+850.042 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 23418 0 0 0 84956 58 0 0 25 0 1 0 800357836 108105728 23395 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26393 23395 1111 63 0 26330 0
vsize: 105572
[startup+860.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 23707 0 0 0 85955 58 0 0 25 0 1 0 800357836 109223936 23684 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26666 23684 1111 63 0 26603 0
vsize: 106664
[startup+870.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 23996 0 0 0 86955 59 0 0 25 0 1 0 800357836 110489600 23973 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26975 23973 1111 63 0 26912 0
vsize: 107900
[startup+880.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 24286 0 0 0 87955 60 0 0 25 0 1 0 800357836 111616000 24263 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27250 24263 1111 63 0 27187 0
vsize: 109000
[startup+890.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 24575 0 0 0 88954 60 0 0 25 0 1 0 800357836 112742400 24552 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27525 24552 1111 63 0 27462 0
vsize: 110100
[startup+900.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 24871 0 0 0 89955 60 0 0 25 0 1 0 800357836 114012160 24848 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27835 24848 1111 63 0 27772 0
vsize: 111340
[startup+910.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 25167 0 0 0 90954 60 0 0 25 0 1 0 800357836 115277824 25144 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28144 25144 1111 63 0 28081 0
vsize: 112576
[startup+920.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 25457 0 0 0 91954 61 0 0 25 0 1 0 800357836 116404224 25434 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28419 25434 1111 63 0 28356 0
vsize: 113676
[startup+930.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 25754 0 0 0 92953 62 0 0 25 0 1 0 800357836 117673984 25731 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28729 25731 1111 63 0 28666 0
vsize: 114916
[startup+940.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 26050 0 0 0 93952 63 0 0 25 0 1 0 800357836 118800384 26027 4294967295 134512640 134714540 3221221776 3221219872 1077314048 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29004 26027 1111 63 0 28941 0
vsize: 116016
[startup+950.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 26347 0 0 0 94953 63 0 0 25 0 1 0 800357836 120066048 26324 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29313 26324 1111 63 0 29250 0
vsize: 117252
[startup+960.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 26644 0 0 0 95952 64 0 0 25 0 1 0 800357836 121192448 26621 4294967295 134512640 134714540 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29588 26621 1111 63 0 29525 0
vsize: 118352
[startup+970.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 26940 0 0 0 96952 64 0 0 25 0 1 0 800357836 122458112 26917 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29897 26917 1111 63 0 29834 0
vsize: 119588
[startup+980.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 27237 0 0 0 97952 65 0 0 25 0 1 0 800357836 123731968 27214 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30208 27214 1111 63 0 30145 0
vsize: 120832
[startup+990.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 27540 0 0 0 98951 65 0 0 25 0 1 0 800357836 124854272 27517 4294967295 134512640 134714540 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30482 27517 1111 63 0 30419 0
vsize: 121928
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 27844 0 0 0 99951 66 0 0 25 0 1 0 800357836 126128128 27821 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30793 27821 1111 63 0 30730 0
vsize: 123172
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 28147 0 0 0 100950 66 0 0 25 0 1 0 800357836 127393792 28124 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31102 28124 1111 63 0 31039 0
vsize: 124408
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 28451 0 0 0 101950 67 0 0 25 0 1 0 800357836 128659456 28428 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31411 28428 1111 63 0 31348 0
vsize: 125644
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 28754 0 0 0 102949 68 0 0 25 0 1 0 800357836 129925120 28731 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31720 28731 1111 63 0 31657 0
vsize: 126880
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 29064 0 0 0 103949 68 0 0 25 0 1 0 800357836 131194880 29041 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32030 29041 1111 63 0 31967 0
vsize: 128120
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 29375 0 0 0 104949 69 0 0 25 0 1 0 800357836 132460544 29352 4294967295 134512640 134714540 3221221776 3221220432 134527972 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32339 29352 1111 63 0 32276 0
vsize: 129356
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 29684 0 0 0 105949 69 0 0 25 0 1 0 800357836 133726208 29661 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32648 29661 1111 63 0 32585 0
vsize: 130592
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 29994 0 0 0 106948 70 0 0 25 0 1 0 800357836 134991872 29971 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32957 29971 1111 63 0 32894 0
vsize: 131828
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 30304 0 0 0 107948 70 0 0 25 0 1 0 800357836 136261632 30281 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33267 30281 1111 63 0 33204 0
vsize: 133068
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 30615 0 0 0 108947 71 0 0 25 0 1 0 800357836 137527296 30592 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33576 30592 1111 63 0 33513 0
vsize: 134304
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 30924 0 0 0 109946 72 0 0 25 0 1 0 800357836 138797056 30901 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33886 30901 1111 63 0 33823 0
vsize: 135544
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 31236 0 0 0 110946 73 0 0 25 0 1 0 800357836 140062720 31213 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34195 31213 1111 63 0 34132 0
vsize: 136780
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 31551 0 0 0 111946 73 0 0 25 0 1 0 800357836 141328384 31528 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34504 31528 1111 63 0 34441 0
vsize: 138016
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 31868 0 0 0 112945 74 0 0 25 0 1 0 800357836 142594048 31845 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34813 31845 1111 63 0 34750 0
vsize: 139252
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 32179 0 0 0 113944 75 0 0 25 0 1 0 800357836 143863808 32156 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35123 32156 1111 63 0 35060 0
vsize: 140492
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 32489 0 0 0 114944 75 0 0 25 0 1 0 800357836 145129472 32466 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35432 32466 1111 63 0 35369 0
vsize: 141728
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 32807 0 0 0 115944 76 0 0 25 0 1 0 800357836 146395136 32784 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35741 32784 1111 63 0 35678 0
vsize: 142964
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 33124 0 0 0 116943 77 0 0 25 0 1 0 800357836 147660800 33101 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36050 33101 1111 63 0 35987 0
vsize: 144200
[startup+1180.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 33442 0 0 0 117943 77 0 0 25 0 1 0 800357836 149073920 33419 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36395 33419 1111 63 0 36332 0
vsize: 145580
[startup+1190.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 33758 0 0 0 118943 77 0 0 25 0 1 0 800357836 150343680 33735 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36705 33735 1111 63 0 36642 0
vsize: 146820
[startup+1200.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 3913
Raw data (stat): 3913 (bsolo_mis) R 3912 7876 7672 0 -1 0 34077 0 0 0 119942 78 0 0 25 0 1 0 800357836 151609344 34054 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37014 34054 1111 63 0 36951 0
vsize: 148056
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 3913
Raw data (stat): 3913 (bsolo_mis) Z 3912 7876 7672 0 -1 1036 34077 0 0 0 119942 84 0 0 25 0 1 0 800357836 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.12
CPU time (s): 1200.28
CPU user time (s): 1199.43
CPU system time (s): 0.84987
CPU usage (%): 100.013
Max. virtual memory (Kb): 148056
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####