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-fpga30_28_sat_pb.cnf.cr.opb
MD5SUM	888577ab8fe81abf9fdd366d65e4c3b7
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	31
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.810876
Number of variables	1260
Total number of constraints	926
Number of constraints which are clauses	868
Number of constraints which are cardinality constraints (but not clauses)	58
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 23369

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 21:01:22 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=408 boxname=wulflinc31 idbench=46 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  888577ab8fe81abf9fdd366d65e4c3b7  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_28_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga30_28_sat_pb.cnf.cr.opb
IDLAUNCH: 408
/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:        925984 kB
Buffers:         38788 kB
Cached:          47716 kB
SwapCached:        944 kB
Active:          72948 kB
Inactive:        16112 kB
HighTotal:      131008 kB
HighFree:        82180 kB
LowTotal:       903652 kB
LowFree:        843804 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14088 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 21:20:57 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 408 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 1260 variables and 926 constraints.
c After prepocess the problem consists of 1260 variables and 926 constraints.
c preprocess terminated 1.684 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.98 1.00 0.96 2/54 28288
Raw data (stat): 28288 (runsolver) R 28287 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 643195961 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1306 0 0 0 989 7 0 0 25 0 1 0 643195961 9003008 1281 4294967295 134512640 134714540 3221221776 3221220680 134595122 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2198 1281 1111 63 0 2135 0
vsize: 8792
[startup+20.001 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1367 0 0 0 1988 9 0 0 25 0 1 0 643195961 9273344 1342 4294967295 134512640 134714540 3221221776 3221220372 134543703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2264 1342 1111 63 0 2201 0
vsize: 9056
[startup+30.002 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1423 0 0 0 2986 11 0 0 25 0 1 0 643195961 9543680 1398 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2330 1398 1111 63 0 2267 0
vsize: 9320
[startup+40.0023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1460 0 0 0 3984 13 0 0 25 0 1 0 643195961 9678848 1435 4294967295 134512640 134714540 3221221776 3221220480 134528449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2363 1435 1111 63 0 2300 0
vsize: 9452
[startup+50.0028 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1519 0 0 0 4983 14 0 0 25 0 1 0 643195961 9814016 1494 4294967295 134512640 134714540 3221221776 3221220192 134697429 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2396 1494 1111 63 0 2333 0
vsize: 9584
[startup+60.0027 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1731 0 0 0 5981 16 0 0 25 0 1 0 643195961 10760192 1706 4294967295 134512640 134714540 3221221776 3221220500 134613700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2627 1706 1111 63 0 2564 0
vsize: 10508
[startup+70.003 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1849 0 0 0 6980 17 0 0 25 0 1 0 643195961 11161600 1824 4294967295 134512640 134714540 3221221776 3221220248 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2725 1824 1111 63 0 2662 0
vsize: 10900
[startup+80.0036 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1849 0 0 0 7979 19 0 0 25 0 1 0 643195961 11145216 1821 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2721 1821 1111 63 0 2658 0
vsize: 10884
[startup+90.0038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1849 0 0 0 8978 20 0 0 25 0 1 0 643195961 11145216 1821 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2721 1821 1111 63 0 2658 0
vsize: 10884
[startup+100.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1849 0 0 0 9977 20 0 0 25 0 1 0 643195961 11145216 1821 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2721 1821 1111 63 0 2658 0
vsize: 10884
[startup+110.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1864 0 0 0 10977 22 0 0 25 0 1 0 643195961 11280384 1836 4294967295 134512640 134714540 3221221776 3221220384 134523359 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2754 1836 1111 63 0 2691 0
vsize: 11016
[startup+120.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1864 0 0 0 11976 22 0 0 25 0 1 0 643195961 11280384 1836 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2754 1836 1111 63 0 2691 0
vsize: 11016
[startup+130.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1869 0 0 0 12975 23 0 0 25 0 1 0 643195961 11280384 1841 4294967295 134512640 134714540 3221221776 3221220324 134696757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2754 1841 1111 63 0 2691 0
vsize: 11016
[startup+140.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1938 0 0 0 13974 25 0 0 25 0 1 0 643195961 11550720 1910 4294967295 134512640 134714540 3221221776 3221220560 134528896 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2820 1910 1111 63 0 2757 0
vsize: 11280
[startup+150.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1953 0 0 0 14973 26 0 0 25 0 1 0 643195961 11685888 1925 4294967295 134512640 134714540 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2853 1925 1111 63 0 2790 0
vsize: 11412
[startup+160.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 1979 0 0 0 15971 28 0 0 25 0 1 0 643195961 11685888 1951 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2853 1951 1111 63 0 2790 0
vsize: 11412
[startup+170.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2006 0 0 0 16970 29 0 0 25 0 1 0 643195961 11821056 1978 4294967295 134512640 134714540 3221221776 3221220560 134529298 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2886 1978 1111 63 0 2823 0
vsize: 11544
[startup+180.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2036 0 0 0 17969 30 0 0 25 0 1 0 643195961 11988992 2007 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2927 2007 1111 63 0 2864 0
vsize: 11708
[startup+190.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2066 0 0 0 18967 32 0 0 25 0 1 0 643195961 12103680 2037 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2955 2037 1111 63 0 2892 0
vsize: 11820
[startup+200.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2084 0 0 0 19966 33 0 0 25 0 1 0 643195961 12103680 2055 4294967295 134512640 134714540 3221221776 3221220332 134539337 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2955 2055 1111 63 0 2892 0
vsize: 11820
[startup+210.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2103 0 0 0 20965 35 0 0 25 0 1 0 643195961 12238848 2074 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2988 2074 1111 63 0 2925 0
vsize: 11952
[startup+220.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2113 0 0 0 21964 36 0 0 25 0 1 0 643195961 12222464 2084 4294967295 134512640 134714540 3221221776 3221220336 134549725 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2984 2084 1111 63 0 2921 0
vsize: 11936
[startup+230.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2113 0 0 0 22963 37 0 0 25 0 1 0 643195961 12222464 2084 4294967295 134512640 134714540 3221221776 3221220272 134535433 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2984 2084 1111 63 0 2921 0
vsize: 11936
[startup+240.005 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2123 0 0 0 23963 37 0 0 25 0 1 0 643195961 12337152 2094 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3012 2094 1111 63 0 2949 0
vsize: 12048
[startup+250.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2127 0 0 0 24962 39 0 0 25 0 1 0 643195961 12337152 2098 4294967295 134512640 134714540 3221221776 3221220344 1077378431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3012 2098 1111 63 0 2949 0
vsize: 12048
[startup+260.006 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2140 0 0 0 25960 40 0 0 25 0 1 0 643195961 12337152 2111 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3012 2111 1111 63 0 2949 0
vsize: 12048
[startup+270.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28288
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2144 0 0 0 26959 41 0 0 25 0 1 0 643195961 12472320 2115 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3045 2115 1111 63 0 2982 0
vsize: 12180
[startup+280.007 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2154 0 0 0 27958 43 0 0 25 0 1 0 643195961 12472320 2125 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3045 2125 1111 63 0 2982 0
vsize: 12180
[startup+290.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2154 0 0 0 28957 44 0 0 25 0 1 0 643195961 12472320 2125 4294967295 134512640 134714540 3221221776 3221220416 134539362 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3045 2125 1111 63 0 2982 0
vsize: 12180
[startup+300.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2154 0 0 0 29957 44 0 0 25 0 1 0 643195961 12472320 2125 4294967295 134512640 134714540 3221221776 3221220384 134523374 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3045 2125 1111 63 0 2982 0
vsize: 12180
[startup+310.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2190 0 0 0 30955 46 0 0 25 0 1 0 643195961 12607488 2161 4294967295 134512640 134714540 3221221776 3221220400 134539446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3078 2161 1111 63 0 3015 0
vsize: 12312
[startup+320.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2194 0 0 0 31955 47 0 0 25 0 1 0 643195961 12607488 2165 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3078 2165 1111 63 0 3015 0
vsize: 12312
[startup+330.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2314 0 0 0 32953 49 0 0 25 0 1 0 643195961 13148160 2285 4294967295 134512640 134714540 3221221776 3221220544 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3210 2285 1111 63 0 3147 0
vsize: 12840
[startup+340.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2410 0 0 0 33952 50 0 0 25 0 1 0 643195961 13549568 2381 4294967295 134512640 134714540 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2381 1111 63 0 3245 0
vsize: 13232
[startup+350.008 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2410 0 0 0 34951 51 0 0 25 0 1 0 643195961 13549568 2381 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2381 1111 63 0 3245 0
vsize: 13232
[startup+360.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2422 0 0 0 35951 51 0 0 25 0 1 0 643195961 13549568 2393 4294967295 134512640 134714540 3221221776 3221220496 134535795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3308 2393 1111 63 0 3245 0
vsize: 13232
[startup+370.009 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2469 0 0 0 36949 54 0 0 25 0 1 0 643195961 13684736 2440 4294967295 134512640 134714540 3221221776 3221220336 134542359 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3341 2440 1111 63 0 3278 0
vsize: 13364
[startup+380.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2572 0 0 0 37947 56 0 0 25 0 1 0 643195961 14225408 2543 4294967295 134512640 134714540 3221221776 3221220464 134524417 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3473 2543 1111 63 0 3410 0
vsize: 13892
[startup+390.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2707 0 0 0 38945 58 0 0 25 0 1 0 643195961 14766080 2678 4294967295 134512640 134714540 3221221776 3221220512 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3605 2678 1111 63 0 3542 0
vsize: 14420
[startup+400.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2752 0 0 0 39943 60 0 0 25 0 1 0 643195961 14901248 2723 4294967295 134512640 134714540 3221221776 3221220496 134584759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3638 2723 1111 63 0 3575 0
vsize: 14552
[startup+410.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2824 0 0 0 40940 63 0 0 25 0 1 0 643195961 15163392 2795 4294967295 134512640 134714540 3221221776 3221220528 134588020 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3702 2795 1111 63 0 3639 0
vsize: 14808
[startup+420.01 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 2876 0 0 0 41939 64 0 0 25 0 1 0 643195961 15433728 2847 4294967295 134512640 134714540 3221221776 3221220416 134696145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3768 2847 1111 63 0 3705 0
vsize: 15072
[startup+430.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3016 0 0 0 42937 66 0 0 25 0 1 0 643195961 15974400 2987 4294967295 134512640 134714540 3221221776 3221220524 134551637 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3900 2987 1111 63 0 3837 0
vsize: 15600
[startup+440.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3065 0 0 0 43936 68 0 0 25 0 1 0 643195961 16203776 3036 4294967295 134512640 134714540 3221221776 3221220336 134696772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3956 3036 1111 63 0 3893 0
vsize: 15824
[startup+450.011 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3147 0 0 0 44934 70 0 0 25 0 1 0 643195961 16474112 3118 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4022 3118 1111 63 0 3959 0
vsize: 16088
[startup+460.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3187 0 0 0 45932 72 0 0 25 0 1 0 643195961 16744448 3158 4294967295 134512640 134714540 3221221776 3221220320 134535026 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4088 3158 1111 63 0 4025 0
vsize: 16352
[startup+470.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3255 0 0 0 46930 74 0 0 25 0 1 0 643195961 17014784 3226 4294967295 134512640 134714540 3221221776 3221220384 134543686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4154 3226 1111 63 0 4091 0
vsize: 16616
[startup+480.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3271 0 0 0 47929 75 0 0 25 0 1 0 643195961 17014784 3242 4294967295 134512640 134714540 3221221776 3221220284 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4154 3242 1111 63 0 4091 0
vsize: 16616
[startup+490.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3273 0 0 0 48928 76 0 0 25 0 1 0 643195961 17014784 3244 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4154 3244 1111 63 0 4091 0
vsize: 16616
[startup+500.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3296 0 0 0 49927 78 0 0 25 0 1 0 643195961 17149952 3267 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4187 3267 1111 63 0 4124 0
vsize: 16748
[startup+510.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3313 0 0 0 50926 79 0 0 25 0 1 0 643195961 17149952 3284 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4187 3284 1111 63 0 4124 0
vsize: 16748
[startup+520.012 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3388 0 0 0 51924 81 0 0 25 0 1 0 643195961 17555456 3359 4294967295 134512640 134714540 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4286 3359 1111 63 0 4223 0
vsize: 17144
[startup+530.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3459 0 0 0 52922 83 0 0 25 0 1 0 643195961 17817600 3430 4294967295 134512640 134714540 3221221776 3221220264 134697505 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4350 3430 1111 63 0 4287 0
vsize: 17400
[startup+540.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3487 0 0 0 53921 84 0 0 25 0 1 0 643195961 17952768 3458 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4383 3458 1111 63 0 4320 0
vsize: 17532
[startup+550.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3493 0 0 0 54920 86 0 0 25 0 1 0 643195961 17952768 3464 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4383 3464 1111 63 0 4320 0
vsize: 17532
[startup+560.013 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3511 0 0 0 55919 87 0 0 25 0 1 0 643195961 17952768 3482 4294967295 134512640 134714540 3221221776 3221220496 134535760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4383 3482 1111 63 0 4320 0
vsize: 17532
[startup+570.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3542 0 0 0 56918 88 0 0 25 0 1 0 643195961 18087936 3513 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4416 3513 1111 63 0 4353 0
vsize: 17664
[startup+580.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3637 0 0 0 57916 90 0 0 25 0 1 0 643195961 18493440 3608 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4515 3608 1111 63 0 4452 0
vsize: 18060
[startup+590.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3682 0 0 0 58914 92 0 0 25 0 1 0 643195961 18735104 3653 4294967295 134512640 134714540 3221221776 3221220384 134548843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4574 3653 1111 63 0 4511 0
vsize: 18296
[startup+600.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3763 0 0 0 59912 94 0 0 25 0 1 0 643195961 19005440 3734 4294967295 134512640 134714540 3221221776 3221220432 134524259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4640 3734 1111 63 0 4577 0
vsize: 18560
[startup+610.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3785 0 0 0 60911 96 0 0 25 0 1 0 643195961 19140608 3756 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4673 3756 1111 63 0 4610 0
vsize: 18692
[startup+620.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3851 0 0 0 61908 98 0 0 25 0 1 0 643195961 19410944 3822 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4739 3822 1111 63 0 4676 0
vsize: 18956
[startup+630.014 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3851 0 0 0 62908 99 0 0 25 0 1 0 643195961 19410944 3822 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4739 3822 1111 63 0 4676 0
vsize: 18956
[startup+640.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3873 0 0 0 63906 101 0 0 25 0 1 0 643195961 19546112 3844 4294967295 134512640 134714540 3221221776 3221220368 134549578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4772 3844 1111 63 0 4709 0
vsize: 19088
[startup+650.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3921 0 0 0 64905 102 0 0 25 0 1 0 643195961 19681280 3892 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4805 3892 1111 63 0 4742 0
vsize: 19220
[startup+660.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3985 0 0 0 65903 104 0 0 25 0 1 0 643195961 19951616 3956 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4871 3956 1111 63 0 4808 0
vsize: 19484
[startup+670.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 3997 0 0 0 66902 105 0 0 25 0 1 0 643195961 19951616 3968 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4871 3968 1111 63 0 4808 0
vsize: 19484
[startup+680.015 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4012 0 0 0 67901 107 0 0 25 0 1 0 643195961 20086784 3983 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4904 3983 1111 63 0 4841 0
vsize: 19616
[startup+690.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4085 0 0 0 68900 108 0 0 25 0 1 0 643195961 20357120 4056 4294967295 134512640 134714540 3221221776 3221220172 1077379959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4970 4056 1111 63 0 4907 0
vsize: 19880
[startup+700.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4094 0 0 0 69899 109 0 0 25 0 1 0 643195961 20357120 4065 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4970 4065 1111 63 0 4907 0
vsize: 19880
[startup+710.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4112 0 0 0 70898 110 0 0 25 0 1 0 643195961 20488192 4083 4294967295 134512640 134714540 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5002 4083 1111 63 0 4939 0
vsize: 20008
[startup+720.016 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4136 0 0 0 71897 111 0 0 25 0 1 0 643195961 20623360 4107 4294967295 134512640 134714540 3221221776 3221220232 1077377425 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5035 4107 1111 63 0 4972 0
vsize: 20140
[startup+730.023 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4149 0 0 0 72897 112 0 0 25 0 1 0 643195961 20623360 4120 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5035 4120 1111 63 0 4972 0
vsize: 20140
[startup+740.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4149 0 0 0 73897 113 0 0 25 0 1 0 643195961 20623360 4120 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5035 4120 1111 63 0 4972 0
vsize: 20140
[startup+750.03 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4149 0 0 0 74896 115 0 0 25 0 1 0 643195961 20623360 4120 4294967295 134512640 134714540 3221221776 3221220480 134584841 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5035 4120 1111 63 0 4972 0
vsize: 20140
[startup+760.031 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4182 0 0 0 75893 117 0 0 25 0 1 0 643195961 20758528 4153 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5068 4153 1111 63 0 5005 0
vsize: 20272
[startup+770.031 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4204 0 0 0 76892 119 0 0 25 0 1 0 643195961 20893696 4175 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5101 4175 1111 63 0 5038 0
vsize: 20404
[startup+780.032 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4228 0 0 0 77890 121 0 0 25 0 1 0 643195961 20893696 4199 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5101 4199 1111 63 0 5038 0
vsize: 20404
[startup+790.032 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4279 0 0 0 78889 122 0 0 25 0 1 0 643195961 21151744 4250 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5164 4250 1111 63 0 5101 0
vsize: 20656
[startup+800.032 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4396 0 0 0 79888 124 0 0 25 0 1 0 643195961 21671936 4367 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5291 4367 1111 63 0 5228 0
vsize: 21164
[startup+810.033 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4481 0 0 0 80886 125 0 0 25 0 1 0 643195961 21929984 4452 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5354 4452 1111 63 0 5291 0
vsize: 21416
[startup+820.033 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4540 0 0 0 81884 127 0 0 25 0 1 0 643195961 22192128 4511 4294967295 134512640 134714540 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5418 4511 1111 63 0 5355 0
vsize: 21672
[startup+830.033 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4545 0 0 0 82883 129 0 0 25 0 1 0 643195961 22192128 4516 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5418 4516 1111 63 0 5355 0
vsize: 21672
[startup+840.034 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4545 0 0 0 83882 130 0 0 25 0 1 0 643195961 22192128 4516 4294967295 134512640 134714540 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5418 4516 1111 63 0 5355 0
vsize: 21672
[startup+850.034 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4559 0 0 0 84880 131 0 0 25 0 1 0 643195961 22306816 4530 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5446 4530 1111 63 0 5383 0
vsize: 21784
[startup+860.034 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4581 0 0 0 85878 133 0 0 25 0 1 0 643195961 22441984 4552 4294967295 134512640 134714540 3221221776 3221220404 134696293 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5479 4552 1111 63 0 5416 0
vsize: 21916
[startup+870.035 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4595 0 0 0 86877 135 0 0 25 0 1 0 643195961 22441984 4566 4294967295 134512640 134714540 3221221776 3221220368 134549825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5479 4566 1111 63 0 5416 0
vsize: 21916
[startup+880.036 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4616 0 0 0 87876 136 0 0 25 0 1 0 643195961 22577152 4587 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5512 4587 1111 63 0 5449 0
vsize: 22048
[startup+890.036 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4639 0 0 0 88874 138 0 0 25 0 1 0 643195961 22577152 4610 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5512 4610 1111 63 0 5449 0
vsize: 22048
[startup+900.036 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4711 0 0 0 89873 140 0 0 25 0 1 0 643195961 22966272 4682 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5607 4682 1111 63 0 5544 0
vsize: 22428
[startup+910.037 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4748 0 0 0 90870 142 0 0 25 0 1 0 643195961 23101440 4719 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5640 4719 1111 63 0 5577 0
vsize: 22560
[startup+920.037 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4776 0 0 0 91868 144 0 0 25 0 1 0 643195961 23236608 4747 4294967295 134512640 134714540 3221221776 3221220316 134539235 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5673 4747 1111 63 0 5610 0
vsize: 22692
[startup+930.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4824 0 0 0 92867 146 0 0 25 0 1 0 643195961 23347200 4795 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5700 4795 1111 63 0 5637 0
vsize: 22800
[startup+940.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4840 0 0 0 93866 147 0 0 25 0 1 0 643195961 23482368 4811 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5733 4811 1111 63 0 5670 0
vsize: 22932
[startup+950.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4851 0 0 0 94864 149 0 0 25 0 1 0 643195961 23482368 4822 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5733 4822 1111 63 0 5670 0
vsize: 22932
[startup+960.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4868 0 0 0 95863 150 0 0 25 0 1 0 643195961 23605248 4839 4294967295 134512640 134714540 3221221776 3221220532 134585142 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5763 4839 1111 63 0 5700 0
vsize: 23052
[startup+970.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4950 0 0 0 96862 152 0 0 25 0 1 0 643195961 23871488 4921 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5828 4921 1111 63 0 5765 0
vsize: 23312
[startup+980.038 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4978 0 0 0 97860 153 0 0 25 0 1 0 643195961 24006656 4949 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5861 4949 1111 63 0 5798 0
vsize: 23444
[startup+990.039 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 4978 0 0 0 98859 155 0 0 25 0 1 0 643195961 24006656 4949 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5861 4949 1111 63 0 5798 0
vsize: 23444
[startup+1000.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5010 0 0 0 99857 157 0 0 25 0 1 0 643195961 24141824 4981 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5894 4981 1111 63 0 5831 0
vsize: 23576
[startup+1010.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5013 0 0 0 100856 158 0 0 25 0 1 0 643195961 24141824 4984 4294967295 134512640 134714540 3221221776 3221220488 134558490 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5894 4984 1111 63 0 5831 0
vsize: 23576
[startup+1020.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5055 0 0 0 101854 160 0 0 25 0 1 0 643195961 24276992 5026 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5927 5026 1111 63 0 5864 0
vsize: 23708
[startup+1030.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5106 0 0 0 102853 161 0 0 25 0 1 0 643195961 24547328 5077 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5993 5077 1111 63 0 5930 0
vsize: 23972
[startup+1040.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5117 0 0 0 103853 162 0 0 25 0 1 0 643195961 24547328 5088 4294967295 134512640 134714540 3221221776 3221220416 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5993 5088 1111 63 0 5930 0
vsize: 23972
[startup+1050.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5146 0 0 0 104851 164 0 0 25 0 1 0 643195961 24657920 5117 4294967295 134512640 134714540 3221221776 3221220452 1077374543 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6020 5117 1111 63 0 5957 0
vsize: 24080
[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5215 0 0 0 105850 165 0 0 25 0 1 0 643195961 24928256 5186 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6086 5186 1111 63 0 6023 0
vsize: 24344
[startup+1070.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5229 0 0 0 106848 167 0 0 25 0 1 0 643195961 25063424 5200 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6119 5200 1111 63 0 6056 0
vsize: 24476
[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5276 0 0 0 107848 168 0 0 25 0 1 0 643195961 25198592 5247 4294967295 134512640 134714540 3221221776 3221220480 134528653 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6152 5247 1111 63 0 6089 0
vsize: 24608
[startup+1090.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5302 0 0 0 108846 169 0 0 25 0 1 0 643195961 25333760 5273 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6185 5273 1111 63 0 6122 0
vsize: 24740
[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5302 0 0 0 109846 170 0 0 25 0 1 0 643195961 25333760 5273 4294967295 134512640 134714540 3221221776 3221220560 134529404 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6185 5273 1111 63 0 6122 0
vsize: 24740
[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5302 0 0 0 110845 170 0 0 25 0 1 0 643195961 25333760 5273 4294967295 134512640 134714540 3221221776 3221220248 1077377891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6185 5273 1111 63 0 6122 0
vsize: 24740
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5302 0 0 0 111844 172 0 0 25 0 1 0 643195961 25333760 5273 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6185 5273 1111 63 0 6122 0
vsize: 24740
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5302 0 0 0 112843 174 0 0 25 0 1 0 643195961 25333760 5273 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6185 5273 1111 63 0 6122 0
vsize: 24740
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5313 0 0 0 113842 174 0 0 25 0 1 0 643195961 25333760 5284 4294967295 134512640 134714540 3221221776 3221220336 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6185 5284 1111 63 0 6122 0
vsize: 24740
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5313 0 0 0 114840 176 0 0 25 0 1 0 643195961 25333760 5284 4294967295 134512640 134714540 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6185 5284 1111 63 0 6122 0
vsize: 24740
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5363 0 0 0 115839 177 0 0 25 0 1 0 643195961 25600000 5334 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6250 5334 1111 63 0 6187 0
vsize: 25000
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.96 2/54 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5363 0 0 0 116839 178 0 0 25 0 1 0 643195961 25600000 5334 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6250 5334 1111 63 0 6187 0
vsize: 25000
[startup+1174.9 s]
Raw data (loadavg): 0.99 1.00 0.96 1/53 28290
Raw data (stat): 28288 (bsolo_mis) R 28287 7876 7672 0 -1 0 5363 0 0 0 116839 178 0 0 25 0 1 0 643195961 25600000 5334 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6250 5334 1111 63 0 6187 0
vsize: 0

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