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-fpga12_12_sat_pb.cnf.cr.opb
MD5SUM	6137fb5f5f5e9a4f9b09d34c8e843809
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	13
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.053991
Number of variables	216
Total number of constraints	180
Number of constraints which are clauses	156
Number of constraints which are cardinality constraints (but not clauses)	24
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	6
Maximum length of a constraint	12
Trace number 23289

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 04:57:58 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=264 boxname=wulflinc31 idbench=30 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6137fb5f5f5e9a4f9b09d34c8e843809  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga12_12_sat_pb.cnf.cr.opb
IDLAUNCH: 264
/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:        928784 kB
Buffers:         37460 kB
Cached:          46472 kB
SwapCached:        864 kB
Active:          71092 kB
Inactive:        15220 kB
HighTotal:      131008 kB
HighFree:        83580 kB
LowTotal:       903652 kB
LowFree:        845204 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13916 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 05:17:34 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 264 7 1175.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 216 variables and 180 constraints.
c After prepocess the problem consists of 216 variables and 180 constraints.
c preprocess terminated 0.099 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.93 2/54 19670
Raw data (stat): 19670 (runsolver) R 19669 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 637414911 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.0009 s]
Raw data (loadavg): 0.93 0.95 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 2679 0 0 0 984 12 0 0 25 0 1 0 637414911 14651392 2654 4294967295 134512640 134714540 3221221776 3221220400 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3577 2654 1111 63 0 3514 0
vsize: 14308
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 4084 0 0 0 1977 19 0 0 25 0 1 0 637414911 20332544 4059 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4964 4059 1111 63 0 4901 0
vsize: 19856
[startup+30.0022 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 5128 0 0 0 2973 23 0 0 25 0 1 0 637414911 24666112 5103 4294967295 134512640 134714540 3221221776 3221220264 134697505 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6022 5103 1111 63 0 5959 0
vsize: 24088
[startup+40.0024 s]
Raw data (loadavg): 0.95 0.96 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 6357 0 0 0 3970 27 0 0 25 0 1 0 637414911 29675520 6332 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7245 6332 1111 63 0 7182 0
vsize: 28980
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 7592 0 0 0 4965 31 0 0 25 0 1 0 637414911 34820096 7566 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8501 7566 1111 63 0 8438 0
vsize: 34004
[startup+60.003 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 8912 0 0 0 5962 35 0 0 25 0 1 0 637414911 40357888 8886 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9853 8886 1111 63 0 9790 0
vsize: 39412
[startup+70.0033 s]
Raw data (loadavg): 0.97 0.96 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 9901 0 0 0 6957 41 0 0 25 0 1 0 637414911 44425216 9875 4294967295 134512640 134714540 3221221776 3221220540 134673068 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10846 9875 1111 63 0 10783 0
vsize: 43384
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 10650 0 0 0 7953 45 0 0 25 0 1 0 637414911 47398912 10623 4294967295 134512640 134714540 3221221776 3221220560 134529412 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11572 10623 1111 63 0 11509 0
vsize: 46288
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 11068 0 0 0 8951 46 0 0 25 0 1 0 637414911 49156096 11041 4294967295 134512640 134714540 3221221776 3221220420 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12001 11041 1111 63 0 11938 0
vsize: 48004
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 11401 0 0 0 9950 48 0 0 25 0 1 0 637414911 50524160 11373 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12335 11373 1111 63 0 12272 0
vsize: 49340
[startup+110.006 s]
Raw data (loadavg): 0.98 0.96 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 11692 0 0 0 10948 50 0 0 25 0 1 0 637414911 51740672 11664 4294967295 134512640 134714540 3221221776 3221220512 134523932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12632 11664 1111 63 0 12569 0
vsize: 50528
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 19670
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 12000 0 0 0 11947 51 0 0 25 0 1 0 637414911 52957184 11971 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12929 11971 1111 63 0 12866 0
vsize: 51716
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.93 3/57 19707
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 12264 0 0 0 12946 52 0 0 25 0 1 0 637414911 54038528 12235 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13193 12235 1111 63 0 13130 0
vsize: 52772
[startup+140.153 s]
Raw data (loadavg): 1.14 1.00 0.94 2/56 19718
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 12528 0 0 0 13961 52 0 0 25 0 1 0 637414911 55136256 12499 4294967295 134512640 134714540 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13461 12499 1111 63 0 13398 0
vsize: 53844
[startup+150.154 s]
Raw data (loadavg): 1.27 1.03 0.95 2/54 19723
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 12824 0 0 0 14960 53 0 0 25 0 1 0 637414911 56352768 12795 4294967295 134512640 134714540 3221221776 3221220496 134523872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13758 12795 1111 63 0 13695 0
vsize: 55032
[startup+160.254 s]
Raw data (loadavg): 1.23 1.03 0.95 2/54 19723
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 13087 0 0 0 15969 55 0 0 25 0 1 0 637414911 57434112 13058 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14022 13058 1111 63 0 13959 0
vsize: 56088
[startup+170.254 s]
Raw data (loadavg): 1.19 1.03 0.95 2/54 19723
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 13368 0 0 0 16968 56 0 0 25 0 1 0 637414911 58654720 13339 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14320 13339 1111 63 0 14257 0
vsize: 57280
[startup+180.539 s]
Raw data (loadavg): 1.16 1.03 0.95 2/54 19723
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 13623 0 0 0 17996 56 0 0 25 0 1 0 637414911 59736064 13594 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14584 13594 1111 63 0 14521 0
vsize: 58336
[startup+190.539 s]
Raw data (loadavg): 1.14 1.03 0.95 2/54 19723
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 13853 0 0 0 18994 58 0 0 25 0 1 0 637414911 60682240 13824 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14815 13824 1111 63 0 14752 0
vsize: 59260
[startup+200.54 s]
Raw data (loadavg): 1.11 1.03 0.95 2/54 19723
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 14079 0 0 0 19993 60 0 0 25 0 1 0 637414911 61493248 14050 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15013 14050 1111 63 0 14950 0
vsize: 60052
[startup+210.541 s]
Raw data (loadavg): 1.10 1.02 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 14283 0 0 0 20992 61 0 0 25 0 1 0 637414911 62439424 14254 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15244 14254 1111 63 0 15181 0
vsize: 60976
[startup+220.542 s]
Raw data (loadavg): 1.08 1.02 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 14620 0 0 0 21991 62 0 0 25 0 1 0 637414911 63795200 14591 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15575 14591 1111 63 0 15512 0
vsize: 62300
[startup+230.543 s]
Raw data (loadavg): 1.07 1.02 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 15432 0 0 0 22989 65 0 0 25 0 1 0 637414911 67207168 15403 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16408 15403 1111 63 0 16345 0
vsize: 65632
[startup+240.543 s]
Raw data (loadavg): 1.06 1.02 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 16330 0 0 0 23985 69 0 0 25 0 1 0 637414911 70909952 16299 4294967295 134512640 134714540 3221221776 3221220500 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17312 16299 1111 63 0 17249 0
vsize: 69248
[startup+250.544 s]
Raw data (loadavg): 1.05 1.02 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 16961 0 0 0 24983 71 0 0 25 0 1 0 637414911 73531392 16927 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17952 16927 1111 63 0 17889 0
vsize: 71808
[startup+260.545 s]
Raw data (loadavg): 1.04 1.02 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 17418 0 0 0 25980 74 0 0 25 0 1 0 637414911 75472896 17384 4294967295 134512640 134714540 3221221776 3221220112 134697270 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18426 17384 1111 63 0 18363 0
vsize: 73704
[startup+270.545 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 17868 0 0 0 26978 76 0 0 25 0 1 0 637414911 77369344 17832 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18889 17832 1111 63 0 18826 0
vsize: 75556
[startup+280.546 s]
Raw data (loadavg): 1.03 1.02 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 18574 0 0 0 27975 79 0 0 25 0 1 0 637414911 80207872 18538 4294967295 134512640 134714540 3221221776 3221220456 134552633 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19582 18538 1111 63 0 19519 0
vsize: 78328
[startup+290.547 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 19183 0 0 0 28972 82 0 0 25 0 1 0 637414911 82788352 19143 4294967295 134512640 134714540 3221221776 3221220368 134549764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20212 19143 1111 63 0 20149 0
vsize: 80848
[startup+300.548 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 19895 0 0 0 29970 85 0 0 25 0 1 0 637414911 85626880 19855 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20905 19855 1111 63 0 20842 0
vsize: 83620
[startup+310.549 s]
Raw data (loadavg): 1.02 1.02 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 20451 0 0 0 30968 87 0 0 25 0 1 0 637414911 87924736 20411 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21466 20411 1111 63 0 21403 0
vsize: 85864
[startup+320.549 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 21045 0 0 0 31966 89 0 0 25 0 1 0 637414911 90357760 21005 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22060 21005 1111 63 0 21997 0
vsize: 88240
[startup+330.55 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 21572 0 0 0 32964 91 0 0 25 0 1 0 637414911 92696576 21528 4294967295 134512640 134714540 3221221776 3221220480 134528623 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22631 21528 1111 63 0 22568 0
vsize: 90524
[startup+340.55 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 21992 0 0 0 33962 93 0 0 25 0 1 0 637414911 94318592 21947 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23027 21947 1111 63 0 22964 0
vsize: 92108
[startup+350.551 s]
Raw data (loadavg): 1.01 1.01 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 22350 0 0 0 34961 95 0 0 25 0 1 0 637414911 95838208 22305 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23398 22305 1111 63 0 23335 0
vsize: 93592
[startup+360.552 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 22691 0 0 0 35960 96 0 0 25 0 1 0 637414911 97144832 22644 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23717 22644 1111 63 0 23654 0
vsize: 94868
[startup+370.552 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 23070 0 0 0 36958 98 0 0 25 0 1 0 637414911 98631680 23022 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24080 23022 1111 63 0 24017 0
vsize: 96320
[startup+380.553 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 23442 0 0 0 37957 100 0 0 25 0 1 0 637414911 100122624 23394 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24444 23394 1111 63 0 24381 0
vsize: 97776
[startup+390.554 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 23752 0 0 0 38956 101 0 0 25 0 1 0 637414911 101507072 23703 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24782 23703 1111 63 0 24719 0
vsize: 99128
[startup+400.555 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 24026 0 0 0 39954 103 0 0 25 0 1 0 637414911 102608896 23976 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25051 23976 1111 63 0 24988 0
vsize: 100204
[startup+410.556 s]
Raw data (loadavg): 1.00 1.01 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 24243 0 0 0 40954 104 0 0 25 0 1 0 637414911 103440384 24192 4294967295 134512640 134714540 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25254 24192 1111 63 0 25191 0
vsize: 101016
[startup+420.556 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 24510 0 0 0 41952 105 0 0 25 0 1 0 637414911 104562688 24459 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25528 24459 1111 63 0 25465 0
vsize: 102112
[startup+430.557 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 24780 0 0 0 42952 106 0 0 25 0 1 0 637414911 105684992 24725 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25802 24725 1111 63 0 25739 0
vsize: 103208
[startup+440.557 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 25014 0 0 0 43951 107 0 0 25 0 1 0 637414911 106692608 24959 4294967295 134512640 134714540 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26048 24959 1111 63 0 25985 0
vsize: 104192
[startup+450.558 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 25238 0 0 0 44951 107 0 0 25 0 1 0 637414911 107520000 25182 4294967295 134512640 134714540 3221221776 3221220332 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26250 25182 1111 63 0 26187 0
vsize: 105000
[startup+460.559 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 25462 0 0 0 45950 108 0 0 25 0 1 0 637414911 108572672 25406 4294967295 134512640 134714540 3221221776 3221220400 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26507 25406 1111 63 0 26444 0
vsize: 106028
[startup+470.559 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 25720 0 0 0 46949 109 0 0 25 0 1 0 637414911 109694976 25664 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26781 25664 1111 63 0 26718 0
vsize: 107124
[startup+480.559 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19725
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 25969 0 0 0 47949 110 0 0 25 0 1 0 637414911 110776320 25913 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27045 25913 1111 63 0 26982 0
vsize: 108180
[startup+490.56 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 26204 0 0 0 48948 111 0 0 25 0 1 0 637414911 111800320 26148 4294967295 134512640 134714540 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27295 26148 1111 63 0 27232 0
vsize: 109180
[startup+500.561 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 26416 0 0 0 49948 111 0 0 25 0 1 0 637414911 112611328 26360 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27493 26360 1111 63 0 27430 0
vsize: 109972
[startup+510.563 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 26620 0 0 0 50948 112 0 0 25 0 1 0 637414911 113422336 26564 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27691 26564 1111 63 0 27628 0
vsize: 110764
[startup+520.562 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 26751 0 0 0 51948 112 0 0 25 0 1 0 637414911 113963008 26695 4294967295 134512640 134714540 3221221776 3221220368 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27823 26695 1111 63 0 27760 0
vsize: 111292
[startup+530.563 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 27579 0 0 0 52945 115 0 0 25 0 1 0 637414911 117342208 27523 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28648 27523 1111 63 0 28585 0
vsize: 114592
[startup+540.563 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 27900 0 0 0 53944 116 0 0 25 0 1 0 637414911 118738944 27839 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28989 27839 1111 63 0 28926 0
vsize: 115956
[startup+550.564 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 28054 0 0 0 54944 116 0 0 25 0 1 0 637414911 119283712 27993 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29122 27993 1111 63 0 29059 0
vsize: 116488
[startup+560.565 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 28809 0 0 0 55942 119 0 0 25 0 1 0 637414911 122392576 28748 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29881 28748 1111 63 0 29818 0
vsize: 119524
[startup+570.565 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 29591 0 0 0 56940 121 0 0 25 0 1 0 637414911 125710336 29530 4294967295 134512640 134714540 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30691 29530 1111 63 0 30628 0
vsize: 122764
[startup+580.566 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 30217 0 0 0 57938 124 0 0 25 0 1 0 637414911 128204800 30156 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31300 30156 1111 63 0 31237 0
vsize: 125200
[startup+590.567 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 30784 0 0 0 58935 126 0 0 25 0 1 0 637414911 130691072 30723 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31907 30723 1111 63 0 31844 0
vsize: 127628
[startup+600.568 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 31380 0 0 0 59933 129 0 0 25 0 1 0 637414911 133054464 31319 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32484 31319 1111 63 0 32421 0
vsize: 129936
[startup+610.569 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 31939 0 0 0 60931 131 0 0 25 0 1 0 637414911 135356416 31878 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33046 31878 1111 63 0 32983 0
vsize: 132184
[startup+620.569 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 32377 0 0 0 61930 132 0 0 25 0 1 0 637414911 137256960 32316 4294967295 134512640 134714540 3221221776 3221220512 134528647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33510 32316 1111 63 0 33447 0
vsize: 134040
[startup+630.57 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 32795 0 0 0 62929 133 0 0 25 0 1 0 637414911 139010048 32725 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33938 32725 1111 63 0 33875 0
vsize: 135752
[startup+640.57 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 33260 0 0 0 63928 135 0 0 25 0 1 0 637414911 141000704 33189 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34424 33189 1111 63 0 34361 0
vsize: 137696
[startup+650.571 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 33739 0 0 0 64927 136 0 0 25 0 1 0 637414911 143065088 33667 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34928 33667 1111 63 0 34865 0
vsize: 139712
[startup+660.572 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 33938 0 0 0 65926 137 0 0 25 0 1 0 637414911 143876096 33866 4294967295 134512640 134714540 3221221776 3221220536 134552685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35126 33866 1111 63 0 35063 0
vsize: 140504
[startup+670.572 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 34202 0 0 0 66925 138 0 0 25 0 1 0 637414911 144961536 34130 4294967295 134512640 134714540 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35391 34130 1111 63 0 35328 0
vsize: 141564
[startup+680.573 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 34427 0 0 0 67924 139 0 0 25 0 1 0 637414911 145907712 34355 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35622 34355 1111 63 0 35559 0
vsize: 142488
[startup+690.574 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 34666 0 0 0 68923 140 0 0 25 0 1 0 637414911 146857984 34594 4294967295 134512640 134714540 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35854 34594 1111 63 0 35791 0
vsize: 143416
[startup+700.574 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 34874 0 0 0 69923 141 0 0 25 0 1 0 637414911 147804160 34802 4294967295 134512640 134714540 3221221776 3221220480 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36085 34802 1111 63 0 36022 0
vsize: 144340
[startup+710.575 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 35069 0 0 0 70922 142 0 0 25 0 1 0 637414911 148480000 34997 4294967295 134512640 134714540 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36250 34997 1111 63 0 36187 0
vsize: 145000
[startup+720.575 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 35264 0 0 0 71921 143 0 0 25 0 1 0 637414911 149291008 35192 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36448 35192 1111 63 0 36385 0
vsize: 145792
[startup+730.576 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 35753 0 0 0 72919 145 0 0 25 0 1 0 637414911 151318528 35681 4294967295 134512640 134714540 3221221776 3221220544 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36943 35681 1111 63 0 36880 0
vsize: 147772
[startup+740.576 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 36138 0 0 0 73918 147 0 0 25 0 1 0 637414911 152805376 36066 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37306 36066 1111 63 0 37243 0
vsize: 149224
[startup+750.576 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 36433 0 0 0 74917 148 0 0 25 0 1 0 637414911 154079232 36360 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37617 36360 1111 63 0 37554 0
vsize: 150468
[startup+760.577 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 36635 0 0 0 75916 149 0 0 25 0 1 0 637414911 154935296 36562 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37826 36562 1111 63 0 37763 0
vsize: 151304
[startup+770.577 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 36835 0 0 0 76915 150 0 0 25 0 1 0 637414911 155811840 36753 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38040 36753 1111 63 0 37977 0
vsize: 152160
[startup+780.578 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 37011 0 0 0 77914 151 0 0 25 0 1 0 637414911 156512256 36929 4294967295 134512640 134714540 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38211 36929 1111 63 0 38148 0
vsize: 152844
[startup+790.578 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 37182 0 0 0 78914 152 0 0 25 0 1 0 637414911 157204480 37100 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38380 37100 1111 63 0 38317 0
vsize: 153520
[startup+800.577 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 37320 0 0 0 79913 152 0 0 25 0 1 0 637414911 157798400 37237 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38525 37237 1111 63 0 38462 0
vsize: 154100
[startup+810.579 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 37447 0 0 0 80913 153 0 0 25 0 1 0 637414911 158339072 37364 4294967295 134512640 134714540 3221221776 3221220492 134552632 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38657 37364 1111 63 0 38594 0
vsize: 154628
[startup+820.578 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 37682 0 0 0 81912 154 0 0 25 0 1 0 637414911 159301632 37592 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38892 37592 1111 63 0 38829 0
vsize: 155568
[startup+830.579 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 37858 0 0 0 82911 156 0 0 25 0 1 0 637414911 160038912 37768 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39072 37768 1111 63 0 39009 0
vsize: 156288
[startup+840.579 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 38456 0 0 0 83909 158 0 0 25 0 1 0 637414911 162471936 38366 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39666 38366 1111 63 0 39603 0
vsize: 158664
[startup+850.579 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 38883 0 0 0 84907 159 0 0 25 0 1 0 637414911 164229120 38793 4294967295 134512640 134714540 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40095 38793 1111 63 0 40032 0
vsize: 160380
[startup+860.579 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 39213 0 0 0 85906 161 0 0 25 0 1 0 637414911 165646336 39117 4294967295 134512640 134714540 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40441 39117 1111 63 0 40378 0
vsize: 161764
[startup+870.58 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 39504 0 0 0 86904 163 0 0 25 0 1 0 637414911 166727680 39408 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40705 39408 1111 63 0 40642 0
vsize: 162820
[startup+880.581 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 39781 0 0 0 87903 164 0 0 25 0 1 0 637414911 167968768 39685 4294967295 134512640 134714540 3221221776 3221220396 134549508 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41008 39685 1111 63 0 40945 0
vsize: 164032
[startup+890.581 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 39955 0 0 0 88902 165 0 0 25 0 1 0 637414911 168644608 39859 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41173 39859 1111 63 0 41110 0
vsize: 164692
[startup+900.581 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 40213 0 0 0 89901 166 0 0 25 0 1 0 637414911 169725952 40117 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41437 40117 1111 63 0 41374 0
vsize: 165748
[startup+910.581 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 40426 0 0 0 90901 167 0 0 25 0 1 0 637414911 170692608 40330 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41673 40330 1111 63 0 41610 0
vsize: 166692
[startup+920.581 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 40621 0 0 0 91900 168 0 0 25 0 1 0 637414911 171503616 40525 4294967295 134512640 134714540 3221221776 3221220360 134549705 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41871 40525 1111 63 0 41808 0
vsize: 167484
[startup+930.582 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 40793 0 0 0 92900 168 0 0 25 0 1 0 637414911 172179456 40697 4294967295 134512640 134714540 3221221776 3221220468 134528706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42036 40697 1111 63 0 41973 0
vsize: 168144
[startup+940.583 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 40990 0 0 0 93899 170 0 0 25 0 1 0 637414911 173015040 40892 4294967295 134512640 134714540 3221221776 3221220404 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42240 40892 1111 63 0 42177 0
vsize: 168960
[startup+950.582 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 41117 0 0 0 94898 171 0 0 25 0 1 0 637414911 173592576 41017 4294967295 134512640 134714540 3221221776 3221220464 134528602 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42381 41017 1111 63 0 42318 0
vsize: 169524
[startup+960.583 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 41265 0 0 0 95897 171 0 0 25 0 1 0 637414911 174133248 41165 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42513 41165 1111 63 0 42450 0
vsize: 170052
[startup+970.583 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 41421 0 0 0 96897 172 0 0 25 0 1 0 637414911 174809088 41321 4294967295 134512640 134714540 3221221776 3221220496 134529133 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42678 41321 1111 63 0 42615 0
vsize: 170712
[startup+980.584 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 41595 0 0 0 97897 173 0 0 25 0 1 0 637414911 175529984 41491 4294967295 134512640 134714540 3221221776 3221220496 134535790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42854 41491 1111 63 0 42791 0
vsize: 171416
[startup+990.584 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 41744 0 0 0 98897 173 0 0 25 0 1 0 637414911 176205824 41640 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43019 41640 1111 63 0 42956 0
vsize: 172076
[startup+1000.58 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 41903 0 0 0 99896 174 0 0 25 0 1 0 637414911 176881664 41799 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43184 41799 1111 63 0 43121 0
vsize: 172736
[startup+1010.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 42043 0 0 0 100895 174 0 0 25 0 1 0 637414911 177422336 41939 4294967295 134512640 134714540 3221221776 3221220536 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43316 41939 1111 63 0 43253 0
vsize: 173264
[startup+1020.58 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 42191 0 0 0 101895 175 0 0 25 0 1 0 637414911 177963008 42087 4294967295 134512640 134714540 3221221776 3221220432 134523859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43448 42087 1111 63 0 43385 0
vsize: 173792
[startup+1030.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 42341 0 0 0 102894 176 0 0 25 0 1 0 637414911 178638848 42237 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43613 42237 1111 63 0 43550 0
vsize: 174452
[startup+1040.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 42491 0 0 0 103894 176 0 0 25 0 1 0 637414911 179179520 42387 4294967295 134512640 134714540 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43745 42387 1111 63 0 43682 0
vsize: 174980
[startup+1050.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 42646 0 0 0 104893 177 0 0 25 0 1 0 637414911 179855360 42542 4294967295 134512640 134714540 3221221776 3221220488 134552673 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43910 42542 1111 63 0 43847 0
vsize: 175640
[startup+1060.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 42798 0 0 0 105893 178 0 0 25 0 1 0 637414911 180396032 42694 4294967295 134512640 134714540 3221221776 3221220496 134535757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44042 42694 1111 63 0 43979 0
vsize: 176168
[startup+1070.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 42932 0 0 0 106892 179 0 0 25 0 1 0 637414911 180936704 42828 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44174 42828 1111 63 0 44111 0
vsize: 176696
[startup+1080.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 43078 0 0 0 107891 180 0 0 25 0 1 0 637414911 181612544 42974 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44339 42974 1111 63 0 44276 0
vsize: 177356
[startup+1090.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 43214 0 0 0 108891 180 0 0 25 0 1 0 637414911 182153216 43110 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44471 43110 1111 63 0 44408 0
vsize: 177884
[startup+1100.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 43343 0 0 0 109891 180 0 0 25 0 1 0 637414911 182562816 43239 4294967295 134512640 134714540 3221221776 3221220512 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44571 43239 1111 63 0 44508 0
vsize: 178284
[startup+1110.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 43466 0 0 0 110890 181 0 0 25 0 1 0 637414911 183103488 43362 4294967295 134512640 134714540 3221221776 3221220388 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44703 43362 1111 63 0 44640 0
vsize: 178812
[startup+1120.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 43586 0 0 0 111890 182 0 0 25 0 1 0 637414911 183644160 43482 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44835 43482 1111 63 0 44772 0
vsize: 179340
[startup+1130.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 43697 0 0 0 112890 182 0 0 25 0 1 0 637414911 184049664 43593 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44934 43593 1111 63 0 44871 0
vsize: 179736
[startup+1140.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 43804 0 0 0 113889 183 0 0 25 0 1 0 637414911 184455168 43700 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45033 43700 1111 63 0 44970 0
vsize: 180132
[startup+1150.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 43915 0 0 0 114889 183 0 0 25 0 1 0 637414911 184860672 43811 4294967295 134512640 134714540 3221221776 3221220496 134535795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45132 43811 1111 63 0 45069 0
vsize: 180528
[startup+1160.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 44031 0 0 0 115889 184 0 0 25 0 1 0 637414911 185479168 43927 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45283 43927 1111 63 0 45220 0
vsize: 181132
[startup+1170.59 s]
Raw data (loadavg): 1.00 1.00 0.95 2/54 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 44145 0 0 0 116889 184 0 0 25 0 1 0 637414911 185884672 44041 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45382 44041 1111 63 0 45319 0
vsize: 181528
[startup+1174.97 s]
Raw data (loadavg): 1.00 1.00 0.95 1/53 19727
Raw data (stat): 19670 (bsolo_mis) R 19669 7876 7672 0 -1 0 44145 0 0 0 116889 184 0 0 25 0 1 0 637414911 185884672 44041 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45382 44041 1111 63 0 45319 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.11
CPU user time (s): 1173.18
CPU system time (s): 1.92971
CPU usage (%): 100.012
Max. virtual memory (Kb): 181528
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####