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/ttp/normalized-data8_3.opb
MD5SUM	1f07a50778ff795858a07800272da436
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	48343
Optimality of the best value was proved	NO
Number of terms in the objective function	448
Biggest coefficient in the objective function	1380
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	279536
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	1380
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	279536
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	1344
Total number of constraints	16096
Number of constraints which are clauses	8208
Number of constraints which are cardinality constraints (but not clauses)	496
Number of constraints which are nor clauses,nor cardinality constraints	7392
Minimum length of a constraint	2
Maximum length of a constraint	28
Trace number 24454

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 15:23:01 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2361 boxname=wulflinc31 idbench=263 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  1f07a50778ff795858a07800272da436  /oldhome/oroussel/tmp/wulflinc31/normalized-data8_3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-data8_3.opb
IDLAUNCH: 2361
/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:        290436 kB
Buffers:         46896 kB
Cached:         663196 kB
SwapCached:        644 kB
Active:         313392 kB
Inactive:       399052 kB
HighTotal:      131008 kB
HighFree:        27356 kB
LowTotal:       903652 kB
LowFree:        263080 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26076 kB
Committed_AS:    63640 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 15:42:37 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 2361 7 1175.12 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 1344 variables and 16376 constraints.
c After prepocess the problem consists of 1344 variables and 15368 constraints.
c preprocess terminated 41.333 s
c Initial Lower Bound: 4000
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.93 2/54 11439
Raw data (stat): 11439 (runsolver) R 11438 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 710293587 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.0005 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 13452 0 0 0 956 40 0 0 25 0 1 0 710293587 21303296 4288 4294967295 134512640 134714540 3221221792 3221220176 134542342 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5201 4288 1111 63 0 5138 0
vsize: 20804
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 14568 0 0 0 1954 43 0 0 25 0 1 0 710293587 25460736 5295 4294967295 134512640 134714540 3221221792 3221220256 134543756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6216 5295 1111 63 0 6153 0
vsize: 24864
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 14823 0 0 0 2953 44 0 0 25 0 1 0 710293587 26546176 5550 4294967295 134512640 134714540 3221221792 3221220176 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6481 5550 1111 63 0 6418 0
vsize: 25924
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 15118 0 0 0 3952 45 0 0 25 0 1 0 710293587 27049984 5665 4294967295 134512640 134714540 3221221792 3221220672 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6604 5665 1111 63 0 6541 0
vsize: 26416
[startup+50.0043 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 15132 0 0 0 4952 45 0 0 25 0 1 0 710293587 27049984 5679 4294967295 134512640 134714540 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6604 5679 1111 63 0 6541 0
vsize: 26416
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 15133 0 0 0 5951 46 0 0 25 0 1 0 710293587 27049984 5680 4294967295 134512640 134714540 3221221792 3221220492 134543760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6604 5680 1111 63 0 6541 0
vsize: 26416
[startup+70.0051 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 15202 0 0 0 6950 47 0 0 25 0 1 0 710293587 27320320 5749 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6670 5749 1111 63 0 6607 0
vsize: 26680
[startup+80.0061 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 15417 0 0 0 7949 48 0 0 25 0 1 0 710293587 28131328 5964 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6868 5964 1111 63 0 6805 0
vsize: 27472
[startup+90.0074 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 15678 0 0 0 8948 50 0 0 25 0 1 0 710293587 29212672 6225 4294967295 134512640 134714540 3221221792 3221220576 134529269 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 6225 1111 63 0 7069 0
vsize: 28528
[startup+100.008 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 15840 0 0 0 9947 50 0 0 25 0 1 0 710293587 29888512 6387 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7297 6387 1111 63 0 7234 0
vsize: 29188
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 16058 0 0 0 10946 52 0 0 25 0 1 0 710293587 30834688 6605 4294967295 134512640 134714540 3221221792 3221220576 134529200 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7528 6605 1111 63 0 7465 0
vsize: 30112
[startup+120.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 16285 0 0 0 11945 53 0 0 25 0 1 0 710293587 31780864 6832 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7759 6832 1111 63 0 7696 0
vsize: 31036
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 16515 0 0 0 12943 55 0 0 25 0 1 0 710293587 32727040 7062 4294967295 134512640 134714540 3221221792 3221220492 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7990 7062 1111 63 0 7927 0
vsize: 31960
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 16733 0 0 0 13942 56 0 0 25 0 1 0 710293587 33538048 7280 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8188 7280 1111 63 0 8125 0
vsize: 32752
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 16953 0 0 0 14941 57 0 0 25 0 1 0 710293587 34484224 7500 4294967295 134512640 134714540 3221221792 3221220476 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8419 7500 1111 63 0 8356 0
vsize: 33676
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 17184 0 0 0 15940 59 0 0 25 0 1 0 710293587 35430400 7731 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8650 7731 1111 63 0 8587 0
vsize: 34600
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 17422 0 0 0 16939 60 0 0 25 0 1 0 710293587 36376576 7969 4294967295 134512640 134714540 3221221792 3221220384 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8881 7969 1111 63 0 8818 0
vsize: 35524
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 17607 0 0 0 17938 60 0 0 25 0 1 0 710293587 37187584 8154 4294967295 134512640 134714540 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8154 1111 63 0 9016 0
vsize: 36316
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 17844 0 0 0 18937 62 0 0 25 0 1 0 710293587 38133760 8391 4294967295 134512640 134714540 3221221792 3221220520 134543804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9310 8391 1111 63 0 9247 0
vsize: 37240
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 18064 0 0 0 19936 63 0 0 25 0 1 0 710293587 38944768 8611 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9508 8611 1111 63 0 9445 0
vsize: 38032
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 18273 0 0 0 20935 64 0 0 25 0 1 0 710293587 39895040 8820 4294967295 134512640 134714540 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9740 8820 1111 63 0 9677 0
vsize: 38960
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 18457 0 0 0 21933 66 0 0 25 0 1 0 710293587 40570880 9004 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9905 9004 1111 63 0 9842 0
vsize: 39620
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 18632 0 0 0 22933 67 0 0 25 0 1 0 710293587 41381888 9179 4294967295 134512640 134714540 3221221792 3221220384 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10103 9179 1111 63 0 10040 0
vsize: 40412
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 18776 0 0 0 23932 68 0 0 25 0 1 0 710293587 41922560 9323 4294967295 134512640 134714540 3221221792 3221220384 134542677 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10235 9323 1111 63 0 10172 0
vsize: 40940
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 18936 0 0 0 24931 69 0 0 25 0 1 0 710293587 42598400 9483 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10400 9483 1111 63 0 10337 0
vsize: 41600
[startup+260.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 19087 0 0 0 25930 70 0 0 25 0 1 0 710293587 43143168 9634 4294967295 134512640 134714540 3221221792 3221220456 134543647 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10533 9634 1111 63 0 10470 0
vsize: 42132
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 19225 0 0 0 26929 71 0 0 25 0 1 0 710293587 43823104 9772 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10699 9772 1111 63 0 10636 0
vsize: 42796
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 19392 0 0 0 27928 72 0 0 25 0 1 0 710293587 44498944 9939 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10864 9939 1111 63 0 10801 0
vsize: 43456
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 19563 0 0 0 28927 73 0 0 25 0 1 0 710293587 45174784 10110 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11029 10110 1111 63 0 10966 0
vsize: 44116
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 19725 0 0 0 29926 74 0 0 25 0 1 0 710293587 45850624 10272 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11194 10272 1111 63 0 11131 0
vsize: 44776
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 19897 0 0 0 30926 75 0 0 25 0 1 0 710293587 46526464 10444 4294967295 134512640 134714540 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11359 10444 1111 63 0 11296 0
vsize: 45436
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 20024 0 0 0 31925 76 0 0 25 0 1 0 710293587 47067136 10571 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11491 10571 1111 63 0 11428 0
vsize: 45964
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 20192 0 0 0 32924 77 0 0 25 0 1 0 710293587 47742976 10739 4294967295 134512640 134714540 3221221792 3221220376 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11656 10739 1111 63 0 11593 0
vsize: 46624
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 20335 0 0 0 33923 78 0 0 25 0 1 0 710293587 48418816 10882 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11821 10882 1111 63 0 11758 0
vsize: 47284
[startup+350.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 20507 0 0 0 34922 79 0 0 25 0 1 0 710293587 49098752 11054 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11987 11054 1111 63 0 11924 0
vsize: 47948
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 20663 0 0 0 35921 80 0 0 25 0 1 0 710293587 49639424 11210 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12119 11210 1111 63 0 12056 0
vsize: 48476
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 20792 0 0 0 36920 81 0 0 25 0 1 0 710293587 50176000 11339 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12250 11339 1111 63 0 12187 0
vsize: 49000
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 20906 0 0 0 37920 81 0 0 25 0 1 0 710293587 50716672 11453 4294967295 134512640 134714540 3221221792 3221220480 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12382 11453 1111 63 0 12319 0
vsize: 49528
[startup+390.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 21058 0 0 0 38920 82 0 0 25 0 1 0 710293587 51257344 11605 4294967295 134512640 134714540 3221221792 3221220376 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12514 11605 1111 63 0 12451 0
vsize: 50056
[startup+400.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 21199 0 0 0 39920 82 0 0 25 0 1 0 710293587 51933184 11746 4294967295 134512640 134714540 3221221792 3221220464 134543707 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12679 11746 1111 63 0 12616 0
vsize: 50716
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 21333 0 0 0 40919 83 0 0 25 0 1 0 710293587 52473856 11880 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12811 11880 1111 63 0 12748 0
vsize: 51244
[startup+420.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 21431 0 0 0 41919 83 0 0 25 0 1 0 710293587 52887552 11978 4294967295 134512640 134714540 3221221792 3221220552 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12912 11978 1111 63 0 12849 0
vsize: 51648
[startup+430.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 21586 0 0 0 42918 84 0 0 25 0 1 0 710293587 53428224 12133 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13044 12133 1111 63 0 12981 0
vsize: 52176
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 21714 0 0 0 43918 85 0 0 25 0 1 0 710293587 53968896 12261 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13176 12261 1111 63 0 13113 0
vsize: 52704
[startup+450.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 21836 0 0 0 44917 85 0 0 25 0 1 0 710293587 54509568 12383 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13308 12383 1111 63 0 13245 0
vsize: 53232
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 21993 0 0 0 45917 86 0 0 25 0 1 0 710293587 55185408 12540 4294967295 134512640 134714540 3221221792 3221220432 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13473 12540 1111 63 0 13410 0
vsize: 53892
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 22122 0 0 0 46917 86 0 0 25 0 1 0 710293587 55726080 12669 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13605 12669 1111 63 0 13542 0
vsize: 54420
[startup+480.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 22240 0 0 0 47917 87 0 0 25 0 1 0 710293587 56131584 12787 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13704 12787 1111 63 0 13641 0
vsize: 54816
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 22335 0 0 0 48916 87 0 0 25 0 1 0 710293587 56537088 12882 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13803 12882 1111 63 0 13740 0
vsize: 55212
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 22442 0 0 0 49916 87 0 0 25 0 1 0 710293587 56942592 12989 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13902 12989 1111 63 0 13839 0
vsize: 55608
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 22569 0 0 0 50916 88 0 0 25 0 1 0 710293587 57483264 13116 4294967295 134512640 134714540 3221221792 3221220416 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14034 13116 1111 63 0 13971 0
vsize: 56136
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 22710 0 0 0 51916 88 0 0 25 0 1 0 710293587 58159104 13257 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14199 13257 1111 63 0 14136 0
vsize: 56796
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 22846 0 0 0 52915 89 0 0 25 0 1 0 710293587 58699776 13393 4294967295 134512640 134714540 3221221792 3221220536 134543133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14331 13393 1111 63 0 14268 0
vsize: 57324
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 22975 0 0 0 53915 89 0 0 25 0 1 0 710293587 59240448 13522 4294967295 134512640 134714540 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14463 13522 1111 63 0 14400 0
vsize: 57852
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 23095 0 0 0 54914 90 0 0 25 0 1 0 710293587 59645952 13642 4294967295 134512640 134714540 3221221792 3221220348 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14562 13642 1111 63 0 14499 0
vsize: 58248
[startup+560.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 23216 0 0 0 55914 91 0 0 25 0 1 0 710293587 60186624 13763 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14694 13763 1111 63 0 14631 0
vsize: 58776
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 23322 0 0 0 56914 91 0 0 25 0 1 0 710293587 60592128 13869 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14793 13869 1111 63 0 14730 0
vsize: 59172
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 23455 0 0 0 57913 92 0 0 25 0 1 0 710293587 61136896 14002 4294967295 134512640 134714540 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14926 14002 1111 63 0 14863 0
vsize: 59704
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 23557 0 0 0 58913 92 0 0 25 0 1 0 710293587 61542400 14103 4294967295 134512640 134714540 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15025 14103 1111 63 0 14962 0
vsize: 60100
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 23620 0 0 0 59913 93 0 0 25 0 1 0 710293587 61812736 14166 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15091 14166 1111 63 0 15028 0
vsize: 60364
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 23716 0 0 0 60912 94 0 0 25 0 1 0 710293587 62218240 14262 4294967295 134512640 134714540 3221221792 3221220344 134696493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15190 14262 1111 63 0 15127 0
vsize: 60760
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 23829 0 0 0 61912 94 0 0 25 0 1 0 710293587 62758912 14375 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15322 14375 1111 63 0 15259 0
vsize: 61288
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 23916 0 0 0 62912 94 0 0 25 0 1 0 710293587 63029248 14462 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15388 14462 1111 63 0 15325 0
vsize: 61552
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 24020 0 0 0 63911 95 0 0 25 0 1 0 710293587 63434752 14566 4294967295 134512640 134714540 3221221792 3221220348 134539282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15487 14566 1111 63 0 15424 0
vsize: 61948
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 24106 0 0 0 64911 95 0 0 25 0 1 0 710293587 63840256 14652 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15586 14652 1111 63 0 15523 0
vsize: 62344
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 24238 0 0 0 65911 96 0 0 25 0 1 0 710293587 64380928 14784 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15718 14784 1111 63 0 15655 0
vsize: 62872
[startup+670.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 24346 0 0 0 66910 96 0 0 25 0 1 0 710293587 64778240 14892 4294967295 134512640 134714540 3221221792 3221220332 134539276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15815 14892 1111 63 0 15752 0
vsize: 63260
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 24477 0 0 0 67910 97 0 0 25 0 1 0 710293587 65339392 15023 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15952 15023 1111 63 0 15889 0
vsize: 63808
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 24631 0 0 0 68909 98 0 0 25 0 1 0 710293587 66015232 15177 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16117 15177 1111 63 0 16054 0
vsize: 64468
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 24757 0 0 0 69909 99 0 0 25 0 1 0 710293587 66555904 15303 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16249 15303 1111 63 0 16186 0
vsize: 64996
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 24910 0 0 0 70908 99 0 0 25 0 1 0 710293587 67231744 15456 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16414 15456 1111 63 0 16351 0
vsize: 65656
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 25047 0 0 0 71908 100 0 0 25 0 1 0 710293587 67772416 15593 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16546 15593 1111 63 0 16483 0
vsize: 66184
[startup+730.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 25179 0 0 0 72907 100 0 0 25 0 1 0 710293587 68313088 15725 4294967295 134512640 134714540 3221221792 3221220560 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16678 15725 1111 63 0 16615 0
vsize: 66712
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 25288 0 0 0 73907 101 0 0 25 0 1 0 710293587 68718592 15834 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16777 15834 1111 63 0 16714 0
vsize: 67108
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 25391 0 0 0 74907 101 0 0 25 0 1 0 710293587 69124096 15937 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16876 15937 1111 63 0 16813 0
vsize: 67504
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 25498 0 0 0 75907 102 0 0 25 0 1 0 710293587 69529600 16044 4294967295 134512640 134714540 3221221792 3221220456 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16975 16044 1111 63 0 16912 0
vsize: 67900
[startup+770.027 s]
Raw data (loadavg): 1.07 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 25631 0 0 0 76906 102 0 0 25 0 1 0 710293587 70066176 16177 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17106 16177 1111 63 0 17043 0
vsize: 68424
[startup+780.027 s]
Raw data (loadavg): 1.06 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 25770 0 0 0 77905 103 0 0 25 0 1 0 710293587 70742016 16316 4294967295 134512640 134714540 3221221792 3221220332 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17271 16316 1111 63 0 17208 0
vsize: 69084
[startup+790.027 s]
Raw data (loadavg): 1.05 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 25924 0 0 0 78905 104 0 0 25 0 1 0 710293587 71294976 16469 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17406 16469 1111 63 0 17343 0
vsize: 69624
[startup+800.027 s]
Raw data (loadavg): 1.04 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 26044 0 0 0 79904 105 0 0 25 0 1 0 710293587 71831552 16589 4294967295 134512640 134714540 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17537 16589 1111 63 0 17474 0
vsize: 70148
[startup+810.028 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 26130 0 0 0 80904 105 0 0 25 0 1 0 710293587 72232960 16675 4294967295 134512640 134714540 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17635 16675 1111 63 0 17572 0
vsize: 70540
[startup+820.029 s]
Raw data (loadavg): 1.03 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 26262 0 0 0 81904 105 0 0 25 0 1 0 710293587 72790016 16807 4294967295 134512640 134714540 3221221792 3221220288 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17771 16807 1111 63 0 17708 0
vsize: 71084
[startup+830.029 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 26389 0 0 0 82904 106 0 0 25 0 1 0 710293587 73330688 16934 4294967295 134512640 134714540 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17903 16934 1111 63 0 17840 0
vsize: 71612
[startup+840.029 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 26522 0 0 0 83904 106 0 0 25 0 1 0 710293587 73871360 17067 4294967295 134512640 134714540 3221221792 3221220560 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18035 17067 1111 63 0 17972 0
vsize: 72140
[startup+850.03 s]
Raw data (loadavg): 1.02 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 26638 0 0 0 84904 106 0 0 25 0 1 0 710293587 74272768 17183 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18133 17183 1111 63 0 18070 0
vsize: 72532
[startup+860.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 26798 0 0 0 85903 107 0 0 25 0 1 0 710293587 75001856 17343 4294967295 134512640 134714540 3221221792 3221220432 134539437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18311 17343 1111 63 0 18248 0
vsize: 73244
[startup+870.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 26927 0 0 0 86902 108 0 0 25 0 1 0 710293587 75542528 17472 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18443 17472 1111 63 0 18380 0
vsize: 73772
[startup+880.031 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 27020 0 0 0 87902 108 0 0 25 0 1 0 710293587 75948032 17565 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18542 17565 1111 63 0 18479 0
vsize: 74168
[startup+890.03 s]
Raw data (loadavg): 1.01 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 27141 0 0 0 88902 109 0 0 25 0 1 0 710293587 76365824 17684 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18644 17684 1111 63 0 18581 0
vsize: 74576
[startup+900.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 27279 0 0 0 89901 110 0 0 25 0 1 0 710293587 76906496 17822 4294967295 134512640 134714540 3221221792 3221220456 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18776 17822 1111 63 0 18713 0
vsize: 75104
[startup+910.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 27400 0 0 0 90901 110 0 0 25 0 1 0 710293587 77443072 17943 4294967295 134512640 134714540 3221221792 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18907 17943 1111 63 0 18844 0
vsize: 75628
[startup+920.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 27504 0 0 0 91901 111 0 0 25 0 1 0 710293587 77848576 18047 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19006 18047 1111 63 0 18943 0
vsize: 76024
[startup+930.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 27602 0 0 0 92900 111 0 0 25 0 1 0 710293587 78254080 18144 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19105 18144 1111 63 0 19042 0
vsize: 76420
[startup+940.031 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 27714 0 0 0 93900 111 0 0 25 0 1 0 710293587 78794752 18256 4294967295 134512640 134714540 3221221792 3221220432 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19237 18256 1111 63 0 19174 0
vsize: 76948
[startup+950.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 27833 0 0 0 94900 112 0 0 25 0 1 0 710293587 79220736 18375 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19341 18375 1111 63 0 19278 0
vsize: 77364
[startup+960.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 27940 0 0 0 95899 113 0 0 25 0 1 0 710293587 79626240 18482 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19440 18482 1111 63 0 19377 0
vsize: 77760
[startup+970.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 28056 0 0 0 96899 113 0 0 25 0 1 0 710293587 80166912 18598 4294967295 134512640 134714540 3221221792 3221220436 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19572 18598 1111 63 0 19509 0
vsize: 78288
[startup+980.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 28173 0 0 0 97898 114 0 0 25 0 1 0 710293587 80605184 18715 4294967295 134512640 134714540 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19679 18715 1111 63 0 19616 0
vsize: 78716
[startup+990.032 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 28330 0 0 0 98898 115 0 0 25 0 1 0 710293587 81276928 18872 4294967295 134512640 134714540 3221221792 3221220380 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19843 18872 1111 63 0 19780 0
vsize: 79372
[startup+1000.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 28425 0 0 0 99898 115 0 0 25 0 1 0 710293587 81682432 18967 4294967295 134512640 134714540 3221221792 3221220300 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19942 18967 1111 63 0 19879 0
vsize: 79768
[startup+1010.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 28570 0 0 0 100897 116 0 0 25 0 1 0 710293587 82243584 19111 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20079 19111 1111 63 0 20016 0
vsize: 80316
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 28676 0 0 0 101897 116 0 0 25 0 1 0 710293587 82784256 19217 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20211 19217 1111 63 0 20148 0
vsize: 80844
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 28810 0 0 0 102896 117 0 0 25 0 1 0 710293587 83320832 19351 4294967295 134512640 134714540 3221221792 3221220396 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20342 19351 1111 63 0 20279 0
vsize: 81368
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 28935 0 0 0 103896 117 0 0 25 0 1 0 710293587 83861504 19476 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20474 19476 1111 63 0 20411 0
vsize: 81896
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 29047 0 0 0 104895 118 0 0 25 0 1 0 710293587 84267008 19588 4294967295 134512640 134714540 3221221792 3221220412 134542656 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20573 19588 1111 63 0 20510 0
vsize: 82292
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 29188 0 0 0 105895 119 0 0 25 0 1 0 710293587 84807680 19729 4294967295 134512640 134714540 3221221792 3221220552 134543568 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20705 19729 1111 63 0 20642 0
vsize: 82820
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 29291 0 0 0 106895 119 0 0 25 0 1 0 710293587 85213184 19832 4294967295 134512640 134714540 3221221792 3221220388 134543677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20804 19832 1111 63 0 20741 0
vsize: 83216
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 29422 0 0 0 107894 120 0 0 25 0 1 0 710293587 85889024 19963 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20969 19963 1111 63 0 20906 0
vsize: 83876
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 29567 0 0 0 108893 121 0 0 25 0 1 0 710293587 86429696 20108 4294967295 134512640 134714540 3221221792 3221220196 134697228 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21101 20108 1111 63 0 21038 0
vsize: 84404
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 29698 0 0 0 109892 122 0 0 25 0 1 0 710293587 86970368 20239 4294967295 134512640 134714540 3221221792 3221220384 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21233 20239 1111 63 0 21170 0
vsize: 84932
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 29802 0 0 0 110892 123 0 0 25 0 1 0 710293587 87400448 20343 4294967295 134512640 134714540 3221221792 3221220348 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21338 20343 1111 63 0 21275 0
vsize: 85352
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 29898 0 0 0 111892 123 0 0 25 0 1 0 710293587 87805952 20439 4294967295 134512640 134714540 3221221792 3221220352 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21437 20439 1111 63 0 21374 0
vsize: 85748
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 29978 0 0 0 112892 123 0 0 25 0 1 0 710293587 88076288 20519 4294967295 134512640 134714540 3221221792 3221220512 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21503 20519 1111 63 0 21440 0
vsize: 86012
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 30040 0 0 0 113892 123 0 0 25 0 1 0 710293587 88346624 20581 4294967295 134512640 134714540 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21569 20581 1111 63 0 21506 0
vsize: 86276
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 30120 0 0 0 114892 124 0 0 25 0 1 0 710293587 88752128 20661 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21668 20661 1111 63 0 21605 0
vsize: 86672
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 30182 0 0 0 115892 124 0 0 25 0 1 0 710293587 89038848 20723 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21738 20723 1111 63 0 21675 0
vsize: 86952
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.94 2/54 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 30293 0 0 0 116891 125 0 0 25 0 1 0 710293587 89452544 20834 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21839 20834 1111 63 0 21776 0
vsize: 87356
[startup+1174.99 s]
Raw data (loadavg): 1.00 0.99 0.94 1/53 11439
Raw data (stat): 11439 (bsolo_mis) R 11438 7876 7672 0 -1 0 30293 0 0 0 116891 125 0 0 25 0 1 0 710293587 89452544 20834 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21839 20834 1111 63 0 21776 0
vsize: 0

Child status: 0
Real time (s): 1174.99
CPU time (s): 1175.12
CPU user time (s): 1173.82
CPU system time (s): 1.2968
CPU usage (%): 100.011
Max. virtual memory (Kb): 87356
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####