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-fpga20_18_sat_pb.cnf.cr.opb
MD5SUM	9a6b2ea126808a63a93c96774aab88a9
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	21
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.148976
Number of variables	540
Total number of constraints	416
Number of constraints which are clauses	378
Number of constraints which are cardinality constraints (but not clauses)	38
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 23339

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 14:55:02 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=354 boxname=wulflinc31 idbench=40 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  9a6b2ea126808a63a93c96774aab88a9  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_18_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga20_18_sat_pb.cnf.cr.opb
IDLAUNCH: 354
/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:        927496 kB
Buffers:         38268 kB
Cached:          47080 kB
SwapCached:        944 kB
Active:          72164 kB
Inactive:        15604 kB
HighTotal:      131008 kB
HighFree:        83020 kB
LowTotal:       903652 kB
LowFree:        844476 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            13924 kB
Committed_AS:    63644 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 15:14:37 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 354 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 540 variables and 416 constraints.
c After prepocess the problem consists of 540 variables and 416 constraints.
c preprocess terminated 0.379 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.92 0.95 0.95 2/54 25023
Raw data (stat): 25023 (runsolver) R 25022 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 640997713 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.0002 s]
Raw data (loadavg): 0.93 0.96 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 2869 0 0 0 981 11 0 0 25 0 1 0 640997713 15347712 2844 4294967295 134512640 134714540 3221221776 3221220488 134551881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3747 2844 1111 63 0 3684 0
vsize: 14988
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.96 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 3961 0 0 0 1977 16 0 0 25 0 1 0 640997713 19808256 3936 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4836 3936 1111 63 0 4773 0
vsize: 19344
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.96 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 5151 0 0 0 2974 20 0 0 25 0 1 0 640997713 24674304 5126 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6024 5126 1111 63 0 5961 0
vsize: 24096
[startup+40.002 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 6081 0 0 0 3970 23 0 0 25 0 1 0 640997713 28614656 6056 4294967295 134512640 134714540 3221221776 3221220512 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6986 6056 1111 63 0 6923 0
vsize: 27944
[startup+50.003 s]
Raw data (loadavg): 0.96 0.96 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 6612 0 0 0 4969 24 0 0 25 0 1 0 640997713 30777344 6587 4294967295 134512640 134714540 3221221776 3221220272 134535468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7514 6587 1111 63 0 7451 0
vsize: 30056
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 6917 0 0 0 5968 26 0 0 25 0 1 0 640997713 31993856 6892 4294967295 134512640 134714540 3221221776 3221220512 134535706 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7811 6892 1111 63 0 7748 0
vsize: 31244
[startup+70.0038 s]
Raw data (loadavg): 0.97 0.96 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 7111 0 0 0 6967 27 0 0 25 0 1 0 640997713 32804864 7086 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8009 7086 1111 63 0 7946 0
vsize: 32036
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 7199 0 0 0 7966 28 0 0 25 0 1 0 640997713 33218560 7174 4294967295 134512640 134714540 3221221776 3221220336 134542300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8110 7174 1111 63 0 8047 0
vsize: 32440
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 7334 0 0 0 8964 30 0 0 25 0 1 0 640997713 33763328 7309 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8243 7309 1111 63 0 8180 0
vsize: 32972
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 7533 0 0 0 9963 31 0 0 25 0 1 0 640997713 34742272 7507 4294967295 134512640 134714540 3221221776 3221220520 134551636 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8482 7507 1111 63 0 8419 0
vsize: 33928
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 7711 0 0 0 10962 33 0 0 25 0 1 0 640997713 35418112 7685 4294967295 134512640 134714540 3221221776 3221220532 134592387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8647 7685 1111 63 0 8584 0
vsize: 34588
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 8021 0 0 0 11960 35 0 0 25 0 1 0 640997713 36638720 7995 4294967295 134512640 134714540 3221221776 3221220368 134549770 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8945 7995 1111 63 0 8882 0
vsize: 35780
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 8319 0 0 0 12959 36 0 0 25 0 1 0 640997713 37859328 8293 4294967295 134512640 134714540 3221221776 3221220512 134552104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9243 8293 1111 63 0 9180 0
vsize: 36972
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 8655 0 0 0 13958 38 0 0 25 0 1 0 640997713 39342080 8629 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9605 8629 1111 63 0 9542 0
vsize: 38420
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 8904 0 0 0 14957 39 0 0 25 0 1 0 640997713 40275968 8878 4294967295 134512640 134714540 3221221776 3221220272 134535397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9833 8878 1111 63 0 9770 0
vsize: 39332
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 9065 0 0 0 15955 40 0 0 25 0 1 0 640997713 40951808 9039 4294967295 134512640 134714540 3221221776 3221220520 134551620 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9998 9039 1111 63 0 9935 0
vsize: 39992
[startup+170.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 9166 0 0 0 16955 41 0 0 25 0 1 0 640997713 41357312 9140 4294967295 134512640 134714540 3221221776 3221220504 134535782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10097 9140 1111 63 0 10034 0
vsize: 40388
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 9233 0 0 0 17954 42 0 0 25 0 1 0 640997713 41627648 9207 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10163 9207 1111 63 0 10100 0
vsize: 40652
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 9305 0 0 0 18953 43 0 0 25 0 1 0 640997713 41897984 9279 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10229 9279 1111 63 0 10166 0
vsize: 40916
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 9328 0 0 0 19953 43 0 0 25 0 1 0 640997713 42045440 9302 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10265 9302 1111 63 0 10202 0
vsize: 41060
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 9403 0 0 0 20952 44 0 0 25 0 1 0 640997713 42315776 9377 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10331 9377 1111 63 0 10268 0
vsize: 41324
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 9488 0 0 0 21952 45 0 0 25 0 1 0 640997713 42721280 9462 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10430 9462 1111 63 0 10367 0
vsize: 41720
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 9625 0 0 0 22951 46 0 0 25 0 1 0 640997713 43261952 9599 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10562 9599 1111 63 0 10499 0
vsize: 42248
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 9735 0 0 0 23951 46 0 0 25 0 1 0 640997713 43667456 9709 4294967295 134512640 134714540 3221221776 3221220412 134552682 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10661 9709 1111 63 0 10598 0
vsize: 42644
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 9783 0 0 0 24950 47 0 0 25 0 1 0 640997713 43937792 9757 4294967295 134512640 134714540 3221221776 3221220192 134697414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10727 9757 1111 63 0 10664 0
vsize: 42908
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 9915 0 0 0 25950 48 0 0 25 0 1 0 640997713 44478464 9889 4294967295 134512640 134714540 3221221776 3221220368 134549745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10859 9889 1111 63 0 10796 0
vsize: 43436
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 10048 0 0 0 26948 49 0 0 25 0 1 0 640997713 45019136 10022 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10991 10022 1111 63 0 10928 0
vsize: 43964
[startup+280.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 10129 0 0 0 27948 50 0 0 25 0 1 0 640997713 45289472 10103 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11057 10103 1111 63 0 10994 0
vsize: 44228
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 10372 0 0 0 28946 51 0 0 25 0 1 0 640997713 46383104 10346 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11324 10346 1111 63 0 11261 0
vsize: 45296
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 25023
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 10550 0 0 0 29946 52 0 0 25 0 1 0 640997713 47058944 10524 4294967295 134512640 134714540 3221221776 3221220496 134535790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11489 10524 1111 63 0 11426 0
vsize: 45956
[startup+310.007 s]
Raw data (loadavg): 1.07 0.99 0.95 2/54 25076
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 10644 0 0 0 30944 54 0 0 25 0 1 0 640997713 47464448 10618 4294967295 134512640 134714540 3221221776 3221220496 134523874 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11588 10618 1111 63 0 11525 0
vsize: 46352
[startup+320.008 s]
Raw data (loadavg): 1.06 0.99 0.95 2/54 25076
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 10779 0 0 0 31943 54 0 0 25 0 1 0 640997713 48005120 10753 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11720 10753 1111 63 0 11657 0
vsize: 46880
[startup+330.008 s]
Raw data (loadavg): 1.05 0.99 0.95 2/54 25076
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 10889 0 0 0 32943 55 0 0 25 0 1 0 640997713 48410624 10863 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11819 10863 1111 63 0 11756 0
vsize: 47276
[startup+340.008 s]
Raw data (loadavg): 1.04 0.99 0.95 2/54 25076
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 10946 0 0 0 33943 55 0 0 25 0 1 0 640997713 48680960 10920 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11885 10920 1111 63 0 11822 0
vsize: 47540
[startup+350.008 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 25076
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 11088 0 0 0 34941 57 0 0 25 0 1 0 640997713 49221632 11062 4294967295 134512640 134714540 3221221776 3221220232 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12017 11062 1111 63 0 11954 0
vsize: 48068
[startup+360.008 s]
Raw data (loadavg): 1.03 0.99 0.95 2/54 25076
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 11194 0 0 0 35941 57 0 0 25 0 1 0 640997713 49762304 11168 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12149 11168 1111 63 0 12086 0
vsize: 48596
[startup+370.009 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25076
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 11341 0 0 0 36939 59 0 0 25 0 1 0 640997713 50302976 11315 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12281 11315 1111 63 0 12218 0
vsize: 49124
[startup+380.009 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 11454 0 0 0 37938 60 0 0 25 0 1 0 640997713 50843648 11428 4294967295 134512640 134714540 3221221776 3221220532 134592339 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12413 11428 1111 63 0 12350 0
vsize: 49652
[startup+390.01 s]
Raw data (loadavg): 1.02 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 11640 0 0 0 38937 61 0 0 25 0 1 0 640997713 51519488 11614 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12578 11614 1111 63 0 12515 0
vsize: 50312
[startup+400.011 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 11855 0 0 0 39936 63 0 0 25 0 1 0 640997713 52482048 11829 4294967295 134512640 134714540 3221221776 3221220560 134529174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12813 11829 1111 63 0 12750 0
vsize: 51252
[startup+410.01 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 11997 0 0 0 40936 63 0 0 25 0 1 0 640997713 53022720 11971 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12945 11971 1111 63 0 12882 0
vsize: 51780
[startup+420.01 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 12180 0 0 0 41935 64 0 0 25 0 1 0 640997713 53698560 12154 4294967295 134512640 134714540 3221221776 3221220336 134535493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13110 12154 1111 63 0 13047 0
vsize: 52440
[startup+430.012 s]
Raw data (loadavg): 1.01 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 12272 0 0 0 42935 64 0 0 25 0 1 0 640997713 54104064 12246 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13209 12246 1111 63 0 13146 0
vsize: 52836
[startup+440.011 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 12345 0 0 0 43935 65 0 0 25 0 1 0 640997713 54374400 12319 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13275 12319 1111 63 0 13212 0
vsize: 53100
[startup+450.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 12433 0 0 0 44934 66 0 0 25 0 1 0 640997713 54779904 12407 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13374 12407 1111 63 0 13311 0
vsize: 53496
[startup+460.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 12532 0 0 0 45934 66 0 0 25 0 1 0 640997713 55185408 12506 4294967295 134512640 134714540 3221221776 3221220544 134592125 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13473 12506 1111 63 0 13410 0
vsize: 53892
[startup+470.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 12614 0 0 0 46932 68 0 0 25 0 1 0 640997713 55590912 12588 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13572 12588 1111 63 0 13509 0
vsize: 54288
[startup+480.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 12687 0 0 0 47932 68 0 0 25 0 1 0 640997713 55869440 12661 4294967295 134512640 134714540 3221221776 3221220388 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13640 12661 1111 63 0 13577 0
vsize: 54560
[startup+490.012 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 12776 0 0 0 48931 69 0 0 25 0 1 0 640997713 56139776 12750 4294967295 134512640 134714540 3221221776 3221220428 134536848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13706 12750 1111 63 0 13643 0
vsize: 54824
[startup+500.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 12860 0 0 0 49931 70 0 0 25 0 1 0 640997713 56545280 12834 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13805 12834 1111 63 0 13742 0
vsize: 55220
[startup+510.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 12962 0 0 0 50930 71 0 0 25 0 1 0 640997713 56950784 12936 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13904 12936 1111 63 0 13841 0
vsize: 55616
[startup+520.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 13078 0 0 0 51930 72 0 0 25 0 1 0 640997713 57356288 13052 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14003 13052 1111 63 0 13940 0
vsize: 56012
[startup+530.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 13204 0 0 0 52929 73 0 0 25 0 1 0 640997713 57909248 13178 4294967295 134512640 134714540 3221221776 3221220288 134535017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14138 13178 1111 63 0 14075 0
vsize: 56552
[startup+540.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 13317 0 0 0 53928 73 0 0 25 0 1 0 640997713 58437632 13291 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14267 13291 1111 63 0 14204 0
vsize: 57068
[startup+550.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 13551 0 0 0 54927 75 0 0 25 0 1 0 640997713 59379712 13525 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14497 13525 1111 63 0 14434 0
vsize: 57988
[startup+560.013 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 13907 0 0 0 55924 77 0 0 25 0 1 0 640997713 60866560 13881 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14860 13881 1111 63 0 14797 0
vsize: 59440
[startup+570.015 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 14290 0 0 0 56922 80 0 0 25 0 1 0 640997713 62357504 14264 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15224 14264 1111 63 0 15161 0
vsize: 60896
[startup+580.015 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 14431 0 0 0 57921 81 0 0 25 0 1 0 640997713 63049728 14405 4294967295 134512640 134714540 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15393 14405 1111 63 0 15330 0
vsize: 61572
[startup+590.014 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 14614 0 0 0 58920 82 0 0 25 0 1 0 640997713 63725568 14588 4294967295 134512640 134714540 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15558 14588 1111 63 0 15495 0
vsize: 62232
[startup+600.015 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 14719 0 0 0 59920 83 0 0 25 0 1 0 640997713 64118784 14693 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15654 14693 1111 63 0 15591 0
vsize: 62616
[startup+610.015 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 14826 0 0 0 60919 83 0 0 25 0 1 0 640997713 64671744 14800 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15789 14800 1111 63 0 15726 0
vsize: 63156
[startup+620.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 14977 0 0 0 61918 85 0 0 25 0 1 0 640997713 65212416 14951 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15921 14951 1111 63 0 15858 0
vsize: 63684
[startup+630.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 15145 0 0 0 62917 86 0 0 25 0 1 0 640997713 65888256 15119 4294967295 134512640 134714540 3221221776 3221220452 1077374516 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16086 15119 1111 63 0 16023 0
vsize: 64344
[startup+640.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 15196 0 0 0 63917 86 0 0 25 0 1 0 640997713 66158592 15170 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16152 15170 1111 63 0 16089 0
vsize: 64608
[startup+650.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 15232 0 0 0 64917 87 0 0 25 0 1 0 640997713 66293760 15206 4294967295 134512640 134714540 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16185 15206 1111 63 0 16122 0
vsize: 64740
[startup+660.016 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25078
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 15317 0 0 0 65916 87 0 0 25 0 1 0 640997713 66576384 15291 4294967295 134512640 134714540 3221221776 3221220480 134528623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16254 15291 1111 63 0 16191 0
vsize: 65016
[startup+670.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 15489 0 0 0 66915 89 0 0 25 0 1 0 640997713 67387392 15463 4294967295 134512640 134714540 3221221776 3221220468 134528601 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16452 15463 1111 63 0 16389 0
vsize: 65808
[startup+680.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 15585 0 0 0 67914 90 0 0 25 0 1 0 640997713 67792896 15559 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16551 15559 1111 63 0 16488 0
vsize: 66204
[startup+690.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 15681 0 0 0 68914 91 0 0 25 0 1 0 640997713 68202496 15655 4294967295 134512640 134714540 3221221776 3221220384 134523171 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16651 15655 1111 63 0 16588 0
vsize: 66604
[startup+700.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 15764 0 0 0 69913 91 0 0 25 0 1 0 640997713 68468736 15738 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16716 15738 1111 63 0 16653 0
vsize: 66864
[startup+710.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 15861 0 0 0 70913 91 0 0 25 0 1 0 640997713 68874240 15835 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16815 15835 1111 63 0 16752 0
vsize: 67260
[startup+720.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 15970 0 0 0 71913 92 0 0 25 0 1 0 640997713 69279744 15944 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16914 15944 1111 63 0 16851 0
vsize: 67656
[startup+730.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16048 0 0 0 72912 93 0 0 25 0 1 0 640997713 69562368 16020 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16983 16020 1111 63 0 16920 0
vsize: 67932
[startup+740.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16113 0 0 0 73911 94 0 0 25 0 1 0 640997713 69967872 16085 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17082 16085 1111 63 0 17019 0
vsize: 68328
[startup+750.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16148 0 0 0 74911 94 0 0 25 0 1 0 640997713 70103040 16120 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17115 16120 1111 63 0 17052 0
vsize: 68460
[startup+760.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16246 0 0 0 75911 94 0 0 25 0 1 0 640997713 70529024 16218 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17219 16218 1111 63 0 17156 0
vsize: 68876
[startup+770.017 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16292 0 0 0 76911 95 0 0 25 0 1 0 640997713 70664192 16264 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16264 1111 63 0 17189 0
vsize: 69008
[startup+780.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16340 0 0 0 77911 95 0 0 25 0 1 0 640997713 70934528 16312 4294967295 134512640 134714540 3221221776 3221220332 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17318 16312 1111 63 0 17255 0
vsize: 69272
[startup+790.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16419 0 0 0 78910 96 0 0 25 0 1 0 640997713 71204864 16391 4294967295 134512640 134714540 3221221776 3221220560 134529174 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17384 16391 1111 63 0 17321 0
vsize: 69536
[startup+800.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16475 0 0 0 79909 97 0 0 25 0 1 0 640997713 71507968 16447 4294967295 134512640 134714540 3221221776 3221220560 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17458 16447 1111 63 0 17395 0
vsize: 69832
[startup+810.018 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16550 0 0 0 80909 97 0 0 25 0 1 0 640997713 71766016 16522 4294967295 134512640 134714540 3221221776 3221220272 134535477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17521 16522 1111 63 0 17458 0
vsize: 70084
[startup+820.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16588 0 0 0 81909 98 0 0 25 0 1 0 640997713 71901184 16560 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17554 16560 1111 63 0 17491 0
vsize: 70216
[startup+830.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16659 0 0 0 82908 98 0 0 25 0 1 0 640997713 72306688 16631 4294967295 134512640 134714540 3221221776 3221220288 134535017 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17653 16631 1111 63 0 17590 0
vsize: 70612
[startup+840.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16728 0 0 0 83908 99 0 0 25 0 1 0 640997713 72577024 16699 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17719 16699 1111 63 0 17656 0
vsize: 70876
[startup+850.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16772 0 0 0 84907 99 0 0 25 0 1 0 640997713 72740864 16742 4294967295 134512640 134714540 3221221776 3221220488 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17759 16742 1111 63 0 17696 0
vsize: 71036
[startup+860.019 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16828 0 0 0 85907 100 0 0 25 0 1 0 640997713 73011200 16798 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17825 16798 1111 63 0 17762 0
vsize: 71300
[startup+870.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16868 0 0 0 86906 101 0 0 25 0 1 0 640997713 73146368 16838 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17858 16838 1111 63 0 17795 0
vsize: 71432
[startup+880.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16910 0 0 0 87906 102 0 0 25 0 1 0 640997713 73433088 16879 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17928 16879 1111 63 0 17865 0
vsize: 71712
[startup+890.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 16968 0 0 0 88905 102 0 0 25 0 1 0 640997713 73568256 16937 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17961 16937 1111 63 0 17898 0
vsize: 71844
[startup+900.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17031 0 0 0 89905 103 0 0 25 0 1 0 640997713 73973760 17000 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18060 17000 1111 63 0 17997 0
vsize: 72240
[startup+910.021 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17083 0 0 0 90904 104 0 0 25 0 1 0 640997713 74256384 17052 4294967295 134512640 134714540 3221221776 3221220452 1077374446 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18129 17052 1111 63 0 18066 0
vsize: 72516
[startup+920.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17104 0 0 0 91904 104 0 0 25 0 1 0 640997713 74256384 17073 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18129 17073 1111 63 0 18066 0
vsize: 72516
[startup+930.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17161 0 0 0 92904 104 0 0 25 0 1 0 640997713 74555392 17129 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18202 17129 1111 63 0 18139 0
vsize: 72808
[startup+940.022 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17219 0 0 0 93903 105 0 0 25 0 1 0 640997713 74825728 17187 4294967295 134512640 134714540 3221221776 3221220520 134552077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18268 17187 1111 63 0 18205 0
vsize: 73072
[startup+950.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17283 0 0 0 94903 106 0 0 25 0 1 0 640997713 75096064 17251 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18334 17251 1111 63 0 18271 0
vsize: 73336
[startup+960.023 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17337 0 0 0 95902 106 0 0 25 0 1 0 640997713 75366400 17305 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18400 17305 1111 63 0 18337 0
vsize: 73600
[startup+970.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17409 0 0 0 96901 107 0 0 25 0 1 0 640997713 75636736 17377 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18466 17377 1111 63 0 18403 0
vsize: 73864
[startup+980.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17455 0 0 0 97901 108 0 0 25 0 1 0 640997713 75771904 17423 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18499 17423 1111 63 0 18436 0
vsize: 73996
[startup+990.024 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17478 0 0 0 98900 109 0 0 25 0 1 0 640997713 75907072 17446 4294967295 134512640 134714540 3221221776 3221220272 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18532 17446 1111 63 0 18469 0
vsize: 74128
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17521 0 0 0 99901 109 0 0 25 0 1 0 640997713 76042240 17489 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18565 17489 1111 63 0 18502 0
vsize: 74260
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17551 0 0 0 100900 109 0 0 25 0 1 0 640997713 76177408 17519 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18598 17519 1111 63 0 18535 0
vsize: 74392
[startup+1020.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17574 0 0 0 101901 109 0 0 25 0 1 0 640997713 76312576 17542 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18631 17542 1111 63 0 18568 0
vsize: 74524
[startup+1030.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17584 0 0 0 102900 110 0 0 25 0 1 0 640997713 76312576 17552 4294967295 134512640 134714540 3221221776 3221220368 134549668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18631 17552 1111 63 0 18568 0
vsize: 74524
[startup+1040.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17667 0 0 0 103900 110 0 0 25 0 1 0 640997713 76718080 17635 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18730 17635 1111 63 0 18667 0
vsize: 74920
[startup+1050.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17759 0 0 0 104900 111 0 0 25 0 1 0 640997713 77123584 17727 4294967295 134512640 134714540 3221221776 3221220264 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18829 17727 1111 63 0 18766 0
vsize: 75316
[startup+1060.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17823 0 0 0 105899 111 0 0 25 0 1 0 640997713 77393920 17791 4294967295 134512640 134714540 3221221776 3221220368 134548599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18895 17791 1111 63 0 18832 0
vsize: 75580
[startup+1070.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17880 0 0 0 106899 111 0 0 25 0 1 0 640997713 77529088 17848 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18928 17848 1111 63 0 18865 0
vsize: 75712
[startup+1080.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 17954 0 0 0 107899 112 0 0 25 0 1 0 640997713 77799424 17922 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18994 17922 1111 63 0 18931 0
vsize: 75976
[startup+1090.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 18004 0 0 0 108898 113 0 0 25 0 1 0 640997713 78069760 17972 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19060 17972 1111 63 0 18997 0
vsize: 76240
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 18004 0 0 0 109898 113 0 0 25 0 1 0 640997713 78069760 17972 4294967295 134512640 134714540 3221221776 3221220312 134543023 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19060 17972 1111 63 0 18997 0
vsize: 76240
[startup+1110.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 18004 0 0 0 110898 114 0 0 25 0 1 0 640997713 78069760 17972 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19060 17972 1111 63 0 18997 0
vsize: 76240
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 18089 0 0 0 111897 114 0 0 25 0 1 0 640997713 78475264 18057 4294967295 134512640 134714540 3221221776 3221220380 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19159 18057 1111 63 0 19096 0
vsize: 76636
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 18169 0 0 0 112896 115 0 0 25 0 1 0 640997713 78745600 18137 4294967295 134512640 134714540 3221221776 3221220528 134594947 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19225 18137 1111 63 0 19162 0
vsize: 76900
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 18289 0 0 0 113896 116 0 0 25 0 1 0 640997713 79286272 18257 4294967295 134512640 134714540 3221221776 3221220368 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19357 18257 1111 63 0 19294 0
vsize: 77428
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 18468 0 0 0 114895 117 0 0 25 0 1 0 640997713 79962112 18436 4294967295 134512640 134714540 3221221776 3221220452 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19522 18436 1111 63 0 19459 0
vsize: 78088
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 18616 0 0 0 115894 118 0 0 25 0 1 0 640997713 80637952 18584 4294967295 134512640 134714540 3221221776 3221220332 134535891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19687 18584 1111 63 0 19624 0
vsize: 78748
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.95 2/54 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 18743 0 0 0 116894 119 0 0 25 0 1 0 640997713 81178624 18711 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19819 18711 1111 63 0 19756 0
vsize: 79276
[startup+1174.97 s]
Raw data (loadavg): 1.00 0.99 0.95 1/53 25080
Raw data (stat): 25023 (bsolo_mis) R 25022 7876 7672 0 -1 0 18743 0 0 0 116894 119 0 0 25 0 1 0 640997713 81178624 18711 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19819 18711 1111 63 0 19756 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.08
CPU user time (s): 1173.85
CPU system time (s): 1.22881
CPU usage (%): 100.009
Max. virtual memory (Kb): 79276
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####