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/aloul/FPGA_SAT05/normalized-fpga25_24_sat_pb.cnf.cr.opb
MD5SUM	c84a64f67029a09ef823a1b3017b5713
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.562914
Number of variables	900
Total number of constraints	673
Number of constraints which are clauses	624
Number of constraints which are cardinality constraints (but not clauses)	49
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 23359

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 18:54:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=390 boxname=wulflinc31 idbench=44 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  c84a64f67029a09ef823a1b3017b5713  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_24_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_24_sat_pb.cnf.cr.opb
IDLAUNCH: 390
/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:        926628 kB
Buffers:         38616 kB
Cached:          47412 kB
SwapCached:        944 kB
Active:          72592 kB
Inactive:        15940 kB
HighTotal:      131008 kB
HighFree:        82600 kB
LowTotal:       903652 kB
LowFree:        844028 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            13988 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 19:14:30 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 390 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 900 variables and 673 constraints.
c After prepocess the problem consists of 900 variables and 673 constraints.
c preprocess terminated 0.933 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.98 0.97 2/54 27163
Raw data (stat): 27163 (runsolver) R 27162 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 642437184 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0008 s]
Raw data (loadavg): 0.93 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 1756 0 0 0 989 7 0 0 25 0 1 0 642437184 10866688 1731 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2653 1731 1111 63 0 2590 0
vsize: 10612
[startup+20.0008 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 2081 0 0 0 1986 10 0 0 25 0 1 0 642437184 12218368 2056 4294967295 134512640 134714540 3221221776 3221220344 1077377714 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2983 2056 1111 63 0 2920 0
vsize: 11932
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 2238 0 0 0 2985 12 0 0 25 0 1 0 642437184 12754944 2213 4294967295 134512640 134714540 3221221776 3221220512 134528818 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3114 2213 1111 63 0 3051 0
vsize: 12456
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 2532 0 0 0 3982 14 0 0 25 0 1 0 642437184 13971456 2507 4294967295 134512640 134714540 3221221776 3221220372 134549856 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3411 2507 1111 63 0 3348 0
vsize: 13644
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 2820 0 0 0 4980 16 0 0 25 0 1 0 642437184 15163392 2795 4294967295 134512640 134714540 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3702 2795 1111 63 0 3639 0
vsize: 14808
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 2996 0 0 0 5977 19 0 0 25 0 1 0 642437184 15974400 2971 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3900 2971 1111 63 0 3837 0
vsize: 15600
[startup+70.0024 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3079 0 0 0 6976 21 0 0 25 0 1 0 642437184 16240640 3054 4294967295 134512640 134714540 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3965 3054 1111 63 0 3902 0
vsize: 15860
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3150 0 0 0 7975 22 0 0 25 0 1 0 642437184 16506880 3125 4294967295 134512640 134714540 3221221776 3221220428 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4030 3125 1111 63 0 3967 0
vsize: 16120
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3210 0 0 0 8974 24 0 0 25 0 1 0 642437184 16777216 3185 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4096 3185 1111 63 0 4033 0
vsize: 16384
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3244 0 0 0 9973 25 0 0 25 0 1 0 642437184 16912384 3219 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4129 3219 1111 63 0 4066 0
vsize: 16516
[startup+110.005 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3313 0 0 0 10972 26 0 0 25 0 1 0 642437184 17154048 3288 4294967295 134512640 134714540 3221221776 3221220216 1077377827 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4188 3288 1111 63 0 4125 0
vsize: 16752
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3393 0 0 0 11971 27 0 0 25 0 1 0 642437184 17555456 3368 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4286 3368 1111 63 0 4223 0
vsize: 17144
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3465 0 0 0 12970 28 0 0 25 0 1 0 642437184 17821696 3440 4294967295 134512640 134714540 3221221776 3221220340 134696436 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4351 3440 1111 63 0 4288 0
vsize: 17404
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3516 0 0 0 13968 30 0 0 25 0 1 0 642437184 18063360 3491 4294967295 134512640 134714540 3221221776 3221220172 1077379821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4410 3491 1111 63 0 4347 0
vsize: 17640
[startup+150.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3570 0 0 0 14967 32 0 0 25 0 1 0 642437184 18333696 3545 4294967295 134512640 134714540 3221221776 3221220496 134535790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4476 3545 1111 63 0 4413 0
vsize: 17904
[startup+160.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3611 0 0 0 15965 34 0 0 25 0 1 0 642437184 18468864 3586 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4509 3586 1111 63 0 4446 0
vsize: 18036
[startup+170.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3665 0 0 0 16964 35 0 0 25 0 1 0 642437184 18604032 3640 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4542 3640 1111 63 0 4479 0
vsize: 18168
[startup+180.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3693 0 0 0 17962 37 0 0 25 0 1 0 642437184 18739200 3668 4294967295 134512640 134714540 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4575 3668 1111 63 0 4512 0
vsize: 18300
[startup+190.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3711 0 0 0 18960 39 0 0 25 0 1 0 642437184 18870272 3686 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4607 3686 1111 63 0 4544 0
vsize: 18428
[startup+200.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3739 0 0 0 19959 40 0 0 25 0 1 0 642437184 19005440 3714 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4640 3714 1111 63 0 4577 0
vsize: 18560
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3746 0 0 0 20958 42 0 0 25 0 1 0 642437184 18997248 3721 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4638 3721 1111 63 0 4575 0
vsize: 18552
[startup+220.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3776 0 0 0 21956 44 0 0 25 0 1 0 642437184 19124224 3751 4294967295 134512640 134714540 3221221776 3221220380 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4669 3751 1111 63 0 4606 0
vsize: 18676
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3794 0 0 0 22955 45 0 0 25 0 1 0 642437184 19124224 3769 4294967295 134512640 134714540 3221221776 3221220404 134696293 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4669 3769 1111 63 0 4606 0
vsize: 18676
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3802 0 0 0 23953 46 0 0 25 0 1 0 642437184 19251200 3777 4294967295 134512640 134714540 3221221776 3221220464 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4700 3777 1111 63 0 4637 0
vsize: 18800
[startup+250.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 3826 0 0 0 24952 48 0 0 25 0 1 0 642437184 19251200 3801 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4700 3801 1111 63 0 4637 0
vsize: 18800
[startup+260.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4021 0 0 0 25951 49 0 0 25 0 1 0 642437184 20058112 3996 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4897 3996 1111 63 0 4834 0
vsize: 19588
[startup+270.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4058 0 0 0 26950 50 0 0 25 0 1 0 642437184 20328448 4033 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4963 4033 1111 63 0 4900 0
vsize: 19852
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4068 0 0 0 27949 51 0 0 25 0 1 0 642437184 20328448 4043 4294967295 134512640 134714540 3221221776 3221220416 134539518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4043 1111 63 0 4900 0
vsize: 19852
[startup+290.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4073 0 0 0 28948 52 0 0 25 0 1 0 642437184 20328448 4048 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4963 4048 1111 63 0 4900 0
vsize: 19852
[startup+300.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 27163
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4108 0 0 0 29947 54 0 0 25 0 1 0 642437184 20463616 4083 4294967295 134512640 134714540 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4996 4083 1111 63 0 4933 0
vsize: 19984
[startup+310.014 s]
Raw data (loadavg): 0.99 0.98 0.97 3/57 27203
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4168 0 0 0 30941 60 0 0 25 0 1 0 642437184 20733952 4143 4294967295 134512640 134714540 3221221776 3221220480 134528538 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5062 4143 1111 63 0 4999 0
vsize: 20248
[startup+320.015 s]
Raw data (loadavg): 1.07 1.00 0.98 2/54 27216
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4203 0 0 0 31939 61 0 0 25 0 1 0 642437184 20869120 4178 4294967295 134512640 134714540 3221221776 3221220536 134592379 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4178 1111 63 0 5032 0
vsize: 20380
[startup+330.016 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 27216
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4217 0 0 0 32939 62 0 0 25 0 1 0 642437184 20869120 4192 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4192 1111 63 0 5032 0
vsize: 20380
[startup+340.016 s]
Raw data (loadavg): 1.05 1.00 0.98 2/54 27216
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4217 0 0 0 33938 63 0 0 25 0 1 0 642437184 20869120 4192 4294967295 134512640 134714540 3221221776 3221220416 134696083 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5095 4192 1111 63 0 5032 0
vsize: 20380
[startup+350.018 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 27216
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4236 0 0 0 34937 64 0 0 25 0 1 0 642437184 21004288 4211 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5128 4211 1111 63 0 5065 0
vsize: 20512
[startup+360.019 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 27216
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4263 0 0 0 35936 66 0 0 25 0 1 0 642437184 21139456 4238 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5161 4238 1111 63 0 5098 0
vsize: 20644
[startup+370.018 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 27216
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4289 0 0 0 36935 66 0 0 25 0 1 0 642437184 21274624 4264 4294967295 134512640 134714540 3221221776 3221220440 134523854 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5194 4264 1111 63 0 5131 0
vsize: 20776
[startup+380.018 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 27216
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4299 0 0 0 37934 68 0 0 25 0 1 0 642437184 21274624 4274 4294967295 134512640 134714540 3221221776 3221220496 134584741 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5194 4274 1111 63 0 5131 0
vsize: 20776
[startup+390.019 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4299 0 0 0 38933 69 0 0 25 0 1 0 642437184 21274624 4274 4294967295 134512640 134714540 3221221776 3221220352 134542794 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5194 4274 1111 63 0 5131 0
vsize: 20776
[startup+400.019 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4354 0 0 0 39933 70 0 0 25 0 1 0 642437184 21544960 4329 4294967295 134512640 134714540 3221221776 3221220276 134697124 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5260 4329 1111 63 0 5197 0
vsize: 21040
[startup+410.02 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4354 0 0 0 40933 70 0 0 25 0 1 0 642437184 21442560 4329 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5235 4329 1111 63 0 5172 0
vsize: 20940
[startup+420.02 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4456 0 0 0 41932 71 0 0 25 0 1 0 642437184 21958656 4431 4294967295 134512640 134714540 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5361 4431 1111 63 0 5298 0
vsize: 21444
[startup+430.021 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4456 0 0 0 42931 72 0 0 25 0 1 0 642437184 21958656 4431 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5361 4431 1111 63 0 5298 0
vsize: 21444
[startup+440.021 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4525 0 0 0 43931 73 0 0 25 0 1 0 642437184 22228992 4500 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5427 4500 1111 63 0 5364 0
vsize: 21708
[startup+450.022 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4538 0 0 0 44930 73 0 0 25 0 1 0 642437184 22228992 4513 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5427 4513 1111 63 0 5364 0
vsize: 21708
[startup+460.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4542 0 0 0 45930 73 0 0 25 0 1 0 642437184 22228992 4517 4294967295 134512640 134714540 3221221776 3221220344 1077377218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5427 4517 1111 63 0 5364 0
vsize: 21708
[startup+470.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4569 0 0 0 46929 74 0 0 25 0 1 0 642437184 22364160 4544 4294967295 134512640 134714540 3221221776 3221220584 134558582 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5460 4544 1111 63 0 5397 0
vsize: 21840
[startup+480.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4573 0 0 0 47929 75 0 0 25 0 1 0 642437184 22364160 4548 4294967295 134512640 134714540 3221221776 3221220392 134613957 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5460 4548 1111 63 0 5397 0
vsize: 21840
[startup+490.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4610 0 0 0 48928 76 0 0 25 0 1 0 642437184 22450176 4582 4294967295 134512640 134714540 3221221776 3221220404 134696257 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4582 1111 63 0 5418 0
vsize: 21924
[startup+500.023 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4610 0 0 0 49928 77 0 0 25 0 1 0 642437184 22450176 4582 4294967295 134512640 134714540 3221221776 3221220384 134523333 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4582 1111 63 0 5418 0
vsize: 21924
[startup+510.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4610 0 0 0 50927 77 0 0 25 0 1 0 642437184 22450176 4582 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4582 1111 63 0 5418 0
vsize: 21924
[startup+520.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4610 0 0 0 51926 78 0 0 25 0 1 0 642437184 22450176 4582 4294967295 134512640 134714540 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4582 1111 63 0 5418 0
vsize: 21924
[startup+530.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4610 0 0 0 52926 79 0 0 25 0 1 0 642437184 22450176 4582 4294967295 134512640 134714540 3221221776 3221220400 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5481 4582 1111 63 0 5418 0
vsize: 21924
[startup+540.024 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4623 0 0 0 53926 79 0 0 25 0 1 0 642437184 22585344 4595 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5514 4595 1111 63 0 5451 0
vsize: 22056
[startup+550.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4675 0 0 0 54925 80 0 0 25 0 1 0 642437184 22720512 4647 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5547 4647 1111 63 0 5484 0
vsize: 22188
[startup+560.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4764 0 0 0 55924 82 0 0 25 0 1 0 642437184 23126016 4736 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5646 4736 1111 63 0 5583 0
vsize: 22584
[startup+570.025 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4789 0 0 0 56923 82 0 0 25 0 1 0 642437184 23261184 4761 4294967295 134512640 134714540 3221221776 3221220416 134539516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5679 4761 1111 63 0 5616 0
vsize: 22716
[startup+580.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 4873 0 0 0 57922 84 0 0 25 0 1 0 642437184 23527424 4845 4294967295 134512640 134714540 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5744 4845 1111 63 0 5681 0
vsize: 22976
[startup+590.026 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5106 0 0 0 58921 85 0 0 25 0 1 0 642437184 24600576 5078 4294967295 134512640 134714540 3221221776 3221220356 134696296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6006 5078 1111 63 0 5943 0
vsize: 24024
[startup+600.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5170 0 0 0 59920 86 0 0 25 0 1 0 642437184 24854528 5142 4294967295 134512640 134714540 3221221776 3221220560 134528959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6068 5142 1111 63 0 6005 0
vsize: 24272
[startup+610.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5209 0 0 0 60920 87 0 0 25 0 1 0 642437184 24989696 5181 4294967295 134512640 134714540 3221221776 3221220368 134542808 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6101 5181 1111 63 0 6038 0
vsize: 24404
[startup+620.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5261 0 0 0 61919 87 0 0 25 0 1 0 642437184 25124864 5233 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6134 5233 1111 63 0 6071 0
vsize: 24536
[startup+630.027 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5322 0 0 0 62918 88 0 0 25 0 1 0 642437184 25395200 5294 4294967295 134512640 134714540 3221221776 3221220512 134523983 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6200 5294 1111 63 0 6137 0
vsize: 24800
[startup+640.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5412 0 0 0 63918 89 0 0 25 0 1 0 642437184 25800704 5384 4294967295 134512640 134714540 3221221776 3221220400 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6299 5384 1111 63 0 6236 0
vsize: 25196
[startup+650.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5482 0 0 0 64917 91 0 0 25 0 1 0 642437184 26071040 5454 4294967295 134512640 134714540 3221221776 3221220436 134523855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6365 5454 1111 63 0 6302 0
vsize: 25460
[startup+660.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27218
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5508 0 0 0 65916 91 0 0 25 0 1 0 642437184 26206208 5480 4294967295 134512640 134714540 3221221776 3221220400 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6398 5480 1111 63 0 6335 0
vsize: 25592
[startup+670.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5663 0 0 0 66915 93 0 0 25 0 1 0 642437184 26882048 5635 4294967295 134512640 134714540 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6563 5635 1111 63 0 6500 0
vsize: 26252
[startup+680.028 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5731 0 0 0 67914 93 0 0 25 0 1 0 642437184 27152384 5703 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6629 5703 1111 63 0 6566 0
vsize: 26516
[startup+690.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5787 0 0 0 68914 94 0 0 25 0 1 0 642437184 27287552 5759 4294967295 134512640 134714540 3221221776 3221220272 134697125 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6662 5759 1111 63 0 6599 0
vsize: 26648
[startup+700.029 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5830 0 0 0 69913 95 0 0 25 0 1 0 642437184 27557888 5802 4294967295 134512640 134714540 3221221776 3221220324 134696760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6728 5802 1111 63 0 6665 0
vsize: 26912
[startup+710.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5889 0 0 0 70912 96 0 0 25 0 1 0 642437184 27693056 5861 4294967295 134512640 134714540 3221221776 3221220360 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6761 5861 1111 63 0 6698 0
vsize: 27044
[startup+720.03 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5917 0 0 0 71911 97 0 0 25 0 1 0 642437184 27820032 5889 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6792 5889 1111 63 0 6729 0
vsize: 27168
[startup+730.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5931 0 0 0 72910 99 0 0 25 0 1 0 642437184 27938816 5903 4294967295 134512640 134714540 3221221776 3221220524 134672920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6821 5903 1111 63 0 6758 0
vsize: 27284
[startup+740.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 5986 0 0 0 73909 99 0 0 25 0 1 0 642437184 28209152 5958 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5958 1111 63 0 6824 0
vsize: 27548
[startup+750.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6008 0 0 0 74909 100 0 0 25 0 1 0 642437184 28209152 5980 4294967295 134512640 134714540 3221221776 3221220400 134696302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6887 5980 1111 63 0 6824 0
vsize: 27548
[startup+760.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6028 0 0 0 75908 101 0 0 25 0 1 0 642437184 28344320 6000 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6920 6000 1111 63 0 6857 0
vsize: 27680
[startup+770.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6041 0 0 0 76908 101 0 0 25 0 1 0 642437184 28344320 6013 4294967295 134512640 134714540 3221221776 3221220416 134613640 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6920 6013 1111 63 0 6857 0
vsize: 27680
[startup+780.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6091 0 0 0 77906 103 0 0 25 0 1 0 642437184 28614656 6063 4294967295 134512640 134714540 3221221776 3221220400 134536680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6986 6063 1111 63 0 6923 0
vsize: 27944
[startup+790.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6109 0 0 0 78905 104 0 0 25 0 1 0 642437184 28614656 6081 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6986 6081 1111 63 0 6923 0
vsize: 27944
[startup+800.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6136 0 0 0 79905 105 0 0 25 0 1 0 642437184 28749824 6108 4294967295 134512640 134714540 3221221776 3221220212 1077374576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7019 6108 1111 63 0 6956 0
vsize: 28076
[startup+810.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6136 0 0 0 80904 106 0 0 25 0 1 0 642437184 28749824 6108 4294967295 134512640 134714540 3221221776 3221220368 134549757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7019 6108 1111 63 0 6956 0
vsize: 28076
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6144 0 0 0 81904 106 0 0 25 0 1 0 642437184 28749824 6116 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7019 6116 1111 63 0 6956 0
vsize: 28076
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6146 0 0 0 82904 107 0 0 25 0 1 0 642437184 28749824 6118 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7019 6118 1111 63 0 6956 0
vsize: 28076
[startup+840.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6174 0 0 0 83903 108 0 0 25 0 1 0 642437184 28868608 6146 4294967295 134512640 134714540 3221221776 3221220408 134696049 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7048 6146 1111 63 0 6985 0
vsize: 28192
[startup+850.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6174 0 0 0 84902 109 0 0 25 0 1 0 642437184 28868608 6146 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7048 6146 1111 63 0 6985 0
vsize: 28192
[startup+860.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6196 0 0 0 85901 110 0 0 25 0 1 0 642437184 29003776 6168 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7081 6168 1111 63 0 7018 0
vsize: 28324
[startup+870.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6215 0 0 0 86901 111 0 0 25 0 1 0 642437184 29122560 6187 4294967295 134512640 134714540 3221221776 3221220272 134697297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7110 6187 1111 63 0 7047 0
vsize: 28440
[startup+880.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6234 0 0 0 87900 112 0 0 25 0 1 0 642437184 29122560 6206 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7110 6206 1111 63 0 7047 0
vsize: 28440
[startup+890.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6249 0 0 0 88899 112 0 0 25 0 1 0 642437184 29257728 6221 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7143 6221 1111 63 0 7080 0
vsize: 28572
[startup+900.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6250 0 0 0 89899 113 0 0 25 0 1 0 642437184 29224960 6222 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7135 6222 1111 63 0 7072 0
vsize: 28540
[startup+910.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6286 0 0 0 90898 114 0 0 25 0 1 0 642437184 29360128 6258 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7168 6258 1111 63 0 7105 0
vsize: 28672
[startup+920.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6349 0 0 0 91897 115 0 0 25 0 1 0 642437184 29630464 6321 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7234 6321 1111 63 0 7171 0
vsize: 28936
[startup+930.043 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6349 0 0 0 92897 115 0 0 25 0 1 0 642437184 29630464 6321 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7234 6321 1111 63 0 7171 0
vsize: 28936
[startup+940.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6349 0 0 0 93897 115 0 0 25 0 1 0 642437184 29630464 6321 4294967295 134512640 134714540 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7234 6321 1111 63 0 7171 0
vsize: 28936
[startup+950.044 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6349 0 0 0 94897 116 0 0 25 0 1 0 642437184 29630464 6321 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7234 6321 1111 63 0 7171 0
vsize: 28936
[startup+960.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6366 0 0 0 95897 116 0 0 25 0 1 0 642437184 29765632 6338 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7267 6338 1111 63 0 7204 0
vsize: 29068
[startup+970.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6377 0 0 0 96896 117 0 0 25 0 1 0 642437184 29765632 6349 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7267 6349 1111 63 0 7204 0
vsize: 29068
[startup+980.045 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6390 0 0 0 97896 117 0 0 25 0 1 0 642437184 29765632 6362 4294967295 134512640 134714540 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7267 6362 1111 63 0 7204 0
vsize: 29068
[startup+990.046 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6395 0 0 0 98895 118 0 0 25 0 1 0 642437184 29765632 6367 4294967295 134512640 134714540 3221221776 3221220324 134696446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7267 6367 1111 63 0 7204 0
vsize: 29068
[startup+1000.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6414 0 0 0 99895 119 0 0 25 0 1 0 642437184 29900800 6386 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7300 6386 1111 63 0 7237 0
vsize: 29200
[startup+1010.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6426 0 0 0 100894 120 0 0 25 0 1 0 642437184 29900800 6398 4294967295 134512640 134714540 3221221776 3221220416 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7300 6398 1111 63 0 7237 0
vsize: 29200
[startup+1020.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6429 0 0 0 101894 120 0 0 25 0 1 0 642437184 29900800 6401 4294967295 134512640 134714540 3221221776 3221220332 134535518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7300 6401 1111 63 0 7237 0
vsize: 29200
[startup+1030.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6455 0 0 0 102893 121 0 0 25 0 1 0 642437184 30035968 6427 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7333 6427 1111 63 0 7270 0
vsize: 29332
[startup+1040.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6480 0 0 0 103893 122 0 0 25 0 1 0 642437184 30171136 6452 4294967295 134512640 134714540 3221221776 3221220560 134529246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7366 6452 1111 63 0 7303 0
vsize: 29464
[startup+1050.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6483 0 0 0 104893 122 0 0 25 0 1 0 642437184 30171136 6455 4294967295 134512640 134714540 3221221776 3221220452 1077374556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7366 6455 1111 63 0 7303 0
vsize: 29464
[startup+1060.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6483 0 0 0 105892 123 0 0 25 0 1 0 642437184 30171136 6455 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7366 6455 1111 63 0 7303 0
vsize: 29464
[startup+1070.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6483 0 0 0 106891 124 0 0 25 0 1 0 642437184 30171136 6455 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7366 6455 1111 63 0 7303 0
vsize: 29464
[startup+1080.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6484 0 0 0 107890 125 0 0 25 0 1 0 642437184 30171136 6456 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7366 6456 1111 63 0 7303 0
vsize: 29464
[startup+1090.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6484 0 0 0 108890 125 0 0 25 0 1 0 642437184 30171136 6456 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7366 6456 1111 63 0 7303 0
vsize: 29464
[startup+1100.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6484 0 0 0 109890 126 0 0 25 0 1 0 642437184 30171136 6456 4294967295 134512640 134714540 3221221776 3221220384 134543759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7366 6456 1111 63 0 7303 0
vsize: 29464
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6496 0 0 0 110889 127 0 0 25 0 1 0 642437184 30306304 6468 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7399 6468 1111 63 0 7336 0
vsize: 29596
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6500 0 0 0 111888 128 0 0 25 0 1 0 642437184 30285824 6472 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7394 6472 1111 63 0 7331 0
vsize: 29576
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6502 0 0 0 112887 129 0 0 25 0 1 0 642437184 30285824 6474 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7394 6474 1111 63 0 7331 0
vsize: 29576
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6502 0 0 0 113886 130 0 0 25 0 1 0 642437184 30285824 6474 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7394 6474 1111 63 0 7331 0
vsize: 29576
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6506 0 0 0 114885 131 0 0 25 0 1 0 642437184 30285824 6478 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7394 6478 1111 63 0 7331 0
vsize: 29576
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6518 0 0 0 115884 133 0 0 25 0 1 0 642437184 30285824 6490 4294967295 134512640 134714540 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7394 6490 1111 63 0 7331 0
vsize: 29576
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6536 0 0 0 116883 134 0 0 25 0 1 0 642437184 30420992 6508 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7427 6508 1111 63 0 7364 0
vsize: 29708
[startup+1174.91 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 27220
Raw data (stat): 27163 (bsolo_mis) R 27162 7876 7672 0 -1 0 6536 0 0 0 116883 134 0 0 25 0 1 0 642437184 30420992 6508 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7427 6508 1111 63 0 7364 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.04
CPU user time (s): 1173.68
CPU system time (s): 1.35979
CPU usage (%): 100.011
Max. virtual memory (Kb): 29708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####