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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1,3-13,19.opb
MD5SUM	fa67033d6a242cf79309b3804f79a4fe
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	102
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	15.8556
Number of variables	4608
Total number of constraints	34956
Number of constraints which are clauses	29328
Number of constraints which are cardinality constraints (but not clauses)	5550
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 24939

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 03:41:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3234 boxname=wulflinc31 idbench=360 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  fa67033d6a242cf79309b3804f79a4fe  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1,3-13,19.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1,3-13,19.opb
IDLAUNCH: 3234
/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:        818180 kB
Buffers:         40520 kB
Cached:         153932 kB
SwapCached:       1932 kB
Active:         158788 kB
Inactive:        38844 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        817928 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12988 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 04:01:25 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 3234 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4608 variables and 30522 constraints.
c After prepocess the problem consists of 4608 variables and 30522 constraints.
c preprocess terminated 47.065 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 s
#### 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.91 0.97 0.99 2/55 30772
Raw data (stat): 30772 (runsolver) R 30771 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 749290850 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+9.99991 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 44712 0 0 0 880 116 0 0 25 0 1 0 749290850 55992320 12728 4294967295 134512640 134714540 3221221792 3221220272 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13670 12728 1111 63 0 13607 0
vsize: 54680
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 68708 0 0 0 1818 178 0 0 25 0 1 0 749290850 69992448 16151 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16151 1111 63 0 17025 0
vsize: 68352
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 82352 0 0 0 2783 214 0 0 25 0 1 0 749290850 69992448 16151 4294967295 134512640 134714540 3221221792 3221220432 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16151 1111 63 0 17025 0
vsize: 68352
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86180 0 0 0 3773 224 0 0 25 0 1 0 749290850 69992448 16151 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16151 1111 63 0 17025 0
vsize: 68352
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86196 0 0 0 4772 225 0 0 25 0 1 0 749290850 69992448 16167 4294967295 134512640 134714540 3221221792 3221220384 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16167 1111 63 0 17025 0
vsize: 68352
[startup+60.003 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 5770 227 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+70.0035 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 6769 228 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220400 134543719 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 7768 229 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+90.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 8767 230 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220196 134697228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 9766 231 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220468 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 10765 232 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 11764 234 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220352 134696556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 12763 235 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 13762 236 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220432 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 14761 237 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220432 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 15761 238 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 16759 239 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220528 134528434 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 17759 240 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220460 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 18758 241 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220300 134535952 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 19757 242 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 20756 243 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220492 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 21756 243 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220384 134549742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 22755 245 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220552 134552638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 23754 245 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 24754 246 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 25753 246 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86198 0 0 0 26753 247 0 0 25 0 1 0 749290850 69992448 16169 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17088 16169 1111 63 0 17025 0
vsize: 68352
[startup+280.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86305 0 0 0 27753 248 0 0 25 0 1 0 749290850 70533120 16276 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17220 16276 1111 63 0 17157 0
vsize: 68880
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86450 0 0 0 28751 250 0 0 25 0 1 0 749290850 71073792 16421 4294967295 134512640 134714540 3221221792 3221220504 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17352 16421 1111 63 0 17289 0
vsize: 69408
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86612 0 0 0 29750 250 0 0 25 0 1 0 749290850 71741440 16583 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17515 16583 1111 63 0 17452 0
vsize: 70060
[startup+310.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86726 0 0 0 30748 252 0 0 25 0 1 0 749290850 72282112 16697 4294967295 134512640 134714540 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17647 16697 1111 63 0 17584 0
vsize: 70588
[startup+320.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86792 0 0 0 31748 253 0 0 25 0 1 0 749290850 72540160 16763 4294967295 134512640 134714540 3221221792 3221220448 134536724 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17710 16763 1111 63 0 17647 0
vsize: 70840
[startup+330.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86872 0 0 0 32747 254 0 0 25 0 1 0 749290850 72794112 16843 4294967295 134512640 134714540 3221221792 3221220400 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17772 16843 1111 63 0 17709 0
vsize: 71088
[startup+340.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 86912 0 0 0 33745 256 0 0 25 0 1 0 749290850 72929280 16883 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17805 16883 1111 63 0 17742 0
vsize: 71220
[startup+350.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87021 0 0 0 34744 257 0 0 25 0 1 0 749290850 73469952 16992 4294967295 134512640 134714540 3221221792 3221220576 134529252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17937 16992 1111 63 0 17874 0
vsize: 71748
[startup+360.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87065 0 0 0 35743 258 0 0 25 0 1 0 749290850 73605120 17036 4294967295 134512640 134714540 3221221792 3221220352 134696576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17970 17036 1111 63 0 17907 0
vsize: 71880
[startup+370.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87146 0 0 0 36742 259 0 0 25 0 1 0 749290850 73875456 17117 4294967295 134512640 134714540 3221221792 3221220320 134672417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18036 17117 1111 63 0 17973 0
vsize: 72144
[startup+380.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87292 0 0 0 37741 260 0 0 25 0 1 0 749290850 74543104 17263 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18199 17263 1111 63 0 18136 0
vsize: 72796
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87348 0 0 0 38740 262 0 0 25 0 1 0 749290850 74813440 17319 4294967295 134512640 134714540 3221221792 3221220464 134542865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18265 17319 1111 63 0 18202 0
vsize: 73060
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87433 0 0 0 39739 263 0 0 25 0 1 0 749290850 75083776 17404 4294967295 134512640 134714540 3221221792 3221220532 134523855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18331 17404 1111 63 0 18268 0
vsize: 73324
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87512 0 0 0 40738 264 0 0 25 0 1 0 749290850 75468800 17483 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18425 17483 1111 63 0 18362 0
vsize: 73700
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87566 0 0 0 41738 264 0 0 25 0 1 0 749290850 75603968 17537 4294967295 134512640 134714540 3221221792 3221220432 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18458 17537 1111 63 0 18395 0
vsize: 73832
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87601 0 0 0 42738 265 0 0 25 0 1 0 749290850 75739136 17572 4294967295 134512640 134714540 3221221792 3221220476 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18491 17572 1111 63 0 18428 0
vsize: 73964
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87693 0 0 0 43738 265 0 0 25 0 1 0 749290850 76144640 17664 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18590 17664 1111 63 0 18527 0
vsize: 74360
[startup+450.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87806 0 0 0 44737 266 0 0 25 0 1 0 749290850 76685312 17777 4294967295 134512640 134714540 3221221792 3221220528 134558537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18722 17777 1111 63 0 18659 0
vsize: 74888
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87828 0 0 0 45737 266 0 0 25 0 1 0 749290850 76685312 17799 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18722 17799 1111 63 0 18659 0
vsize: 74888
[startup+470.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 87933 0 0 0 46736 268 0 0 25 0 1 0 749290850 77225984 17904 4294967295 134512640 134714540 3221221792 3221220400 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18854 17904 1111 63 0 18791 0
vsize: 75416
[startup+480.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88035 0 0 0 47735 268 0 0 25 0 1 0 749290850 77594624 18006 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18944 18006 1111 63 0 18881 0
vsize: 75776
[startup+490.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88149 0 0 0 48734 270 0 0 25 0 1 0 749290850 78000128 18120 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19043 18120 1111 63 0 18980 0
vsize: 76172
[startup+500.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88246 0 0 0 49733 271 0 0 25 0 1 0 749290850 78405632 18217 4294967295 134512640 134714540 3221221792 3221220384 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19142 18217 1111 63 0 19079 0
vsize: 76568
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88412 0 0 0 50732 272 0 0 25 0 1 0 749290850 79081472 18383 4294967295 134512640 134714540 3221221792 3221220576 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19307 18383 1111 63 0 19244 0
vsize: 77228
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88502 0 0 0 51732 272 0 0 25 0 1 0 749290850 79470592 18473 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19402 18473 1111 63 0 19339 0
vsize: 77608
[startup+530.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88610 0 0 0 52731 273 0 0 25 0 1 0 749290850 79876096 18581 4294967295 134512640 134714540 3221221792 3221220448 134536738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19501 18581 1111 63 0 19438 0
vsize: 78004
[startup+540.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88673 0 0 0 53731 274 0 0 25 0 1 0 749290850 80146432 18644 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19567 18644 1111 63 0 19504 0
vsize: 78268
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88806 0 0 0 54730 275 0 0 25 0 1 0 749290850 80687104 18777 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19699 18777 1111 63 0 19636 0
vsize: 78796
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88919 0 0 0 55729 276 0 0 25 0 1 0 749290850 81215488 18890 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19828 18890 1111 63 0 19765 0
vsize: 79312
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 88998 0 0 0 56729 276 0 0 25 0 1 0 749290850 81485824 18969 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19894 18969 1111 63 0 19831 0
vsize: 79576
[startup+580.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89063 0 0 0 57728 277 0 0 25 0 1 0 749290850 81756160 19034 4294967295 134512640 134714540 3221221792 3221220448 134536713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19960 19034 1111 63 0 19897 0
vsize: 79840
[startup+590.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89140 0 0 0 58728 277 0 0 25 0 1 0 749290850 82157568 19111 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20058 19111 1111 63 0 19995 0
vsize: 80232
[startup+600.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89188 0 0 0 59728 278 0 0 25 0 1 0 749290850 82268160 19159 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20085 19159 1111 63 0 20022 0
vsize: 80340
[startup+610.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89262 0 0 0 60727 279 0 0 25 0 1 0 749290850 82665472 19233 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20182 19233 1111 63 0 20119 0
vsize: 80728
[startup+620.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89338 0 0 0 61727 280 0 0 25 0 1 0 749290850 82931712 19309 4294967295 134512640 134714540 3221221792 3221220464 134543671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20247 19309 1111 63 0 20184 0
vsize: 80988
[startup+630.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89396 0 0 0 62726 280 0 0 25 0 1 0 749290850 83189760 19367 4294967295 134512640 134714540 3221221792 3221220444 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20310 19367 1111 63 0 20247 0
vsize: 81240
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89497 0 0 0 63726 280 0 0 25 0 1 0 749290850 83595264 19468 4294967295 134512640 134714540 3221221792 3221220496 134528434 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20409 19468 1111 63 0 20346 0
vsize: 81636
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89588 0 0 0 64725 281 0 0 25 0 1 0 749290850 84000768 19559 4294967295 134512640 134714540 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20508 19559 1111 63 0 20445 0
vsize: 82032
[startup+660.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89662 0 0 0 65725 282 0 0 25 0 1 0 749290850 84267008 19633 4294967295 134512640 134714540 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20573 19633 1111 63 0 20510 0
vsize: 82292
[startup+670.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89728 0 0 0 66724 283 0 0 25 0 1 0 749290850 84529152 19699 4294967295 134512640 134714540 3221221792 3221220480 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20637 19699 1111 63 0 20574 0
vsize: 82548
[startup+680.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89803 0 0 0 67724 284 0 0 25 0 1 0 749290850 84799488 19774 4294967295 134512640 134714540 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20703 19774 1111 63 0 20640 0
vsize: 82812
[startup+690.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89832 0 0 0 68723 284 0 0 25 0 1 0 749290850 84934656 19803 4294967295 134512640 134714540 3221221792 3221220704 134595081 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20736 19803 1111 63 0 20673 0
vsize: 82944
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 89973 0 0 0 69723 285 0 0 25 0 1 0 749290850 85454848 19944 4294967295 134512640 134714540 3221221792 3221220348 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20863 19944 1111 63 0 20800 0
vsize: 83452
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90046 0 0 0 70722 286 0 0 25 0 1 0 749290850 85848064 20017 4294967295 134512640 134714540 3221221792 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20959 20017 1111 63 0 20896 0
vsize: 83836
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90098 0 0 0 71722 286 0 0 25 0 1 0 749290850 85983232 20069 4294967295 134512640 134714540 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20992 20069 1111 63 0 20929 0
vsize: 83968
[startup+730.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90206 0 0 0 72721 287 0 0 25 0 1 0 749290850 86511616 20177 4294967295 134512640 134714540 3221221792 3221220416 134542365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21121 20177 1111 63 0 21058 0
vsize: 84484
[startup+740.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90306 0 0 0 73720 288 0 0 25 0 1 0 749290850 86896640 20277 4294967295 134512640 134714540 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21215 20277 1111 63 0 21152 0
vsize: 84860
[startup+750.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90364 0 0 0 74720 288 0 0 25 0 1 0 749290850 87142400 20335 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21275 20335 1111 63 0 21212 0
vsize: 85100
[startup+760.037 s]
Raw data (loadavg): 1.07 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90408 0 0 0 75720 288 0 0 25 0 1 0 749290850 87277568 20379 4294967295 134512640 134714540 3221221792 3221220400 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21308 20379 1111 63 0 21245 0
vsize: 85232
[startup+770.038 s]
Raw data (loadavg): 1.06 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90497 0 0 0 76720 289 0 0 25 0 1 0 749290850 87678976 20468 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21406 20468 1111 63 0 21343 0
vsize: 85624
[startup+780.039 s]
Raw data (loadavg): 1.05 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90577 0 0 0 77719 290 0 0 25 0 1 0 749290850 87949312 20548 4294967295 134512640 134714540 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21472 20548 1111 63 0 21409 0
vsize: 85888
[startup+790.039 s]
Raw data (loadavg): 1.04 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90637 0 0 0 78719 291 0 0 25 0 1 0 749290850 88219648 20608 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21538 20608 1111 63 0 21475 0
vsize: 86152
[startup+800.039 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90673 0 0 0 79718 291 0 0 25 0 1 0 749290850 88350720 20644 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21570 20644 1111 63 0 21507 0
vsize: 86280
[startup+810.04 s]
Raw data (loadavg): 1.03 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90710 0 0 0 80718 292 0 0 25 0 1 0 749290850 88485888 20681 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21603 20681 1111 63 0 21540 0
vsize: 86412
[startup+820.041 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90776 0 0 0 81718 292 0 0 25 0 1 0 749290850 88875008 20747 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21698 20747 1111 63 0 21635 0
vsize: 86792
[startup+830.041 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90812 0 0 0 82717 293 0 0 25 0 1 0 749290850 88989696 20783 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21726 20783 1111 63 0 21663 0
vsize: 86904
[startup+840.04 s]
Raw data (loadavg): 1.02 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90859 0 0 0 83716 294 0 0 25 0 1 0 749290850 89096192 20830 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21752 20830 1111 63 0 21689 0
vsize: 87008
[startup+850.041 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90907 0 0 0 84716 294 0 0 25 0 1 0 749290850 89366528 20878 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21818 20878 1111 63 0 21755 0
vsize: 87272
[startup+860.042 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90989 0 0 0 85715 295 0 0 25 0 1 0 749290850 89628672 20960 4294967295 134512640 134714540 3221221792 3221220524 134532458 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21882 20960 1111 63 0 21819 0
vsize: 87528
[startup+870.043 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 90989 0 0 0 86715 296 0 0 25 0 1 0 749290850 89628672 20960 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21882 20960 1111 63 0 21819 0
vsize: 87528
[startup+880.043 s]
Raw data (loadavg): 1.01 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91049 0 0 0 87715 296 0 0 25 0 1 0 749290850 89899008 21020 4294967295 134512640 134714540 3221221792 3221220560 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21948 21020 1111 63 0 21885 0
vsize: 87792
[startup+890.043 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91079 0 0 0 88714 297 0 0 25 0 1 0 749290850 90034176 21050 4294967295 134512640 134714540 3221221792 3221220400 134549488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21981 21050 1111 63 0 21918 0
vsize: 87924
[startup+900.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91139 0 0 0 89713 298 0 0 25 0 1 0 749290850 90296320 21110 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22045 21110 1111 63 0 21982 0
vsize: 88180
[startup+910.044 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91188 0 0 0 90713 298 0 0 25 0 1 0 749290850 90431488 21159 4294967295 134512640 134714540 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22078 21159 1111 63 0 22015 0
vsize: 88312
[startup+920.045 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91263 0 0 0 91713 299 0 0 25 0 1 0 749290850 90828800 21234 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22175 21234 1111 63 0 22112 0
vsize: 88700
[startup+930.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91263 0 0 0 92713 299 0 0 25 0 1 0 749290850 90828800 21234 4294967295 134512640 134714540 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22175 21234 1111 63 0 22112 0
vsize: 88700
[startup+940.046 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91298 0 0 0 93712 300 0 0 25 0 1 0 749290850 90963968 21269 4294967295 134512640 134714540 3221221792 3221220432 134536655 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22208 21269 1111 63 0 22145 0
vsize: 88832
[startup+950.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91325 0 0 0 94712 301 0 0 25 0 1 0 749290850 91095040 21296 4294967295 134512640 134714540 3221221792 3221220432 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22240 21296 1111 63 0 22177 0
vsize: 88960
[startup+960.047 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91373 0 0 0 95711 301 0 0 25 0 1 0 749290850 91230208 21344 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22273 21344 1111 63 0 22210 0
vsize: 89092
[startup+970.048 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91376 0 0 0 96711 302 0 0 25 0 1 0 749290850 91230208 21347 4294967295 134512640 134714540 3221221792 3221220432 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22273 21347 1111 63 0 22210 0
vsize: 89092
[startup+980.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91383 0 0 0 97711 302 0 0 25 0 1 0 749290850 91230208 21354 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22273 21354 1111 63 0 22210 0
vsize: 89092
[startup+990.049 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91411 0 0 0 98711 302 0 0 25 0 1 0 749290850 91365376 21382 4294967295 134512640 134714540 3221221792 3221220348 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22306 21382 1111 63 0 22243 0
vsize: 89224
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91483 0 0 0 99711 303 0 0 25 0 1 0 749290850 91758592 21454 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22402 21454 1111 63 0 22339 0
vsize: 89608
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91512 0 0 0 100710 303 0 0 25 0 1 0 749290850 91758592 21483 4294967295 134512640 134714540 3221221792 3221220524 134536922 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22402 21483 1111 63 0 22339 0
vsize: 89608
[startup+1020.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91588 0 0 0 101710 304 0 0 25 0 1 0 749290850 92164096 21559 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22501 21559 1111 63 0 22438 0
vsize: 90004
[startup+1030.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91648 0 0 0 102710 304 0 0 25 0 1 0 749290850 92434432 21619 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22567 21619 1111 63 0 22504 0
vsize: 90268
[startup+1040.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91695 0 0 0 103710 305 0 0 25 0 1 0 749290850 92553216 21666 4294967295 134512640 134714540 3221221792 3221220520 134536900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22596 21666 1111 63 0 22533 0
vsize: 90384
[startup+1050.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91712 0 0 0 104710 305 0 0 25 0 1 0 749290850 92688384 21683 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22629 21683 1111 63 0 22566 0
vsize: 90516
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91777 0 0 0 105710 305 0 0 25 0 1 0 749290850 92950528 21748 4294967295 134512640 134714540 3221221792 3221220444 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22693 21748 1111 63 0 22630 0
vsize: 90772
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91796 0 0 0 106709 306 0 0 25 0 1 0 749290850 92950528 21767 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22693 21767 1111 63 0 22630 0
vsize: 90772
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91847 0 0 0 107709 306 0 0 25 0 1 0 749290850 93220864 21818 4294967295 134512640 134714540 3221221792 3221220556 134552693 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22759 21818 1111 63 0 22696 0
vsize: 91036
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.99 2/55 30772
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91893 0 0 0 108708 307 0 0 25 0 1 0 749290850 93356032 21864 4294967295 134512640 134714540 3221221792 3221220348 134535936 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22792 21864 1111 63 0 22729 0
vsize: 91168
[startup+1100.19 s]
Raw data (loadavg): 1.00 0.99 0.99 3/58 30808
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 91961 0 0 0 109722 307 0 0 25 0 1 0 749290850 93626368 21932 4294967295 134512640 134714540 3221221792 3221220432 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22858 21932 1111 63 0 22795 0
vsize: 91432
[startup+1110.38 s]
Raw data (loadavg): 1.07 1.00 1.00 2/59 30816
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92030 0 0 0 110741 307 0 0 25 0 1 0 749290850 93896704 22001 4294967295 134512640 134714540 3221221792 3221220400 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22924 22001 1111 63 0 22861 0
vsize: 91696
[startup+1120.51 s]
Raw data (loadavg): 1.14 1.02 1.01 3/58 30822
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92060 0 0 0 111754 308 0 0 25 0 1 0 749290850 94019584 22031 4294967295 134512640 134714540 3221221792 3221220560 134587964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22954 22031 1111 63 0 22891 0
vsize: 91816
[startup+1130.65 s]
Raw data (loadavg): 1.27 1.05 1.02 2/55 30826
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92079 0 0 0 112767 308 0 0 25 0 1 0 749290850 94154752 22050 4294967295 134512640 134714540 3221221792 3221220412 134613752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22987 22050 1111 63 0 22924 0
vsize: 91948
[startup+1140.65 s]
Raw data (loadavg): 1.23 1.05 1.01 2/55 30826
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92106 0 0 0 113767 309 0 0 25 0 1 0 749290850 94289920 22077 4294967295 134512640 134714540 3221221792 3221220624 134551450 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23020 22077 1111 63 0 22957 0
vsize: 92080
[startup+1150.65 s]
Raw data (loadavg): 1.19 1.05 1.01 2/55 30826
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92173 0 0 0 114767 310 0 0 25 0 1 0 749290850 94560256 22144 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23086 22144 1111 63 0 23023 0
vsize: 92344
[startup+1160.65 s]
Raw data (loadavg): 1.16 1.04 1.01 2/55 30826
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92235 0 0 0 115766 310 0 0 25 0 1 0 749290850 94830592 22206 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23152 22206 1111 63 0 23089 0
vsize: 92608
[startup+1170.65 s]
Raw data (loadavg): 1.14 1.04 1.01 2/55 30826
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92262 0 0 0 116766 311 0 0 25 0 1 0 749290850 94830592 22233 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23152 22233 1111 63 0 23089 0
vsize: 92608
[startup+1174.98 s]
Raw data (loadavg): 1.13 1.04 1.01 1/54 30826
Raw data (stat): 30772 (bsolo_mis) R 30771 7876 7672 0 -1 0 92262 0 0 0 116766 311 0 0 25 0 1 0 749290850 94830592 22233 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23152 22233 1111 63 0 23089 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.1
CPU user time (s): 1171.95
CPU system time (s): 3.15252
CPU usage (%): 100.01
Max. virtual memory (Kb): 92608
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####