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-5xp1.b.opb
MD5SUM	24a8f38e94b07e6ca192a34c96c24c6e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	12
Optimality of the best value was proved	NO
Number of terms in the objective function	465
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	465
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	465
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.03084
Number of variables	464
Total number of constraints	859
Number of constraints which are clauses	845
Number of constraints which are cardinality constraints (but not clauses)	14
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	149
Trace number 23434

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 14:14:12 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=525 boxname=wulflinc31 idbench=59 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  24a8f38e94b07e6ca192a34c96c24c6e  /oldhome/oroussel/tmp/wulflinc31/normalized-5xp1.b.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-5xp1.b.opb
IDLAUNCH: 525
/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:        920064 kB
Buffers:         40064 kB
Cached:          52424 kB
SwapCached:        944 kB
Active:          77664 kB
Inactive:        17236 kB
HighTotal:      131008 kB
HighFree:        77644 kB
LowTotal:       903652 kB
LowFree:        842420 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14148 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 14:34:15 (client local time) WITH STATUS 0 IN 1200.15 SECONDS
stats: 525 7 1200.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 465 variables and 845 constraints.
c After prepocess the problem consists of 464 variables and 754 constraints.
c preprocess terminated 2.717 s
c Initial Lower Bound: 7
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 17 @ 2.824
c NEW SOLUTION FOUND: 16 @ 2.825
c NEW SOLUTION FOUND: 15 @ 2.833
c NEW SOLUTION FOUND: 14 @ 3.649
c NEW SOLUTION FOUND: 13 @ 223.224
#### 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.98 2/54 2981
Raw data (stat): 2981 (runsolver) R 2980 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 649393719 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.0003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 3139 0 0 0 977 11 0 0 25 0 1 0 649393719 16470016 3114 4294967295 134512640 134714540 3221221792 3221220556 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4021 3114 1111 63 0 3958 0
vsize: 16084
[startup+20.0011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 4337 0 0 0 1973 15 0 0 25 0 1 0 649393719 21536768 4305 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5258 4305 1111 63 0 5195 0
vsize: 21032
[startup+30.001 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 4435 0 0 0 2973 15 0 0 25 0 1 0 649393719 21950464 4401 4294967295 134512640 134714540 3221221792 3221220508 134543156 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5359 4401 1111 63 0 5296 0
vsize: 21436
[startup+40.0009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 5756 0 0 0 3970 19 0 0 25 0 1 0 649393719 27500544 5706 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6714 5706 1111 63 0 6651 0
vsize: 26856
[startup+50.0018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 6374 0 0 0 4968 21 0 0 25 0 1 0 649393719 29970432 6319 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7317 6319 1111 63 0 7254 0
vsize: 29268
[startup+60.0018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 6907 0 0 0 5968 21 0 0 25 0 1 0 649393719 32296960 6846 4294967295 134512640 134714540 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7885 6846 1111 63 0 7822 0
vsize: 31540
[startup+70.0027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7063 0 0 0 6967 22 0 0 25 0 1 0 649393719 32989184 7002 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7002 1111 63 0 7991 0
vsize: 32216
[startup+80.0036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7063 0 0 0 7968 22 0 0 25 0 1 0 649393719 32989184 7002 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7002 1111 63 0 7991 0
vsize: 32216
[startup+90.0036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7063 0 0 0 8968 22 0 0 25 0 1 0 649393719 32989184 7002 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7002 1111 63 0 7991 0
vsize: 32216
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7065 0 0 0 9968 22 0 0 25 0 1 0 649393719 32989184 7004 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7004 1111 63 0 7991 0
vsize: 32216
[startup+110.003 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7065 0 0 0 10968 22 0 0 25 0 1 0 649393719 32989184 7004 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7004 1111 63 0 7991 0
vsize: 32216
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7065 0 0 0 11968 22 0 0 25 0 1 0 649393719 32989184 7004 4294967295 134512640 134714540 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7004 1111 63 0 7991 0
vsize: 32216
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7066 0 0 0 12968 22 0 0 25 0 1 0 649393719 32989184 7005 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7005 1111 63 0 7991 0
vsize: 32216
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7066 0 0 0 13969 22 0 0 25 0 1 0 649393719 32989184 7005 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7005 1111 63 0 7991 0
vsize: 32216
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7068 0 0 0 14969 22 0 0 25 0 1 0 649393719 32989184 7007 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7007 1111 63 0 7991 0
vsize: 32216
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7068 0 0 0 15969 22 0 0 25 0 1 0 649393719 32989184 7007 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7007 1111 63 0 7991 0
vsize: 32216
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7069 0 0 0 16969 22 0 0 25 0 1 0 649393719 32989184 7008 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7008 1111 63 0 7991 0
vsize: 32216
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7069 0 0 0 17969 22 0 0 25 0 1 0 649393719 32989184 7008 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7008 1111 63 0 7991 0
vsize: 32216
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7071 0 0 0 18970 22 0 0 25 0 1 0 649393719 32989184 7010 4294967295 134512640 134714540 3221221792 3221220608 134622547 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7010 1111 63 0 7991 0
vsize: 32216
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7072 0 0 0 19970 22 0 0 25 0 1 0 649393719 32989184 7011 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7011 1111 63 0 7991 0
vsize: 32216
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 7074 0 0 0 20970 22 0 0 25 0 1 0 649393719 32989184 7013 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8054 7013 1111 63 0 7991 0
vsize: 32216
[startup+220.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 8583 0 0 0 21965 27 0 0 25 0 1 0 649393719 39124992 8518 4294967295 134512640 134714540 3221221792 3221220364 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9552 8518 1111 63 0 9489 0
vsize: 38208
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.98 3/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 9299 0 0 0 22962 30 0 0 25 0 1 0 649393719 42164224 9226 4294967295 134512640 134714540 3221221792 3221220552 134536904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10294 9226 1111 63 0 10231 0
vsize: 41176
[startup+240.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 9515 0 0 0 23962 30 0 0 25 0 1 0 649393719 42975232 9441 4294967295 134512640 134714540 3221221792 3221220252 134535970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10492 9441 1111 63 0 10429 0
vsize: 41968
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 10805 0 0 0 24958 34 0 0 25 0 1 0 649393719 48513024 10696 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11844 10696 1111 63 0 11781 0
vsize: 47376
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 11547 0 0 0 25956 36 0 0 25 0 1 0 649393719 51499008 11435 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12573 11435 1111 63 0 12510 0
vsize: 50292
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 11615 0 0 0 26956 37 0 0 25 0 1 0 649393719 51933184 11499 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12679 11499 1111 63 0 12616 0
vsize: 50716
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 11662 0 0 0 27956 37 0 0 25 0 1 0 649393719 52068352 11546 4294967295 134512640 134714540 3221221792 3221220576 134622611 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12712 11546 1111 63 0 12649 0
vsize: 50848
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 11662 0 0 0 28956 37 0 0 25 0 1 0 649393719 52068352 11546 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12712 11546 1111 63 0 12649 0
vsize: 50848
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 12176 0 0 0 29955 38 0 0 25 0 1 0 649393719 54124544 12056 4294967295 134512640 134714540 3221221792 3221220304 134542334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13214 12056 1111 63 0 13151 0
vsize: 52856
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 12587 0 0 0 30953 40 0 0 25 0 1 0 649393719 55881728 12467 4294967295 134512640 134714540 3221221792 3221220492 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13643 12467 1111 63 0 13580 0
vsize: 54572
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 12668 0 0 0 31953 40 0 0 25 0 1 0 649393719 56352768 12539 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13758 12539 1111 63 0 13695 0
vsize: 55032
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 12668 0 0 0 32953 40 0 0 25 0 1 0 649393719 56352768 12539 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13758 12539 1111 63 0 13695 0
vsize: 55032
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 12818 0 0 0 33953 41 0 0 25 0 1 0 649393719 56893440 12689 4294967295 134512640 134714540 3221221792 3221220528 134695306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13890 12689 1111 63 0 13827 0
vsize: 55560
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13131 0 0 0 34952 42 0 0 25 0 1 0 649393719 58126336 13000 4294967295 134512640 134714540 3221221792 3221220512 134622812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14191 13000 1111 63 0 14128 0
vsize: 56764
[startup+360.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13169 0 0 0 35952 42 0 0 25 0 1 0 649393719 58261504 13038 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14224 13038 1111 63 0 14161 0
vsize: 56896
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13169 0 0 0 36952 42 0 0 25 0 1 0 649393719 58261504 13038 4294967295 134512640 134714540 3221221792 3221220576 134622323 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14224 13038 1111 63 0 14161 0
vsize: 56896
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13171 0 0 0 37953 42 0 0 25 0 1 0 649393719 58396672 13040 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13040 1111 63 0 14194 0
vsize: 57028
[startup+390.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13171 0 0 0 38952 42 0 0 25 0 1 0 649393719 58396672 13040 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13040 1111 63 0 14194 0
vsize: 57028
[startup+400.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13171 0 0 0 39952 43 0 0 25 0 1 0 649393719 58396672 13040 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13040 1111 63 0 14194 0
vsize: 57028
[startup+410.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13171 0 0 0 40952 43 0 0 25 0 1 0 649393719 58396672 13040 4294967295 134512640 134714540 3221221792 3221220608 134622625 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13040 1111 63 0 14194 0
vsize: 57028
[startup+420.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13173 0 0 0 41952 43 0 0 25 0 1 0 649393719 58396672 13042 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13042 1111 63 0 14194 0
vsize: 57028
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13173 0 0 0 42953 43 0 0 25 0 1 0 649393719 58396672 13042 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13042 1111 63 0 14194 0
vsize: 57028
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13174 0 0 0 43953 43 0 0 25 0 1 0 649393719 58396672 13043 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13043 1111 63 0 14194 0
vsize: 57028
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13174 0 0 0 44953 43 0 0 25 0 1 0 649393719 58396672 13043 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13043 1111 63 0 14194 0
vsize: 57028
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13176 0 0 0 45953 43 0 0 25 0 1 0 649393719 58396672 13045 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13045 1111 63 0 14194 0
vsize: 57028
[startup+470.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13177 0 0 0 46953 43 0 0 25 0 1 0 649393719 58396672 13046 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13046 1111 63 0 14194 0
vsize: 57028
[startup+480.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13179 0 0 0 47953 43 0 0 25 0 1 0 649393719 58396672 13048 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13048 1111 63 0 14194 0
vsize: 57028
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13180 0 0 0 48953 43 0 0 25 0 1 0 649393719 58396672 13049 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14257 13049 1111 63 0 14194 0
vsize: 57028
[startup+500.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13255 0 0 0 49953 43 0 0 25 0 1 0 649393719 58671104 13124 4294967295 134512640 134714540 3221221792 3221220536 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14324 13124 1111 63 0 14261 0
vsize: 57296
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 13906 0 0 0 50951 46 0 0 25 0 1 0 649393719 61513728 13765 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15018 13765 1111 63 0 14955 0
vsize: 60072
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 14425 0 0 0 51950 47 0 0 25 0 1 0 649393719 63676416 14283 4294967295 134512640 134714540 3221221792 3221220488 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15546 14283 1111 63 0 15483 0
vsize: 62184
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 14927 0 0 0 52949 48 0 0 25 0 1 0 649393719 65208320 14639 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15920 14639 1111 63 0 15857 0
vsize: 63680
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 15387 0 0 0 53948 50 0 0 25 0 1 0 649393719 67108864 15096 4294967295 134512640 134714540 3221221792 3221220576 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16384 15096 1111 63 0 16321 0
vsize: 65536
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 15918 0 0 0 54946 51 0 0 25 0 1 0 649393719 69181440 15622 4294967295 134512640 134714540 3221221792 3221220504 134625104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16890 15622 1111 63 0 16827 0
vsize: 67560
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 16068 0 0 0 55946 52 0 0 25 0 1 0 649393719 69861376 15772 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17056 15772 1111 63 0 16993 0
vsize: 68224
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 16101 0 0 0 56946 52 0 0 25 0 1 0 649393719 69996544 15805 4294967295 134512640 134714540 3221221792 3221220552 134543138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17089 15805 1111 63 0 17026 0
vsize: 68356
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 16137 0 0 0 57946 52 0 0 25 0 1 0 649393719 70131712 15841 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17122 15841 1111 63 0 17059 0
vsize: 68488
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 16308 0 0 0 58946 53 0 0 25 0 1 0 649393719 70807552 16012 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17287 16012 1111 63 0 17224 0
vsize: 69148
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 16311 0 0 0 59946 53 0 0 25 0 1 0 649393719 70807552 16015 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17287 16015 1111 63 0 17224 0
vsize: 69148
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 16311 0 0 0 60946 53 0 0 25 0 1 0 649393719 70807552 16015 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17287 16015 1111 63 0 17224 0
vsize: 69148
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 16312 0 0 0 61946 53 0 0 25 0 1 0 649393719 70807552 16016 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17287 16016 1111 63 0 17224 0
vsize: 69148
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 16373 0 0 0 62946 53 0 0 25 0 1 0 649393719 71077888 16077 4294967295 134512640 134714540 3221221792 3221220512 134625099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17353 16077 1111 63 0 17290 0
vsize: 69412
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 17176 0 0 0 63944 55 0 0 25 0 1 0 649393719 74457088 16779 4294967295 134512640 134714540 3221221792 3221220496 134625153 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18178 16779 1111 63 0 18115 0
vsize: 72712
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 17687 0 0 0 64942 57 0 0 25 0 1 0 649393719 76697600 17158 4294967295 134512640 134714540 3221221792 3221220520 134622752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17158 1111 63 0 18662 0
vsize: 74900
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 17688 0 0 0 65942 57 0 0 25 0 1 0 649393719 76697600 17159 4294967295 134512640 134714540 3221221792 3221220528 134556745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17159 1111 63 0 18662 0
vsize: 74900
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 17707 0 0 0 66942 58 0 0 25 0 1 0 649393719 76697600 17178 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17178 1111 63 0 18662 0
vsize: 74900
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 17707 0 0 0 67942 58 0 0 25 0 1 0 649393719 76697600 17178 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17178 1111 63 0 18662 0
vsize: 74900
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 17707 0 0 0 68942 58 0 0 25 0 1 0 649393719 76697600 17178 4294967295 134512640 134714540 3221221792 3221220508 134543192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17178 1111 63 0 18662 0
vsize: 74900
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 17707 0 0 0 69942 58 0 0 25 0 1 0 649393719 76697600 17178 4294967295 134512640 134714540 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17178 1111 63 0 18662 0
vsize: 74900
[startup+710.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 17707 0 0 0 70942 58 0 0 25 0 1 0 649393719 76697600 17178 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18725 17178 1111 63 0 18662 0
vsize: 74900
[startup+720.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 17887 0 0 0 71942 58 0 0 25 0 1 0 649393719 77565952 17354 4294967295 134512640 134714540 3221221792 3221220488 134536904 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18937 17354 1111 63 0 18874 0
vsize: 75748
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 18211 0 0 0 72941 60 0 0 25 0 1 0 649393719 78802944 17675 4294967295 134512640 134714540 3221221792 3221220596 134622267 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19239 17675 1111 63 0 19176 0
vsize: 76956
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 18463 0 0 0 73940 61 0 0 25 0 1 0 649393719 79892480 17926 4294967295 134512640 134714540 3221221792 3221220528 134695346 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19505 17926 1111 63 0 19442 0
vsize: 78020
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 18544 0 0 0 74940 61 0 0 25 0 1 0 649393719 80162816 18007 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19571 18007 1111 63 0 19508 0
vsize: 78284
[startup+760.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 18544 0 0 0 75940 61 0 0 25 0 1 0 649393719 80162816 18007 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19571 18007 1111 63 0 19508 0
vsize: 78284
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 18546 0 0 0 76940 61 0 0 25 0 1 0 649393719 80162816 18009 4294967295 134512640 134714540 3221221792 3221220504 134558617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19571 18009 1111 63 0 19508 0
vsize: 78284
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 18589 0 0 0 77940 61 0 0 25 0 1 0 649393719 80359424 18052 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19619 18052 1111 63 0 19556 0
vsize: 78476
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 18601 0 0 0 78940 62 0 0 25 0 1 0 649393719 80494592 18064 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19652 18064 1111 63 0 19589 0
vsize: 78608
[startup+800.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 18601 0 0 0 79940 62 0 0 25 0 1 0 649393719 80494592 18064 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19652 18064 1111 63 0 19589 0
vsize: 78608
[startup+810.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 18762 0 0 0 80940 62 0 0 25 0 1 0 649393719 81235968 18215 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19833 18215 1111 63 0 19770 0
vsize: 79332
[startup+820.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 19815 0 0 0 81936 66 0 0 25 0 1 0 649393719 85524480 19260 4294967295 134512640 134714540 3221221792 3221220496 134625148 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20880 19260 1111 63 0 20817 0
vsize: 83520
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 20890 0 0 0 82934 69 0 0 25 0 1 0 649393719 89964544 20321 4294967295 134512640 134714540 3221221792 3221220528 134622796 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21964 20321 1111 63 0 21901 0
vsize: 87856
[startup+840.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 21230 0 0 0 83932 70 0 0 25 0 1 0 649393719 91467776 20646 4294967295 134512640 134714540 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22331 20646 1111 63 0 22268 0
vsize: 89324
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 22500 0 0 0 84929 74 0 0 25 0 1 0 649393719 96030720 21747 4294967295 134512640 134714540 3221221792 3221220512 134625095 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23445 21747 1111 63 0 23382 0
vsize: 93780
[startup+860.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 23335 0 0 0 85927 76 0 0 25 0 1 0 649393719 99524608 22569 4294967295 134512640 134714540 3221221792 3221220536 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24298 22569 1111 63 0 24235 0
vsize: 97192
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 23598 0 0 0 86926 77 0 0 25 0 1 0 649393719 100605952 22832 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24562 22832 1111 63 0 24499 0
vsize: 98248
[startup+880.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 23871 0 0 0 87925 78 0 0 25 0 1 0 649393719 101715968 23104 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24833 23104 1111 63 0 24770 0
vsize: 99332
[startup+890.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 23878 0 0 0 88925 78 0 0 25 0 1 0 649393719 101715968 23111 4294967295 134512640 134714540 3221221792 3221220528 134622803 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24833 23111 1111 63 0 24770 0
vsize: 99332
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 23934 0 0 0 89926 78 0 0 25 0 1 0 649393719 101851136 23167 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24866 23167 1111 63 0 24803 0
vsize: 99464
[startup+910.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 23941 0 0 0 90926 78 0 0 25 0 1 0 649393719 101986304 23174 4294967295 134512640 134714540 3221221792 3221220504 134558477 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24899 23174 1111 63 0 24836 0
vsize: 99596
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 23941 0 0 0 91926 78 0 0 25 0 1 0 649393719 101986304 23174 4294967295 134512640 134714540 3221221792 3221220516 134622883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24899 23174 1111 63 0 24836 0
vsize: 99596
[startup+930.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24327 0 0 0 92925 79 0 0 25 0 1 0 649393719 103473152 23559 4294967295 134512640 134714540 3221221792 3221220588 134536888 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25262 23559 1111 63 0 25199 0
vsize: 101048
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24469 0 0 0 93924 80 0 0 25 0 1 0 649393719 104148992 23701 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23701 1111 63 0 25364 0
vsize: 101708
[startup+950.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24487 0 0 0 94924 81 0 0 25 0 1 0 649393719 104148992 23719 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23719 1111 63 0 25364 0
vsize: 101708
[startup+960.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24487 0 0 0 95924 81 0 0 25 0 1 0 649393719 104148992 23719 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23719 1111 63 0 25364 0
vsize: 101708
[startup+970.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24487 0 0 0 96924 81 0 0 25 0 1 0 649393719 104148992 23719 4294967295 134512640 134714540 3221221792 3221220592 134622574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23719 1111 63 0 25364 0
vsize: 101708
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24488 0 0 0 97924 81 0 0 25 0 1 0 649393719 104148992 23720 4294967295 134512640 134714540 3221221792 3221220572 134622696 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23720 1111 63 0 25364 0
vsize: 101708
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24488 0 0 0 98924 81 0 0 25 0 1 0 649393719 104148992 23720 4294967295 134512640 134714540 3221221792 3221220588 134543553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23720 1111 63 0 25364 0
vsize: 101708
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24488 0 0 0 99924 81 0 0 25 0 1 0 649393719 104148992 23720 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23720 1111 63 0 25364 0
vsize: 101708
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24490 0 0 0 100924 81 0 0 25 0 1 0 649393719 104148992 23722 4294967295 134512640 134714540 3221221792 3221220520 134622758 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23722 1111 63 0 25364 0
vsize: 101708
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24490 0 0 0 101924 81 0 0 25 0 1 0 649393719 104148992 23722 4294967295 134512640 134714540 3221221792 3221220504 134543157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23722 1111 63 0 25364 0
vsize: 101708
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24491 0 0 0 102925 82 0 0 25 0 1 0 649393719 104148992 23723 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23723 1111 63 0 25364 0
vsize: 101708
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24491 0 0 0 103925 82 0 0 25 0 1 0 649393719 104148992 23723 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23723 1111 63 0 25364 0
vsize: 101708
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24491 0 0 0 104925 82 0 0 25 0 1 0 649393719 104148992 23723 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23723 1111 63 0 25364 0
vsize: 101708
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24493 0 0 0 105925 82 0 0 25 0 1 0 649393719 104148992 23725 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23725 1111 63 0 25364 0
vsize: 101708
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24493 0 0 0 106925 82 0 0 25 0 1 0 649393719 104148992 23725 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23725 1111 63 0 25364 0
vsize: 101708
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24494 0 0 0 107925 82 0 0 25 0 1 0 649393719 104148992 23726 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23726 1111 63 0 25364 0
vsize: 101708
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24494 0 0 0 108925 82 0 0 25 0 1 0 649393719 104148992 23726 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23726 1111 63 0 25364 0
vsize: 101708
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24496 0 0 0 109925 82 0 0 25 0 1 0 649393719 104148992 23728 4294967295 134512640 134714540 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23728 1111 63 0 25364 0
vsize: 101708
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24496 0 0 0 110926 82 0 0 25 0 1 0 649393719 104148992 23728 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23728 1111 63 0 25364 0
vsize: 101708
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24497 0 0 0 111926 82 0 0 25 0 1 0 649393719 104148992 23729 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23729 1111 63 0 25364 0
vsize: 101708
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24499 0 0 0 112926 82 0 0 25 0 1 0 649393719 104148992 23731 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25427 23731 1111 63 0 25364 0
vsize: 101708
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24621 0 0 0 113925 83 0 0 25 0 1 0 649393719 104701952 23853 4294967295 134512640 134714540 3221221792 3221220272 1077377192 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25562 23853 1111 63 0 25499 0
vsize: 102248
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24741 0 0 0 114925 83 0 0 25 0 1 0 649393719 105107456 23973 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25661 23973 1111 63 0 25598 0
vsize: 102644
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24741 0 0 0 115925 83 0 0 25 0 1 0 649393719 105107456 23973 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25661 23973 1111 63 0 25598 0
vsize: 102644
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24741 0 0 0 116925 83 0 0 25 0 1 0 649393719 105107456 23973 4294967295 134512640 134714540 3221221792 3221220568 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25661 23973 1111 63 0 25598 0
vsize: 102644
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24741 0 0 0 117925 83 0 0 25 0 1 0 649393719 105107456 23973 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25661 23973 1111 63 0 25598 0
vsize: 102644
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24741 0 0 0 118926 83 0 0 25 0 1 0 649393719 105107456 23973 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25661 23973 1111 63 0 25598 0
vsize: 102644
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 2981
Raw data (stat): 2981 (bsolo_mis) R 2980 7876 7672 0 -1 0 24741 0 0 0 119926 83 0 0 25 0 1 0 649393719 105107456 23973 4294967295 134512640 134714540 3221221792 3221220588 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25661 23973 1111 63 0 25598 0
vsize: 102644
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.98 1/54 2981
Raw data (stat): 2981 (bsolo_mis) Z 2980 7876 7672 0 -1 1036 24741 0 0 0 119926 88 0 0 25 0 1 0 649393719 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.08
CPU time (s): 1200.15
CPU user time (s): 1199.26
CPU system time (s): 0.883865
CPU usage (%): 100.006
Max. virtual memory (Kb): 102644
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####