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-chnl35_45_pb.cnf.cr.opb
MD5SUM	1f5fb3c191c2c77719f10f35e4f5f992
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
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	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.094985
Number of variables	3150
Total number of constraints	160
Number of constraints which are clauses	90
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	45
Trace number 23219

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-01 14:22:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=138 boxname=wulflinc31 idbench=16 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  1f5fb3c191c2c77719f10f35e4f5f992  /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_45_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-chnl35_45_pb.cnf.cr.opb
IDLAUNCH: 138
/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:        931064 kB
Buffers:         36276 kB
Cached:          45480 kB
SwapCached:        864 kB
Active:          70624 kB
Inactive:        13548 kB
HighTotal:      131008 kB
HighFree:        84532 kB
LowTotal:       903652 kB
LowFree:        846532 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13872 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-01 14:42:32 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 138 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 3150 variables and 160 constraints.
c After prepocess the problem consists of 3150 variables and 160 constraints.
c preprocess terminated 1.257 s
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): 0.91 0.95 0.90 2/54 12208
Raw data (stat): 12208 (runsolver) R 12207 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 632164132 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.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 1486 0 0 0 989 7 0 0 25 0 1 0 632164132 9736192 1461 4294967295 134512640 134714540 3221221776 3221220172 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2377 1461 1111 63 0 2314 0
vsize: 9508
[startup+20.0013 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 1786 0 0 0 1987 10 0 0 25 0 1 0 632164132 11083776 1761 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2706 1761 1111 63 0 2643 0
vsize: 10824
[startup+30.0016 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 1859 0 0 0 2985 12 0 0 25 0 1 0 632164132 11354112 1834 4294967295 134512640 134714540 3221221776 3221220440 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2772 1834 1111 63 0 2709 0
vsize: 11088
[startup+40.0022 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2012 0 0 0 3984 13 0 0 25 0 1 0 632164132 11894784 1987 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2904 1987 1111 63 0 2841 0
vsize: 11616
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2067 0 0 0 4983 15 0 0 25 0 1 0 632164132 12165120 2042 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2970 2042 1111 63 0 2907 0
vsize: 11880
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2095 0 0 0 5981 16 0 0 25 0 1 0 632164132 12300288 2070 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3003 2070 1111 63 0 2940 0
vsize: 12012
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2121 0 0 0 6980 17 0 0 25 0 1 0 632164132 12435456 2096 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3036 2096 1111 63 0 2973 0
vsize: 12144
[startup+80.0029 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2128 0 0 0 7979 19 0 0 25 0 1 0 632164132 12435456 2103 4294967295 134512640 134714540 3221221776 3221220496 1076647545 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3036 2103 1111 63 0 2973 0
vsize: 12144
[startup+90.0031 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2147 0 0 0 8977 21 0 0 25 0 1 0 632164132 12570624 2122 4294967295 134512640 134714540 3221221776 3221220416 134696371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3069 2122 1111 63 0 3006 0
vsize: 12276
[startup+100.003 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2179 0 0 0 9975 23 0 0 25 0 1 0 632164132 12705792 2154 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3102 2154 1111 63 0 3039 0
vsize: 12408
[startup+110.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2194 0 0 0 10974 24 0 0 25 0 1 0 632164132 12705792 2169 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3102 2169 1111 63 0 3039 0
vsize: 12408
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2233 0 0 0 11972 26 0 0 25 0 1 0 632164132 12840960 2208 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3135 2208 1111 63 0 3072 0
vsize: 12540
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2263 0 0 0 12971 28 0 0 25 0 1 0 632164132 12967936 2238 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3166 2238 1111 63 0 3103 0
vsize: 12664
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2294 0 0 0 13969 30 0 0 25 0 1 0 632164132 13103104 2269 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3199 2269 1111 63 0 3136 0
vsize: 12796
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2322 0 0 0 14968 31 0 0 25 0 1 0 632164132 13221888 2297 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3228 2297 1111 63 0 3165 0
vsize: 12912
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2501 0 0 0 15966 34 0 0 25 0 1 0 632164132 13893632 2476 4294967295 134512640 134714540 3221221776 3221220400 134696302 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3392 2476 1111 63 0 3329 0
vsize: 13568
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2622 0 0 0 16963 36 0 0 25 0 1 0 632164132 14422016 2597 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3521 2597 1111 63 0 3458 0
vsize: 14084
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2713 0 0 0 17961 38 0 0 25 0 1 0 632164132 14827520 2688 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3620 2688 1111 63 0 3557 0
vsize: 14480
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2766 0 0 0 18960 40 0 0 25 0 1 0 632164132 15097856 2741 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3686 2741 1111 63 0 3623 0
vsize: 14744
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2830 0 0 0 19959 41 0 0 25 0 1 0 632164132 15368192 2805 4294967295 134512640 134714540 3221221776 3221220524 134672920 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2805 1111 63 0 3689 0
vsize: 15008
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2857 0 0 0 20957 43 0 0 25 0 1 0 632164132 15368192 2832 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3752 2832 1111 63 0 3689 0
vsize: 15008
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2908 0 0 0 21956 44 0 0 25 0 1 0 632164132 15638528 2883 4294967295 134512640 134714540 3221221776 3221220368 134549560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3818 2883 1111 63 0 3755 0
vsize: 15272
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2934 0 0 0 22955 45 0 0 25 0 1 0 632164132 15769600 2909 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3850 2909 1111 63 0 3787 0
vsize: 15400
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 2963 0 0 0 23954 46 0 0 25 0 1 0 632164132 15904768 2938 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3883 2938 1111 63 0 3820 0
vsize: 15532
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3044 0 0 0 24953 48 0 0 25 0 1 0 632164132 16175104 3019 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3949 3019 1111 63 0 3886 0
vsize: 15796
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3139 0 0 0 25950 51 0 0 25 0 1 0 632164132 16568320 3114 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 3114 1111 63 0 3982 0
vsize: 16180
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3244 0 0 0 26949 52 0 0 25 0 1 0 632164132 16973824 3219 4294967295 134512640 134714540 3221221776 3221220364 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4144 3219 1111 63 0 4081 0
vsize: 16576
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3323 0 0 0 27947 54 0 0 25 0 1 0 632164132 17371136 3298 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4241 3298 1111 63 0 4178 0
vsize: 16964
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3356 0 0 0 28946 55 0 0 25 0 1 0 632164132 17506304 3331 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4274 3331 1111 63 0 4211 0
vsize: 17096
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3380 0 0 0 29945 57 0 0 25 0 1 0 632164132 17506304 3355 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4274 3355 1111 63 0 4211 0
vsize: 17096
[startup+310.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3441 0 0 0 30943 59 0 0 25 0 1 0 632164132 17776640 3416 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4340 3416 1111 63 0 4277 0
vsize: 17360
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3473 0 0 0 31941 61 0 0 25 0 1 0 632164132 17911808 3448 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4373 3448 1111 63 0 4310 0
vsize: 17492
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3525 0 0 0 32940 62 0 0 25 0 1 0 632164132 18165760 3500 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4435 3500 1111 63 0 4372 0
vsize: 17740
[startup+340.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3557 0 0 0 33939 64 0 0 25 0 1 0 632164132 18300928 3532 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4468 3532 1111 63 0 4405 0
vsize: 17872
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3605 0 0 0 34937 66 0 0 25 0 1 0 632164132 18546688 3580 4294967295 134512640 134714540 3221221776 3221220432 134536635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4528 3580 1111 63 0 4465 0
vsize: 18112
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3613 0 0 0 35935 67 0 0 25 0 1 0 632164132 18542592 3588 4294967295 134512640 134714540 3221221776 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4527 3588 1111 63 0 4464 0
vsize: 18108
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3634 0 0 0 36934 69 0 0 25 0 1 0 632164132 18542592 3609 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4527 3609 1111 63 0 4464 0
vsize: 18108
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3646 0 0 0 37933 70 0 0 25 0 1 0 632164132 18669568 3621 4294967295 134512640 134714540 3221221776 3221220384 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4558 3621 1111 63 0 4495 0
vsize: 18232
[startup+390.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3690 0 0 0 38932 71 0 0 25 0 1 0 632164132 18804736 3665 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3665 1111 63 0 4528 0
vsize: 18364
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3694 0 0 0 39931 73 0 0 25 0 1 0 632164132 18804736 3669 4294967295 134512640 134714540 3221221776 3221220528 134592419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4591 3669 1111 63 0 4528 0
vsize: 18364
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3720 0 0 0 40930 74 0 0 25 0 1 0 632164132 18939904 3695 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4624 3695 1111 63 0 4561 0
vsize: 18496
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3748 0 0 0 41928 75 0 0 25 0 1 0 632164132 19075072 3723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4657 3723 1111 63 0 4594 0
vsize: 18628
[startup+430.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3820 0 0 0 42927 77 0 0 25 0 1 0 632164132 19345408 3795 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4723 3795 1111 63 0 4660 0
vsize: 18892
[startup+440.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3877 0 0 0 43926 78 0 0 25 0 1 0 632164132 19615744 3852 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4789 3852 1111 63 0 4726 0
vsize: 19156
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3933 0 0 0 44925 79 0 0 25 0 1 0 632164132 19886080 3908 4294967295 134512640 134714540 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4855 3908 1111 63 0 4792 0
vsize: 19420
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3937 0 0 0 45924 81 0 0 25 0 1 0 632164132 19886080 3912 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4855 3912 1111 63 0 4792 0
vsize: 19420
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3937 0 0 0 46922 83 0 0 25 0 1 0 632164132 19886080 3912 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4855 3912 1111 63 0 4792 0
vsize: 19420
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 3979 0 0 0 47920 84 0 0 25 0 1 0 632164132 20021248 3954 4294967295 134512640 134714540 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4888 3954 1111 63 0 4825 0
vsize: 19552
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4007 0 0 0 48920 85 0 0 25 0 1 0 632164132 20123648 3982 4294967295 134512640 134714540 3221221776 3221220180 134697228 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4913 3982 1111 63 0 4850 0
vsize: 19652
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4017 0 0 0 49919 87 0 0 25 0 1 0 632164132 20123648 3992 4294967295 134512640 134714540 3221221776 3221220540 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4913 3992 1111 63 0 4850 0
vsize: 19652
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4043 0 0 0 50917 89 0 0 25 0 1 0 632164132 20258816 4018 4294967295 134512640 134714540 3221221776 3221220384 134549400 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4018 1111 63 0 4883 0
vsize: 19784
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4062 0 0 0 51915 90 0 0 25 0 1 0 632164132 20381696 4037 4294967295 134512640 134714540 3221221776 3221220340 134535986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4976 4037 1111 63 0 4913 0
vsize: 19904
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4068 0 0 0 52914 92 0 0 25 0 1 0 632164132 20381696 4043 4294967295 134512640 134714540 3221221776 3221220416 134696151 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4976 4043 1111 63 0 4913 0
vsize: 19904
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4105 0 0 0 53913 93 0 0 25 0 1 0 632164132 20516864 4080 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5009 4080 1111 63 0 4946 0
vsize: 20036
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4138 0 0 0 54911 95 0 0 25 0 1 0 632164132 20652032 4113 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5042 4113 1111 63 0 4979 0
vsize: 20168
[startup+560.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4227 0 0 0 55910 97 0 0 25 0 1 0 632164132 21057536 4202 4294967295 134512640 134714540 3221221776 3221220420 134613494 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5141 4202 1111 63 0 5078 0
vsize: 20564
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4293 0 0 0 56908 98 0 0 25 0 1 0 632164132 21327872 4268 4294967295 134512640 134714540 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5207 4268 1111 63 0 5144 0
vsize: 20828
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4343 0 0 0 57907 100 0 0 25 0 1 0 632164132 21569536 4318 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4318 1111 63 0 5203 0
vsize: 21064
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4370 0 0 0 58905 101 0 0 25 0 1 0 632164132 21569536 4345 4294967295 134512640 134714540 3221221776 3221220400 134549560 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4345 1111 63 0 5203 0
vsize: 21064
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4386 0 0 0 59904 103 0 0 25 0 1 0 632164132 21704704 4361 4294967295 134512640 134714540 3221221776 3221220436 134523855 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5299 4361 1111 63 0 5236 0
vsize: 21196
[startup+610.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4420 0 0 0 60903 104 0 0 25 0 1 0 632164132 21839872 4395 4294967295 134512640 134714540 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4395 1111 63 0 5269 0
vsize: 21328
[startup+620.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4430 0 0 0 61902 105 0 0 25 0 1 0 632164132 21839872 4405 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5332 4405 1111 63 0 5269 0
vsize: 21328
[startup+630.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4455 0 0 0 62901 107 0 0 25 0 1 0 632164132 21975040 4430 4294967295 134512640 134714540 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5365 4430 1111 63 0 5302 0
vsize: 21460
[startup+640.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4472 0 0 0 63900 108 0 0 25 0 1 0 632164132 21975040 4447 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5365 4447 1111 63 0 5302 0
vsize: 21460
[startup+650.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4472 0 0 0 64899 109 0 0 25 0 1 0 632164132 21975040 4447 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5365 4447 1111 63 0 5302 0
vsize: 21460
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4483 0 0 0 65898 110 0 0 25 0 1 0 632164132 22110208 4458 4294967295 134512640 134714540 3221221776 3221220560 134529288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 4458 1111 63 0 5335 0
vsize: 21592
[startup+670.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4483 0 0 0 66897 112 0 0 25 0 1 0 632164132 22110208 4458 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 4458 1111 63 0 5335 0
vsize: 21592
[startup+680.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4483 0 0 0 67896 112 0 0 25 0 1 0 632164132 22110208 4458 4294967295 134512640 134714540 3221221776 3221220356 1077378601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 4458 1111 63 0 5335 0
vsize: 21592
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4504 0 0 0 68895 114 0 0 25 0 1 0 632164132 22110208 4479 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 4479 1111 63 0 5335 0
vsize: 21592
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4504 0 0 0 69894 115 0 0 25 0 1 0 632164132 22110208 4479 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5398 4479 1111 63 0 5335 0
vsize: 21592
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4525 0 0 0 70892 117 0 0 25 0 1 0 632164132 22245376 4500 4294967295 134512640 134714540 3221221776 3221220464 134524471 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5431 4500 1111 63 0 5368 0
vsize: 21724
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4647 0 0 0 71890 119 0 0 25 0 1 0 632164132 22753280 4622 4294967295 134512640 134714540 3221221776 3221220416 134696117 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5555 4622 1111 63 0 5492 0
vsize: 22220
[startup+730.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4725 0 0 0 72889 120 0 0 25 0 1 0 632164132 23023616 4700 4294967295 134512640 134714540 3221221776 3221220608 134590253 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5621 4700 1111 63 0 5558 0
vsize: 22484
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4754 0 0 0 73888 122 0 0 25 0 1 0 632164132 23158784 4729 4294967295 134512640 134714540 3221221776 3221220400 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5654 4729 1111 63 0 5591 0
vsize: 22616
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4770 0 0 0 74887 123 0 0 25 0 1 0 632164132 23293952 4745 4294967295 134512640 134714540 3221221776 3221220508 134524384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5687 4745 1111 63 0 5624 0
vsize: 22748
[startup+760.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4793 0 0 0 75885 124 0 0 25 0 1 0 632164132 23293952 4768 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5687 4768 1111 63 0 5624 0
vsize: 22748
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4845 0 0 0 76884 125 0 0 25 0 1 0 632164132 23564288 4820 4294967295 134512640 134714540 3221221776 3221220560 134529126 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5753 4820 1111 63 0 5690 0
vsize: 23012
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4880 0 0 0 77883 127 0 0 25 0 1 0 632164132 23699456 4855 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5786 4855 1111 63 0 5723 0
vsize: 23144
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4891 0 0 0 78882 128 0 0 25 0 1 0 632164132 23699456 4866 4294967295 134512640 134714540 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5786 4866 1111 63 0 5723 0
vsize: 23144
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4902 0 0 0 79881 130 0 0 25 0 1 0 632164132 23834624 4877 4294967295 134512640 134714540 3221221776 3221220400 134536678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5819 4877 1111 63 0 5756 0
vsize: 23276
[startup+810.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4903 0 0 0 80879 131 0 0 25 0 1 0 632164132 23834624 4878 4294967295 134512640 134714540 3221221776 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5819 4878 1111 63 0 5756 0
vsize: 23276
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4926 0 0 0 81878 132 0 0 25 0 1 0 632164132 23834624 4901 4294967295 134512640 134714540 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5819 4901 1111 63 0 5756 0
vsize: 23276
[startup+830.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4937 0 0 0 82877 134 0 0 25 0 1 0 632164132 23969792 4912 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5852 4912 1111 63 0 5789 0
vsize: 23408
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4950 0 0 0 83876 135 0 0 25 0 1 0 632164132 23969792 4925 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5852 4925 1111 63 0 5789 0
vsize: 23408
[startup+850.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4973 0 0 0 84874 137 0 0 25 0 1 0 632164132 24104960 4948 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5885 4948 1111 63 0 5822 0
vsize: 23540
[startup+860.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4976 0 0 0 85874 138 0 0 25 0 1 0 632164132 24104960 4951 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5885 4951 1111 63 0 5822 0
vsize: 23540
[startup+870.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 4983 0 0 0 86873 139 0 0 25 0 1 0 632164132 24104960 4958 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5885 4958 1111 63 0 5822 0
vsize: 23540
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5029 0 0 0 87872 140 0 0 25 0 1 0 632164132 24375296 5004 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5951 5004 1111 63 0 5888 0
vsize: 23804
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5095 0 0 0 88870 142 0 0 25 0 1 0 632164132 24645632 5070 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6017 5070 1111 63 0 5954 0
vsize: 24068
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5119 0 0 0 89869 143 0 0 25 0 1 0 632164132 24645632 5094 4294967295 134512640 134714540 3221221776 3221220452 1077374446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6017 5094 1111 63 0 5954 0
vsize: 24068
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5129 0 0 0 90868 145 0 0 25 0 1 0 632164132 24780800 5104 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6050 5104 1111 63 0 5987 0
vsize: 24200
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5138 0 0 0 91867 146 0 0 25 0 1 0 632164132 24780800 5113 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6050 5113 1111 63 0 5987 0
vsize: 24200
[startup+930.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5140 0 0 0 92866 147 0 0 25 0 1 0 632164132 24780800 5115 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6050 5115 1111 63 0 5987 0
vsize: 24200
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5148 0 0 0 93865 148 0 0 25 0 1 0 632164132 24780800 5123 4294967295 134512640 134714540 3221221776 3221220412 134523384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6050 5123 1111 63 0 5987 0
vsize: 24200
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5169 0 0 0 94863 150 0 0 25 0 1 0 632164132 24911872 5144 4294967295 134512640 134714540 3221221776 3221220344 1077377211 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6082 5144 1111 63 0 6019 0
vsize: 24328
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5169 0 0 0 95862 151 0 0 25 0 1 0 632164132 24870912 5144 4294967295 134512640 134714540 3221221776 3221220400 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6072 5144 1111 63 0 6009 0
vsize: 24288
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5180 0 0 0 96860 153 0 0 25 0 1 0 632164132 24870912 5155 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6072 5155 1111 63 0 6009 0
vsize: 24288
[startup+980.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5206 0 0 0 97859 154 0 0 25 0 1 0 632164132 25006080 5181 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6105 5181 1111 63 0 6042 0
vsize: 24420
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5206 0 0 0 98858 156 0 0 25 0 1 0 632164132 25006080 5181 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6105 5181 1111 63 0 6042 0
vsize: 24420
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5224 0 0 0 99857 157 0 0 25 0 1 0 632164132 25141248 5199 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6138 5199 1111 63 0 6075 0
vsize: 24552
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5237 0 0 0 100857 157 0 0 25 0 1 0 632164132 25141248 5212 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6138 5212 1111 63 0 6075 0
vsize: 24552
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5250 0 0 0 101856 159 0 0 25 0 1 0 632164132 25276416 5225 4294967295 134512640 134714540 3221221776 3221220268 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6171 5225 1111 63 0 6108 0
vsize: 24684
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5335 0 0 0 102854 161 0 0 25 0 1 0 632164132 25546752 5310 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6237 5310 1111 63 0 6174 0
vsize: 24948
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5371 0 0 0 103853 162 0 0 25 0 1 0 632164132 25681920 5346 4294967295 134512640 134714540 3221221776 3221220432 134524085 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6270 5346 1111 63 0 6207 0
vsize: 25080
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5414 0 0 0 104851 164 0 0 25 0 1 0 632164132 25952256 5389 4294967295 134512640 134714540 3221221776 3221220560 134584919 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6336 5389 1111 63 0 6273 0
vsize: 25344
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5414 0 0 0 105849 166 0 0 25 0 1 0 632164132 25944064 5389 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6334 5389 1111 63 0 6271 0
vsize: 25336
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5461 0 0 0 106848 168 0 0 25 0 1 0 632164132 26075136 5436 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6366 5436 1111 63 0 6303 0
vsize: 25464
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5520 0 0 0 107847 169 0 0 25 0 1 0 632164132 26345472 5495 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6432 5495 1111 63 0 6369 0
vsize: 25728
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5540 0 0 0 108845 171 0 0 25 0 1 0 632164132 26345472 5515 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6432 5515 1111 63 0 6369 0
vsize: 25728
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5567 0 0 0 109844 172 0 0 25 0 1 0 632164132 26480640 5542 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6465 5542 1111 63 0 6402 0
vsize: 25860
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5578 0 0 0 110842 174 0 0 25 0 1 0 632164132 26615808 5553 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6498 5553 1111 63 0 6435 0
vsize: 25992
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5612 0 0 0 111840 176 0 0 25 0 1 0 632164132 26746880 5587 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6530 5587 1111 63 0 6467 0
vsize: 26120
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5643 0 0 0 112839 178 0 0 25 0 1 0 632164132 26882048 5618 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6563 5618 1111 63 0 6500 0
vsize: 26252
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5697 0 0 0 113837 179 0 0 25 0 1 0 632164132 27013120 5672 4294967295 134512640 134714540 3221221776 3221220560 134529365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6595 5672 1111 63 0 6532 0
vsize: 26380
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5764 0 0 0 114836 181 0 0 25 0 1 0 632164132 27267072 5739 4294967295 134512640 134714540 3221221776 3221220512 134558535 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6657 5739 1111 63 0 6594 0
vsize: 26628
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5797 0 0 0 115835 183 0 0 25 0 1 0 632164132 27402240 5772 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6690 5772 1111 63 0 6627 0
vsize: 26760
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5811 0 0 0 116834 184 0 0 25 0 1 0 632164132 27537408 5786 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6723 5786 1111 63 0 6660 0
vsize: 26892
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12208
Raw data (stat): 12208 (bsolo_mis) R 12207 7876 7672 0 -1 0 5811 0 0 0 116834 184 0 0 25 0 1 0 632164132 27537408 5786 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6723 5786 1111 63 0 6660 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.05
CPU user time (s): 1173.19
CPU system time (s): 1.85972
CPU usage (%): 100.013
Max. virtual memory (Kb): 26892
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####