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/course-ass/normalized-ss97-6.opb
MD5SUM	5d90b7cbb5bac2aa14257b9c5448f25d
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	304
Optimality of the best value was proved	NO
Number of terms in the objective function	173
Biggest coefficient in the objective function	100
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	8448
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	100
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	8448
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05184
Number of variables	257
Total number of constraints	353
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	353
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	44
Trace number 24919

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-14 21:10:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3198 boxname=wulflinc31 idbench=356 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  5d90b7cbb5bac2aa14257b9c5448f25d  /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-6.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ss97-6.opb
IDLAUNCH: 3198
/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:        822672 kB
Buffers:         39752 kB
Cached:         150688 kB
SwapCached:       1932 kB
Active:         155068 kB
Inactive:        38604 kB
HighTotal:      131008 kB
HighFree:         1344 kB
LowTotal:       903652 kB
LowFree:        821328 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12640 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-14 21:30:05 (client local time) WITH STATUS 0 IN 1200.31 SECONDS
stats: 3198 7 1200.31 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 257 variables and 181 constraints.
c After prepocess the problem consists of 216 variables and 98 constraints.
c preprocess terminated 0.083 s
c Initial Lower Bound: 287
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2830 @ 0.101
c NEW SOLUTION FOUND: 2730 @ 0.103
c NEW SOLUTION FOUND: 2630 @ 0.105
c NEW SOLUTION FOUND: 2531 @ 0.107
c NEW SOLUTION FOUND: 2530 @ 0.11
c NEW SOLUTION FOUND: 2430 @ 0.113
c NEW SOLUTION FOUND: 2330 @ 0.115
c NEW SOLUTION FOUND: 2329 @ 0.117
c NEW SOLUTION FOUND: 2328 @ 0.12
c NEW SOLUTION FOUND: 2327 @ 0.123
c NEW SOLUTION FOUND: 2227 @ 0.125
c NEW SOLUTION FOUND: 2126 @ 0.133
c NEW SOLUTION FOUND: 2025 @ 0.14
c NEW SOLUTION FOUND: 1924 @ 0.222
c NEW SOLUTION FOUND: 1823 @ 0.677
c NEW SOLUTION FOUND: 1822 @ 7.263
c NEW SOLUTION FOUND: 1722 @ 7.947
c NEW SOLUTION FOUND: 1721 @ 7.951
c NEW SOLUTION FOUND: 1620 @ 9.568
c NEW SOLUTION FOUND: 1521 @ 10.967
c NEW SOLUTION FOUND: 1520 @ 10.97
c NEW SOLUTION FOUND: 1519 @ 11.382
c NEW SOLUTION FOUND: 1518 @ 69.653
c NEW SOLUTION FOUND: 1517 @ 116.693
c NEW SOLUTION FOUND: 1417 @ 117.535
c NEW SOLUTION FOUND: 1416 @ 117.544
c NEW SOLUTION FOUND: 1316 @ 118.535
c NEW SOLUTION FOUND: 1315 @ 118.551
c NEW SOLUTION FOUND: 1215 @ 119.381
c NEW SOLUTION FOUND: 1214 @ 119.396
c NEW SOLUTION FOUND: 1115 @ 125.8
c NEW SOLUTION FOUND: 1114 @ 125.857
c NEW SOLUTION FOUND: 1113 @ 126.033
c NEW SOLUTION FOUND: 1014 @ 136.133
c NEW SOLUTION FOUND: 1013 @ 136.861
c NEW SOLUTION FOUND: 913 @ 194.73
#### 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 1.00 1.00 2/55 28517
Raw data (stat): 28517 (runsolver) R 28516 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 746939911 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 6746 0 0 0 979 17 0 0 25 0 1 0 746939911 31920128 6690 4294967295 134512640 134714540 3221221792 3221220328 1077378031 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7793 6690 1111 63 0 7730 0
vsize: 31172
[startup+20.0023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 8205 0 0 0 1975 21 0 0 25 0 1 0 746939911 37875712 8141 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9247 8141 1111 63 0 9184 0
vsize: 36988
[startup+30.0022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 8207 0 0 0 2975 21 0 0 25 0 1 0 746939911 37875712 8143 4294967295 134512640 134714540 3221221792 3221220520 134622828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9247 8143 1111 63 0 9184 0
vsize: 36988
[startup+40.0021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 8207 0 0 0 3975 21 0 0 25 0 1 0 746939911 37875712 8143 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9247 8143 1111 63 0 9184 0
vsize: 36988
[startup+50.0021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 8208 0 0 0 4975 21 0 0 25 0 1 0 746939911 37875712 8144 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9247 8144 1111 63 0 9184 0
vsize: 36988
[startup+60.0034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 8210 0 0 0 5975 22 0 0 25 0 1 0 746939911 37875712 8146 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9247 8146 1111 63 0 9184 0
vsize: 36988
[startup+70.0039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 8521 0 0 0 6974 23 0 0 25 0 1 0 746939911 39124992 8455 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9552 8455 1111 63 0 9489 0
vsize: 38208
[startup+80.0039 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 8521 0 0 0 7974 23 0 0 25 0 1 0 746939911 39124992 8455 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9552 8455 1111 63 0 9489 0
vsize: 38208
[startup+90.0038 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 8521 0 0 0 8974 23 0 0 25 0 1 0 746939911 39124992 8455 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9552 8455 1111 63 0 9489 0
vsize: 38208
[startup+100.004 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 8521 0 0 0 9973 24 0 0 25 0 1 0 746939911 39124992 8455 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9552 8455 1111 63 0 9489 0
vsize: 38208
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 8824 0 0 0 10972 25 0 0 25 0 1 0 746939911 40341504 8758 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9849 8758 1111 63 0 9786 0
vsize: 39396
[startup+120.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 12078 0 0 0 11963 35 0 0 25 0 1 0 746939911 54345728 11938 4294967295 134512640 134714540 3221221792 3221220504 134543174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13268 11938 1111 63 0 13205 0
vsize: 53072
[startup+130.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 16716 0 0 0 12951 46 0 0 25 0 1 0 746939911 73244672 16530 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17882 16530 1111 63 0 17819 0
vsize: 71528
[startup+140.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 21054 0 0 0 13939 58 0 0 25 0 1 0 746939911 92332032 20721 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22542 20721 1111 63 0 22479 0
vsize: 90168
[startup+150.005 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 23063 0 0 0 14934 64 0 0 25 0 1 0 746939911 100474880 22722 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24530 22722 1111 63 0 24467 0
vsize: 98120
[startup+160.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 25773 0 0 0 15927 71 0 0 25 0 1 0 746939911 112119808 25369 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27373 25369 1111 63 0 27310 0
vsize: 109492
[startup+170.006 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 25773 0 0 0 16927 72 0 0 25 0 1 0 746939911 112119808 25369 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27373 25369 1111 63 0 27310 0
vsize: 109492
[startup+180.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 26879 0 0 0 17923 75 0 0 25 0 1 0 746939911 116727808 26457 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28498 26457 1111 63 0 28435 0
vsize: 113992
[startup+190.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 28985 0 0 0 18916 82 0 0 25 0 1 0 746939911 124784640 28488 4294967295 134512640 134714540 3221221792 3221220688 134621515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30465 28488 1111 63 0 30402 0
vsize: 121860
[startup+200.007 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 31541 0 0 0 19910 89 0 0 25 0 1 0 746939911 135073792 31031 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32977 31031 1111 63 0 32914 0
vsize: 131908
[startup+210.008 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 31542 0 0 0 20910 89 0 0 25 0 1 0 746939911 135073792 31032 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32977 31032 1111 63 0 32914 0
vsize: 131908
[startup+220.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 35049 0 0 0 21902 97 0 0 25 0 1 0 746939911 149274624 33668 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36444 33668 1111 63 0 36381 0
vsize: 145776
[startup+230.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 35051 0 0 0 22902 98 0 0 25 0 1 0 746939911 149274624 33670 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36444 33670 1111 63 0 36381 0
vsize: 145776
[startup+240.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 35051 0 0 0 23901 98 0 0 25 0 1 0 746939911 149274624 33670 4294967295 134512640 134714540 3221221792 3221220528 134622825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36444 33670 1111 63 0 36381 0
vsize: 145776
[startup+250.009 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 35052 0 0 0 24901 99 0 0 25 0 1 0 746939911 149274624 33671 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36444 33671 1111 63 0 36381 0
vsize: 145776
[startup+260.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 35052 0 0 0 25901 99 0 0 25 0 1 0 746939911 149274624 33671 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36444 33671 1111 63 0 36381 0
vsize: 145776
[startup+270.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 35054 0 0 0 26901 99 0 0 25 0 1 0 746939911 149274624 33673 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36444 33673 1111 63 0 36381 0
vsize: 145776
[startup+280.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 36712 0 0 0 27897 103 0 0 25 0 1 0 746939911 156102656 35302 4294967295 134512640 134714540 3221221792 3221220640 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38111 35302 1111 63 0 38048 0
vsize: 152444
[startup+290.01 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 37860 0 0 0 28893 107 0 0 25 0 1 0 746939911 160903168 36439 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39283 36439 1111 63 0 39220 0
vsize: 157132
[startup+300.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 37860 0 0 0 29893 107 0 0 25 0 1 0 746939911 160903168 36439 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39283 36439 1111 63 0 39220 0
vsize: 157132
[startup+310.011 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 37860 0 0 0 30893 108 0 0 25 0 1 0 746939911 160903168 36439 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39283 36439 1111 63 0 39220 0
vsize: 157132
[startup+320.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 37860 0 0 0 31893 108 0 0 25 0 1 0 746939911 160903168 36439 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39283 36439 1111 63 0 39220 0
vsize: 157132
[startup+330.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 37860 0 0 0 32893 108 0 0 25 0 1 0 746939911 160903168 36439 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39283 36439 1111 63 0 39220 0
vsize: 157132
[startup+340.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 37861 0 0 0 33893 108 0 0 25 0 1 0 746939911 160903168 36440 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39283 36440 1111 63 0 39220 0
vsize: 157132
[startup+350.012 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 37863 0 0 0 34893 109 0 0 25 0 1 0 746939911 160903168 36442 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39283 36442 1111 63 0 39220 0
vsize: 157132
[startup+360.013 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 39115 0 0 0 35888 113 0 0 25 0 1 0 746939911 165769216 37694 4294967295 134512640 134714540 3221221792 3221220592 134622489 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40471 37694 1111 63 0 40408 0
vsize: 161884
[startup+370.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 39115 0 0 0 36888 113 0 0 25 0 1 0 746939911 165769216 37694 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40471 37694 1111 63 0 40408 0
vsize: 161884
[startup+380.014 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 39115 0 0 0 37888 114 0 0 25 0 1 0 746939911 165769216 37694 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40471 37694 1111 63 0 40408 0
vsize: 161884
[startup+390.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 39115 0 0 0 38888 114 0 0 25 0 1 0 746939911 165769216 37694 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40471 37694 1111 63 0 40408 0
vsize: 161884
[startup+400.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 39115 0 0 0 39888 114 0 0 25 0 1 0 746939911 165769216 37694 4294967295 134512640 134714540 3221221792 3221220508 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40471 37694 1111 63 0 40408 0
vsize: 161884
[startup+410.015 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 40696 0 0 0 40882 120 0 0 25 0 1 0 746939911 171495424 39126 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41869 39126 1111 63 0 41806 0
vsize: 167476
[startup+420.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 43119 0 0 0 41876 127 0 0 25 0 1 0 746939911 180539392 41360 4294967295 134512640 134714540 3221221792 3221220608 134611435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44077 41360 1111 63 0 44014 0
vsize: 176308
[startup+430.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 46966 0 0 0 42866 136 0 0 25 0 1 0 746939911 195596288 44838 4294967295 134512640 134714540 3221221792 3221220504 134558617 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47753 44838 1111 63 0 47690 0
vsize: 191012
[startup+440.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 46968 0 0 0 43866 136 0 0 25 0 1 0 746939911 195596288 44840 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47753 44840 1111 63 0 47690 0
vsize: 191012
[startup+450.016 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 46968 0 0 0 44866 137 0 0 25 0 1 0 746939911 195596288 44840 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47753 44840 1111 63 0 47690 0
vsize: 191012
[startup+460.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 46968 0 0 0 45866 137 0 0 25 0 1 0 746939911 195596288 44840 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47753 44840 1111 63 0 47690 0
vsize: 191012
[startup+470.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 46969 0 0 0 46865 138 0 0 25 0 1 0 746939911 195596288 44841 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47753 44841 1111 63 0 47690 0
vsize: 191012
[startup+480.017 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 46969 0 0 0 47865 138 0 0 25 0 1 0 746939911 195596288 44841 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47753 44841 1111 63 0 47690 0
vsize: 191012
[startup+490.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 46971 0 0 0 48865 139 0 0 25 0 1 0 746939911 195596288 44843 4294967295 134512640 134714540 3221221792 3221220576 134622506 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47753 44843 1111 63 0 47690 0
vsize: 191012
[startup+500.018 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 50948 0 0 0 49855 149 0 0 25 0 1 0 746939911 211435520 48591 4294967295 134512640 134714540 3221221792 3221220276 134543025 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51620 48591 1111 63 0 51557 0
vsize: 206480
[startup+510.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55539 0 0 0 50841 163 0 0 25 0 1 0 746939911 228802560 52714 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55860 52714 1111 63 0 55797 0
vsize: 223440
[startup+520.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55539 0 0 0 51841 163 0 0 25 0 1 0 746939911 228802560 52714 4294967295 134512640 134714540 3221221792 3221220528 134622844 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55860 52714 1111 63 0 55797 0
vsize: 223440
[startup+530.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55539 0 0 0 52841 163 0 0 25 0 1 0 746939911 228802560 52714 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55860 52714 1111 63 0 55797 0
vsize: 223440
[startup+540.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55541 0 0 0 53841 164 0 0 25 0 1 0 746939911 228802560 52716 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55860 52716 1111 63 0 55797 0
vsize: 223440
[startup+550.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55544 0 0 0 54840 164 0 0 25 0 1 0 746939911 228802560 52719 4294967295 134512640 134714540 3221221792 3221220512 134622865 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55860 52719 1111 63 0 55797 0
vsize: 223440
[startup+560.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55547 0 0 0 55840 164 0 0 25 0 1 0 746939911 228802560 52722 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55860 52722 1111 63 0 55797 0
vsize: 223440
[startup+570.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55547 0 0 0 56840 165 0 0 25 0 1 0 746939911 228802560 52722 4294967295 134512640 134714540 3221221792 3221220504 134543191 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55860 52722 1111 63 0 55797 0
vsize: 223440
[startup+580.019 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55548 0 0 0 57840 165 0 0 25 0 1 0 746939911 228802560 52723 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55860 52723 1111 63 0 55797 0
vsize: 223440
[startup+590.02 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55553 0 0 0 58840 165 0 0 25 0 1 0 746939911 228802560 52728 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55860 52728 1111 63 0 55797 0
vsize: 223440
[startup+600.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55562 0 0 0 59839 166 0 0 25 0 1 0 746939911 228941824 52737 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52737 1111 63 0 55831 0
vsize: 223576
[startup+610.021 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55562 0 0 0 60839 166 0 0 25 0 1 0 746939911 228941824 52737 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52737 1111 63 0 55831 0
vsize: 223576
[startup+620.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55562 0 0 0 61839 167 0 0 25 0 1 0 746939911 228941824 52737 4294967295 134512640 134714540 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52737 1111 63 0 55831 0
vsize: 223576
[startup+630.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55562 0 0 0 62838 167 0 0 25 0 1 0 746939911 228941824 52737 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52737 1111 63 0 55831 0
vsize: 223576
[startup+640.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55562 0 0 0 63838 167 0 0 25 0 1 0 746939911 228941824 52737 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52737 1111 63 0 55831 0
vsize: 223576
[startup+650.022 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55563 0 0 0 64838 168 0 0 25 0 1 0 746939911 228941824 52738 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52738 1111 63 0 55831 0
vsize: 223576
[startup+660.023 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55563 0 0 0 65838 169 0 0 25 0 1 0 746939911 228941824 52738 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52738 1111 63 0 55831 0
vsize: 223576
[startup+670.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55563 0 0 0 66838 169 0 0 25 0 1 0 746939911 228941824 52738 4294967295 134512640 134714540 3221221792 3221220592 134622484 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52738 1111 63 0 55831 0
vsize: 223576
[startup+680.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55565 0 0 0 67837 169 0 0 25 0 1 0 746939911 228941824 52740 4294967295 134512640 134714540 3221221792 3221220576 134622539 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52740 1111 63 0 55831 0
vsize: 223576
[startup+690.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55565 0 0 0 68837 170 0 0 25 0 1 0 746939911 228941824 52740 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52740 1111 63 0 55831 0
vsize: 223576
[startup+700.024 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55565 0 0 0 69837 170 0 0 25 0 1 0 746939911 228941824 52740 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52740 1111 63 0 55831 0
vsize: 223576
[startup+710.025 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 55566 0 0 0 70837 170 0 0 25 0 1 0 746939911 228941824 52741 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55894 52741 1111 63 0 55831 0
vsize: 223576
[startup+720.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 56467 0 0 0 71834 173 0 0 25 0 1 0 746939911 232378368 53560 4294967295 134512640 134714540 3221221792 3221220512 134622889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56733 53560 1111 63 0 56670 0
vsize: 226932
[startup+730.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 58809 0 0 0 72827 181 0 0 25 0 1 0 746939911 241770496 55848 4294967295 134512640 134714540 3221221792 3221220576 134622611 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59026 55848 1111 63 0 58963 0
vsize: 236104
[startup+740.026 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 59567 0 0 0 73824 183 0 0 25 0 1 0 746939911 244744192 56606 4294967295 134512640 134714540 3221221792 3221220512 134622917 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59752 56606 1111 63 0 59689 0
vsize: 239008
[startup+750.027 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63922 0 0 0 74814 194 0 0 25 0 1 0 746939911 261840896 60870 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63926 60870 1111 63 0 63863 0
vsize: 255704
[startup+760.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63922 0 0 0 75814 194 0 0 25 0 1 0 746939911 261840896 60870 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63926 60870 1111 63 0 63863 0
vsize: 255704
[startup+770.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63922 0 0 0 76814 194 0 0 25 0 1 0 746939911 261840896 60870 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63926 60870 1111 63 0 63863 0
vsize: 255704
[startup+780.028 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63922 0 0 0 77813 195 0 0 25 0 1 0 746939911 261840896 60870 4294967295 134512640 134714540 3221221792 3221220504 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63926 60870 1111 63 0 63863 0
vsize: 255704
[startup+790.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63922 0 0 0 78813 195 0 0 25 0 1 0 746939911 261840896 60870 4294967295 134512640 134714540 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63926 60870 1111 63 0 63863 0
vsize: 255704
[startup+800.029 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63922 0 0 0 79813 196 0 0 25 0 1 0 746939911 261840896 60870 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63926 60870 1111 63 0 63863 0
vsize: 255704
[startup+810.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63922 0 0 0 80812 196 0 0 25 0 1 0 746939911 261840896 60870 4294967295 134512640 134714540 3221221792 3221220512 134622917 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63926 60870 1111 63 0 63863 0
vsize: 255704
[startup+820.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63922 0 0 0 81812 197 0 0 25 0 1 0 746939911 261840896 60870 4294967295 134512640 134714540 3221221792 3221220584 134536906 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60870 1111 63 0 63863 0
vsize: 255704
[startup+830.03 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63922 0 0 0 82812 197 0 0 25 0 1 0 746939911 261840896 60870 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60870 1111 63 0 63863 0
vsize: 255704
[startup+840.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63924 0 0 0 83813 197 0 0 25 0 1 0 746939911 261840896 60872 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60872 1111 63 0 63863 0
vsize: 255704
[startup+850.031 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63928 0 0 0 84813 197 0 0 25 0 1 0 746939911 261840896 60876 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60876 1111 63 0 63863 0
vsize: 255704
[startup+860.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63928 0 0 0 85813 197 0 0 25 0 1 0 746939911 261840896 60876 4294967295 134512640 134714540 3221221792 3221220504 134543125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60876 1111 63 0 63863 0
vsize: 255704
[startup+870.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63928 0 0 0 86813 197 0 0 25 0 1 0 746939911 261840896 60876 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60876 1111 63 0 63863 0
vsize: 255704
[startup+880.032 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63928 0 0 0 87813 197 0 0 25 0 1 0 746939911 261840896 60876 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60876 1111 63 0 63863 0
vsize: 255704
[startup+890.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63928 0 0 0 88813 197 0 0 25 0 1 0 746939911 261840896 60876 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60876 1111 63 0 63863 0
vsize: 255704
[startup+900.033 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63930 0 0 0 89814 197 0 0 25 0 1 0 746939911 261840896 60878 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60878 1111 63 0 63863 0
vsize: 255704
[startup+910.034 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63930 0 0 0 90814 197 0 0 25 0 1 0 746939911 261840896 60878 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60878 1111 63 0 63863 0
vsize: 255704
[startup+920.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63931 0 0 0 91814 197 0 0 25 0 1 0 746939911 261840896 60879 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60879 1111 63 0 63863 0
vsize: 255704
[startup+930.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63933 0 0 0 92814 197 0 0 25 0 1 0 746939911 261840896 60881 4294967295 134512640 134714540 3221221792 3221220588 134542422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60881 1111 63 0 63863 0
vsize: 255704
[startup+940.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63933 0 0 0 93814 197 0 0 25 0 1 0 746939911 261840896 60881 4294967295 134512640 134714540 3221221792 3221220504 134543144 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60881 1111 63 0 63863 0
vsize: 255704
[startup+950.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63934 0 0 0 94814 197 0 0 25 0 1 0 746939911 261840896 60882 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60882 1111 63 0 63863 0
vsize: 255704
[startup+960.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63936 0 0 0 95815 197 0 0 25 0 1 0 746939911 261840896 60884 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60884 1111 63 0 63863 0
vsize: 255704
[startup+970.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 63936 0 0 0 96815 197 0 0 25 0 1 0 746939911 261840896 60884 4294967295 134512640 134714540 3221221792 3221220584 134542412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63926 60884 1111 63 0 63863 0
vsize: 255704
[startup+980.035 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 65167 0 0 0 97811 201 0 0 25 0 1 0 746939911 266797056 62074 4294967295 134512640 134714540 3221221792 3221220504 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65136 62074 1111 63 0 65073 0
vsize: 260544
[startup+990.036 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71346 0 0 0 98797 215 0 0 25 0 1 0 746939911 290148352 66060 4294967295 134512640 134714540 3221221792 3221220520 134622854 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66060 1111 63 0 70774 0
vsize: 283348
[startup+1000.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71346 0 0 0 99797 216 0 0 25 0 1 0 746939911 290148352 66060 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66060 1111 63 0 70774 0
vsize: 283348
[startup+1010.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71346 0 0 0 100797 216 0 0 25 0 1 0 746939911 290148352 66060 4294967295 134512640 134714540 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66060 1111 63 0 70774 0
vsize: 283348
[startup+1020.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71346 0 0 0 101797 216 0 0 25 0 1 0 746939911 290148352 66060 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66060 1111 63 0 70774 0
vsize: 283348
[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71346 0 0 0 102797 216 0 0 25 0 1 0 746939911 290148352 66060 4294967295 134512640 134714540 3221221792 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66060 1111 63 0 70774 0
vsize: 283348
[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71346 0 0 0 103797 216 0 0 25 0 1 0 746939911 290148352 66060 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66060 1111 63 0 70774 0
vsize: 283348
[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71346 0 0 0 104798 216 0 0 25 0 1 0 746939911 290148352 66060 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66060 1111 63 0 70774 0
vsize: 283348
[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71348 0 0 0 105798 216 0 0 25 0 1 0 746939911 290148352 66062 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66062 1111 63 0 70774 0
vsize: 283348
[startup+1070.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71354 0 0 0 106798 216 0 0 25 0 1 0 746939911 290148352 66068 4294967295 134512640 134714540 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66068 1111 63 0 70774 0
vsize: 283348
[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71354 0 0 0 107798 216 0 0 25 0 1 0 746939911 290148352 66068 4294967295 134512640 134714540 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66068 1111 63 0 70774 0
vsize: 283348
[startup+1090.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71354 0 0 0 108798 216 0 0 25 0 1 0 746939911 290148352 66068 4294967295 134512640 134714540 3221221792 3221220572 134542400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66068 1111 63 0 70774 0
vsize: 283348
[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71354 0 0 0 109798 216 0 0 25 0 1 0 746939911 290148352 66068 4294967295 134512640 134714540 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66068 1111 63 0 70774 0
vsize: 283348
[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 71355 0 0 0 110799 216 0 0 25 0 1 0 746939911 290148352 66069 4294967295 134512640 134714540 3221221792 3221220568 134542409 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 70837 66069 1111 63 0 70774 0
vsize: 283348
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 72519 0 0 0 111795 220 0 0 25 0 1 0 746939911 294670336 67229 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 71941 67229 1111 63 0 71878 0
vsize: 287764
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 76064 0 0 0 112786 229 0 0 25 0 1 0 746939911 308715520 70683 4294967295 134512640 134714540 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 75370 70683 1111 63 0 75307 0
vsize: 301480
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 76922 0 0 0 113784 231 0 0 25 0 1 0 746939911 311881728 71459 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 76143 71459 1111 63 0 76080 0
vsize: 304572
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 79179 0 0 0 114778 238 0 0 25 0 1 0 746939911 320872448 73716 4294967295 134512640 134714540 3221221792 3221220304 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78338 73716 1111 63 0 78275 0
vsize: 313352
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 79179 0 0 0 115778 238 0 0 25 0 1 0 746939911 320872448 73716 4294967295 134512640 134714540 3221221792 3221220576 134622506 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78338 73716 1111 63 0 78275 0
vsize: 313352
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 79179 0 0 0 116778 238 0 0 25 0 1 0 746939911 320872448 73716 4294967295 134512640 134714540 3221221792 3221220508 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78338 73716 1111 63 0 78275 0
vsize: 313352
[startup+1180.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 79179 0 0 0 117778 238 0 0 25 0 1 0 746939911 320872448 73716 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78338 73716 1111 63 0 78275 0
vsize: 313352
[startup+1190.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 79179 0 0 0 118778 238 0 0 25 0 1 0 746939911 320872448 73716 4294967295 134512640 134714540 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78338 73716 1111 63 0 78275 0
vsize: 313352
[startup+1200.04 s]
Raw data (loadavg): 0.99 1.00 1.00 2/55 28517
Raw data (stat): 28517 (bsolo_mis) R 28516 7876 7672 0 -1 0 79179 0 0 0 119778 238 0 0 25 0 1 0 746939911 320872448 73716 4294967295 134512640 134714540 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 78338 73716 1111 63 0 78275 0
vsize: 313352
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.18 s]
Raw data (loadavg): 0.99 1.00 1.00 1/55 28517
Raw data (stat): 28517 (bsolo_mis) Z 28516 7876 7672 0 -1 1036 79179 0 0 0 119778 251 0 0 25 0 1 0 746939911 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.18
CPU time (s): 1200.31
CPU user time (s): 1197.79
CPU system time (s): 2.51862
CPU usage (%): 100.011
Max. virtual memory (Kb): 313352
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####