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-fpga14_14_sat_pb.cnf.cr.opb
MD5SUM	fe97068efc5fde8cbd48a084444e76d6
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	15
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.071988
Number of variables	294
Total number of constraints	238
Number of constraints which are clauses	210
Number of constraints which are cardinality constraints (but not clauses)	28
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 23319

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 10:55:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=318 boxname=wulflinc31 idbench=36 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  fe97068efc5fde8cbd48a084444e76d6  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_14_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga14_14_sat_pb.cnf.cr.opb
IDLAUNCH: 318
/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:        928012 kB
Buffers:         37928 kB
Cached:          46820 kB
SwapCached:        864 kB
Active:          71804 kB
Inactive:        15276 kB
HighTotal:      131008 kB
HighFree:        83160 kB
LowTotal:       903652 kB
LowFree:        844852 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13824 kB
Committed_AS:    63616 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 11:15:31 (client local time) WITH STATUS 0 IN 1175.23 SECONDS
stats: 318 7 1175.23 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 294 variables and 238 constraints.
c After prepocess the problem consists of 294 variables and 238 constraints.
c preprocess terminated 0.156 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.09 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.85 0.98 0.99 2/54 22880
Raw data (stat): 22880 (runsolver) R 22879 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 639562923 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.0004 s]
Raw data (loadavg): 0.87 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 3383 0 0 0 984 12 0 0 25 0 1 0 639562923 17494016 3358 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4271 3358 1111 63 0 4208 0
vsize: 17084
[startup+20.0012 s]
Raw data (loadavg): 0.89 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 5555 0 0 0 1976 20 0 0 25 0 1 0 639562923 26423296 5530 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6451 5530 1111 63 0 6388 0
vsize: 25804
[startup+30.0011 s]
Raw data (loadavg): 0.91 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 6896 0 0 0 2971 25 0 0 25 0 1 0 639562923 31973376 6871 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7806 6871 1111 63 0 7743 0
vsize: 31224
[startup+40.001 s]
Raw data (loadavg): 0.92 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 8090 0 0 0 3967 29 0 0 25 0 1 0 639562923 36839424 8064 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8994 8064 1111 63 0 8931 0
vsize: 35976
[startup+50.002 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 8977 0 0 0 4963 33 0 0 25 0 1 0 639562923 40493056 8950 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9886 8950 1111 63 0 9823 0
vsize: 39544
[startup+60.0019 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 9900 0 0 0 5960 36 0 0 25 0 1 0 639562923 44441600 9873 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10850 9873 1111 63 0 10787 0
vsize: 43400
[startup+70.0029 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 10956 0 0 0 6957 40 0 0 25 0 1 0 639562923 48762880 10929 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11905 10929 1111 63 0 11842 0
vsize: 47620
[startup+80.0028 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 11671 0 0 0 7955 42 0 0 25 0 1 0 639562923 51736576 11644 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12631 11644 1111 63 0 12568 0
vsize: 50524
[startup+90.0027 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 12425 0 0 0 8952 45 0 0 25 0 1 0 639562923 54710272 12396 4294967295 134512640 134714540 3221221776 3221220332 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13357 12396 1111 63 0 13294 0
vsize: 53428
[startup+100.003 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 13212 0 0 0 9950 48 0 0 25 0 1 0 639562923 57974784 13183 4294967295 134512640 134714540 3221221776 3221220384 134523374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14154 13183 1111 63 0 14091 0
vsize: 56616
[startup+110.003 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 14122 0 0 0 10946 51 0 0 25 0 1 0 639562923 61652992 14092 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15052 14092 1111 63 0 14989 0
vsize: 60208
[startup+120.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 14939 0 0 0 11943 55 0 0 25 0 1 0 639562923 65032192 14909 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15877 14909 1111 63 0 15814 0
vsize: 63508
[startup+130.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 15617 0 0 0 12940 58 0 0 25 0 1 0 639562923 67784704 15586 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16549 15586 1111 63 0 16486 0
vsize: 66196
[startup+140.003 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 16143 0 0 0 13939 59 0 0 25 0 1 0 639562923 70152192 16110 4294967295 134512640 134714540 3221221776 3221220332 134535676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17127 16110 1111 63 0 17064 0
vsize: 68508
[startup+150.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 17352 0 0 0 14934 64 0 0 25 0 1 0 639562923 75055104 17318 4294967295 134512640 134714540 3221221776 3221220560 134528883 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18324 17319 1111 63 0 18261 0
vsize: 73296
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 18521 0 0 0 15930 68 0 0 25 0 1 0 639562923 79785984 18486 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19479 18486 1111 63 0 19416 0
vsize: 77916
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 19802 0 0 0 16925 73 0 0 25 0 1 0 639562923 85057536 19767 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20766 19767 1111 63 0 20703 0
vsize: 83064
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 20667 0 0 0 17922 77 0 0 25 0 1 0 639562923 88707072 20632 4294967295 134512640 134714540 3221221776 3221220320 134543043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21657 20632 1111 63 0 21594 0
vsize: 86628
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 21152 0 0 0 18920 79 0 0 25 0 1 0 639562923 90607616 21117 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22121 21117 1111 63 0 22058 0
vsize: 88484
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 22211 0 0 0 19917 82 0 0 25 0 1 0 639562923 94961664 22176 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23184 22176 1111 63 0 23121 0
vsize: 92736
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 23071 0 0 0 20914 86 0 0 25 0 1 0 639562923 98656256 23036 4294967295 134512640 134714540 3221221776 3221220448 134535790 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24086 23036 1111 63 0 24023 0
vsize: 96344
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 23661 0 0 0 21911 88 0 0 25 0 1 0 639562923 100954112 23626 4294967295 134512640 134714540 3221221776 3221220432 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24647 23626 1111 63 0 24584 0
vsize: 98588
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 24272 0 0 0 22909 91 0 0 25 0 1 0 639562923 103522304 24237 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25274 24237 1111 63 0 25211 0
vsize: 101096
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 24781 0 0 0 23908 92 0 0 25 0 1 0 639562923 105582592 24742 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25777 24742 1111 63 0 25714 0
vsize: 103108
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 25201 0 0 0 24906 94 0 0 25 0 1 0 639562923 107372544 25162 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26214 25162 1111 63 0 26151 0
vsize: 104856
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 25597 0 0 0 25904 96 0 0 25 0 1 0 639562923 108929024 25558 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26594 25558 1111 63 0 26531 0
vsize: 106376
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 26620 0 0 0 26901 100 0 0 25 0 1 0 639562923 113238016 26581 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27646 26581 1111 63 0 27583 0
vsize: 110584
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 27535 0 0 0 27898 103 0 0 25 0 1 0 639562923 117039104 27494 4294967295 134512640 134714540 3221221776 3221220492 134536746 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28574 27494 1111 63 0 28511 0
vsize: 114296
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 28428 0 0 0 28895 106 0 0 25 0 1 0 639562923 120553472 28387 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29432 28387 1111 63 0 29369 0
vsize: 117728
[startup+300.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 29020 0 0 0 29893 108 0 0 25 0 1 0 639562923 123015168 28979 4294967295 134512640 134714540 3221221776 3221220432 134536683 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30033 28979 1111 63 0 29970 0
vsize: 120132
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 29652 0 0 0 30890 112 0 0 25 0 1 0 639562923 125583360 29610 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30660 29610 1111 63 0 30597 0
vsize: 122640
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 30224 0 0 0 31887 114 0 0 25 0 1 0 639562923 128016384 30182 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31254 30182 1111 63 0 31191 0
vsize: 125016
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 30660 0 0 0 32885 116 0 0 25 0 1 0 639562923 129777664 30618 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31684 30618 1111 63 0 31621 0
vsize: 126736
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 31068 0 0 0 33884 118 0 0 25 0 1 0 639562923 131420160 31026 4294967295 134512640 134714540 3221221776 3221220416 134613451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32085 31026 1111 63 0 32022 0
vsize: 128340
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 31527 0 0 0 34881 121 0 0 25 0 1 0 639562923 133328896 31483 4294967295 134512640 134714540 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32551 31483 1111 63 0 32488 0
vsize: 130204
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 31951 0 0 0 35879 123 0 0 25 0 1 0 639562923 135102464 31907 4294967295 134512640 134714540 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32984 31907 1111 63 0 32921 0
vsize: 131936
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 32588 0 0 0 36877 125 0 0 25 0 1 0 639562923 137707520 32544 4294967295 134512640 134714540 3221221776 3221220428 134536763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33620 32544 1111 63 0 33557 0
vsize: 134480
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 32905 0 0 0 37876 127 0 0 25 0 1 0 639562923 139059200 32858 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33950 32858 1111 63 0 33887 0
vsize: 135800
[startup+390.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 33336 0 0 0 38874 128 0 0 25 0 1 0 639562923 140820480 33289 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34380 33289 1111 63 0 34317 0
vsize: 137520
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 33775 0 0 0 39873 131 0 0 25 0 1 0 639562923 142729216 33728 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34846 33728 1111 63 0 34783 0
vsize: 139384
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 34186 0 0 0 40871 132 0 0 25 0 1 0 639562923 144580608 34136 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35298 34136 1111 63 0 35235 0
vsize: 141192
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 34605 0 0 0 41869 134 0 0 25 0 1 0 639562923 146345984 34555 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35729 34555 1111 63 0 35666 0
vsize: 142916
[startup+430.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 35305 0 0 0 42866 137 0 0 25 0 1 0 639562923 149221376 35254 4294967295 134512640 134714540 3221221776 3221220368 134549780 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36431 35254 1111 63 0 36368 0
vsize: 145724
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 36182 0 0 0 43864 140 0 0 25 0 1 0 639562923 152834048 36124 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37313 36124 1111 63 0 37250 0
vsize: 149252
[startup+450.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 37057 0 0 0 44860 144 0 0 25 0 1 0 639562923 156483584 36999 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38204 36999 1111 63 0 38141 0
vsize: 152816
[startup+460.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 37724 0 0 0 45858 146 0 0 25 0 1 0 639562923 159186944 37666 4294967295 134512640 134714540 3221221776 3221220540 134552548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38864 37666 1111 63 0 38801 0
vsize: 155456
[startup+470.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 38115 0 0 0 46856 148 0 0 25 0 1 0 639562923 160817152 38057 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39262 38057 1111 63 0 39199 0
vsize: 157048
[startup+480.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 38540 0 0 0 47855 150 0 0 25 0 1 0 639562923 162439168 38482 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39658 38482 1111 63 0 39595 0
vsize: 158632
[startup+490.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 38898 0 0 0 48854 151 0 0 25 0 1 0 639562923 163926016 38840 4294967295 134512640 134714540 3221221776 3221220432 134536643 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40021 38840 1111 63 0 39958 0
vsize: 160084
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 39141 0 0 0 49853 152 0 0 25 0 1 0 639562923 164872192 39083 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40252 39083 1111 63 0 40189 0
vsize: 161008
[startup+510.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 39878 0 0 0 50851 155 0 0 25 0 1 0 639562923 168062976 39820 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41031 39820 1111 63 0 40968 0
vsize: 164124
[startup+520.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 40662 0 0 0 51848 157 0 0 25 0 1 0 639562923 171171840 40604 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41790 40604 1111 63 0 41727 0
vsize: 167160
[startup+530.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 41327 0 0 0 52845 160 0 0 25 0 1 0 639562923 174010368 41269 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42483 41269 1111 63 0 42420 0
vsize: 169932
[startup+540.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 42044 0 0 0 53842 163 0 0 25 0 1 0 639562923 176848896 41986 4294967295 134512640 134714540 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43176 41986 1111 63 0 43113 0
vsize: 172704
[startup+550.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 42553 0 0 0 54840 166 0 0 25 0 1 0 639562923 178900992 42494 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43677 42494 1111 63 0 43614 0
vsize: 174708
[startup+560.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 42911 0 0 0 55839 167 0 0 25 0 1 0 639562923 180391936 42850 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44041 42850 1111 63 0 43978 0
vsize: 176164
[startup+570.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 43258 0 0 0 56838 168 0 0 25 0 1 0 639562923 181932032 43196 4294967295 134512640 134714540 3221221776 3221220428 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44417 43196 1111 63 0 44354 0
vsize: 177668
[startup+580.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 43685 0 0 0 57837 170 0 0 25 0 1 0 639562923 183697408 43623 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44848 43623 1111 63 0 44785 0
vsize: 179392
[startup+590.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 44018 0 0 0 58835 172 0 0 25 0 1 0 639562923 185049088 43956 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45178 43956 1111 63 0 45115 0
vsize: 180712
[startup+600.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 44226 0 0 0 59835 172 0 0 25 0 1 0 639562923 185868288 44163 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45378 44163 1111 63 0 45315 0
vsize: 181512
[startup+610.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 44527 0 0 0 60833 174 0 0 25 0 1 0 639562923 187133952 44463 4294967295 134512640 134714540 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45687 44463 1111 63 0 45624 0
vsize: 182748
[startup+620.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 44987 0 0 0 61832 176 0 0 25 0 1 0 639562923 189026304 44923 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46149 44923 1111 63 0 46086 0
vsize: 184596
[startup+630.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 45425 0 0 0 62830 178 0 0 25 0 1 0 639562923 190783488 45361 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46578 45361 1111 63 0 46515 0
vsize: 186312
[startup+640.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 45711 0 0 0 63830 178 0 0 25 0 1 0 639562923 191864832 45647 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 46842 45647 1111 63 0 46779 0
vsize: 187368
[startup+650.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 45981 0 0 0 64829 179 0 0 25 0 1 0 639562923 192946176 45917 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47106 45917 1111 63 0 47043 0
vsize: 188424
[startup+660.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 46207 0 0 0 65829 180 0 0 25 0 1 0 639562923 193892352 46142 4294967295 134512640 134714540 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47337 46142 1111 63 0 47274 0
vsize: 189348
[startup+670.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 46526 0 0 0 66828 181 0 0 25 0 1 0 639562923 195293184 46460 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47679 46460 1111 63 0 47616 0
vsize: 190716
[startup+680.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 47065 0 0 0 67826 183 0 0 25 0 1 0 639562923 197550080 46994 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48230 46994 1111 63 0 48167 0
vsize: 192920
[startup+690.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 47488 0 0 0 68825 185 0 0 25 0 1 0 639562923 199303168 47417 4294967295 134512640 134714540 3221221776 3221220416 134696112 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48658 47417 1111 63 0 48595 0
vsize: 194632
[startup+700.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 47727 0 0 0 69824 185 0 0 25 0 1 0 639562923 200318976 47654 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48906 47654 1111 63 0 48843 0
vsize: 195624
[startup+710.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 47951 0 0 0 70823 186 0 0 25 0 1 0 639562923 201228288 47873 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49128 47873 1111 63 0 49065 0
vsize: 196512
[startup+720.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 48180 0 0 0 71822 187 0 0 25 0 1 0 639562923 202260480 48098 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49380 48098 1111 63 0 49317 0
vsize: 197520
[startup+730.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 48425 0 0 0 72821 189 0 0 25 0 1 0 639562923 203231232 48342 4294967295 134512640 134714540 3221221776 3221220480 134528665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49617 48342 1111 63 0 49554 0
vsize: 198468
[startup+740.032 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 48697 0 0 0 73821 189 0 0 25 0 1 0 639562923 204447744 48612 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49914 48612 1111 63 0 49851 0
vsize: 199656
[startup+750.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 48901 0 0 0 74820 190 0 0 25 0 1 0 639562923 205291520 48815 4294967295 134512640 134714540 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50120 48815 1111 63 0 50057 0
vsize: 200480
[startup+760.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 49276 0 0 0 75819 192 0 0 25 0 1 0 639562923 206827520 49185 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50495 49185 1111 63 0 50432 0
vsize: 201980
[startup+770.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 49546 0 0 0 76818 192 0 0 25 0 1 0 639562923 207953920 49455 4294967295 134512640 134714540 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50770 49455 1111 63 0 50707 0
vsize: 203080
[startup+780.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 49754 0 0 0 77818 193 0 0 25 0 1 0 639562923 208764928 49663 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 50968 49663 1111 63 0 50905 0
vsize: 203872
[startup+790.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 49893 0 0 0 78818 194 0 0 25 0 1 0 639562923 209305600 49802 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51100 49802 1111 63 0 51037 0
vsize: 204400
[startup+800.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 50047 0 0 0 79817 194 0 0 25 0 1 0 639562923 210022400 49954 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51275 49954 1111 63 0 51212 0
vsize: 205100
[startup+810.037 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 50213 0 0 0 80817 195 0 0 25 0 1 0 639562923 210747392 50118 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51452 50118 1111 63 0 51389 0
vsize: 205808
[startup+820.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 50508 0 0 0 81816 196 0 0 25 0 1 0 639562923 211980288 50413 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51753 50413 1111 63 0 51690 0
vsize: 207012
[startup+830.038 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 50748 0 0 0 82816 196 0 0 25 0 1 0 639562923 212922368 50653 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51983 50653 1111 63 0 51920 0
vsize: 207932
[startup+840.039 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 50915 0 0 0 83816 197 0 0 25 0 1 0 639562923 213598208 50819 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52148 50819 1111 63 0 52085 0
vsize: 208592
[startup+850.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 51035 0 0 0 84815 197 0 0 25 0 1 0 639562923 214171648 50937 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52288 50937 1111 63 0 52225 0
vsize: 209152
[startup+860.04 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 51250 0 0 0 85815 198 0 0 25 0 1 0 639562923 215007232 51148 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52492 51148 1111 63 0 52429 0
vsize: 209968
[startup+870.042 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 51513 0 0 0 86814 199 0 0 25 0 1 0 639562923 216154112 51408 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52772 51408 1111 63 0 52709 0
vsize: 211088
[startup+880.043 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 51758 0 0 0 87813 201 0 0 25 0 1 0 639562923 217104384 51653 4294967295 134512640 134714540 3221221776 3221220548 134529275 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53004 51653 1111 63 0 52941 0
vsize: 212016
[startup+890.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 52003 0 0 0 88813 201 0 0 25 0 1 0 639562923 218116096 51895 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53251 51895 1111 63 0 53188 0
vsize: 213004
[startup+900.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 52235 0 0 0 89812 202 0 0 25 0 1 0 639562923 219160576 52127 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53506 52127 1111 63 0 53443 0
vsize: 214024
[startup+910.044 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 52552 0 0 0 90810 204 0 0 25 0 1 0 639562923 220725248 52444 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53888 52444 1111 63 0 53825 0
vsize: 215552
[startup+920.046 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 52816 0 0 0 91809 205 0 0 25 0 1 0 639562923 221806592 52708 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54152 52708 1111 63 0 54089 0
vsize: 216608
[startup+930.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 53036 0 0 0 92809 206 0 0 25 0 1 0 639562923 222617600 52928 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54350 52928 1111 63 0 54287 0
vsize: 217400
[startup+940.049 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 53358 0 0 0 93808 207 0 0 25 0 1 0 639562923 224034816 53246 4294967295 134512640 134714540 3221221776 3221220400 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54696 53246 1111 63 0 54633 0
vsize: 218784
[startup+950.051 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 53692 0 0 0 94807 208 0 0 25 0 1 0 639562923 225517568 53580 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55058 53580 1111 63 0 54995 0
vsize: 220232
[startup+960.052 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 54077 0 0 0 95806 209 0 0 25 0 1 0 639562923 227082240 53965 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55440 53965 1111 63 0 55377 0
vsize: 221760
[startup+970.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 54382 0 0 0 96806 210 0 0 25 0 1 0 639562923 228364288 54261 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55753 54261 1111 63 0 55690 0
vsize: 223012
[startup+980.053 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 54669 0 0 0 97805 211 0 0 25 0 1 0 639562923 229445632 54548 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56017 54548 1111 63 0 55954 0
vsize: 224068
[startup+990.057 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 54904 0 0 0 98804 212 0 0 25 0 1 0 639562923 230408192 54783 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56252 54783 1111 63 0 56189 0
vsize: 225008
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 55168 0 0 0 99803 214 0 0 25 0 1 0 639562923 231555072 55038 4294967295 134512640 134714540 3221221776 3221220544 134529138 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56532 55038 1111 63 0 56469 0
vsize: 226128
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 55367 0 0 0 100802 215 0 0 25 0 1 0 639562923 232448000 55230 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56750 55230 1111 63 0 56687 0
vsize: 227000
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 55576 0 0 0 101802 215 0 0 25 0 1 0 639562923 233496576 55430 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57006 55430 1111 63 0 56943 0
vsize: 228024
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 55875 0 0 0 102801 216 0 0 25 0 1 0 639562923 234770432 55728 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57317 55728 1111 63 0 57254 0
vsize: 229268
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 56105 0 0 0 103800 218 0 0 25 0 1 0 639562923 235782144 55949 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57564 55949 1111 63 0 57501 0
vsize: 230256
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 56273 0 0 0 104800 218 0 0 25 0 1 0 639562923 236523520 56117 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57745 56117 1111 63 0 57682 0
vsize: 230980
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 56506 0 0 0 105799 219 0 0 25 0 1 0 639562923 237469696 56350 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57976 56350 1111 63 0 57913 0
vsize: 231904
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 56723 0 0 0 106798 220 0 0 25 0 1 0 639562923 238436352 56567 4294967295 134512640 134714540 3221221776 3221220272 134535451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58212 56567 1111 63 0 58149 0
vsize: 232848
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 56936 0 0 0 107798 220 0 0 25 0 1 0 639562923 239251456 56776 4294967295 134512640 134714540 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58411 56776 1111 63 0 58348 0
vsize: 233644
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 57190 0 0 0 108798 221 0 0 25 0 1 0 639562923 240402432 57021 4294967295 134512640 134714540 3221221776 3221220492 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58692 57021 1111 63 0 58629 0
vsize: 234768
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 57404 0 0 0 109797 222 0 0 25 0 1 0 639562923 241213440 57235 4294967295 134512640 134714540 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58890 57235 1111 63 0 58827 0
vsize: 235560
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 57619 0 0 0 110796 223 0 0 25 0 1 0 639562923 242089984 57442 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59104 57442 1111 63 0 59041 0
vsize: 236416
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 57773 0 0 0 111796 224 0 0 25 0 1 0 639562923 242765824 57596 4294967295 134512640 134714540 3221221776 3221220512 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59269 57596 1111 63 0 59206 0
vsize: 237076
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 57899 0 0 0 112796 224 0 0 25 0 1 0 639562923 243212288 57721 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59378 57721 1111 63 0 59315 0
vsize: 237512
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 58042 0 0 0 113795 225 0 0 25 0 1 0 639562923 243843072 57861 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59532 57861 1111 63 0 59469 0
vsize: 238128
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 58241 0 0 0 114794 226 0 0 25 0 1 0 639562923 244719616 58058 4294967295 134512640 134714540 3221221776 3221220368 134549648 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59746 58058 1111 63 0 59683 0
vsize: 238984
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 58423 0 0 0 115794 227 0 0 25 0 1 0 639562923 245747712 58239 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59997 58239 1111 63 0 59934 0
vsize: 239988
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 58507 0 0 0 116794 227 0 0 25 0 1 0 639562923 246083584 58321 4294967295 134512640 134714540 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60079 58321 1111 63 0 60016 0
vsize: 240316
[startup+1175.09 s]
Raw data (loadavg): 0.99 0.98 0.99 1/53 22880
Raw data (stat): 22880 (bsolo_mis) R 22879 7876 7672 0 -1 0 58507 0 0 0 116794 227 0 0 25 0 1 0 639562923 246083584 58321 4294967295 134512640 134714540 3221221776 3221220428 134536784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60079 58321 1111 63 0 60016 0
vsize: 0

Child status: 0
Real time (s): 1175.09
CPU time (s): 1175.23
CPU user time (s): 1172.84
CPU system time (s): 2.38264
CPU usage (%): 100.011
Max. virtual memory (Kb): 240316
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####