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-n3709.opb
MD5SUM	40c6760f4e05a9ceb06922f685226f97
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	39144954388
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	39144954388
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	1.00884
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 25572

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 19:25:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19113 boxname=wulflinc31 idbench=1471 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  40c6760f4e05a9ceb06922f685226f97  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3709.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-n3709.opb
IDLAUNCH: 19113
/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:        646480 kB
Buffers:         32180 kB
Cached:         334464 kB
SwapCached:       1168 kB
Active:         246716 kB
Inactive:       122312 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        646228 kB
SwapTotal:     2097892 kB
SwapFree:      2095980 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5352 kB
Slab:            13448 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 19:45:48 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19113 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.85 0.94 0.96 2/55 1883
Raw data (stat): 1883 (runsolver) R 1882 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 798160057 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.0005 s]
Raw data (loadavg): 0.88 0.94 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 1003 0 0 0 992 4 0 0 25 0 1 0 798160057 16048128 980 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3918 980 1111 63 0 3855 0
vsize: 15672
[startup+20.001 s]
Raw data (loadavg): 0.89 0.94 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 1249 0 0 0 1991 5 0 0 25 0 1 0 798160057 17027072 1226 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4157 1226 1111 63 0 4094 0
vsize: 16628
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.94 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 1500 0 0 0 2991 5 0 0 25 0 1 0 798160057 18026496 1477 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4401 1477 1111 63 0 4338 0
vsize: 17604
[startup+40.0012 s]
Raw data (loadavg): 0.92 0.94 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 1748 0 0 0 3990 6 0 0 25 0 1 0 798160057 19013632 1725 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4642 1725 1111 63 0 4579 0
vsize: 18568
[startup+50.0018 s]
Raw data (loadavg): 0.93 0.95 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 1995 0 0 0 4990 6 0 0 25 0 1 0 798160057 20140032 1972 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4917 1972 1111 63 0 4854 0
vsize: 19668
[startup+60.002 s]
Raw data (loadavg): 0.94 0.95 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 2248 0 0 0 5990 7 0 0 25 0 1 0 798160057 21123072 2225 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5157 2225 1111 63 0 5094 0
vsize: 20628
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.95 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 2496 0 0 0 6990 7 0 0 25 0 1 0 798160057 22110208 2473 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5398 2473 1111 63 0 5335 0
vsize: 21592
[startup+80.0036 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 2743 0 0 0 7990 8 0 0 25 0 1 0 798160057 23089152 2720 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5637 2720 1111 63 0 5574 0
vsize: 22548
[startup+90.0038 s]
Raw data (loadavg): 0.96 0.95 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 2991 0 0 0 8989 8 0 0 25 0 1 0 798160057 24215552 2968 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5912 2968 1111 63 0 5849 0
vsize: 23648
[startup+100.005 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 3239 0 0 0 9989 9 0 0 25 0 1 0 798160057 25206784 3216 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6154 3216 1111 63 0 6091 0
vsize: 24616
[startup+110.005 s]
Raw data (loadavg): 0.97 0.95 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 3493 0 0 0 10988 10 0 0 25 0 1 0 798160057 26189824 3470 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6394 3470 1111 63 0 6331 0
vsize: 25576
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 3755 0 0 0 11988 10 0 0 25 0 1 0 798160057 27336704 3732 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6674 3732 1111 63 0 6611 0
vsize: 26696
[startup+130.008 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4003 0 0 0 12988 11 0 0 25 0 1 0 798160057 28323840 3980 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6915 3980 1111 63 0 6852 0
vsize: 27660
[startup+140.007 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4252 0 0 0 13987 11 0 0 25 0 1 0 798160057 29306880 4229 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7155 4229 1111 63 0 7092 0
vsize: 28620
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4506 0 0 0 14987 12 0 0 25 0 1 0 798160057 30433280 4483 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7430 4483 1111 63 0 7367 0
vsize: 29720
[startup+160.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 4761 0 0 0 15987 12 0 0 25 0 1 0 798160057 31416320 4738 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7670 4738 1111 63 0 7607 0
vsize: 30680
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 5010 0 0 0 16987 13 0 0 25 0 1 0 798160057 32407552 4987 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7912 4987 1111 63 0 7849 0
vsize: 31648
[startup+180.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 5271 0 0 0 17986 13 0 0 25 0 1 0 798160057 33533952 5248 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8187 5248 1111 63 0 8124 0
vsize: 32748
[startup+190.009 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 5520 0 0 0 18986 14 0 0 25 0 1 0 798160057 34516992 5497 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 5497 1111 63 0 8364 0
vsize: 33708
[startup+200.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 5774 0 0 0 19986 14 0 0 25 0 1 0 798160057 35508224 5751 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8669 5751 1111 63 0 8606 0
vsize: 34676
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6029 0 0 0 20985 15 0 0 25 0 1 0 798160057 36634624 6006 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8944 6006 1111 63 0 8881 0
vsize: 35776
[startup+220.011 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6300 0 0 0 21985 15 0 0 25 0 1 0 798160057 37801984 6277 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9229 6277 1111 63 0 9166 0
vsize: 36916
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6548 0 0 0 22984 16 0 0 25 0 1 0 798160057 38780928 6525 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9468 6525 1111 63 0 9405 0
vsize: 37872
[startup+240.012 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 6809 0 0 0 23984 17 0 0 25 0 1 0 798160057 39907328 6786 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9743 6786 1111 63 0 9680 0
vsize: 38972
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7065 0 0 0 24983 18 0 0 25 0 1 0 798160057 40894464 7042 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9984 7042 1111 63 0 9921 0
vsize: 39936
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7321 0 0 0 25983 18 0 0 25 0 1 0 798160057 41877504 7298 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10224 7298 1111 63 0 10161 0
vsize: 40896
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7582 0 0 0 26982 19 0 0 25 0 1 0 798160057 43008000 7559 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10500 7559 1111 63 0 10437 0
vsize: 42000
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 7838 0 0 0 27982 19 0 0 25 0 1 0 798160057 43995136 7815 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10741 7815 1111 63 0 10678 0
vsize: 42964
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 8100 0 0 0 28982 20 0 0 25 0 1 0 798160057 45121536 8077 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11016 8077 1111 63 0 10953 0
vsize: 44064
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 8355 0 0 0 29981 21 0 0 25 0 1 0 798160057 46100480 8332 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11255 8332 1111 63 0 11192 0
vsize: 45020
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 8616 0 0 0 30981 21 0 0 25 0 1 0 798160057 47226880 8593 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11530 8593 1111 63 0 11467 0
vsize: 46120
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 8878 0 0 0 31980 22 0 0 25 0 1 0 798160057 48353280 8855 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11805 8855 1111 63 0 11742 0
vsize: 47220
[startup+330.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 9140 0 0 0 32980 23 0 0 25 0 1 0 798160057 49340416 9117 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12046 9117 1111 63 0 11983 0
vsize: 48184
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 9402 0 0 0 33979 23 0 0 25 0 1 0 798160057 50466816 9379 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12321 9379 1111 63 0 12258 0
vsize: 49284
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 9664 0 0 0 34979 24 0 0 25 0 1 0 798160057 51453952 9641 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12562 9641 1111 63 0 12499 0
vsize: 50248
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 9926 0 0 0 35979 24 0 0 25 0 1 0 798160057 52580352 9903 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12837 9903 1111 63 0 12774 0
vsize: 51348
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 10189 0 0 0 36978 25 0 0 25 0 1 0 798160057 53706752 10166 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13112 10166 1111 63 0 13049 0
vsize: 52448
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 10451 0 0 0 37978 25 0 0 25 0 1 0 798160057 54693888 10428 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13353 10428 1111 63 0 13290 0
vsize: 53412
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 10714 0 0 0 38978 26 0 0 25 0 1 0 798160057 55816192 10691 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13627 10691 1111 63 0 13564 0
vsize: 54508
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 10974 0 0 0 39978 26 0 0 25 0 1 0 798160057 56803328 10951 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13868 10951 1111 63 0 13805 0
vsize: 55472
[startup+410.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 11242 0 0 0 40977 27 0 0 25 0 1 0 798160057 57929728 11219 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14143 11219 1111 63 0 14080 0
vsize: 56572
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 11503 0 0 0 41977 27 0 0 25 0 1 0 798160057 59056128 11480 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14418 11480 1111 63 0 14355 0
vsize: 57672
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 11771 0 0 0 42976 28 0 0 25 0 1 0 798160057 60182528 11748 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14693 11748 1111 63 0 14630 0
vsize: 58772
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 12051 0 0 0 43976 28 0 0 25 0 1 0 798160057 61419520 12028 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14995 12028 1111 63 0 14932 0
vsize: 59980
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 12320 0 0 0 44976 29 0 0 25 0 1 0 798160057 62545920 12297 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15270 12297 1111 63 0 15207 0
vsize: 61080
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 12589 0 0 0 45975 29 0 0 25 0 1 0 798160057 63528960 12566 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15510 12566 1111 63 0 15447 0
vsize: 62040
[startup+470.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 12851 0 0 0 46975 30 0 0 25 0 1 0 798160057 64655360 12828 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15785 12828 1111 63 0 15722 0
vsize: 63140
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 13126 0 0 0 47975 30 0 0 25 0 1 0 798160057 65785856 13103 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16061 13103 1111 63 0 15998 0
vsize: 64244
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 13389 0 0 0 48974 31 0 0 25 0 1 0 798160057 66912256 13366 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16336 13366 1111 63 0 16273 0
vsize: 65344
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 13657 0 0 0 49974 31 0 0 25 0 1 0 798160057 67891200 13634 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16575 13634 1111 63 0 16512 0
vsize: 66300
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 13927 0 0 0 50974 32 0 0 25 0 1 0 798160057 69017600 13904 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16850 13904 1111 63 0 16787 0
vsize: 67400
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 14201 0 0 0 51974 32 0 0 25 0 1 0 798160057 70144000 14178 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17125 14178 1111 63 0 17062 0
vsize: 68500
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 14470 0 0 0 52973 33 0 0 25 0 1 0 798160057 71274496 14447 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17401 14447 1111 63 0 17338 0
vsize: 69604
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 14740 0 0 0 53973 33 0 0 25 0 1 0 798160057 72400896 14717 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17676 14717 1111 63 0 17613 0
vsize: 70704
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 15015 0 0 0 54973 33 0 0 25 0 1 0 798160057 73527296 14992 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17951 14992 1111 63 0 17888 0
vsize: 71804
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 15285 0 0 0 55973 34 0 0 25 0 1 0 798160057 74653696 15262 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18226 15262 1111 63 0 18163 0
vsize: 72904
[startup+570.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 15560 0 0 0 56973 34 0 0 25 0 1 0 798160057 75780096 15537 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18501 15537 1111 63 0 18438 0
vsize: 74004
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 15830 0 0 0 57972 35 0 0 25 0 1 0 798160057 76767232 15807 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18742 15807 1111 63 0 18679 0
vsize: 74968
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 16106 0 0 0 58971 36 0 0 25 0 1 0 798160057 77893632 16083 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19017 16083 1111 63 0 18954 0
vsize: 76068
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 16381 0 0 0 59971 37 0 0 25 0 1 0 798160057 79020032 16358 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19292 16358 1111 63 0 19229 0
vsize: 77168
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 16658 0 0 0 60970 38 0 0 25 0 1 0 798160057 80146432 16635 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19567 16635 1111 63 0 19504 0
vsize: 78268
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 16933 0 0 0 61970 38 0 0 25 0 1 0 798160057 81264640 16910 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19840 16910 1111 63 0 19777 0
vsize: 79360
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 17209 0 0 0 62970 39 0 0 25 0 1 0 798160057 82395136 17186 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20116 17186 1111 63 0 20053 0
vsize: 80464
[startup+640.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 17484 0 0 0 63969 39 0 0 25 0 1 0 798160057 83521536 17461 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20391 17461 1111 63 0 20328 0
vsize: 81564
[startup+650.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 17765 0 0 0 64969 40 0 0 25 0 1 0 798160057 84787200 17742 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20700 17742 1111 63 0 20637 0
vsize: 82800
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 18043 0 0 0 65969 40 0 0 25 0 1 0 798160057 85913600 18020 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20975 18020 1111 63 0 20912 0
vsize: 83900
[startup+670.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 18324 0 0 0 66968 41 0 0 25 0 1 0 798160057 87040000 18301 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21250 18301 1111 63 0 21187 0
vsize: 85000
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 18601 0 0 0 67968 41 0 0 25 0 1 0 798160057 88170496 18578 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21526 18578 1111 63 0 21463 0
vsize: 86104
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 18883 0 0 0 68967 42 0 0 25 0 1 0 798160057 89296896 18860 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21801 18860 1111 63 0 21738 0
vsize: 87204
[startup+700.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 19165 0 0 0 69966 43 0 0 25 0 1 0 798160057 90423296 19142 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22076 19142 1111 63 0 22013 0
vsize: 88304
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 19443 0 0 0 70966 44 0 0 25 0 1 0 798160057 91549696 19420 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22351 19420 1111 63 0 22288 0
vsize: 89404
[startup+720.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 19731 0 0 0 71965 45 0 0 25 0 1 0 798160057 92815360 19708 4294967295 134512640 134714540 3221221776 3221220432 134527928 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22660 19708 1111 63 0 22597 0
vsize: 90640
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 20008 0 0 0 72965 45 0 0 25 0 1 0 798160057 93941760 19985 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22935 19985 1111 63 0 22872 0
vsize: 91740
[startup+740.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 20297 0 0 0 73965 45 0 0 25 0 1 0 798160057 95068160 20274 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23210 20274 1111 63 0 23147 0
vsize: 92840
[startup+750.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 20579 0 0 0 74965 46 0 0 25 0 1 0 798160057 96194560 20556 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23485 20556 1111 63 0 23422 0
vsize: 93940
[startup+760.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 20863 0 0 0 75965 46 0 0 25 0 1 0 798160057 97320960 20840 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23760 20840 1111 63 0 23697 0
vsize: 95040
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 21151 0 0 0 76964 47 0 0 25 0 1 0 798160057 98590720 21128 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24070 21128 1111 63 0 24007 0
vsize: 96280
[startup+780.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 21435 0 0 0 77964 47 0 0 25 0 1 0 798160057 99717120 21412 4294967295 134512640 134714540 3221221776 3221220004 1077414397 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24345 21412 1111 63 0 24282 0
vsize: 97380
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 21718 0 0 0 78963 48 0 0 25 0 1 0 798160057 100843520 21695 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24620 21695 1111 63 0 24557 0
vsize: 98480
[startup+800.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 22007 0 0 0 79963 48 0 0 25 0 1 0 798160057 102109184 21984 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24929 21984 1111 63 0 24866 0
vsize: 99716
[startup+810.033 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 22296 0 0 0 80963 49 0 0 25 0 1 0 798160057 103235584 22273 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25204 22273 1111 63 0 25141 0
vsize: 100816
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 22585 0 0 0 81962 49 0 0 25 0 1 0 798160057 104361984 22562 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25479 22562 1111 63 0 25416 0
vsize: 101916
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 22912 0 0 0 82962 50 0 0 25 0 1 0 798160057 106004480 22889 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25880 22889 1111 63 0 25817 0
vsize: 103520
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 23196 0 0 0 83962 51 0 0 25 0 1 0 798160057 107114496 23173 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26151 23173 1111 63 0 26088 0
vsize: 104604
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 23486 0 0 0 84961 51 0 0 25 0 1 0 798160057 108384256 23463 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26461 23463 1111 63 0 26398 0
vsize: 105844
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 23776 0 0 0 85961 51 0 0 25 0 1 0 798160057 109510656 23753 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26736 23753 1111 63 0 26673 0
vsize: 106944
[startup+870.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 24065 0 0 0 86961 52 0 0 25 0 1 0 798160057 110776320 24042 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27045 24042 1111 63 0 26982 0
vsize: 108180
[startup+880.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 24356 0 0 0 87961 52 0 0 25 0 1 0 798160057 111902720 24333 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27320 24333 1111 63 0 27257 0
vsize: 109280
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 24651 0 0 0 88960 53 0 0 25 0 1 0 798160057 113172480 24628 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27630 24628 1111 63 0 27567 0
vsize: 110520
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 24947 0 0 0 89960 54 0 0 25 0 1 0 798160057 114298880 24924 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27905 24924 1111 63 0 27842 0
vsize: 111620
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 25238 0 0 0 90959 54 0 0 25 0 1 0 798160057 115564544 25215 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28214 25215 1111 63 0 28151 0
vsize: 112856
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 25534 0 0 0 91959 55 0 0 25 0 1 0 798160057 116690944 25511 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28489 25511 1111 63 0 28426 0
vsize: 113956
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 25831 0 0 0 92958 56 0 0 25 0 1 0 798160057 117960704 25808 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28799 25808 1111 63 0 28736 0
vsize: 115196
[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 26120 0 0 0 93958 56 0 0 25 0 1 0 798160057 119087104 26097 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29074 26097 1111 63 0 29011 0
vsize: 116296
[startup+950.039 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 26424 0 0 0 94958 57 0 0 25 0 1 0 798160057 120352768 26401 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29383 26401 1111 63 0 29320 0
vsize: 117532
[startup+960.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 26726 0 0 0 95958 57 0 0 25 0 1 0 798160057 121618432 26703 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29692 26703 1111 63 0 29629 0
vsize: 118768
[startup+970.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 27024 0 0 0 96957 58 0 0 25 0 1 0 798160057 122744832 27001 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29967 27001 1111 63 0 29904 0
vsize: 119868
[startup+980.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 27327 0 0 0 97957 58 0 0 25 0 1 0 798160057 124010496 27304 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30276 27304 1111 63 0 30213 0
vsize: 121104
[startup+990.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 27629 0 0 0 98956 59 0 0 25 0 1 0 798160057 125280256 27606 4294967295 134512640 134714540 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30586 27606 1111 63 0 30523 0
vsize: 122344
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 27940 0 0 0 99956 59 0 0 25 0 1 0 798160057 126545920 27917 4294967295 134512640 134714540 3221221776 3221220432 134527948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30895 27917 1111 63 0 30832 0
vsize: 123580
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 28242 0 0 0 100955 60 0 0 25 0 1 0 798160057 127815680 28219 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31205 28219 1111 63 0 31142 0
vsize: 124820
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 28547 0 0 0 101955 61 0 0 25 0 1 0 798160057 129081344 28524 4294967295 134512640 134714540 3221221776 3221220432 134527948 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31514 28524 1111 63 0 31451 0
vsize: 126056
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 28850 0 0 0 102955 62 0 0 25 0 1 0 798160057 130207744 28827 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31789 28827 1111 63 0 31726 0
vsize: 127156
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 29161 0 0 0 103954 62 0 0 25 0 1 0 798160057 131473408 29138 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32098 29138 1111 63 0 32035 0
vsize: 128392
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 29470 0 0 0 104954 63 0 0 25 0 1 0 798160057 132739072 29447 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32407 29447 1111 63 0 32344 0
vsize: 129628
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 29774 0 0 0 105954 63 0 0 25 0 1 0 798160057 134008832 29751 4294967295 134512640 134714540 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32717 29751 1111 63 0 32654 0
vsize: 130868
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 30083 0 0 0 106953 64 0 0 25 0 1 0 798160057 135274496 30060 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33026 30060 1111 63 0 32963 0
vsize: 132104
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 30392 0 0 0 107952 65 0 0 25 0 1 0 798160057 136540160 30369 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33335 30369 1111 63 0 33272 0
vsize: 133340
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 30704 0 0 0 108952 65 0 0 25 0 1 0 798160057 137805824 30681 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33644 30681 1111 63 0 33581 0
vsize: 134576
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 31013 0 0 0 109951 66 0 0 25 0 1 0 798160057 139075584 30990 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33954 30990 1111 63 0 33891 0
vsize: 135816
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 31324 0 0 0 110951 67 0 0 25 0 1 0 798160057 140341248 31301 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34263 31301 1111 63 0 34200 0
vsize: 137052
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 31634 0 0 0 111950 67 0 0 25 0 1 0 798160057 141611008 31611 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34573 31611 1111 63 0 34510 0
vsize: 138292
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 31953 0 0 0 112950 68 0 0 25 0 1 0 798160057 142876672 31930 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34882 31930 1111 63 0 34819 0
vsize: 139528
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 32263 0 0 0 113949 69 0 0 25 0 1 0 798160057 144150528 32240 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35193 32240 1111 63 0 35130 0
vsize: 140772
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 32579 0 0 0 114949 69 0 0 25 0 1 0 798160057 145555456 32556 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35536 32556 1111 63 0 35473 0
vsize: 142144
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 32890 0 0 0 115949 70 0 0 25 0 1 0 798160057 146821120 32867 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35845 32867 1111 63 0 35782 0
vsize: 143380
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 33206 0 0 0 116948 71 0 0 25 0 1 0 798160057 148090880 33183 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36155 33183 1111 63 0 36092 0
vsize: 144620
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 33524 0 0 0 117947 72 0 0 25 0 1 0 798160057 149356544 33501 4294967295 134512640 134714540 3221221776 3221220432 134527935 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36464 33501 1111 63 0 36401 0
vsize: 145856
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 33840 0 0 0 118946 73 0 0 25 0 1 0 798160057 150622208 33817 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36773 33817 1111 63 0 36710 0
vsize: 147092
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 1883
Raw data (stat): 1883 (bsolo_mis) R 1882 7876 7672 0 -1 0 34158 0 0 0 119946 73 0 0 25 0 1 0 798160057 151887872 34135 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37082 34135 1111 63 0 37019 0
vsize: 148328
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.96 1/55 1883
Raw data (stat): 1883 (bsolo_mis) Z 1882 7876 7672 0 -1 1036 34158 0 0 0 119946 80 0 0 25 0 1 0 798160057 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.27
CPU user time (s): 1199.46
CPU system time (s): 0.803877
CPU usage (%): 100.013
Max. virtual memory (Kb): 148328
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####