PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-czprob.opb
MD5SUM	cfa1bf2f1dd2df0f424e37a2971f8ba1
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	65500
Biggest coefficient in the objective function	16110321664000
Number of bits for the biggest coefficient in the objective function	44
Sum of the numbers in the objective function	32674140101032650
Number of bits of the sum of numbers in the objective function	55
Biggest number in a constraint	16110321664000
Number of bits of the biggest number in a constraint	44
Biggest sum of numbers in a constraint	32674140101032650
Number of bits of the biggest sum of numbers	55
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.588909
Number of variables	65880
Total number of constraints	927
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	927
Minimum length of a constraint	20
Maximum length of a constraint	7460
Trace number 26070

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 01:53:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15642 boxname=wulflinc31 idbench=1204 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  cfa1bf2f1dd2df0f424e37a2971f8ba1  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-czprob.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-czprob.opb
IDLAUNCH: 15642
/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:        627360 kB
Buffers:         26148 kB
Cached:         359828 kB
SwapCached:       1352 kB
Active:         280072 kB
Inactive:       108376 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        627108 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13056 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 02:13:51 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 15642 7 1200.26 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.78 0.92 0.90 1/55 21104
Raw data (stat): 21104 (runsolver) R 21103 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 826411598 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 0 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.81 0.92 0.90 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 983 0 0 0 992 4 0 0 25 0 1 0 826411598 15765504 960 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3849 960 1111 63 0 3786 0
vsize: 15396
[startup+20.0022 s]
Raw data (loadavg): 0.84 0.93 0.90 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 1157 0 0 0 1991 5 0 0 25 0 1 0 826411598 16478208 1134 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4023 1134 1111 63 0 3960 0
vsize: 16092
[startup+30.0037 s]
Raw data (loadavg): 0.87 0.93 0.90 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 1301 0 0 0 2991 6 0 0 25 0 1 0 826411598 17043456 1278 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4161 1278 1111 63 0 4098 0
vsize: 16644
[startup+40.0036 s]
Raw data (loadavg): 0.89 0.93 0.90 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 1447 0 0 0 3991 6 0 0 25 0 1 0 826411598 17612800 1424 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4300 1424 1111 63 0 4237 0
vsize: 17200
[startup+50.005 s]
Raw data (loadavg): 0.90 0.93 0.90 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 1615 0 0 0 4990 7 0 0 25 0 1 0 826411598 18329600 1592 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4475 1592 1111 63 0 4412 0
vsize: 17900
[startup+60.0049 s]
Raw data (loadavg): 0.92 0.93 0.90 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 1782 0 0 0 5990 8 0 0 25 0 1 0 826411598 19038208 1759 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4648 1759 1111 63 0 4585 0
vsize: 18592
[startup+70.0055 s]
Raw data (loadavg): 0.93 0.94 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 1933 0 0 0 6989 8 0 0 25 0 1 0 826411598 19603456 1910 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4786 1910 1111 63 0 4723 0
vsize: 19144
[startup+80.0068 s]
Raw data (loadavg): 0.94 0.94 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 2107 0 0 0 7989 9 0 0 25 0 1 0 826411598 20316160 2084 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4960 2084 1111 63 0 4897 0
vsize: 19840
[startup+90.0063 s]
Raw data (loadavg): 0.95 0.94 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 2265 0 0 0 8988 10 0 0 25 0 1 0 826411598 21020672 2242 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5132 2242 1111 63 0 5069 0
vsize: 20528
[startup+100.006 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 2416 0 0 0 9988 10 0 0 25 0 1 0 826411598 21585920 2393 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5270 2393 1111 63 0 5207 0
vsize: 21080
[startup+110.007 s]
Raw data (loadavg): 0.96 0.94 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 2562 0 0 0 10987 11 0 0 25 0 1 0 826411598 22155264 2539 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5409 2539 1111 63 0 5346 0
vsize: 21636
[startup+120.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 2733 0 0 0 11986 12 0 0 25 0 1 0 826411598 22855680 2710 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5580 2710 1111 63 0 5517 0
vsize: 22320
[startup+130.008 s]
Raw data (loadavg): 0.97 0.94 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 2881 0 0 0 12986 12 0 0 25 0 1 0 826411598 23429120 2858 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5720 2858 1111 63 0 5657 0
vsize: 22880
[startup+140.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 3045 0 0 0 13986 13 0 0 25 0 1 0 826411598 24133632 3022 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5892 3022 1111 63 0 5829 0
vsize: 23568
[startup+150.009 s]
Raw data (loadavg): 0.98 0.95 0.91 3/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 3205 0 0 0 14986 13 0 0 25 0 1 0 826411598 24842240 3182 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6065 3182 1111 63 0 6002 0
vsize: 24260
[startup+160.009 s]
Raw data (loadavg): 0.98 0.95 0.91 3/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 3357 0 0 0 15985 14 0 0 25 0 1 0 826411598 25407488 3334 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6203 3334 1111 63 0 6140 0
vsize: 24812
[startup+170.011 s]
Raw data (loadavg): 0.98 0.95 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 3510 0 0 0 16985 15 0 0 25 0 1 0 826411598 26116096 3487 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6376 3487 1111 63 0 6313 0
vsize: 25504
[startup+180.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 3688 0 0 0 17985 15 0 0 25 0 1 0 826411598 26812416 3665 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6546 3665 1111 63 0 6483 0
vsize: 26184
[startup+190.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 3869 0 0 0 18984 16 0 0 25 0 1 0 826411598 27525120 3846 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6720 3846 1111 63 0 6657 0
vsize: 26880
[startup+200.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 4035 0 0 0 19984 16 0 0 25 0 1 0 826411598 28233728 4012 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6893 4012 1111 63 0 6830 0
vsize: 27572
[startup+210.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 4188 0 0 0 20984 17 0 0 25 0 1 0 826411598 28798976 4165 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7031 4165 1111 63 0 6968 0
vsize: 28124
[startup+220.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 4376 0 0 0 21983 17 0 0 25 0 1 0 826411598 29646848 4353 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7238 4353 1111 63 0 7175 0
vsize: 28952
[startup+230.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 4562 0 0 0 22983 18 0 0 25 0 1 0 826411598 30355456 4539 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7411 4539 1111 63 0 7348 0
vsize: 29644
[startup+240.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 4728 0 0 0 23983 18 0 0 25 0 1 0 826411598 31064064 4705 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7584 4705 1111 63 0 7521 0
vsize: 30336
[startup+250.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 4923 0 0 0 24982 19 0 0 25 0 1 0 826411598 31916032 4900 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7792 4900 1111 63 0 7729 0
vsize: 31168
[startup+260.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 5090 0 0 0 25982 19 0 0 25 0 1 0 826411598 32477184 5067 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7929 5067 1111 63 0 7866 0
vsize: 31716
[startup+270.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 5256 0 0 0 26982 20 0 0 25 0 1 0 826411598 33189888 5233 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8103 5233 1111 63 0 8040 0
vsize: 32412
[startup+280.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 5435 0 0 0 27982 20 0 0 25 0 1 0 826411598 33894400 5412 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8275 5412 1111 63 0 8212 0
vsize: 33100
[startup+290.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 5630 0 0 0 28981 21 0 0 25 0 1 0 826411598 34746368 5607 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8483 5607 1111 63 0 8420 0
vsize: 33932
[startup+300.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 5817 0 0 0 29981 21 0 0 25 0 1 0 826411598 35454976 5794 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8656 5794 1111 63 0 8593 0
vsize: 34624
[startup+310.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 6003 0 0 0 30981 21 0 0 25 0 1 0 826411598 36302848 5980 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8863 5980 1111 63 0 8800 0
vsize: 35452
[startup+320.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 6197 0 0 0 31981 22 0 0 25 0 1 0 826411598 37011456 6174 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9036 6174 1111 63 0 8973 0
vsize: 36144
[startup+330.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 6388 0 0 0 32981 22 0 0 25 0 1 0 826411598 37867520 6365 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9245 6365 1111 63 0 9182 0
vsize: 36980
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 6595 0 0 0 33981 22 0 0 25 0 1 0 826411598 38719488 6572 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9453 6572 1111 63 0 9390 0
vsize: 37812
[startup+350.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 6775 0 0 0 34981 22 0 0 25 0 1 0 826411598 39428096 6752 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9626 6752 1111 63 0 9563 0
vsize: 38504
[startup+360.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 6968 0 0 0 35981 22 0 0 25 0 1 0 826411598 40275968 6945 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9833 6945 1111 63 0 9770 0
vsize: 39332
[startup+370.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 21104
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 7150 0 0 0 36981 22 0 0 25 0 1 0 826411598 40988672 7127 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10007 7127 1111 63 0 9944 0
vsize: 40028
[startup+380.023 s]
Raw data (loadavg): 1.07 0.99 0.91 2/55 21157
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 7331 0 0 0 37981 23 0 0 25 0 1 0 826411598 41697280 7308 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10180 7308 1111 63 0 10117 0
vsize: 40720
[startup+390.023 s]
Raw data (loadavg): 1.06 0.99 0.91 2/55 21157
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 7524 0 0 0 38981 23 0 0 25 0 1 0 826411598 42541056 7501 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10386 7501 1111 63 0 10323 0
vsize: 41544
[startup+400.024 s]
Raw data (loadavg): 1.05 0.99 0.91 2/55 21157
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 7704 0 0 0 39981 23 0 0 25 0 1 0 826411598 43253760 7681 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10560 7681 1111 63 0 10497 0
vsize: 42240
[startup+410.024 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 21157
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 7872 0 0 0 40980 24 0 0 25 0 1 0 826411598 43958272 7849 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10732 7849 1111 63 0 10669 0
vsize: 42928
[startup+420.025 s]
Raw data (loadavg): 1.04 0.99 0.91 2/55 21157
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 8086 0 0 0 41980 24 0 0 25 0 1 0 826411598 44806144 8063 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10939 8063 1111 63 0 10876 0
vsize: 43756
[startup+430.026 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 21157
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 8293 0 0 0 42980 25 0 0 25 0 1 0 826411598 45658112 8270 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11147 8270 1111 63 0 11084 0
vsize: 44588
[startup+440.026 s]
Raw data (loadavg): 1.03 0.99 0.91 2/55 21157
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 8501 0 0 0 43979 25 0 0 25 0 1 0 826411598 46505984 8478 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11354 8478 1111 63 0 11291 0
vsize: 45416
[startup+450.027 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 21157
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 8701 0 0 0 44979 26 0 0 25 0 1 0 826411598 47349760 8678 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11560 8678 1111 63 0 11497 0
vsize: 46240
[startup+460.027 s]
Raw data (loadavg): 1.02 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 8881 0 0 0 45978 27 0 0 25 0 1 0 826411598 48058368 8858 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11733 8858 1111 63 0 11670 0
vsize: 46932
[startup+470.027 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 9061 0 0 0 46977 28 0 0 25 0 1 0 826411598 48758784 9038 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11904 9038 1111 63 0 11841 0
vsize: 47616
[startup+480.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 9267 0 0 0 47976 29 0 0 25 0 1 0 826411598 49610752 9244 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12112 9244 1111 63 0 12049 0
vsize: 48448
[startup+490.028 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 9476 0 0 0 48976 30 0 0 25 0 1 0 826411598 50458624 9453 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12319 9453 1111 63 0 12256 0
vsize: 49276
[startup+500.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 9690 0 0 0 49976 30 0 0 25 0 1 0 826411598 51449856 9667 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12561 9667 1111 63 0 12498 0
vsize: 50244
[startup+510.029 s]
Raw data (loadavg): 1.01 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 9890 0 0 0 50975 31 0 0 25 0 1 0 826411598 52150272 9867 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12732 9867 1111 63 0 12669 0
vsize: 50928
[startup+520.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 10071 0 0 0 51975 31 0 0 25 0 1 0 826411598 52998144 10048 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12939 10048 1111 63 0 12876 0
vsize: 51756
[startup+530.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 10278 0 0 0 52974 32 0 0 25 0 1 0 826411598 53846016 10255 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13146 10255 1111 63 0 13083 0
vsize: 52584
[startup+540.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 10497 0 0 0 53974 33 0 0 25 0 1 0 826411598 54689792 10474 4294967295 134512640 134714540 3221221776 3221220004 1077414347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13352 10474 1111 63 0 13289 0
vsize: 53408
[startup+550.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 10707 0 0 0 54973 34 0 0 25 0 1 0 826411598 55541760 10684 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13560 10684 1111 63 0 13497 0
vsize: 54240
[startup+560.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 10894 0 0 0 55972 35 0 0 25 0 1 0 826411598 56250368 10871 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13733 10871 1111 63 0 13670 0
vsize: 54932
[startup+570.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 11106 0 0 0 56971 36 0 0 25 0 1 0 826411598 57233408 11083 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13973 11083 1111 63 0 13910 0
vsize: 55892
[startup+580.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 11313 0 0 0 57971 37 0 0 25 0 1 0 826411598 58081280 11290 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14180 11290 1111 63 0 14117 0
vsize: 56720
[startup+590.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 11507 0 0 0 58970 37 0 0 25 0 1 0 826411598 58789888 11484 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14353 11484 1111 63 0 14290 0
vsize: 57412
[startup+600.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 11699 0 0 0 59970 38 0 0 25 0 1 0 826411598 59633664 11676 4294967295 134512640 134714540 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14559 11676 1111 63 0 14496 0
vsize: 58236
[startup+610.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 11906 0 0 0 60970 38 0 0 25 0 1 0 826411598 60481536 11883 4294967295 134512640 134714540 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14766 11883 1111 63 0 14703 0
vsize: 59064
[startup+620.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 12148 0 0 0 61969 39 0 0 25 0 1 0 826411598 61493248 12125 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15013 12125 1111 63 0 14950 0
vsize: 60052
[startup+630.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 12382 0 0 0 62969 39 0 0 25 0 1 0 826411598 62484480 12359 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15255 12359 1111 63 0 15192 0
vsize: 61020
[startup+640.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 12601 0 0 0 63968 40 0 0 25 0 1 0 826411598 63467520 12578 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15495 12578 1111 63 0 15432 0
vsize: 61980
[startup+650.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 12831 0 0 0 64968 41 0 0 25 0 1 0 826411598 64315392 12808 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15702 12808 1111 63 0 15639 0
vsize: 62808
[startup+660.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 13059 0 0 0 65967 42 0 0 25 0 1 0 826411598 65306624 13036 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15944 13036 1111 63 0 15881 0
vsize: 63776
[startup+670.043 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 13280 0 0 0 66967 43 0 0 25 0 1 0 826411598 66154496 13257 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16151 13257 1111 63 0 16088 0
vsize: 64604
[startup+680.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 13503 0 0 0 67966 43 0 0 25 0 1 0 826411598 67145728 13480 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16393 13480 1111 63 0 16330 0
vsize: 65572
[startup+690.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 13723 0 0 0 68966 44 0 0 25 0 1 0 826411598 67985408 13700 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16598 13700 1111 63 0 16535 0
vsize: 66392
[startup+700.044 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21159
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 13957 0 0 0 69965 45 0 0 25 0 1 0 826411598 68976640 13934 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16840 13934 1111 63 0 16777 0
vsize: 67360
[startup+710.045 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 14195 0 0 0 70964 46 0 0 25 0 1 0 826411598 69967872 14172 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17082 14172 1111 63 0 17019 0
vsize: 68328
[startup+720.046 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 14416 0 0 0 71963 47 0 0 25 0 1 0 826411598 70815744 14393 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17289 14393 1111 63 0 17226 0
vsize: 69156
[startup+730.047 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 14648 0 0 0 72963 48 0 0 25 0 1 0 826411598 71798784 14625 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17529 14625 1111 63 0 17466 0
vsize: 70116
[startup+740.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 14885 0 0 0 73962 49 0 0 25 0 1 0 826411598 72785920 14862 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17770 14862 1111 63 0 17707 0
vsize: 71080
[startup+750.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 15106 0 0 0 74962 49 0 0 25 0 1 0 826411598 73637888 15083 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17978 15083 1111 63 0 17915 0
vsize: 71912
[startup+760.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 15354 0 0 0 75961 50 0 0 25 0 1 0 826411598 74629120 15331 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18220 15331 1111 63 0 18157 0
vsize: 72880
[startup+770.048 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 15598 0 0 0 76961 51 0 0 25 0 1 0 826411598 75616256 15575 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18461 15575 1111 63 0 18398 0
vsize: 73844
[startup+780.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 15838 0 0 0 77960 51 0 0 25 0 1 0 826411598 76599296 15815 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18701 15815 1111 63 0 18638 0
vsize: 74804
[startup+790.049 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 16073 0 0 0 78960 52 0 0 25 0 1 0 826411598 77590528 16050 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18943 16050 1111 63 0 18880 0
vsize: 75772
[startup+800.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 16310 0 0 0 79959 53 0 0 25 0 1 0 826411598 78577664 16287 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19184 16287 1111 63 0 19121 0
vsize: 76736
[startup+810.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 16531 0 0 0 80958 54 0 0 25 0 1 0 826411598 79429632 16508 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19392 16508 1111 63 0 19329 0
vsize: 77568
[startup+820.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 16752 0 0 0 81958 55 0 0 25 0 1 0 826411598 80416768 16729 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19633 16729 1111 63 0 19570 0
vsize: 78532
[startup+830.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 16987 0 0 0 82957 55 0 0 25 0 1 0 826411598 81260544 16964 4294967295 134512640 134714540 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19839 16964 1111 63 0 19776 0
vsize: 79356
[startup+840.051 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 17235 0 0 0 83957 56 0 0 25 0 1 0 826411598 82391040 17212 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20115 17212 1111 63 0 20052 0
vsize: 80460
[startup+850.052 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 17491 0 0 0 84955 58 0 0 25 0 1 0 826411598 83382272 17468 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20357 17468 1111 63 0 20294 0
vsize: 81428
[startup+860.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 17733 0 0 0 85955 58 0 0 25 0 1 0 826411598 84369408 17710 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20598 17710 1111 63 0 20535 0
vsize: 82392
[startup+870.053 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 17947 0 0 0 86955 59 0 0 25 0 1 0 826411598 85217280 17924 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20805 17924 1111 63 0 20742 0
vsize: 83220
[startup+880.054 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 18189 0 0 0 87955 59 0 0 25 0 1 0 826411598 86200320 18166 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21045 18166 1111 63 0 20982 0
vsize: 84180
[startup+890.055 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 18424 0 0 0 88954 60 0 0 25 0 1 0 826411598 87191552 18401 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21287 18401 1111 63 0 21224 0
vsize: 85148
[startup+900.056 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 18659 0 0 0 89954 60 0 0 25 0 1 0 826411598 88182784 18636 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21529 18636 1111 63 0 21466 0
vsize: 86116
[startup+910.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 18895 0 0 0 90953 61 0 0 25 0 1 0 826411598 89169920 18872 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21770 18872 1111 63 0 21707 0
vsize: 87080
[startup+920.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 19157 0 0 0 91953 61 0 0 25 0 1 0 826411598 90161152 19134 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22012 19134 1111 63 0 21949 0
vsize: 88048
[startup+930.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 19393 0 0 0 92952 62 0 0 25 0 1 0 826411598 91144192 19370 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22252 19370 1111 63 0 22189 0
vsize: 89008
[startup+940.057 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 19641 0 0 0 93952 63 0 0 25 0 1 0 826411598 92131328 19618 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22493 19618 1111 63 0 22430 0
vsize: 89972
[startup+950.058 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 19890 0 0 0 94951 64 0 0 25 0 1 0 826411598 93122560 19867 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22735 19867 1111 63 0 22672 0
vsize: 90940
[startup+960.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 20138 0 0 0 95951 64 0 0 25 0 1 0 826411598 94253056 20115 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23011 20115 1111 63 0 22948 0
vsize: 92044
[startup+970.059 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 20388 0 0 0 96951 65 0 0 25 0 1 0 826411598 95240192 20365 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23252 20365 1111 63 0 23189 0
vsize: 93008
[startup+980.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 20644 0 0 0 97950 66 0 0 25 0 1 0 826411598 96231424 20621 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23494 20621 1111 63 0 23431 0
vsize: 93976
[startup+990.061 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 20913 0 0 0 98950 66 0 0 25 0 1 0 826411598 97361920 20890 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23770 20890 1111 63 0 23707 0
vsize: 95080
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 21170 0 0 0 99949 68 0 0 25 0 1 0 826411598 98344960 21147 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24010 21147 1111 63 0 23947 0
vsize: 96040
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 21424 0 0 0 100948 69 0 0 25 0 1 0 826411598 99475456 21401 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24286 21401 1111 63 0 24223 0
vsize: 97144
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 21701 0 0 0 101947 70 0 0 25 0 1 0 826411598 100605952 21678 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24562 21678 1111 63 0 24499 0
vsize: 98248
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 21964 0 0 0 102946 71 0 0 25 0 1 0 826411598 101593088 21941 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24803 21941 1111 63 0 24740 0
vsize: 99212
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 22240 0 0 0 103945 72 0 0 25 0 1 0 826411598 102723584 22217 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25079 22217 1111 63 0 25016 0
vsize: 100316
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 22502 0 0 0 104945 72 0 0 25 0 1 0 826411598 103854080 22479 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25355 22479 1111 63 0 25292 0
vsize: 101420
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 22771 0 0 0 105945 73 0 0 25 0 1 0 826411598 104984576 22748 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25631 22748 1111 63 0 25568 0
vsize: 102524
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 23088 0 0 0 106944 74 0 0 25 0 1 0 826411598 106483712 23065 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25997 23065 1111 63 0 25934 0
vsize: 103988
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 23363 0 0 0 107943 75 0 0 25 0 1 0 826411598 107606016 23340 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26271 23340 1111 63 0 26208 0
vsize: 105084
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 23654 0 0 0 108942 76 0 0 25 0 1 0 826411598 108875776 23631 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26581 23631 1111 63 0 26518 0
vsize: 106324
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 23938 0 0 0 109941 77 0 0 25 0 1 0 826411598 110002176 23915 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26856 23915 1111 63 0 26793 0
vsize: 107424
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 24228 0 0 0 110940 79 0 0 25 0 1 0 826411598 111132672 24205 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27132 24205 1111 63 0 27069 0
vsize: 108528
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 24526 0 0 0 111939 79 0 0 25 0 1 0 826411598 112406528 24503 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27443 24503 1111 63 0 27380 0
vsize: 109772
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 24809 0 0 0 112938 80 0 0 25 0 1 0 826411598 113537024 24786 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27719 24786 1111 63 0 27656 0
vsize: 110876
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 25107 0 0 0 113937 82 0 0 25 0 1 0 826411598 114806784 25084 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28029 25084 1111 63 0 27966 0
vsize: 112116
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 25410 0 0 0 114936 83 0 0 25 0 1 0 826411598 115933184 25387 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28304 25387 1111 63 0 28241 0
vsize: 113216
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 25728 0 0 0 115936 83 0 0 25 0 1 0 826411598 117346304 25705 4294967295 134512640 134714540 3221221776 3221220432 134527930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28649 25705 1111 63 0 28586 0
vsize: 114596
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 26046 0 0 0 116935 84 0 0 25 0 1 0 826411598 118616064 26023 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28959 26023 1111 63 0 28896 0
vsize: 115836
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 26350 0 0 0 117934 86 0 0 25 0 1 0 826411598 119885824 26327 4294967295 134512640 134714540 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29269 26327 1111 63 0 29206 0
vsize: 117076
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 26676 0 0 0 118933 87 0 0 25 0 1 0 826411598 121159680 26653 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29580 26653 1111 63 0 29517 0
vsize: 118320
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/55 21161
Raw data (stat): 21104 (bsolo_mis) R 21103 7876 7672 0 -1 0 27013 0 0 0 119932 88 0 0 25 0 1 0 826411598 122568704 26990 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29924 26990 1111 63 0 29861 0
vsize: 119696
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 1.00 0.99 0.91 1/55 21161
Raw data (stat): 21104 (bsolo_mis) Z 21103 7876 7672 0 -1 1036 27013 0 0 0 119932 93 0 0 25 0 1 0 826411598 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.13
CPU time (s): 1200.26
CPU user time (s): 1199.32
CPU system time (s): 0.938857
CPU usage (%): 100.011
Max. virtual memory (Kb): 119696
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####