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/milp/normalized-mps-v2-13-7-neos4.opb
MD5SUM	30059c64e21a2e364f81efb4e08403c5
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	78981
Biggest coefficient in the objective function	1400338009135513600000000
Number of bits for the biggest coefficient in the objective function	81
Sum of the numbers in the objective function	357842136202818385868750848
Number of bits of the sum of numbers in the objective function	89
Biggest number in a constraint	1400338009135513600000000
Number of bits of the biggest number in a constraint	81
Biggest sum of numbers in a constraint	357842136202818385868750848
Number of bits of the biggest sum of numbers	89
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.50277
Number of variables	151216
Total number of constraints	56505
Number of constraints which are clauses	32142
Number of constraints which are cardinality constraints (but not clauses)	17175
Number of constraints which are nor clauses,nor cardinality constraints	7188
Minimum length of a constraint	1
Maximum length of a constraint	752
Trace number 25251

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 23:58:03 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19698 boxname=wulflinc31 idbench=1516 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  30059c64e21a2e364f81efb4e08403c5  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos4.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-neos4.opb
IDLAUNCH: 19698
/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:        855896 kB
Buffers:          9308 kB
Cached:         146228 kB
SwapCached:        932 kB
Active:          99060 kB
Inactive:        59640 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        855644 kB
SwapTotal:     2097892 kB
SwapFree:      2096072 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14220 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-18 00:18:06 (client local time) WITH STATUS 0 IN 1200.25 SECONDS
stats: 19698 7 1200.25 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.86 0.94 0.95 2/55 32197
Raw data (stat): 32197 (runsolver) R 32196 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 773871095 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.0009 s]
Raw data (loadavg): 0.88 0.94 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 921 0 0 0 992 4 0 0 25 0 1 0 773871095 15196160 898 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3710 898 1111 63 0 3647 0
vsize: 14840
[startup+20.0017 s]
Raw data (loadavg): 0.90 0.94 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 977 0 0 0 1992 4 0 0 25 0 1 0 773871095 15486976 954 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3781 954 1111 63 0 3718 0
vsize: 15124
[startup+30.0016 s]
Raw data (loadavg): 0.92 0.94 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1041 0 0 0 2992 4 0 0 25 0 1 0 773871095 15777792 1018 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3852 1018 1111 63 0 3789 0
vsize: 15408
[startup+40.0025 s]
Raw data (loadavg): 0.93 0.94 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1098 0 0 0 3992 5 0 0 25 0 1 0 773871095 15912960 1075 4294967295 134512640 134714540 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3885 1075 1111 63 0 3822 0
vsize: 15540
[startup+50.0035 s]
Raw data (loadavg): 0.94 0.95 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1154 0 0 0 4992 5 0 0 25 0 1 0 773871095 16183296 1131 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3951 1131 1111 63 0 3888 0
vsize: 15804
[startup+60.0037 s]
Raw data (loadavg): 0.95 0.95 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1222 0 0 0 5992 5 0 0 25 0 1 0 773871095 16453632 1199 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4017 1199 1111 63 0 3954 0
vsize: 16068
[startup+70.0043 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1272 0 0 0 6992 5 0 0 25 0 1 0 773871095 16723968 1249 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4083 1249 1111 63 0 4020 0
vsize: 16332
[startup+80.0052 s]
Raw data (loadavg): 0.96 0.95 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1336 0 0 0 7992 5 0 0 25 0 1 0 773871095 16859136 1313 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4116 1313 1111 63 0 4053 0
vsize: 16464
[startup+90.0061 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1399 0 0 0 8993 5 0 0 25 0 1 0 773871095 17129472 1376 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4182 1376 1111 63 0 4119 0
vsize: 16728
[startup+100.006 s]
Raw data (loadavg): 0.97 0.95 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1456 0 0 0 9992 6 0 0 25 0 1 0 773871095 17440768 1433 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4258 1433 1111 63 0 4195 0
vsize: 17032
[startup+110.006 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1513 0 0 0 10993 6 0 0 25 0 1 0 773871095 17711104 1490 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4324 1490 1111 63 0 4261 0
vsize: 17296
[startup+120.007 s]
Raw data (loadavg): 0.98 0.95 0.95 2/55 32197
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1574 0 0 0 11993 6 0 0 25 0 1 0 773871095 17846272 1551 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4357 1551 1111 63 0 4294 0
vsize: 17428
[startup+130.053 s]
Raw data (loadavg): 1.06 0.97 0.95 3/59 32244
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1631 0 0 0 12997 6 0 0 25 0 1 0 773871095 18128896 1608 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4426 1608 1111 63 0 4363 0
vsize: 17704
[startup+140.054 s]
Raw data (loadavg): 1.05 0.97 0.95 2/55 32250
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1696 0 0 0 13997 7 0 0 25 0 1 0 773871095 18399232 1673 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4492 1673 1111 63 0 4429 0
vsize: 17968
[startup+150.054 s]
Raw data (loadavg): 1.04 0.97 0.95 2/55 32250
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1760 0 0 0 14997 7 0 0 25 0 1 0 773871095 18669568 1737 4294967295 134512640 134714540 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4558 1737 1111 63 0 4495 0
vsize: 18232
[startup+160.054 s]
Raw data (loadavg): 1.04 0.97 0.95 2/55 32250
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1825 0 0 0 15997 7 0 0 25 0 1 0 773871095 18964480 1802 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4630 1802 1111 63 0 4567 0
vsize: 18520
[startup+170.054 s]
Raw data (loadavg): 1.03 0.97 0.95 2/55 32250
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1876 0 0 0 16997 7 0 0 25 0 1 0 773871095 19099648 1853 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4663 1853 1111 63 0 4600 0
vsize: 18652
[startup+180.055 s]
Raw data (loadavg): 1.03 0.97 0.95 2/55 32250
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 1939 0 0 0 17997 7 0 0 25 0 1 0 773871095 19386368 1916 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4733 1916 1111 63 0 4670 0
vsize: 18932
[startup+190.055 s]
Raw data (loadavg): 1.02 0.97 0.95 2/55 32250
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2004 0 0 0 18997 7 0 0 25 0 1 0 773871095 19656704 1981 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4799 1981 1111 63 0 4736 0
vsize: 19196
[startup+200.055 s]
Raw data (loadavg): 1.02 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2059 0 0 0 19997 8 0 0 25 0 1 0 773871095 19927040 2036 4294967295 134512640 134714540 3221221776 3221220004 1077414432 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4865 2036 1111 63 0 4802 0
vsize: 19460
[startup+210.055 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2117 0 0 0 20997 8 0 0 25 0 1 0 773871095 20082688 2094 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4903 2094 1111 63 0 4840 0
vsize: 19612
[startup+220.056 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2181 0 0 0 21997 8 0 0 25 0 1 0 773871095 20353024 2158 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4969 2158 1111 63 0 4906 0
vsize: 19876
[startup+230.056 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2244 0 0 0 22997 8 0 0 25 0 1 0 773871095 20639744 2221 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5039 2221 1111 63 0 4976 0
vsize: 20156
[startup+240.057 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2302 0 0 0 23997 8 0 0 25 0 1 0 773871095 20926464 2279 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5109 2279 1111 63 0 5046 0
vsize: 20436
[startup+250.057 s]
Raw data (loadavg): 1.01 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2367 0 0 0 24997 8 0 0 25 0 1 0 773871095 21196800 2344 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5175 2344 1111 63 0 5112 0
vsize: 20700
[startup+260.057 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2431 0 0 0 25997 8 0 0 25 0 1 0 773871095 21487616 2408 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5246 2408 1111 63 0 5183 0
vsize: 20984
[startup+270.057 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2496 0 0 0 26997 8 0 0 25 0 1 0 773871095 21757952 2473 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5312 2473 1111 63 0 5249 0
vsize: 21248
[startup+280.057 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2560 0 0 0 27997 8 0 0 25 0 1 0 773871095 21893120 2537 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5345 2537 1111 63 0 5282 0
vsize: 21380
[startup+290.057 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2625 0 0 0 28997 9 0 0 25 0 1 0 773871095 22183936 2602 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5416 2602 1111 63 0 5353 0
vsize: 21664
[startup+300.058 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2675 0 0 0 29997 9 0 0 25 0 1 0 773871095 22478848 2652 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5488 2652 1111 63 0 5425 0
vsize: 21952
[startup+310.057 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2739 0 0 0 30997 9 0 0 25 0 1 0 773871095 22614016 2716 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5521 2716 1111 63 0 5458 0
vsize: 22084
[startup+320.057 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2804 0 0 0 31997 9 0 0 25 0 1 0 773871095 22884352 2781 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5587 2781 1111 63 0 5524 0
vsize: 22348
[startup+330.057 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2868 0 0 0 32997 9 0 0 25 0 1 0 773871095 23154688 2845 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5653 2845 1111 63 0 5590 0
vsize: 22612
[startup+340.058 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2925 0 0 0 33997 9 0 0 25 0 1 0 773871095 23465984 2902 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5729 2902 1111 63 0 5666 0
vsize: 22916
[startup+350.058 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 2985 0 0 0 34997 10 0 0 25 0 1 0 773871095 23736320 2962 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5795 2962 1111 63 0 5732 0
vsize: 23180
[startup+360.058 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3048 0 0 0 35997 10 0 0 25 0 1 0 773871095 24006656 3025 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5861 3025 1111 63 0 5798 0
vsize: 23444
[startup+370.059 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3112 0 0 0 36997 10 0 0 25 0 1 0 773871095 24141824 3089 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5894 3089 1111 63 0 5831 0
vsize: 23576
[startup+380.059 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3178 0 0 0 37997 10 0 0 25 0 1 0 773871095 24436736 3155 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5966 3155 1111 63 0 5903 0
vsize: 23864
[startup+390.06 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3227 0 0 0 38997 10 0 0 25 0 1 0 773871095 24727552 3204 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6037 3204 1111 63 0 5974 0
vsize: 24148
[startup+400.061 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3291 0 0 0 39997 10 0 0 25 0 1 0 773871095 24997888 3268 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6103 3268 1111 63 0 6040 0
vsize: 24412
[startup+410.06 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3354 0 0 0 40997 11 0 0 25 0 1 0 773871095 25133056 3331 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6136 3331 1111 63 0 6073 0
vsize: 24544
[startup+420.061 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3411 0 0 0 41997 11 0 0 25 0 1 0 773871095 25423872 3388 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6207 3388 1111 63 0 6144 0
vsize: 24828
[startup+430.061 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32252
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3470 0 0 0 42997 11 0 0 25 0 1 0 773871095 25694208 3447 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6273 3447 1111 63 0 6210 0
vsize: 25092
[startup+440.062 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3534 0 0 0 43997 11 0 0 25 0 1 0 773871095 25985024 3511 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6344 3511 1111 63 0 6281 0
vsize: 25376
[startup+450.062 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3598 0 0 0 44997 11 0 0 25 0 1 0 773871095 26255360 3575 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6410 3575 1111 63 0 6347 0
vsize: 25640
[startup+460.062 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3675 0 0 0 45997 11 0 0 25 0 1 0 773871095 26574848 3652 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6488 3652 1111 63 0 6425 0
vsize: 25952
[startup+470.063 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3738 0 0 0 46997 12 0 0 25 0 1 0 773871095 26869760 3715 4294967295 134512640 134714540 3221221776 3221220004 1077414382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6560 3715 1111 63 0 6497 0
vsize: 26240
[startup+480.063 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3803 0 0 0 47997 12 0 0 25 0 1 0 773871095 27140096 3780 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6626 3780 1111 63 0 6563 0
vsize: 26504
[startup+490.064 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3852 0 0 0 48998 12 0 0 25 0 1 0 773871095 27275264 3829 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6659 3829 1111 63 0 6596 0
vsize: 26636
[startup+500.065 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3915 0 0 0 49998 12 0 0 25 0 1 0 773871095 27545600 3892 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6725 3892 1111 63 0 6662 0
vsize: 26900
[startup+510.065 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 3981 0 0 0 50998 12 0 0 25 0 1 0 773871095 27840512 3958 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6797 3958 1111 63 0 6734 0
vsize: 27188
[startup+520.065 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4046 0 0 0 51998 12 0 0 25 0 1 0 773871095 28131328 4023 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6868 4023 1111 63 0 6805 0
vsize: 27472
[startup+530.065 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4111 0 0 0 52998 12 0 0 25 0 1 0 773871095 28401664 4088 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6934 4088 1111 63 0 6871 0
vsize: 27736
[startup+540.066 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4175 0 0 0 53998 12 0 0 25 0 1 0 773871095 28536832 4152 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6967 4152 1111 63 0 6904 0
vsize: 27868
[startup+550.066 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4240 0 0 0 54998 12 0 0 25 0 1 0 773871095 28827648 4217 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7038 4217 1111 63 0 6975 0
vsize: 28152
[startup+560.065 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4307 0 0 0 55998 12 0 0 25 0 1 0 773871095 29097984 4284 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7104 4284 1111 63 0 7041 0
vsize: 28416
[startup+570.066 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4372 0 0 0 56998 13 0 0 25 0 1 0 773871095 29388800 4349 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7175 4349 1111 63 0 7112 0
vsize: 28700
[startup+580.067 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4437 0 0 0 57998 13 0 0 25 0 1 0 773871095 29659136 4414 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7241 4414 1111 63 0 7178 0
vsize: 28964
[startup+590.067 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4502 0 0 0 58998 13 0 0 25 0 1 0 773871095 29929472 4479 4294967295 134512640 134714540 3221221776 3221220004 1077414347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7307 4479 1111 63 0 7244 0
vsize: 29228
[startup+600.067 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4579 0 0 0 59998 13 0 0 25 0 1 0 773871095 30220288 4556 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7378 4556 1111 63 0 7315 0
vsize: 29512
[startup+610.067 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4646 0 0 0 60998 14 0 0 25 0 1 0 773871095 30511104 4623 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7449 4623 1111 63 0 7386 0
vsize: 29796
[startup+620.068 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4712 0 0 0 61998 14 0 0 25 0 1 0 773871095 30781440 4689 4294967295 134512640 134714540 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7515 4689 1111 63 0 7452 0
vsize: 30060
[startup+630.068 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4779 0 0 0 62998 14 0 0 25 0 1 0 773871095 31051776 4756 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7581 4756 1111 63 0 7518 0
vsize: 30324
[startup+640.069 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4856 0 0 0 63997 15 0 0 25 0 1 0 773871095 31342592 4833 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7652 4833 1111 63 0 7589 0
vsize: 30608
[startup+650.069 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4907 0 0 0 64998 15 0 0 25 0 1 0 773871095 31633408 4884 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7723 4884 1111 63 0 7660 0
vsize: 30892
[startup+660.069 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 4985 0 0 0 65998 15 0 0 25 0 1 0 773871095 31903744 4962 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7789 4962 1111 63 0 7726 0
vsize: 31156
[startup+670.07 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5053 0 0 0 66998 15 0 0 25 0 1 0 773871095 32174080 5030 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7855 5030 1111 63 0 7792 0
vsize: 31420
[startup+680.071 s]
Raw data (loadavg): 1.00 0.97 0.95 3/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5119 0 0 0 67998 15 0 0 25 0 1 0 773871095 32444416 5096 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7921 5096 1111 63 0 7858 0
vsize: 31684
[startup+690.071 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5190 0 0 0 68998 15 0 0 25 0 1 0 773871095 32735232 5167 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7992 5167 1111 63 0 7929 0
vsize: 31968
[startup+700.072 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5264 0 0 0 69998 15 0 0 25 0 1 0 773871095 33026048 5241 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8063 5241 1111 63 0 8000 0
vsize: 32252
[startup+710.072 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5329 0 0 0 70998 15 0 0 25 0 1 0 773871095 33296384 5306 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8129 5306 1111 63 0 8066 0
vsize: 32516
[startup+720.072 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5408 0 0 0 71998 16 0 0 25 0 1 0 773871095 33566720 5385 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8195 5385 1111 63 0 8132 0
vsize: 32780
[startup+730.072 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5468 0 0 0 72998 16 0 0 25 0 1 0 773871095 33857536 5445 4294967295 134512640 134714540 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8266 5445 1111 63 0 8203 0
vsize: 33064
[startup+740.073 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5538 0 0 0 73998 16 0 0 25 0 1 0 773871095 34148352 5515 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8337 5515 1111 63 0 8274 0
vsize: 33348
[startup+750.073 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5605 0 0 0 74998 16 0 0 25 0 1 0 773871095 34418688 5582 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8403 5582 1111 63 0 8340 0
vsize: 33612
[startup+760.073 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5670 0 0 0 75998 16 0 0 25 0 1 0 773871095 34689024 5647 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8469 5647 1111 63 0 8406 0
vsize: 33876
[startup+770.074 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5752 0 0 0 76998 16 0 0 25 0 1 0 773871095 34979840 5729 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8540 5729 1111 63 0 8477 0
vsize: 34160
[startup+780.074 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5818 0 0 0 77998 17 0 0 25 0 1 0 773871095 35250176 5795 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8606 5795 1111 63 0 8543 0
vsize: 34424
[startup+790.075 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5895 0 0 0 78998 17 0 0 25 0 1 0 773871095 35540992 5872 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8677 5872 1111 63 0 8614 0
vsize: 34708
[startup+800.075 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 5963 0 0 0 79998 17 0 0 25 0 1 0 773871095 35946496 5940 4294967295 134512640 134714540 3221221776 3221220284 1077227168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8776 5940 1111 63 0 8713 0
vsize: 35104
[startup+810.075 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6042 0 0 0 80998 17 0 0 25 0 1 0 773871095 36237312 6019 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8847 6019 1111 63 0 8784 0
vsize: 35388
[startup+820.075 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6124 0 0 0 81998 17 0 0 25 0 1 0 773871095 36507648 6101 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8913 6101 1111 63 0 8850 0
vsize: 35652
[startup+830.074 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6203 0 0 0 82998 18 0 0 25 0 1 0 773871095 36798464 6180 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8984 6180 1111 63 0 8921 0
vsize: 35936
[startup+840.076 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6278 0 0 0 83998 18 0 0 25 0 1 0 773871095 37203968 6255 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9083 6255 1111 63 0 9020 0
vsize: 36332
[startup+850.077 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6350 0 0 0 84998 18 0 0 25 0 1 0 773871095 37494784 6327 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9154 6327 1111 63 0 9091 0
vsize: 36616
[startup+860.076 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6449 0 0 0 85998 18 0 0 25 0 1 0 773871095 38047744 6426 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9289 6426 1111 63 0 9226 0
vsize: 37156
[startup+870.076 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6507 0 0 0 86998 18 0 0 25 0 1 0 773871095 38182912 6484 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9322 6484 1111 63 0 9259 0
vsize: 37288
[startup+880.076 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6580 0 0 0 87998 18 0 0 25 0 1 0 773871095 38453248 6557 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9388 6557 1111 63 0 9325 0
vsize: 37552
[startup+890.077 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6653 0 0 0 88998 19 0 0 25 0 1 0 773871095 38875136 6630 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9491 6630 1111 63 0 9428 0
vsize: 37964
[startup+900.077 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6726 0 0 0 89998 19 0 0 25 0 1 0 773871095 39165952 6703 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9562 6703 1111 63 0 9499 0
vsize: 38248
[startup+910.077 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6806 0 0 0 90998 19 0 0 25 0 1 0 773871095 39440384 6783 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9629 6783 1111 63 0 9566 0
vsize: 38516
[startup+920.078 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6874 0 0 0 91998 19 0 0 25 0 1 0 773871095 39710720 6851 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9695 6851 1111 63 0 9632 0
vsize: 38780
[startup+930.078 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 6938 0 0 0 92998 20 0 0 25 0 1 0 773871095 40005632 6915 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9767 6915 1111 63 0 9704 0
vsize: 39068
[startup+940.079 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7016 0 0 0 93998 20 0 0 25 0 1 0 773871095 40296448 6993 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9838 6993 1111 63 0 9775 0
vsize: 39352
[startup+950.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7084 0 0 0 94998 20 0 0 25 0 1 0 773871095 40566784 7061 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9904 7061 1111 63 0 9841 0
vsize: 39616
[startup+960.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7163 0 0 0 95998 20 0 0 25 0 1 0 773871095 40837120 7140 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9970 7140 1111 63 0 9907 0
vsize: 39880
[startup+970.081 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7239 0 0 0 96998 20 0 0 25 0 1 0 773871095 41263104 7216 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10074 7216 1111 63 0 10011 0
vsize: 40296
[startup+980.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7312 0 0 0 97998 21 0 0 25 0 1 0 773871095 41553920 7289 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10145 7289 1111 63 0 10082 0
vsize: 40580
[startup+990.081 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7392 0 0 0 98998 21 0 0 25 0 1 0 773871095 41824256 7369 4294967295 134512640 134714540 3221221776 3221220004 1077414383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10211 7369 1111 63 0 10148 0
vsize: 40844
[startup+1000.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7456 0 0 0 99998 21 0 0 25 0 1 0 773871095 42094592 7433 4294967295 134512640 134714540 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10277 7433 1111 63 0 10214 0
vsize: 41108
[startup+1010.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7529 0 0 0 100998 21 0 0 25 0 1 0 773871095 42385408 7506 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10348 7506 1111 63 0 10285 0
vsize: 41392
[startup+1020.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7604 0 0 0 101998 21 0 0 25 0 1 0 773871095 42676224 7581 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10419 7581 1111 63 0 10356 0
vsize: 41676
[startup+1030.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7683 0 0 0 102998 21 0 0 25 0 1 0 773871095 42946560 7660 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10485 7660 1111 63 0 10422 0
vsize: 41940
[startup+1040.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7764 0 0 0 103998 21 0 0 25 0 1 0 773871095 43352064 7741 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10584 7741 1111 63 0 10521 0
vsize: 42336
[startup+1050.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7837 0 0 0 104998 22 0 0 25 0 1 0 773871095 43642880 7814 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10655 7814 1111 63 0 10592 0
vsize: 42620
[startup+1060.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7913 0 0 0 105998 22 0 0 25 0 1 0 773871095 43933696 7890 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10726 7890 1111 63 0 10663 0
vsize: 42904
[startup+1070.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 7984 0 0 0 106998 22 0 0 25 0 1 0 773871095 44204032 7961 4294967295 134512640 134714540 3221221776 3221220004 1077414349 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10792 7961 1111 63 0 10729 0
vsize: 43168
[startup+1080.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8058 0 0 0 107998 22 0 0 25 0 1 0 773871095 44474368 8035 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10858 8035 1111 63 0 10795 0
vsize: 43432
[startup+1090.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8137 0 0 0 108998 23 0 0 25 0 1 0 773871095 44900352 8114 4294967295 134512640 134714540 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10962 8114 1111 63 0 10899 0
vsize: 43848
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8212 0 0 0 109998 23 0 0 25 0 1 0 773871095 45191168 8189 4294967295 134512640 134714540 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11033 8189 1111 63 0 10970 0
vsize: 44132
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8293 0 0 0 110998 23 0 0 25 0 1 0 773871095 45461504 8270 4294967295 134512640 134714540 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11099 8270 1111 63 0 11036 0
vsize: 44396
[startup+1120.08 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8367 0 0 0 111998 23 0 0 25 0 1 0 773871095 45731840 8344 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11165 8344 1111 63 0 11102 0
vsize: 44660
[startup+1130.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8447 0 0 0 112998 23 0 0 25 0 1 0 773871095 46157824 8424 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11269 8424 1111 63 0 11206 0
vsize: 45076
[startup+1140.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8529 0 0 0 113998 23 0 0 25 0 1 0 773871095 46448640 8506 4294967295 134512640 134714540 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11340 8506 1111 63 0 11277 0
vsize: 45360
[startup+1150.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8594 0 0 0 114998 24 0 0 25 0 1 0 773871095 46718976 8571 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11406 8571 1111 63 0 11343 0
vsize: 45624
[startup+1160.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8675 0 0 0 115998 24 0 0 25 0 1 0 773871095 46989312 8652 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11472 8652 1111 63 0 11409 0
vsize: 45888
[startup+1170.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8755 0 0 0 116998 24 0 0 25 0 1 0 773871095 47415296 8732 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11576 8732 1111 63 0 11513 0
vsize: 46304
[startup+1180.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8835 0 0 0 117998 24 0 0 25 0 1 0 773871095 47706112 8812 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11647 8812 1111 63 0 11584 0
vsize: 46588
[startup+1190.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8917 0 0 0 118998 24 0 0 25 0 1 0 773871095 47976448 8894 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11713 8894 1111 63 0 11650 0
vsize: 46852
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.97 0.95 2/55 32254
Raw data (stat): 32197 (bsolo_mis) R 32196 7876 7672 0 -1 0 8998 0 0 0 119998 25 0 0 25 0 1 0 773871095 48402432 8975 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11817 8975 1111 63 0 11754 0
vsize: 47268
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.11 s]
Raw data (loadavg): 1.00 0.97 0.95 1/55 32254
Raw data (stat): 32197 (bsolo_mis) Z 32196 7876 7672 0 -1 1036 8998 0 0 0 119998 26 0 0 25 0 1 0 773871095 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.11
CPU time (s): 1200.25
CPU user time (s): 1199.99
CPU system time (s): 0.266959
CPU usage (%): 100.012
Max. virtual memory (Kb): 47268
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####