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/submitted/manquinho/logic-synthesis/normalized-f51m.b.opb
MD5SUM	4fc22abde8250807abd95442a25fac44
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	18
Optimality of the best value was proved	NO
Number of terms in the objective function	407
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	407
Number of bits of the sum of numbers in the objective function	9
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	407
Number of bits of the biggest sum of numbers	9
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02684
Number of variables	406
Total number of constraints	538
Number of constraints which are clauses	520
Number of constraints which are cardinality constraints (but not clauses)	18
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	123
Trace number 23484

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 03:18:25 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=615 boxname=wulflinc31 idbench=69 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  4fc22abde8250807abd95442a25fac44  /oldhome/oroussel/tmp/wulflinc31/normalized-f51m.b.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-f51m.b.opb
IDLAUNCH: 615
/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:        915708 kB
Buffers:         41332 kB
Cached:          55508 kB
SwapCached:        944 kB
Active:          80552 kB
Inactive:        18760 kB
HighTotal:      131008 kB
HighFree:        74536 kB
LowTotal:       903652 kB
LowFree:        841172 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14164 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 03:38:27 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 615 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 407 variables and 520 constraints.
c After prepocess the problem consists of 402 variables and 421 constraints.
c preprocess terminated 1.034 s
c Initial Lower Bound: 14
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 22 @ 1.072
c NEW SOLUTION FOUND: 21 @ 1.073
c NEW SOLUTION FOUND: 20 @ 1.075
c NEW SOLUTION FOUND: 19 @ 1.082
c NEW SOLUTION FOUND: 18 @ 1.573
#### 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.99 0.97 0.99 2/54 8506
Raw data (stat): 8506 (runsolver) R 8505 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 654099488 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 2288 0 0 0 988 8 0 0 25 0 1 0 654099488 13062144 2262 4294967295 134512640 134714540 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3189 2262 1111 63 0 3126 0
vsize: 12756
[startup+20.0005 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 4422 0 0 0 1982 14 0 0 25 0 1 0 654099488 21864448 4378 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5338 4378 1111 63 0 5275 0
vsize: 21352
[startup+30.0011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 5149 0 0 0 2981 15 0 0 25 0 1 0 654099488 24862720 5101 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6070 5101 1111 63 0 6007 0
vsize: 24280
[startup+40.001 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 5918 0 0 0 3979 17 0 0 25 0 1 0 654099488 28241920 5858 4294967295 134512640 134714540 3221221792 3221220608 134622335 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6895 5858 1111 63 0 6832 0
vsize: 27580
[startup+50.0023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 6453 0 0 0 4978 19 0 0 25 0 1 0 654099488 30396416 6388 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7421 6388 1111 63 0 7358 0
vsize: 29684
[startup+60.0019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 6555 0 0 0 5978 19 0 0 25 0 1 0 654099488 30801920 6490 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7520 6490 1111 63 0 7457 0
vsize: 30080
[startup+70.0018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 7267 0 0 0 6976 21 0 0 25 0 1 0 654099488 33751040 7193 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8240 7193 1111 63 0 8177 0
vsize: 32960
[startup+80.003 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 7436 0 0 0 7976 22 0 0 25 0 1 0 654099488 34598912 7358 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8447 7358 1111 63 0 8384 0
vsize: 33788
[startup+90.0027 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 7493 0 0 0 8976 22 0 0 25 0 1 0 654099488 34734080 7415 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8480 7415 1111 63 0 8417 0
vsize: 33920
[startup+100.004 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 7493 0 0 0 9976 22 0 0 25 0 1 0 654099488 34734080 7415 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8480 7415 1111 63 0 8417 0
vsize: 33920
[startup+110.005 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 7494 0 0 0 10976 22 0 0 25 0 1 0 654099488 34734080 7416 4294967295 134512640 134714540 3221221792 3221220584 134542414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8480 7416 1111 63 0 8417 0
vsize: 33920
[startup+120.005 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 7494 0 0 0 11976 22 0 0 25 0 1 0 654099488 34734080 7416 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8480 7416 1111 63 0 8417 0
vsize: 33920
[startup+130.005 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 7496 0 0 0 12976 23 0 0 25 0 1 0 654099488 34734080 7418 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8480 7418 1111 63 0 8417 0
vsize: 33920
[startup+140.006 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 7496 0 0 0 13976 23 0 0 25 0 1 0 654099488 34734080 7418 4294967295 134512640 134714540 3221221792 3221220516 134622932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8480 7418 1111 63 0 8417 0
vsize: 33920
[startup+150.006 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 7497 0 0 0 14976 23 0 0 25 0 1 0 654099488 34734080 7419 4294967295 134512640 134714540 3221221792 3221220592 134622484 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8480 7419 1111 63 0 8417 0
vsize: 33920
[startup+160.006 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 7499 0 0 0 15976 23 0 0 25 0 1 0 654099488 34734080 7421 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8480 7421 1111 63 0 8417 0
vsize: 33920
[startup+170.006 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8115 0 0 0 16974 25 0 0 25 0 1 0 654099488 37363712 8034 4294967295 134512640 134714540 3221221792 3221220460 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9122 8034 1111 63 0 9059 0
vsize: 36488
[startup+180.006 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8155 0 0 0 17974 25 0 0 25 0 1 0 654099488 37498880 8074 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9155 8074 1111 63 0 9092 0
vsize: 36620
[startup+190.006 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8155 0 0 0 18974 25 0 0 25 0 1 0 654099488 37498880 8074 4294967295 134512640 134714540 3221221792 3221220588 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9155 8074 1111 63 0 9092 0
vsize: 36620
[startup+200.007 s]
Raw data (loadavg): 1.01 0.99 0.99 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8381 0 0 0 19974 26 0 0 25 0 1 0 654099488 38453248 8300 4294967295 134512640 134714540 3221221792 3221220504 134543171 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9388 8300 1111 63 0 9325 0
vsize: 37552
[startup+210.007 s]
Raw data (loadavg): 1.17 1.02 1.01 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8701 0 0 0 20973 27 0 0 25 0 1 0 654099488 39804928 8620 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9718 8620 1111 63 0 9655 0
vsize: 38872
[startup+220.007 s]
Raw data (loadavg): 1.14 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8701 0 0 0 21973 27 0 0 25 0 1 0 654099488 39804928 8620 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9718 8620 1111 63 0 9655 0
vsize: 38872
[startup+230.008 s]
Raw data (loadavg): 1.12 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8823 0 0 0 22973 27 0 0 25 0 1 0 654099488 40210432 8742 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9817 8742 1111 63 0 9754 0
vsize: 39268
[startup+240.008 s]
Raw data (loadavg): 1.18 1.03 1.01 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8862 0 0 0 23973 27 0 0 25 0 1 0 654099488 40345600 8781 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9850 8781 1111 63 0 9787 0
vsize: 39400
[startup+250.008 s]
Raw data (loadavg): 1.15 1.03 1.01 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8957 0 0 0 24973 27 0 0 25 0 1 0 654099488 40751104 8876 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8876 1111 63 0 9886 0
vsize: 39796
[startup+260.007 s]
Raw data (loadavg): 1.13 1.03 1.01 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8957 0 0 0 25973 28 0 0 25 0 1 0 654099488 40751104 8876 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8876 1111 63 0 9886 0
vsize: 39796
[startup+270.007 s]
Raw data (loadavg): 1.11 1.03 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8957 0 0 0 26973 28 0 0 25 0 1 0 654099488 40751104 8876 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8876 1111 63 0 9886 0
vsize: 39796
[startup+280.008 s]
Raw data (loadavg): 1.09 1.03 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8957 0 0 0 27973 28 0 0 25 0 1 0 654099488 40751104 8876 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8876 1111 63 0 9886 0
vsize: 39796
[startup+290.008 s]
Raw data (loadavg): 1.08 1.03 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8957 0 0 0 28974 28 0 0 25 0 1 0 654099488 40751104 8876 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8876 1111 63 0 9886 0
vsize: 39796
[startup+300.008 s]
Raw data (loadavg): 1.06 1.03 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8957 0 0 0 29974 28 0 0 25 0 1 0 654099488 40751104 8876 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8876 1111 63 0 9886 0
vsize: 39796
[startup+310.008 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8957 0 0 0 30974 28 0 0 25 0 1 0 654099488 40751104 8876 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8876 1111 63 0 9886 0
vsize: 39796
[startup+320.008 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8957 0 0 0 31974 28 0 0 25 0 1 0 654099488 40751104 8876 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8876 1111 63 0 9886 0
vsize: 39796
[startup+330.008 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8957 0 0 0 32974 28 0 0 25 0 1 0 654099488 40751104 8876 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8876 1111 63 0 9886 0
vsize: 39796
[startup+340.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8958 0 0 0 33974 28 0 0 25 0 1 0 654099488 40751104 8877 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8877 1111 63 0 9886 0
vsize: 39796
[startup+350.008 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8958 0 0 0 34974 28 0 0 25 0 1 0 654099488 40751104 8877 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8877 1111 63 0 9886 0
vsize: 39796
[startup+360.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8958 0 0 0 35975 28 0 0 25 0 1 0 654099488 40751104 8877 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8877 1111 63 0 9886 0
vsize: 39796
[startup+370.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8959 0 0 0 36975 28 0 0 25 0 1 0 654099488 40751104 8878 4294967295 134512640 134714540 3221221792 3221220528 134622740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8878 1111 63 0 9886 0
vsize: 39796
[startup+380.009 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8959 0 0 0 37975 28 0 0 25 0 1 0 654099488 40751104 8878 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8878 1111 63 0 9886 0
vsize: 39796
[startup+390.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8959 0 0 0 38975 28 0 0 25 0 1 0 654099488 40751104 8878 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8878 1111 63 0 9886 0
vsize: 39796
[startup+400.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8959 0 0 0 39975 28 0 0 25 0 1 0 654099488 40751104 8878 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8878 1111 63 0 9886 0
vsize: 39796
[startup+410.009 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8961 0 0 0 40975 28 0 0 25 0 1 0 654099488 40751104 8880 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8880 1111 63 0 9886 0
vsize: 39796
[startup+420.009 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8961 0 0 0 41975 28 0 0 25 0 1 0 654099488 40751104 8880 4294967295 134512640 134714540 3221221792 3221220528 134622896 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8880 1111 63 0 9886 0
vsize: 39796
[startup+430.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8961 0 0 0 42976 28 0 0 25 0 1 0 654099488 40751104 8880 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9949 8880 1111 63 0 9886 0
vsize: 39796
[startup+440.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8962 0 0 0 43976 28 0 0 25 0 1 0 654099488 40886272 8881 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9982 8881 1111 63 0 9919 0
vsize: 39928
[startup+450.01 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8962 0 0 0 44976 28 0 0 25 0 1 0 654099488 40886272 8881 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9982 8881 1111 63 0 9919 0
vsize: 39928
[startup+460.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8962 0 0 0 45976 28 0 0 25 0 1 0 654099488 40886272 8881 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9982 8881 1111 63 0 9919 0
vsize: 39928
[startup+470.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8964 0 0 0 46976 28 0 0 25 0 1 0 654099488 40886272 8883 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9982 8883 1111 63 0 9919 0
vsize: 39928
[startup+480.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 8964 0 0 0 47976 28 0 0 25 0 1 0 654099488 40886272 8883 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9982 8883 1111 63 0 9919 0
vsize: 39928
[startup+490.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 10166 0 0 0 48973 32 0 0 25 0 1 0 654099488 45805568 10080 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11183 10080 1111 63 0 11120 0
vsize: 44732
[startup+500.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 10766 0 0 0 49972 33 0 0 25 0 1 0 654099488 48640000 10642 4294967295 134512640 134714540 3221221792 3221220348 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11875 10642 1111 63 0 11812 0
vsize: 47500
[startup+510.011 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11144 0 0 0 50971 34 0 0 25 0 1 0 654099488 50270208 11017 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12273 11017 1111 63 0 12210 0
vsize: 49092
[startup+520.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11604 0 0 0 51969 36 0 0 25 0 1 0 654099488 52236288 11467 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11467 1111 63 0 12690 0
vsize: 51012
[startup+530.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11604 0 0 0 52969 36 0 0 25 0 1 0 654099488 52236288 11467 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11467 1111 63 0 12690 0
vsize: 51012
[startup+540.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11606 0 0 0 53969 36 0 0 25 0 1 0 654099488 52236288 11469 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11469 1111 63 0 12690 0
vsize: 51012
[startup+550.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11606 0 0 0 54970 36 0 0 25 0 1 0 654099488 52236288 11469 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11469 1111 63 0 12690 0
vsize: 51012
[startup+560.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11606 0 0 0 55970 36 0 0 25 0 1 0 654099488 52236288 11469 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11469 1111 63 0 12690 0
vsize: 51012
[startup+570.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11606 0 0 0 56970 36 0 0 25 0 1 0 654099488 52236288 11469 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11469 1111 63 0 12690 0
vsize: 51012
[startup+580.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11606 0 0 0 57970 36 0 0 25 0 1 0 654099488 52236288 11469 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11469 1111 63 0 12690 0
vsize: 51012
[startup+590.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11606 0 0 0 58970 36 0 0 25 0 1 0 654099488 52236288 11469 4294967295 134512640 134714540 3221221792 3221220504 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11469 1111 63 0 12690 0
vsize: 51012
[startup+600.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11606 0 0 0 59970 36 0 0 25 0 1 0 654099488 52236288 11469 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11469 1111 63 0 12690 0
vsize: 51012
[startup+610.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11607 0 0 0 60971 36 0 0 25 0 1 0 654099488 52236288 11470 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11470 1111 63 0 12690 0
vsize: 51012
[startup+620.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11607 0 0 0 61971 36 0 0 25 0 1 0 654099488 52236288 11470 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11470 1111 63 0 12690 0
vsize: 51012
[startup+630.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11607 0 0 0 62971 36 0 0 25 0 1 0 654099488 52236288 11470 4294967295 134512640 134714540 3221221792 3221220504 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11470 1111 63 0 12690 0
vsize: 51012
[startup+640.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11607 0 0 0 63971 36 0 0 25 0 1 0 654099488 52236288 11470 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11470 1111 63 0 12690 0
vsize: 51012
[startup+650.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11607 0 0 0 64971 36 0 0 25 0 1 0 654099488 52236288 11470 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11470 1111 63 0 12690 0
vsize: 51012
[startup+660.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11607 0 0 0 65971 36 0 0 25 0 1 0 654099488 52236288 11470 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11470 1111 63 0 12690 0
vsize: 51012
[startup+670.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11609 0 0 0 66972 36 0 0 25 0 1 0 654099488 52236288 11472 4294967295 134512640 134714540 3221221792 3221220520 134622831 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11472 1111 63 0 12690 0
vsize: 51012
[startup+680.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11609 0 0 0 67972 36 0 0 25 0 1 0 654099488 52236288 11472 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11472 1111 63 0 12690 0
vsize: 51012
[startup+690.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11609 0 0 0 68972 36 0 0 25 0 1 0 654099488 52236288 11472 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11472 1111 63 0 12690 0
vsize: 51012
[startup+700.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11609 0 0 0 69972 36 0 0 25 0 1 0 654099488 52236288 11472 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11472 1111 63 0 12690 0
vsize: 51012
[startup+710.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11609 0 0 0 70972 36 0 0 25 0 1 0 654099488 52236288 11472 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11472 1111 63 0 12690 0
vsize: 51012
[startup+720.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11610 0 0 0 71972 37 0 0 25 0 1 0 654099488 52236288 11473 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11473 1111 63 0 12690 0
vsize: 51012
[startup+730.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11610 0 0 0 72972 37 0 0 25 0 1 0 654099488 52236288 11473 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11473 1111 63 0 12690 0
vsize: 51012
[startup+740.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11610 0 0 0 73972 37 0 0 25 0 1 0 654099488 52236288 11473 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11473 1111 63 0 12690 0
vsize: 51012
[startup+750.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11610 0 0 0 74972 37 0 0 25 0 1 0 654099488 52236288 11473 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11473 1111 63 0 12690 0
vsize: 51012
[startup+760.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11610 0 0 0 75972 37 0 0 25 0 1 0 654099488 52236288 11473 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11473 1111 63 0 12690 0
vsize: 51012
[startup+770.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11612 0 0 0 76972 37 0 0 25 0 1 0 654099488 52236288 11475 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11475 1111 63 0 12690 0
vsize: 51012
[startup+780.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11612 0 0 0 77973 37 0 0 25 0 1 0 654099488 52236288 11475 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11475 1111 63 0 12690 0
vsize: 51012
[startup+790.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11612 0 0 0 78973 37 0 0 25 0 1 0 654099488 52236288 11475 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11475 1111 63 0 12690 0
vsize: 51012
[startup+800.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11612 0 0 0 79973 37 0 0 25 0 1 0 654099488 52236288 11475 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11475 1111 63 0 12690 0
vsize: 51012
[startup+810.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11612 0 0 0 80973 37 0 0 25 0 1 0 654099488 52236288 11475 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11475 1111 63 0 12690 0
vsize: 51012
[startup+820.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11613 0 0 0 81973 37 0 0 25 0 1 0 654099488 52236288 11476 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11476 1111 63 0 12690 0
vsize: 51012
[startup+830.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11613 0 0 0 82973 37 0 0 25 0 1 0 654099488 52236288 11476 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11476 1111 63 0 12690 0
vsize: 51012
[startup+840.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11613 0 0 0 83974 37 0 0 25 0 1 0 654099488 52236288 11476 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11476 1111 63 0 12690 0
vsize: 51012
[startup+850.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11613 0 0 0 84974 37 0 0 25 0 1 0 654099488 52236288 11476 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11476 1111 63 0 12690 0
vsize: 51012
[startup+860.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11615 0 0 0 85974 38 0 0 25 0 1 0 654099488 52236288 11478 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11478 1111 63 0 12690 0
vsize: 51012
[startup+870.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11615 0 0 0 86974 38 0 0 25 0 1 0 654099488 52236288 11478 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11478 1111 63 0 12690 0
vsize: 51012
[startup+880.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11615 0 0 0 87974 38 0 0 25 0 1 0 654099488 52236288 11478 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11478 1111 63 0 12690 0
vsize: 51012
[startup+890.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11615 0 0 0 88974 38 0 0 25 0 1 0 654099488 52236288 11478 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11478 1111 63 0 12690 0
vsize: 51012
[startup+900.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11616 0 0 0 89974 38 0 0 25 0 1 0 654099488 52236288 11479 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11479 1111 63 0 12690 0
vsize: 51012
[startup+910.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11616 0 0 0 90975 38 0 0 25 0 1 0 654099488 52236288 11479 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11479 1111 63 0 12690 0
vsize: 51012
[startup+920.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11616 0 0 0 91975 38 0 0 25 0 1 0 654099488 52236288 11479 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11479 1111 63 0 12690 0
vsize: 51012
[startup+930.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11618 0 0 0 92975 38 0 0 25 0 1 0 654099488 52236288 11481 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11481 1111 63 0 12690 0
vsize: 51012
[startup+940.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11618 0 0 0 93975 38 0 0 25 0 1 0 654099488 52236288 11481 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11481 1111 63 0 12690 0
vsize: 51012
[startup+950.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11618 0 0 0 94975 38 0 0 25 0 1 0 654099488 52236288 11481 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11481 1111 63 0 12690 0
vsize: 51012
[startup+960.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11619 0 0 0 95975 38 0 0 25 0 1 0 654099488 52236288 11482 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11482 1111 63 0 12690 0
vsize: 51012
[startup+970.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 11619 0 0 0 96976 38 0 0 25 0 1 0 654099488 52236288 11482 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12753 11482 1111 63 0 12690 0
vsize: 51012
[startup+980.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 12072 0 0 0 97974 39 0 0 25 0 1 0 654099488 54030336 11932 4294967295 134512640 134714540 3221221792 3221220488 134536872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13191 11932 1111 63 0 13128 0
vsize: 52764
[startup+990.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 13117 0 0 0 98971 43 0 0 25 0 1 0 654099488 58449920 12967 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14270 12967 1111 63 0 14207 0
vsize: 57080
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 14351 0 0 0 99967 47 0 0 25 0 1 0 654099488 63541248 14179 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15513 14179 1111 63 0 15450 0
vsize: 62052
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 14378 0 0 0 100967 47 0 0 25 0 1 0 654099488 63676416 14206 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15546 14206 1111 63 0 15483 0
vsize: 62184
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 14493 0 0 0 101967 48 0 0 25 0 1 0 654099488 64221184 14320 4294967295 134512640 134714540 3221221792 3221220504 134543130 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15679 14320 1111 63 0 15616 0
vsize: 62716
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 16114 0 0 0 102962 52 0 0 25 0 1 0 654099488 70197248 15801 4294967295 134512640 134714540 3221221792 3221220564 134624473 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17138 15801 1111 63 0 17075 0
vsize: 68552
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 17563 0 0 0 103958 56 0 0 25 0 1 0 654099488 76247040 17233 4294967295 134512640 134714540 3221221792 3221220544 134624959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18615 17233 1111 63 0 18552 0
vsize: 74460
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 18629 0 0 0 104955 59 0 0 25 0 1 0 654099488 80576512 18298 4294967295 134512640 134714540 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19672 18298 1111 63 0 19609 0
vsize: 78688
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 19058 0 0 0 105955 60 0 0 25 0 1 0 654099488 82333696 18727 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20101 18727 1111 63 0 20038 0
vsize: 80404
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 19062 0 0 0 106955 60 0 0 25 0 1 0 654099488 82333696 18731 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20101 18731 1111 63 0 20038 0
vsize: 80404
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 19423 0 0 0 107954 62 0 0 25 0 1 0 654099488 83902464 19082 4294967295 134512640 134714540 3221221792 3221220504 134543125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20484 19082 1111 63 0 20421 0
vsize: 81936
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 19667 0 0 0 108953 62 0 0 25 0 1 0 654099488 84848640 19326 4294967295 134512640 134714540 3221221792 3221220516 134622811 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20715 19326 1111 63 0 20652 0
vsize: 82860
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 19811 0 0 0 109953 63 0 0 25 0 1 0 654099488 85389312 19470 4294967295 134512640 134714540 3221221792 3221220588 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20847 19470 1111 63 0 20784 0
vsize: 83388
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 19917 0 0 0 110953 63 0 0 25 0 1 0 654099488 85794816 19576 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20946 19576 1111 63 0 20883 0
vsize: 83784
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 20653 0 0 0 111952 64 0 0 25 0 1 0 654099488 89112576 19973 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21756 19973 1111 63 0 21693 0
vsize: 87024
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 20655 0 0 0 112952 64 0 0 25 0 1 0 654099488 89112576 19975 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21756 19975 1111 63 0 21693 0
vsize: 87024
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 20658 0 0 0 113952 64 0 0 25 0 1 0 654099488 89112576 19978 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21756 19978 1111 63 0 21693 0
vsize: 87024
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 20864 0 0 0 114952 65 0 0 25 0 1 0 654099488 89956352 20183 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21962 20183 1111 63 0 21899 0
vsize: 87848
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 20909 0 0 0 115952 65 0 0 25 0 1 0 654099488 90091520 20228 4294967295 134512640 134714540 3221221792 3221220584 134558485 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21995 20228 1111 63 0 21932 0
vsize: 87980
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 21013 0 0 0 116952 65 0 0 25 0 1 0 654099488 90497024 20332 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22094 20332 1111 63 0 22031 0
vsize: 88376
[startup+1180.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 21013 0 0 0 117952 65 0 0 25 0 1 0 654099488 90497024 20332 4294967295 134512640 134714540 3221221792 3221220592 134622574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22094 20332 1111 63 0 22031 0
vsize: 88376
[startup+1190.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 21013 0 0 0 118952 65 0 0 25 0 1 0 654099488 90497024 20332 4294967295 134512640 134714540 3221221792 3221220504 134543165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22094 20332 1111 63 0 22031 0
vsize: 88376
[startup+1200.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 8506
Raw data (stat): 8506 (bsolo_mis) R 8505 7876 7672 0 -1 0 21013 0 0 0 119952 65 0 0 25 0 1 0 654099488 90497024 20332 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22094 20332 1111 63 0 22031 0
vsize: 88376
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 8506
Raw data (stat): 8506 (bsolo_mis) Z 8505 7876 7672 0 -1 1036 21013 0 0 0 119952 69 0 0 25 0 1 0 654099488 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.07
CPU time (s): 1200.22
CPU user time (s): 1199.53
CPU system time (s): 0.694894
CPU usage (%): 100.013
Max. virtual memory (Kb): 88376
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####