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-circ8_3.opb
MD5SUM	2ea3853c4fb57dccc00d289069858df9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	172
Optimality of the best value was proved	NO
Number of terms in the objective function	448
Biggest coefficient in the objective function	4
Number of bits for the biggest coefficient in the objective function	3
Sum of the numbers in the objective function	1024
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	24
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	1024
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.06
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 24434

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-10 10:17:34 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=2325 boxname=wulflinc31 idbench=259 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  2ea3853c4fb57dccc00d289069858df9  /oldhome/oroussel/tmp/wulflinc31/normalized-circ8_3.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-circ8_3.opb
IDLAUNCH: 2325
/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:        295136 kB
Buffers:         46436 kB
Cached:         659032 kB
SwapCached:        644 kB
Active:         308832 kB
Inactive:       398956 kB
HighTotal:      131008 kB
HighFree:        31584 kB
LowTotal:       903652 kB
LowFree:        263552 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            25972 kB
Committed_AS:    63652 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-10 10:37:10 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 2325 7 1175.07 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.254 s
c Initial Lower Bound: 16
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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): 1.14 1.02 1.01 2/54 9531
Raw data (stat): 9531 (runsolver) R 9530 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 708460679 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0016 s]
Raw data (loadavg): 1.11 1.01 1.01 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 14097 0 0 0 955 41 0 0 25 0 1 0 708460679 24014848 4934 4294967295 134512640 134714540 3221221792 3221220344 134535770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5863 4934 1111 63 0 5800 0
vsize: 23452
[startup+20.0021 s]
Raw data (loadavg): 1.10 1.01 1.01 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 14567 0 0 0 1954 43 0 0 25 0 1 0 708460679 25460736 5295 4294967295 134512640 134714540 3221221792 3221220256 134542365 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.0021 s]
Raw data (loadavg): 1.08 1.01 1.01 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 14822 0 0 0 2953 44 0 0 25 0 1 0 708460679 26546176 5550 4294967295 134512640 134714540 3221221792 3221220256 134542368 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.0027 s]
Raw data (loadavg): 1.07 1.01 1.01 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15117 0 0 0 3952 45 0 0 25 0 1 0 708460679 27049984 5665 4294967295 134512640 134714540 3221221792 3221220648 134542412 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.0031 s]
Raw data (loadavg): 1.06 1.01 1.01 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15131 0 0 0 4952 45 0 0 25 0 1 0 708460679 27049984 5679 4294967295 134512640 134714540 3221221792 3221220448 134536638 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.0039 s]
Raw data (loadavg): 1.05 1.01 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15132 0 0 0 5951 46 0 0 25 0 1 0 708460679 27049984 5680 4294967295 134512640 134714540 3221221792 3221220432 134539518 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.0053 s]
Raw data (loadavg): 1.04 1.01 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15201 0 0 0 6950 47 0 0 25 0 1 0 708460679 27320320 5749 4294967295 134512640 134714540 3221221792 3221220332 134539296 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.0059 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15418 0 0 0 7949 49 0 0 25 0 1 0 708460679 28131328 5966 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6868 5966 1111 63 0 6805 0
vsize: 27472
[startup+90.0059 s]
Raw data (loadavg): 1.03 1.01 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15680 0 0 0 8948 50 0 0 25 0 1 0 708460679 29212672 6228 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7132 6228 1111 63 0 7069 0
vsize: 28528
[startup+100.006 s]
Raw data (loadavg): 1.02 1.01 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 15842 0 0 0 9947 51 0 0 25 0 1 0 708460679 29888512 6390 4294967295 134512640 134714540 3221221792 3221220332 134539265 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7297 6390 1111 63 0 7234 0
vsize: 29188
[startup+110.008 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 16063 0 0 0 10946 53 0 0 25 0 1 0 708460679 30834688 6611 4294967295 134512640 134714540 3221221792 3221220448 134536643 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7528 6611 1111 63 0 7465 0
vsize: 30112
[startup+120.009 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 16289 0 0 0 11944 54 0 0 25 0 1 0 708460679 31780864 6837 4294967295 134512640 134714540 3221221792 3221220456 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7759 6837 1111 63 0 7696 0
vsize: 31036
[startup+130.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 16518 0 0 0 12943 56 0 0 25 0 1 0 708460679 32727040 7066 4294967295 134512640 134714540 3221221792 3221220456 134543057 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7990 7066 1111 63 0 7927 0
vsize: 31960
[startup+140.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 16738 0 0 0 13941 58 0 0 25 0 1 0 708460679 33538048 7286 4294967295 134512640 134714540 3221221792 3221220332 134539262 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8188 7286 1111 63 0 8125 0
vsize: 32752
[startup+150.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 16957 0 0 0 14940 59 0 0 25 0 1 0 708460679 34484224 7505 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8419 7505 1111 63 0 8356 0
vsize: 33676
[startup+160.011 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 17184 0 0 0 15939 60 0 0 25 0 1 0 708460679 35430400 7732 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8650 7732 1111 63 0 8587 0
vsize: 34600
[startup+170.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 17423 0 0 0 16938 62 0 0 25 0 1 0 708460679 36376576 7971 4294967295 134512640 134714540 3221221792 3221220424 134543665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8881 7971 1111 63 0 8818 0
vsize: 35524
[startup+180.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 17609 0 0 0 17937 63 0 0 25 0 1 0 708460679 37187584 8157 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9079 8157 1111 63 0 9016 0
vsize: 36316
[startup+190.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 17845 0 0 0 18936 65 0 0 25 0 1 0 708460679 38133760 8393 4294967295 134512640 134714540 3221221792 3221220432 134539385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9310 8393 1111 63 0 9247 0
vsize: 37240
[startup+200.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18063 0 0 0 19934 66 0 0 25 0 1 0 708460679 38944768 8611 4294967295 134512640 134714540 3221221792 3221220448 134536638 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.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18276 0 0 0 20933 67 0 0 25 0 1 0 708460679 39895040 8824 4294967295 134512640 134714540 3221221792 3221220416 134542365 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9740 8824 1111 63 0 9677 0
vsize: 38960
[startup+220.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18460 0 0 0 21932 69 0 0 25 0 1 0 708460679 40570880 9008 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9905 9008 1111 63 0 9842 0
vsize: 39620
[startup+230.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18631 0 0 0 22931 70 0 0 25 0 1 0 708460679 41381888 9179 4294967295 134512640 134714540 3221221792 3221220432 134542350 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.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18775 0 0 0 23930 71 0 0 25 0 1 0 708460679 41922560 9323 4294967295 134512640 134714540 3221221792 3221220396 134536817 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.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 18935 0 0 0 24929 72 0 0 25 0 1 0 708460679 42598400 9483 4294967295 134512640 134714540 3221221792 3221220564 134529375 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.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19086 0 0 0 25928 73 0 0 25 0 1 0 708460679 43143168 9634 4294967295 134512640 134714540 3221221792 3221220420 134543092 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.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19225 0 0 0 26927 75 0 0 25 0 1 0 708460679 43823104 9773 4294967295 134512640 134714540 3221221792 3221220116 134697375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10699 9773 1111 63 0 10636 0
vsize: 42796
[startup+280.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19392 0 0 0 27926 76 0 0 25 0 1 0 708460679 44498944 9940 4294967295 134512640 134714540 3221221792 3221220380 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10864 9940 1111 63 0 10801 0
vsize: 43456
[startup+290.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19562 0 0 0 28925 77 0 0 25 0 1 0 708460679 45174784 10110 4294967295 134512640 134714540 3221221792 3221220512 134535795 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.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19725 0 0 0 29924 78 0 0 25 0 1 0 708460679 45850624 10273 4294967295 134512640 134714540 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11194 10273 1111 63 0 11131 0
vsize: 44776
[startup+310.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 19896 0 0 0 30923 79 0 0 25 0 1 0 708460679 46526464 10444 4294967295 134512640 134714540 3221221792 3221220432 134539462 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.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20024 0 0 0 31923 80 0 0 25 0 1 0 708460679 47067136 10572 4294967295 134512640 134714540 3221221792 3221220384 134543684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11491 10572 1111 63 0 11428 0
vsize: 45964
[startup+330.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20191 0 0 0 32922 81 0 0 25 0 1 0 708460679 47742976 10739 4294967295 134512640 134714540 3221221792 3221220528 134535745 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.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20334 0 0 0 33922 81 0 0 25 0 1 0 708460679 48418816 10882 4294967295 134512640 134714540 3221221792 3221220416 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.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20506 0 0 0 34921 83 0 0 25 0 1 0 708460679 49098752 11054 4294967295 134512640 134714540 3221221792 3221220528 134535745 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.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20662 0 0 0 35920 84 0 0 25 0 1 0 708460679 49639424 11210 4294967295 134512640 134714540 3221221792 3221220352 134542347 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.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20791 0 0 0 36919 85 0 0 25 0 1 0 708460679 50176000 11339 4294967295 134512640 134714540 3221221792 3221220380 134543653 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.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 20905 0 0 0 37918 86 0 0 25 0 1 0 708460679 50716672 11453 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12382 11453 1111 63 0 12319 0
vsize: 49528
[startup+390.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21055 0 0 0 38917 87 0 0 25 0 1 0 708460679 51257344 11603 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12514 11603 1111 63 0 12451 0
vsize: 50056
[startup+400.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21195 0 0 0 39916 88 0 0 25 0 1 0 708460679 51933184 11743 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12679 11743 1111 63 0 12616 0
vsize: 50716
[startup+410.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21328 0 0 0 40915 89 0 0 25 0 1 0 708460679 52473856 11876 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12811 11876 1111 63 0 12748 0
vsize: 51244
[startup+420.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21418 0 0 0 41915 90 0 0 25 0 1 0 708460679 52752384 11966 4294967295 134512640 134714540 3221221792 3221220560 134592128 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12879 11966 1111 63 0 12816 0
vsize: 51516
[startup+430.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21571 0 0 0 42914 91 0 0 25 0 1 0 708460679 53428224 12119 4294967295 134512640 134714540 3221221792 3221220480 134528712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13044 12119 1111 63 0 12981 0
vsize: 52176
[startup+440.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21700 0 0 0 43913 92 0 0 25 0 1 0 708460679 53968896 12248 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13176 12248 1111 63 0 13113 0
vsize: 52704
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21826 0 0 0 44912 93 0 0 25 0 1 0 708460679 54509568 12374 4294967295 134512640 134714540 3221221792 3221220432 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13308 12374 1111 63 0 13245 0
vsize: 53232
[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 21983 0 0 0 45910 95 0 0 25 0 1 0 708460679 55050240 12531 4294967295 134512640 134714540 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13440 12531 1111 63 0 13377 0
vsize: 53760
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22109 0 0 0 46909 96 0 0 25 0 1 0 708460679 55590912 12657 4294967295 134512640 134714540 3221221792 3221220384 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13572 12657 1111 63 0 13509 0
vsize: 54288
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22215 0 0 0 47909 97 0 0 25 0 1 0 708460679 55996416 12763 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13671 12763 1111 63 0 13608 0
vsize: 54684
[startup+490.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22323 0 0 0 48908 98 0 0 25 0 1 0 708460679 56537088 12871 4294967295 134512640 134714540 3221221792 3221220472 134542961 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13803 12871 1111 63 0 13740 0
vsize: 55212
[startup+500.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22419 0 0 0 49907 99 0 0 25 0 1 0 708460679 56942592 12967 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13902 12967 1111 63 0 13839 0
vsize: 55608
[startup+510.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22543 0 0 0 50906 100 0 0 25 0 1 0 708460679 57483264 13091 4294967295 134512640 134714540 3221221792 3221220300 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14034 13091 1111 63 0 13971 0
vsize: 56136
[startup+520.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22676 0 0 0 51905 101 0 0 25 0 1 0 708460679 58023936 13224 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14166 13224 1111 63 0 14103 0
vsize: 56664
[startup+530.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22819 0 0 0 52904 102 0 0 25 0 1 0 708460679 58564608 13367 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14298 13367 1111 63 0 14235 0
vsize: 57192
[startup+540.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 22942 0 0 0 53903 104 0 0 25 0 1 0 708460679 59105280 13490 4294967295 134512640 134714540 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14430 13490 1111 63 0 14367 0
vsize: 57720
[startup+550.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23068 0 0 0 54902 105 0 0 25 0 1 0 708460679 59510784 13616 4294967295 134512640 134714540 3221221792 3221220460 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14529 13616 1111 63 0 14466 0
vsize: 58116
[startup+560.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23184 0 0 0 55901 107 0 0 25 0 1 0 708460679 60051456 13732 4294967295 134512640 134714540 3221221792 3221220384 134549651 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14661 13732 1111 63 0 14598 0
vsize: 58644
[startup+570.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23310 0 0 0 56899 108 0 0 25 0 1 0 708460679 60592128 13858 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14793 13858 1111 63 0 14730 0
vsize: 59172
[startup+580.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23409 0 0 0 57899 109 0 0 25 0 1 0 708460679 61001728 13957 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14893 13957 1111 63 0 14830 0
vsize: 59572
[startup+590.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23527 0 0 0 58898 110 0 0 25 0 1 0 708460679 61407232 14074 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14992 14074 1111 63 0 14929 0
vsize: 59968
[startup+600.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23611 0 0 0 59896 111 0 0 25 0 1 0 708460679 61812736 14158 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15091 14158 1111 63 0 15028 0
vsize: 60364
[startup+610.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23689 0 0 0 60896 112 0 0 25 0 1 0 708460679 62083072 14236 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15157 14236 1111 63 0 15094 0
vsize: 60628
[startup+620.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23790 0 0 0 61895 113 0 0 25 0 1 0 708460679 62488576 14337 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15256 14337 1111 63 0 15193 0
vsize: 61024
[startup+630.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23889 0 0 0 62895 114 0 0 25 0 1 0 708460679 62894080 14436 4294967295 134512640 134714540 3221221792 3221220416 134542312 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15355 14436 1111 63 0 15292 0
vsize: 61420
[startup+640.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 23982 0 0 0 63894 114 0 0 25 0 1 0 708460679 63299584 14529 4294967295 134512640 134714540 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15454 14529 1111 63 0 15391 0
vsize: 61816
[startup+650.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24079 0 0 0 64894 115 0 0 25 0 1 0 708460679 63705088 14626 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15553 14626 1111 63 0 15490 0
vsize: 62212
[startup+660.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24176 0 0 0 65893 116 0 0 25 0 1 0 708460679 64110592 14723 4294967295 134512640 134714540 3221221792 3221220556 134552548 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15652 14723 1111 63 0 15589 0
vsize: 62608
[startup+670.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24297 0 0 0 66892 118 0 0 25 0 1 0 708460679 64643072 14844 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15782 14844 1111 63 0 15719 0
vsize: 63128
[startup+680.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24416 0 0 0 67891 119 0 0 25 0 1 0 708460679 65187840 14963 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15915 14963 1111 63 0 15852 0
vsize: 63660
[startup+690.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24570 0 0 0 68890 120 0 0 25 0 1 0 708460679 65744896 15117 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16051 15117 1111 63 0 15988 0
vsize: 64204
[startup+700.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24703 0 0 0 69889 120 0 0 25 0 1 0 708460679 66285568 15250 4294967295 134512640 134714540 3221221792 3221220384 134543740 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16183 15250 1111 63 0 16120 0
vsize: 64732
[startup+710.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 24852 0 0 0 70888 122 0 0 25 0 1 0 708460679 66961408 15399 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16348 15399 1111 63 0 16285 0
vsize: 65392
[startup+720.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25002 0 0 0 71888 122 0 0 25 0 1 0 708460679 67502080 15549 4294967295 134512640 134714540 3221221792 3221220384 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16480 15549 1111 63 0 16417 0
vsize: 65920
[startup+730.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25122 0 0 0 72887 123 0 0 25 0 1 0 708460679 68042752 15669 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16612 15669 1111 63 0 16549 0
vsize: 66448
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25239 0 0 0 73886 124 0 0 25 0 1 0 708460679 68448256 15786 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16711 15786 1111 63 0 16648 0
vsize: 66844
[startup+750.036 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25335 0 0 0 74886 125 0 0 25 0 1 0 708460679 68853760 15882 4294967295 134512640 134714540 3221221792 3221220300 134535895 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16810 15882 1111 63 0 16747 0
vsize: 67240
[startup+760.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25418 0 0 0 75885 126 0 0 25 0 1 0 708460679 69259264 15965 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16909 15965 1111 63 0 16846 0
vsize: 67636
[startup+770.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25575 0 0 0 76884 127 0 0 25 0 1 0 708460679 69931008 16122 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17073 16122 1111 63 0 17010 0
vsize: 68292
[startup+780.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25695 0 0 0 77883 128 0 0 25 0 1 0 708460679 70336512 16242 4294967295 134512640 134714540 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17172 16242 1111 63 0 17109 0
vsize: 68688
[startup+790.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25825 0 0 0 78882 130 0 0 25 0 1 0 708460679 70877184 16372 4294967295 134512640 134714540 3221221792 3221220560 134529138 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17304 16372 1111 63 0 17241 0
vsize: 69216
[startup+800.038 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 25973 0 0 0 79881 131 0 0 25 0 1 0 708460679 71561216 16519 4294967295 134512640 134714540 3221221792 3221220496 134528735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17471 16519 1111 63 0 17408 0
vsize: 69884
[startup+810.039 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26089 0 0 0 80881 131 0 0 25 0 1 0 708460679 71966720 16635 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17570 16635 1111 63 0 17507 0
vsize: 70280
[startup+820.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26182 0 0 0 81880 132 0 0 25 0 1 0 708460679 72384512 16728 4294967295 134512640 134714540 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17672 16728 1111 63 0 17609 0
vsize: 70688
[startup+830.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26317 0 0 0 82880 132 0 0 25 0 1 0 708460679 72925184 16863 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17804 16863 1111 63 0 17741 0
vsize: 71216
[startup+840.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26438 0 0 0 83880 133 0 0 25 0 1 0 708460679 73465856 16984 4294967295 134512640 134714540 3221221792 3221220460 134696428 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17936 16984 1111 63 0 17873 0
vsize: 71744
[startup+850.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26560 0 0 0 84879 133 0 0 25 0 1 0 708460679 74006528 17106 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18068 17106 1111 63 0 18005 0
vsize: 72272
[startup+860.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26699 0 0 0 85879 134 0 0 25 0 1 0 708460679 74579968 17245 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18208 17245 1111 63 0 18145 0
vsize: 72832
[startup+870.041 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26855 0 0 0 86877 135 0 0 25 0 1 0 708460679 75272192 17401 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18377 17401 1111 63 0 18314 0
vsize: 73508
[startup+880.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 26973 0 0 0 87877 135 0 0 25 0 1 0 708460679 75677696 17519 4294967295 134512640 134714540 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18476 17519 1111 63 0 18413 0
vsize: 73904
[startup+890.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27058 0 0 0 88877 136 0 0 25 0 1 0 708460679 76083200 17604 4294967295 134512640 134714540 3221221792 3221220576 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18575 17604 1111 63 0 18512 0
vsize: 74300
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27191 0 0 0 89877 136 0 0 25 0 1 0 708460679 76636160 17735 4294967295 134512640 134714540 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18710 17735 1111 63 0 18647 0
vsize: 74840
[startup+910.042 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27333 0 0 0 90877 136 0 0 25 0 1 0 708460679 77172736 17877 4294967295 134512640 134714540 3221221792 3221220332 134539265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18841 17877 1111 63 0 18778 0
vsize: 75364
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27448 0 0 0 91876 137 0 0 25 0 1 0 708460679 77713408 17992 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18973 17992 1111 63 0 18910 0
vsize: 75892
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27544 0 0 0 92876 138 0 0 25 0 1 0 708460679 77983744 18088 4294967295 134512640 134714540 3221221792 3221220496 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19039 18088 1111 63 0 18976 0
vsize: 76156
[startup+940.043 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27646 0 0 0 93875 138 0 0 25 0 1 0 708460679 78524416 18189 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19171 18189 1111 63 0 19108 0
vsize: 76684
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27764 0 0 0 94875 139 0 0 25 0 1 0 708460679 78950400 18307 4294967295 134512640 134714540 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19275 18307 1111 63 0 19212 0
vsize: 77100
[startup+960.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 27870 0 0 0 95875 139 0 0 25 0 1 0 708460679 79355904 18413 4294967295 134512640 134714540 3221221792 3221220552 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19374 18413 1111 63 0 19311 0
vsize: 77496
[startup+970.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28001 0 0 0 96874 140 0 0 25 0 1 0 708460679 79896576 18544 4294967295 134512640 134714540 3221221792 3221220432 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19506 18544 1111 63 0 19443 0
vsize: 78024
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28101 0 0 0 97874 140 0 0 25 0 1 0 708460679 80334848 18644 4294967295 134512640 134714540 3221221792 3221220376 134543589 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19613 18644 1111 63 0 19550 0
vsize: 78452
[startup+990.044 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28234 0 0 0 98874 141 0 0 25 0 1 0 708460679 80875520 18777 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19745 18777 1111 63 0 19682 0
vsize: 78980
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28370 0 0 0 99873 141 0 0 25 0 1 0 708460679 81412096 18913 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19876 18913 1111 63 0 19813 0
vsize: 79504
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28478 0 0 0 100873 142 0 0 25 0 1 0 708460679 81973248 19020 4294967295 134512640 134714540 3221221792 3221220464 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20013 19020 1111 63 0 19950 0
vsize: 80052
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28607 0 0 0 101873 142 0 0 25 0 1 0 708460679 82378752 19149 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20112 19149 1111 63 0 20049 0
vsize: 80448
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28727 0 0 0 102872 143 0 0 25 0 1 0 708460679 82915328 19269 4294967295 134512640 134714540 3221221792 3221220408 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20243 19269 1111 63 0 20180 0
vsize: 80972
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28843 0 0 0 103872 144 0 0 25 0 1 0 708460679 83456000 19385 4294967295 134512640 134714540 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20375 19385 1111 63 0 20312 0
vsize: 81500
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 28992 0 0 0 104871 144 0 0 25 0 1 0 708460679 84131840 19534 4294967295 134512640 134714540 3221221792 3221220432 134539385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20540 19534 1111 63 0 20477 0
vsize: 82160
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29127 0 0 0 105870 145 0 0 25 0 1 0 708460679 84672512 19669 4294967295 134512640 134714540 3221221792 3221220384 134549585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20672 19669 1111 63 0 20609 0
vsize: 82688
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29232 0 0 0 106870 146 0 0 25 0 1 0 708460679 85078016 19774 4294967295 134512640 134714540 3221221792 3221220448 134536849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20771 19774 1111 63 0 20708 0
vsize: 83084
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29346 0 0 0 107870 146 0 0 25 0 1 0 708460679 85483520 19888 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20870 19888 1111 63 0 20807 0
vsize: 83480
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29478 0 0 0 108869 147 0 0 25 0 1 0 708460679 86024192 20020 4294967295 134512640 134714540 3221221792 3221220460 134543653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21002 20020 1111 63 0 20939 0
vsize: 84008
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29618 0 0 0 109869 147 0 0 25 0 1 0 708460679 86564864 20160 4294967295 134512640 134714540 3221221792 3221220444 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21134 20160 1111 63 0 21071 0
vsize: 84536
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29758 0 0 0 110868 148 0 0 25 0 1 0 708460679 87257088 20300 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21303 20300 1111 63 0 21240 0
vsize: 85212
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29855 0 0 0 111868 149 0 0 25 0 1 0 708460679 87670784 20397 4294967295 134512640 134714540 3221221792 3221220416 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21404 20397 1111 63 0 21341 0
vsize: 85616
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 29931 0 0 0 112868 149 0 0 25 0 1 0 708460679 87941120 20473 4294967295 134512640 134714540 3221221792 3221220388 134542821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21470 20473 1111 63 0 21407 0
vsize: 85880
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 30005 0 0 0 113867 150 0 0 25 0 1 0 708460679 88211456 20547 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21536 20547 1111 63 0 21473 0
vsize: 86144
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 30075 0 0 0 114867 150 0 0 25 0 1 0 708460679 88481792 20617 4294967295 134512640 134714540 3221221792 3221220500 134535806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21602 20617 1111 63 0 21539 0
vsize: 86408
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 30135 0 0 0 115867 151 0 0 25 0 1 0 708460679 88752128 20677 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21668 20677 1111 63 0 21605 0
vsize: 86672
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 30210 0 0 0 116867 151 0 0 25 0 1 0 708460679 89182208 20752 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21773 20752 1111 63 0 21710 0
vsize: 87092
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 9531
Raw data (stat): 9531 (bsolo_mis) R 9530 7876 7672 0 -1 0 30210 0 0 0 116867 151 0 0 25 0 1 0 708460679 89182208 20752 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21773 20752 1111 63 0 21710 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.07
CPU user time (s): 1173.51
CPU system time (s): 1.55776
CPU usage (%): 100.011
Max. virtual memory (Kb): 87092
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####