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-fpga15_14_sat_pb.cnf.cr.opb
MD5SUM	6fc7fbb8e05218938564d50faef1e68f
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	16
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.222965
Number of variables	315
Total number of constraints	253
Number of constraints which are clauses	224
Number of constraints which are cardinality constraints (but not clauses)	29
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	15
Trace number 23329

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 12:55:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=336 boxname=wulflinc31 idbench=38 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  6fc7fbb8e05218938564d50faef1e68f  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_14_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga15_14_sat_pb.cnf.cr.opb
IDLAUNCH: 336
/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:        927784 kB
Buffers:         38112 kB
Cached:          46908 kB
SwapCached:        864 kB
Active:          71928 kB
Inactive:        15440 kB
HighTotal:      131008 kB
HighFree:        83188 kB
LowTotal:       903652 kB
LowFree:        844596 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5504 kB
Slab:            13924 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 13:15:17 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 336 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 315 variables and 253 constraints.
c After prepocess the problem consists of 315 variables and 253 constraints.
c preprocess terminated 0.167 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.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (runsolver) R 23941 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 640281546 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.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 2831 0 0 0 986 11 0 0 25 0 1 0 640281546 15192064 2806 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3709 2806 1111 63 0 3646 0
vsize: 14836
[startup+20.0009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 4326 0 0 0 1981 16 0 0 25 0 1 0 640281546 21413888 4301 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5228 4301 1111 63 0 5165 0
vsize: 20912
[startup+30.0018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 5384 0 0 0 2978 20 0 0 25 0 1 0 640281546 25739264 5359 4294967295 134512640 134714540 3221221776 3221220416 134542303 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6284 5359 1111 63 0 6221 0
vsize: 25136
[startup+40.003 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 6650 0 0 0 3972 25 0 0 25 0 1 0 640281546 30875648 6622 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7538 6622 1111 63 0 7475 0
vsize: 30152
[startup+50.0036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 7486 0 0 0 4970 28 0 0 25 0 1 0 640281546 34390016 7457 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8396 7457 1111 63 0 8333 0
vsize: 33584
[startup+60.0036 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 8247 0 0 0 5967 31 0 0 25 0 1 0 640281546 37502976 8218 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9156 8218 1111 63 0 9093 0
vsize: 36624
[startup+70.0048 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 8684 0 0 0 6965 33 0 0 25 0 1 0 640281546 39395328 8654 4294967295 134512640 134714540 3221221776 3221220416 134696092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9618 8654 1111 63 0 9555 0
vsize: 38472
[startup+80.0054 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 9070 0 0 0 7964 35 0 0 25 0 1 0 640281546 40886272 9040 4294967295 134512640 134714540 3221221776 3221220348 134535876 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9982 9040 1111 63 0 9919 0
vsize: 39928
[startup+90.0063 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 9355 0 0 0 8963 36 0 0 25 0 1 0 640281546 42102784 9325 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10279 9325 1111 63 0 10216 0
vsize: 41116
[startup+100.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 9698 0 0 0 9961 37 0 0 25 0 1 0 640281546 43589632 9668 4294967295 134512640 134714540 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10642 9668 1111 63 0 10579 0
vsize: 42568
[startup+110.006 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 10631 0 0 0 10957 42 0 0 25 0 1 0 640281546 47378432 10601 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11567 10601 1111 63 0 11504 0
vsize: 46268
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 12256 0 0 0 11950 49 0 0 25 0 1 0 640281546 54001664 12226 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13184 12226 1111 63 0 13121 0
vsize: 52736
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 13829 0 0 0 12945 54 0 0 25 0 1 0 640281546 60489728 13799 4294967295 134512640 134714540 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14768 13799 1111 63 0 14705 0
vsize: 59072
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 15350 0 0 0 13939 60 0 0 25 0 1 0 640281546 66707456 15320 4294967295 134512640 134714540 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16286 15320 1111 63 0 16223 0
vsize: 65144
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 16305 0 0 0 14936 64 0 0 25 0 1 0 640281546 70631424 16274 4294967295 134512640 134714540 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17244 16274 1111 63 0 17181 0
vsize: 68976
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 17928 0 0 0 15929 71 0 0 25 0 1 0 640281546 77414400 17895 4294967295 134512640 134714540 3221221776 3221220336 134543030 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18900 17895 1111 63 0 18837 0
vsize: 75600
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 18984 0 0 0 16926 74 0 0 25 0 1 0 640281546 81612800 18948 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19925 18948 1111 63 0 19862 0
vsize: 79700
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 19975 0 0 0 17923 78 0 0 25 0 1 0 640281546 85696512 19938 4294967295 134512640 134714540 3221221776 3221220272 134697444 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20922 19938 1111 63 0 20859 0
vsize: 83688
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 20420 0 0 0 18920 80 0 0 25 0 1 0 640281546 87588864 20383 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21384 20383 1111 63 0 21321 0
vsize: 85536
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 20907 0 0 0 19918 83 0 0 25 0 1 0 640281546 89616384 20870 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21879 20870 1111 63 0 21816 0
vsize: 87516
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 21488 0 0 0 20915 86 0 0 25 0 1 0 640281546 91910144 21451 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22439 21451 1111 63 0 22376 0
vsize: 89756
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 21880 0 0 0 21913 89 0 0 25 0 1 0 640281546 93532160 21843 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 22835 21843 1111 63 0 22772 0
vsize: 91340
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 22378 0 0 0 22910 91 0 0 25 0 1 0 640281546 95645696 22341 4294967295 134512640 134714540 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23351 22341 1111 63 0 23288 0
vsize: 93404
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 22911 0 0 0 23909 93 0 0 25 0 1 0 640281546 97943552 22874 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 23912 22874 1111 63 0 23849 0
vsize: 95648
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 23406 0 0 0 24907 95 0 0 25 0 1 0 640281546 99971072 23368 4294967295 134512640 134714540 3221221776 3221220332 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24407 23368 1111 63 0 24344 0
vsize: 97628
[startup+260.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 23942
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 23855 0 0 0 25905 97 0 0 25 0 1 0 640281546 101888000 23817 4294967295 134512640 134714540 3221221776 3221220512 134535829 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 24875 23817 1111 63 0 24812 0
vsize: 99500
[startup+270.014 s]
Raw data (loadavg): 1.07 0.99 0.96 2/54 23995
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 24133 0 0 0 26887 114 0 0 25 0 1 0 640281546 102969344 24095 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25139 24095 1111 63 0 25076 0
vsize: 100556
[startup+280.013 s]
Raw data (loadavg): 1.06 0.99 0.96 2/54 23995
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 24652 0 0 0 27885 117 0 0 25 0 1 0 640281546 105132032 24613 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25667 24613 1111 63 0 25604 0
vsize: 102668
[startup+290.014 s]
Raw data (loadavg): 1.05 0.99 0.96 2/54 23995
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 24998 0 0 0 28883 119 0 0 25 0 1 0 640281546 106483712 24959 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 25997 24959 1111 63 0 25934 0
vsize: 103988
[startup+300.014 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 23995
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 25460 0 0 0 29880 122 0 0 25 0 1 0 640281546 108376064 25421 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26459 25421 1111 63 0 26396 0
vsize: 105836
[startup+310.014 s]
Raw data (loadavg): 1.04 0.99 0.96 2/54 23995
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 25771 0 0 0 30878 124 0 0 25 0 1 0 640281546 109629440 25731 4294967295 134512640 134714540 3221221776 3221220516 134523855 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 26765 25731 1111 63 0 26702 0
vsize: 107060
[startup+320.015 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 23995
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 26212 0 0 0 31876 126 0 0 25 0 1 0 640281546 111521792 26171 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27227 26171 1111 63 0 27164 0
vsize: 108908
[startup+330.015 s]
Raw data (loadavg): 1.03 0.99 0.96 2/54 23995
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 26591 0 0 0 32875 128 0 0 25 0 1 0 640281546 113152000 26550 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 27625 26550 1111 63 0 27562 0
vsize: 110500
[startup+340.016 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 27032 0 0 0 33873 130 0 0 25 0 1 0 640281546 114909184 26991 4294967295 134512640 134714540 3221221776 3221220516 134594953 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28054 26991 1111 63 0 27991 0
vsize: 112216
[startup+350.016 s]
Raw data (loadavg): 1.02 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 27556 0 0 0 34871 132 0 0 25 0 1 0 640281546 117071872 27514 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28582 27514 1111 63 0 28519 0
vsize: 114328
[startup+360.016 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 27947 0 0 0 35869 134 0 0 25 0 1 0 640281546 118693888 27905 4294967295 134512640 134714540 3221221776 3221220512 134523985 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 28978 27905 1111 63 0 28915 0
vsize: 115912
[startup+370.017 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 28346 0 0 0 36867 136 0 0 25 0 1 0 640281546 120320000 28303 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29375 28303 1111 63 0 29312 0
vsize: 117500
[startup+380.017 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 28661 0 0 0 37866 137 0 0 25 0 1 0 640281546 121683968 28617 4294967295 134512640 134714540 3221221776 3221220416 134696145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29708 28617 1111 63 0 29645 0
vsize: 118832
[startup+390.018 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 28938 0 0 0 38865 139 0 0 25 0 1 0 640281546 122781696 28894 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 29976 28894 1111 63 0 29913 0
vsize: 119904
[startup+400.018 s]
Raw data (loadavg): 1.01 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 29183 0 0 0 39864 140 0 0 25 0 1 0 640281546 123744256 29139 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30211 29139 1111 63 0 30148 0
vsize: 120844
[startup+410.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 29423 0 0 0 40863 141 0 0 25 0 1 0 640281546 124833792 29379 4294967295 134512640 134714540 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30477 29379 1111 63 0 30414 0
vsize: 121908
[startup+420.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 29594 0 0 0 41862 142 0 0 25 0 1 0 640281546 125509632 29550 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30642 29550 1111 63 0 30579 0
vsize: 122568
[startup+430.018 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 29823 0 0 0 42860 144 0 0 25 0 1 0 640281546 126464000 29778 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 30875 29778 1111 63 0 30812 0
vsize: 123500
[startup+440.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 30063 0 0 0 43860 145 0 0 25 0 1 0 640281546 127410176 30017 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31106 30017 1111 63 0 31043 0
vsize: 124424
[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 30252 0 0 0 44859 146 0 0 25 0 1 0 640281546 128221184 30205 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31304 30205 1111 63 0 31241 0
vsize: 125216
[startup+460.019 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 30370 0 0 0 45858 147 0 0 25 0 1 0 640281546 128774144 30322 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 31439 30322 1111 63 0 31376 0
vsize: 125756
[startup+470.02 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 31211 0 0 0 46855 151 0 0 25 0 1 0 640281546 132214784 31160 4294967295 134512640 134714540 3221221776 3221220304 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32279 31160 1111 63 0 32216 0
vsize: 129116
[startup+480.02 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 31522 0 0 0 47853 152 0 0 25 0 1 0 640281546 133431296 31471 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 32576 31471 1111 63 0 32513 0
vsize: 130304
[startup+490.021 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 32080 0 0 0 48851 154 0 0 25 0 1 0 640281546 135729152 32028 4294967295 134512640 134714540 3221221776 3221220332 134535973 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 33137 32028 1111 63 0 33074 0
vsize: 132548
[startup+500.022 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 33039 0 0 0 49848 158 0 0 25 0 1 0 640281546 139780096 32987 4294967295 134512640 134714540 3221221776 3221220512 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34126 32987 1111 63 0 34063 0
vsize: 136504
[startup+510.022 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 33547 0 0 0 50846 160 0 0 25 0 1 0 640281546 141807616 33494 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34621 33494 1111 63 0 34558 0
vsize: 138484
[startup+520.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 33737 0 0 0 51845 161 0 0 25 0 1 0 640281546 142618624 33684 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 34819 33684 1111 63 0 34756 0
vsize: 139276
[startup+530.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 34143 0 0 0 52843 163 0 0 25 0 1 0 640281546 144375808 34090 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35248 34090 1111 63 0 35185 0
vsize: 140992
[startup+540.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 34491 0 0 0 53842 165 0 0 25 0 1 0 640281546 145727488 34438 4294967295 134512640 134714540 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35578 34438 1111 63 0 35515 0
vsize: 142312
[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 35125 0 0 0 54840 166 0 0 25 0 1 0 640281546 148332544 35070 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36214 35070 1111 63 0 36151 0
vsize: 144856
[startup+560.023 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 35422 0 0 0 55840 167 0 0 25 0 1 0 640281546 149549056 35367 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36511 35367 1111 63 0 36448 0
vsize: 146044
[startup+570.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 35648 0 0 0 56839 168 0 0 25 0 1 0 640281546 150495232 35593 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36742 35593 1111 63 0 36679 0
vsize: 146968
[startup+580.024 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 35799 0 0 0 57838 169 0 0 25 0 1 0 640281546 151044096 35744 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36876 35744 1111 63 0 36813 0
vsize: 147504
[startup+590.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 35954 0 0 0 58837 171 0 0 25 0 1 0 640281546 151719936 35899 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37041 35899 1111 63 0 36978 0
vsize: 148164
[startup+600.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 36065 0 0 0 59836 171 0 0 25 0 1 0 640281546 152268800 36010 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37175 36010 1111 63 0 37112 0
vsize: 148700
[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 36208 0 0 0 60836 172 0 0 25 0 1 0 640281546 152809472 36153 4294967295 134512640 134714540 3221221776 3221220464 134542950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37307 36153 1111 63 0 37244 0
vsize: 149228
[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23997
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 36557 0 0 0 61835 173 0 0 25 0 1 0 640281546 154161152 36502 4294967295 134512640 134714540 3221221776 3221220560 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37637 36502 1111 63 0 37574 0
vsize: 150548
[startup+630.025 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 36790 0 0 0 62834 174 0 0 25 0 1 0 640281546 155279360 36731 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37910 36731 1111 63 0 37847 0
vsize: 151640
[startup+640.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 37230 0 0 0 63833 175 0 0 25 0 1 0 640281546 157036544 37171 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38339 37171 1111 63 0 38276 0
vsize: 153356
[startup+650.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 37581 0 0 0 64831 177 0 0 25 0 1 0 640281546 158388224 37522 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38669 37522 1111 63 0 38606 0
vsize: 154676
[startup+660.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 38006 0 0 0 65830 178 0 0 25 0 1 0 640281546 160145408 37947 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39098 37947 1111 63 0 39035 0
vsize: 156392
[startup+670.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 38228 0 0 0 66829 179 0 0 25 0 1 0 640281546 161091584 38169 4294967295 134512640 134714540 3221221776 3221220376 134549515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39329 38169 1111 63 0 39266 0
vsize: 157316
[startup+680.026 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 38362 0 0 0 67829 180 0 0 25 0 1 0 640281546 161632256 38303 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39461 38303 1111 63 0 39398 0
vsize: 157844
[startup+690.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 38759 0 0 0 68827 182 0 0 25 0 1 0 640281546 163254272 38700 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 39857 38700 1111 63 0 39794 0
vsize: 159428
[startup+700.028 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 39064 0 0 0 69826 184 0 0 25 0 1 0 640281546 164470784 39005 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40154 39005 1111 63 0 40091 0
vsize: 160616
[startup+710.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 39308 0 0 0 70825 185 0 0 25 0 1 0 640281546 165552128 39249 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40418 39249 1111 63 0 40355 0
vsize: 161672
[startup+720.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 39415 0 0 0 71824 185 0 0 25 0 1 0 640281546 165957632 39356 4294967295 134512640 134714540 3221221776 3221220540 134523848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40517 39356 1111 63 0 40454 0
vsize: 162068
[startup+730.027 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 39539 0 0 0 72823 186 0 0 25 0 1 0 640281546 166371328 39480 4294967295 134512640 134714540 3221221776 3221220332 134535008 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40618 39480 1111 63 0 40555 0
vsize: 162472
[startup+740.028 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 39923 0 0 0 73822 188 0 0 25 0 1 0 640281546 168071168 39861 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41033 39861 1111 63 0 40970 0
vsize: 164132
[startup+750.028 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 40190 0 0 0 74821 189 0 0 25 0 1 0 640281546 169152512 40128 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41297 40128 1111 63 0 41234 0
vsize: 165188
[startup+760.028 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 40409 0 0 0 75820 190 0 0 25 0 1 0 640281546 170041344 40347 4294967295 134512640 134714540 3221221776 3221220520 134558485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41514 40347 1111 63 0 41451 0
vsize: 166056
[startup+770.028 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 40740 0 0 0 76818 192 0 0 25 0 1 0 640281546 171446272 40675 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41857 40675 1111 63 0 41794 0
vsize: 167428
[startup+780.028 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 40996 0 0 0 77817 194 0 0 25 0 1 0 640281546 172527616 40931 4294967295 134512640 134714540 3221221776 3221220448 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42121 40931 1111 63 0 42058 0
vsize: 168484
[startup+790.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 41146 0 0 0 78816 195 0 0 25 0 1 0 640281546 173068288 41081 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42253 41081 1111 63 0 42190 0
vsize: 169012
[startup+800.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 41372 0 0 0 79815 196 0 0 25 0 1 0 640281546 174014464 41307 4294967295 134512640 134714540 3221221776 3221220428 134536769 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42484 41307 1111 63 0 42421 0
vsize: 169936
[startup+810.029 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 41523 0 0 0 80814 197 0 0 25 0 1 0 640281546 174690304 41458 4294967295 134512640 134714540 3221221776 3221220476 134534134 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42649 41458 1111 63 0 42586 0
vsize: 170596
[startup+820.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 41925 0 0 0 81812 199 0 0 25 0 1 0 640281546 176312320 41860 4294967295 134512640 134714540 3221221776 3221220360 134543652 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43045 41860 1111 63 0 42982 0
vsize: 172180
[startup+830.03 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 42189 0 0 0 82811 201 0 0 25 0 1 0 640281546 177393664 42124 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43309 42124 1111 63 0 43246 0
vsize: 173236
[startup+840.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 42539 0 0 0 83810 202 0 0 25 0 1 0 640281546 178966528 42465 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43693 42465 1111 63 0 43630 0
vsize: 174772
[startup+850.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 42709 0 0 0 84809 202 0 0 25 0 1 0 640281546 179642368 42635 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43858 42635 1111 63 0 43795 0
vsize: 175432
[startup+860.031 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 42969 0 0 0 85808 204 0 0 25 0 1 0 640281546 180723712 42895 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44122 42895 1111 63 0 44059 0
vsize: 176488
[startup+870.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 43206 0 0 0 86807 205 0 0 25 0 1 0 640281546 181669888 43132 4294967295 134512640 134714540 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44353 43132 1111 63 0 44290 0
vsize: 177412
[startup+880.032 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 43451 0 0 0 87806 206 0 0 25 0 1 0 640281546 182616064 43377 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44584 43377 1111 63 0 44521 0
vsize: 178336
[startup+890.033 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 43748 0 0 0 88805 208 0 0 25 0 1 0 640281546 183832576 43674 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44881 43674 1111 63 0 44818 0
vsize: 179524
[startup+900.033 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 43885 0 0 0 89804 209 0 0 25 0 1 0 640281546 184373248 43811 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45013 43811 1111 63 0 44950 0
vsize: 180052
[startup+910.033 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 44094 0 0 0 90803 210 0 0 25 0 1 0 640281546 185319424 44020 4294967295 134512640 134714540 3221221776 3221220336 134696612 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45244 44020 1111 63 0 45181 0
vsize: 180976
[startup+920.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 44218 0 0 0 91803 210 0 0 25 0 1 0 640281546 185724928 44144 4294967295 134512640 134714540 3221221776 3221220476 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45343 44144 1111 63 0 45280 0
vsize: 181372
[startup+930.034 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 44619 0 0 0 92802 211 0 0 25 0 1 0 640281546 187346944 44545 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45739 44545 1111 63 0 45676 0
vsize: 182956
[startup+940.035 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 44972 0 0 0 93800 213 0 0 25 0 1 0 640281546 188833792 44898 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46102 44898 1111 63 0 46039 0
vsize: 184408
[startup+950.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 45296 0 0 0 94799 215 0 0 25 0 1 0 640281546 190185472 45222 4294967295 134512640 134714540 3221221776 3221220400 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46432 45222 1111 63 0 46369 0
vsize: 185728
[startup+960.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 45528 0 0 0 95799 215 0 0 25 0 1 0 640281546 191131648 45454 4294967295 134512640 134714540 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46663 45454 1111 63 0 46600 0
vsize: 186652
[startup+970.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 45661 0 0 0 96798 216 0 0 25 0 1 0 640281546 191672320 45587 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46795 45587 1111 63 0 46732 0
vsize: 187180
[startup+980.036 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 46021 0 0 0 97797 217 0 0 25 0 1 0 640281546 193196032 45947 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47167 45947 1111 63 0 47104 0
vsize: 188668
[startup+990.037 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 46275 0 0 0 98796 219 0 0 25 0 1 0 640281546 194277376 46201 4294967295 134512640 134714540 3221221776 3221220368 134549809 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47431 46201 1111 63 0 47368 0
vsize: 189724
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 46456 0 0 0 99794 221 0 0 25 0 1 0 640281546 194985984 46382 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47604 46382 1111 63 0 47541 0
vsize: 190416
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 46642 0 0 0 100794 221 0 0 25 0 1 0 640281546 195833856 46567 4294967295 134512640 134714540 3221221776 3221220356 134549709 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47811 46567 1111 63 0 47748 0
vsize: 191244
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 46839 0 0 0 101793 222 0 0 25 0 1 0 640281546 196673536 46763 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48016 46763 1111 63 0 47953 0
vsize: 192064
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 46994 0 0 0 102792 224 0 0 25 0 1 0 640281546 197214208 46918 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48148 46918 1111 63 0 48085 0
vsize: 192592
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 47073 0 0 0 103792 224 0 0 25 0 1 0 640281546 197636096 46997 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48251 46997 1111 63 0 48188 0
vsize: 193004
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 47237 0 0 0 104790 225 0 0 25 0 1 0 640281546 198311936 47161 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48416 47161 1111 63 0 48353 0
vsize: 193664
[startup+1060.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 47405 0 0 0 105790 226 0 0 25 0 1 0 640281546 199000064 47328 4294967295 134512640 134714540 3221221776 3221220480 134528623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48584 47328 1111 63 0 48521 0
vsize: 194336
[startup+1070.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 47606 0 0 0 106789 227 0 0 25 0 1 0 640281546 199819264 47528 4294967295 134512640 134714540 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48784 47528 1111 63 0 48721 0
vsize: 195136
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 47821 0 0 0 107788 228 0 0 25 0 1 0 640281546 200802304 47741 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49024 47741 1111 63 0 48961 0
vsize: 196096
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 47938 0 0 0 108788 228 0 0 25 0 1 0 640281546 201355264 47857 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49159 47857 1111 63 0 49096 0
vsize: 196636
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 48060 0 0 0 109788 228 0 0 25 0 1 0 640281546 201764864 47979 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49259 47979 1111 63 0 49196 0
vsize: 197036
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 48171 0 0 0 110788 229 0 0 25 0 1 0 640281546 202309632 48090 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49392 48090 1111 63 0 49329 0
vsize: 197568
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 48252 0 0 0 111788 230 0 0 25 0 1 0 640281546 202579968 48171 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49458 48171 1111 63 0 49395 0
vsize: 197832
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 48364 0 0 0 112787 230 0 0 25 0 1 0 640281546 203120640 48283 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49590 48283 1111 63 0 49527 0
vsize: 198360
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 48590 0 0 0 113786 232 0 0 25 0 1 0 640281546 203931648 48509 4294967295 134512640 134714540 3221221776 3221220016 134697481 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49788 48509 1111 63 0 49725 0
vsize: 199152
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 48956 0 0 0 114785 233 0 0 25 0 1 0 640281546 205418496 48875 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50151 48875 1111 63 0 50088 0
vsize: 200604
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 49491 0 0 0 115783 235 0 0 25 0 1 0 640281546 207716352 49410 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50712 49410 1111 63 0 50649 0
vsize: 202848
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.96 2/54 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 49908 0 0 0 116781 237 0 0 25 0 1 0 640281546 209334272 49827 4294967295 134512640 134714540 3221221776 3221220400 134696358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51107 49827 1111 63 0 51044 0
vsize: 204428
[startup+1174.98 s]
Raw data (loadavg): 1.00 0.99 0.96 1/53 23999
Raw data (stat): 23942 (bsolo_mis) R 23941 7876 7672 0 -1 0 49908 0 0 0 116781 237 0 0 25 0 1 0 640281546 209334272 49827 4294967295 134512640 134714540 3221221776 3221220400 134696358 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51107 49827 1111 63 0 51044 0
vsize: 0

Child status: 0
Real time (s): 1174.98
CPU time (s): 1175.13
CPU user time (s): 1172.65
CPU system time (s): 2.47262
CPU usage (%): 100.012
Max. virtual memory (Kb): 204428
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####