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-fpga25_23_sat_pb.cnf.cr.opb
MD5SUM	002d92124dd96ccf471b7e05fe08f2d6
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	26
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.252961
Number of variables	863
Total number of constraints	646
Number of constraints which are clauses	598
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 23354

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-02 17:54:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=381 boxname=wulflinc31 idbench=43 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  002d92124dd96ccf471b7e05fe08f2d6  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_23_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga25_23_sat_pb.cnf.cr.opb
IDLAUNCH: 381
/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:        926744 kB
Buffers:         38536 kB
Cached:          47356 kB
SwapCached:        944 kB
Active:          72472 kB
Inactive:        15856 kB
HighTotal:      131008 kB
HighFree:        82684 kB
LowTotal:       903652 kB
LowFree:        844060 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14012 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-02 18:14:19 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 381 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 863 variables and 646 constraints.
c After prepocess the problem consists of 863 variables and 646 constraints.
c preprocess terminated 0.864 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.92 0.95 0.97 2/54 26628
Raw data (stat): 26628 (runsolver) R 26627 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 642075955 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0014 s]
Raw data (loadavg): 0.93 0.96 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 1618 0 0 0 989 7 0 0 25 0 1 0 642075955 10301440 1593 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2515 1593 1111 63 0 2452 0
vsize: 10060
[startup+20.002 s]
Raw data (loadavg): 0.94 0.96 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 1867 0 0 0 1987 10 0 0 25 0 1 0 642075955 11247616 1842 4294967295 134512640 134714540 3221221776 3221220584 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2746 1842 1111 63 0 2683 0
vsize: 10984
[startup+30.0029 s]
Raw data (loadavg): 0.95 0.96 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 1993 0 0 0 2985 11 0 0 25 0 1 0 642075955 11788288 1968 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2878 1968 1111 63 0 2815 0
vsize: 11512
[startup+40.0032 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 2172 0 0 0 3984 13 0 0 25 0 1 0 642075955 12599296 2147 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3076 2147 1111 63 0 3013 0
vsize: 12304
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.96 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 2315 0 0 0 4983 14 0 0 25 0 1 0 642075955 13139968 2290 4294967295 134512640 134714540 3221221776 3221219932 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3208 2290 1111 63 0 3145 0
vsize: 12832
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 2315 0 0 0 5981 16 0 0 25 0 1 0 642075955 13008896 2277 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3176 2277 1111 63 0 3113 0
vsize: 12704
[startup+70.003 s]
Raw data (loadavg): 0.97 0.96 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 2377 0 0 0 6980 17 0 0 25 0 1 0 642075955 13271040 2339 4294967295 134512640 134714540 3221221776 3221220536 134600317 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3240 2339 1111 63 0 3177 0
vsize: 12960
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 2377 0 0 0 7979 18 0 0 25 0 1 0 642075955 13271040 2339 4294967295 134512640 134714540 3221221776 3221220436 134536752 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3240 2339 1111 63 0 3177 0
vsize: 12960
[startup+90.0035 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 2404 0 0 0 8979 19 0 0 25 0 1 0 642075955 13406208 2366 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3273 2366 1111 63 0 3210 0
vsize: 13092
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 2872 0 0 0 9975 22 0 0 25 0 1 0 642075955 15294464 2834 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3734 2834 1111 63 0 3671 0
vsize: 14936
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 3382 0 0 0 10974 25 0 0 25 0 1 0 642075955 17448960 3344 4294967295 134512640 134714540 3221221776 3221220260 134697393 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4260 3344 1111 63 0 4197 0
vsize: 17040
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 3710 0 0 0 11972 27 0 0 25 0 1 0 642075955 18800640 3672 4294967295 134512640 134714540 3221221776 3221220480 134528481 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4590 3672 1111 63 0 4527 0
vsize: 18360
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 4198 0 0 0 12970 29 0 0 25 0 1 0 642075955 20828160 4160 4294967295 134512640 134714540 3221221776 3221220408 134696049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5085 4160 1111 63 0 5022 0
vsize: 20340
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 4582 0 0 0 13969 30 0 0 25 0 1 0 642075955 22323200 4544 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5450 4544 1111 63 0 5387 0
vsize: 21800
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 4866 0 0 0 14967 33 0 0 25 0 1 0 642075955 23539712 4828 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5747 4828 1111 63 0 5684 0
vsize: 22988
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 4913 0 0 0 15966 34 0 0 25 0 1 0 642075955 23674880 4875 4294967295 134512640 134714540 3221221776 3221220460 134524382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5780 4875 1111 63 0 5717 0
vsize: 23120
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 4946 0 0 0 16965 35 0 0 25 0 1 0 642075955 23810048 4908 4294967295 134512640 134714540 3221221776 3221220320 134696730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5813 4908 1111 63 0 5750 0
vsize: 23252
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 5000 0 0 0 17963 37 0 0 25 0 1 0 642075955 24080384 4962 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5879 4962 1111 63 0 5816 0
vsize: 23516
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 5032 0 0 0 18962 38 0 0 25 0 1 0 642075955 24215552 4994 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5912 4994 1111 63 0 5849 0
vsize: 23648
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 5084 0 0 0 19961 39 0 0 25 0 1 0 642075955 24350720 5046 4294967295 134512640 134714540 3221221776 3221220544 134592125 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5945 5046 1111 63 0 5882 0
vsize: 23780
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 5150 0 0 0 20960 40 0 0 25 0 1 0 642075955 24621056 5112 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6011 5112 1111 63 0 5948 0
vsize: 24044
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 5197 0 0 0 21959 42 0 0 25 0 1 0 642075955 24891392 5159 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6077 5159 1111 63 0 6014 0
vsize: 24308
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 5572 0 0 0 22957 44 0 0 25 0 1 0 642075955 26374144 5534 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6439 5534 1111 63 0 6376 0
vsize: 25756
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 5797 0 0 0 23955 46 0 0 25 0 1 0 642075955 27320320 5759 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6670 5759 1111 63 0 6607 0
vsize: 26680
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 6002 0 0 0 24954 47 0 0 25 0 1 0 642075955 28119040 5964 4294967295 134512640 134714540 3221221776 3221220368 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6865 5964 1111 63 0 6802 0
vsize: 27460
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 6085 0 0 0 25953 48 0 0 25 0 1 0 642075955 28520448 6047 4294967295 134512640 134714540 3221221776 3221220400 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6963 6047 1111 63 0 6900 0
vsize: 27852
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 6158 0 0 0 26952 50 0 0 25 0 1 0 642075955 28790784 6120 4294967295 134512640 134714540 3221221776 3221220336 134539213 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7029 6120 1111 63 0 6966 0
vsize: 28116
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 6230 0 0 0 27951 51 0 0 25 0 1 0 642075955 29052928 6192 4294967295 134512640 134714540 3221221776 3221220348 134535876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7093 6192 1111 63 0 7030 0
vsize: 28372
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 6359 0 0 0 28949 53 0 0 25 0 1 0 642075955 29585408 6321 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7223 6321 1111 63 0 7160 0
vsize: 28892
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 6480 0 0 0 29948 54 0 0 25 0 1 0 642075955 30126080 6442 4294967295 134512640 134714540 3221221776 3221220480 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7355 6442 1111 63 0 7292 0
vsize: 29420
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 26628
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 6867 0 0 0 30945 57 0 0 25 0 1 0 642075955 31748096 6829 4294967295 134512640 134714540 3221221776 3221220544 134529157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7751 6829 1111 63 0 7688 0
vsize: 31004
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 26629
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 6963 0 0 0 31944 59 0 0 25 0 1 0 642075955 32153600 6925 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7850 6925 1111 63 0 7787 0
vsize: 31400
[startup+330.018 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 26681
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 7241 0 0 0 32942 61 0 0 25 0 1 0 642075955 33234944 7203 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8114 7203 1111 63 0 8051 0
vsize: 32456
[startup+340.019 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 26681
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 7517 0 0 0 33940 63 0 0 25 0 1 0 642075955 34316288 7479 4294967295 134512640 134714540 3221221776 3221220544 134584894 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8378 7479 1111 63 0 8315 0
vsize: 33512
[startup+350.019 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 26681
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 7639 0 0 0 34938 65 0 0 25 0 1 0 642075955 34852864 7601 4294967295 134512640 134714540 3221221776 3221220368 134549680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8509 7601 1111 63 0 8446 0
vsize: 34036
[startup+360.02 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 26681
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 7735 0 0 0 35937 67 0 0 25 0 1 0 642075955 35254272 7697 4294967295 134512640 134714540 3221221776 3221220428 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8607 7697 1111 63 0 8544 0
vsize: 34428
[startup+370.02 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 26681
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 7967 0 0 0 36935 69 0 0 25 0 1 0 642075955 36196352 7929 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8837 7929 1111 63 0 8774 0
vsize: 35348
[startup+380.021 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 26681
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 8137 0 0 0 37933 71 0 0 25 0 1 0 642075955 36872192 8099 4294967295 134512640 134714540 3221221776 3221220332 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9002 8099 1111 63 0 8939 0
vsize: 36008
[startup+390.022 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 26681
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 8213 0 0 0 38932 72 0 0 25 0 1 0 642075955 37257216 8175 4294967295 134512640 134714540 3221221776 3221220188 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9096 8175 1111 63 0 9033 0
vsize: 36384
[startup+400.022 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 8281 0 0 0 39931 73 0 0 25 0 1 0 642075955 37523456 8243 4294967295 134512640 134714540 3221221776 3221220480 134528687 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9161 8243 1111 63 0 9098 0
vsize: 36644
[startup+410.022 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 8404 0 0 0 40930 75 0 0 25 0 1 0 642075955 38064128 8366 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9293 8366 1111 63 0 9230 0
vsize: 37172
[startup+420.022 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 8523 0 0 0 41929 76 0 0 25 0 1 0 642075955 38469632 8485 4294967295 134512640 134714540 3221221776 3221220368 134549764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9392 8485 1111 63 0 9329 0
vsize: 37568
[startup+430.022 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 8587 0 0 0 42927 78 0 0 25 0 1 0 642075955 38739968 8549 4294967295 134512640 134714540 3221221776 3221220480 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9458 8549 1111 63 0 9395 0
vsize: 37832
[startup+440.022 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 8661 0 0 0 43926 79 0 0 25 0 1 0 642075955 39010304 8623 4294967295 134512640 134714540 3221221776 3221220512 134558529 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9524 8623 1111 63 0 9461 0
vsize: 38096
[startup+450.022 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 8731 0 0 0 44925 80 0 0 25 0 1 0 642075955 39415808 8693 4294967295 134512640 134714540 3221221776 3221220540 134592356 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9623 8693 1111 63 0 9560 0
vsize: 38492
[startup+460.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 8965 0 0 0 45922 83 0 0 25 0 1 0 642075955 40349696 8927 4294967295 134512640 134714540 3221221776 3221220400 134696358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9851 8927 1111 63 0 9788 0
vsize: 39404
[startup+470.023 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 9030 0 0 0 46922 84 0 0 25 0 1 0 642075955 40620032 8992 4294967295 134512640 134714540 3221221776 3221220420 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9917 8992 1111 63 0 9854 0
vsize: 39668
[startup+480.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 9089 0 0 0 47921 85 0 0 25 0 1 0 642075955 40869888 9051 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9978 9051 1111 63 0 9915 0
vsize: 39912
[startup+490.024 s]
Raw data (loadavg): 1.00 0.99 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 9125 0 0 0 48920 85 0 0 25 0 1 0 642075955 40996864 9087 4294967295 134512640 134714540 3221221776 3221220332 134535676 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10009 9087 1111 63 0 9946 0
vsize: 40036
[startup+500.024 s]
Raw data (loadavg): 1.07 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 9158 0 0 0 49920 86 0 0 25 0 1 0 642075955 41123840 9120 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10040 9120 1111 63 0 9977 0
vsize: 40160
[startup+510.025 s]
Raw data (loadavg): 1.06 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 9277 0 0 0 50919 87 0 0 25 0 1 0 642075955 41664512 9239 4294967295 134512640 134714540 3221221776 3221220528 134592371 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10172 9239 1111 63 0 10109 0
vsize: 40688
[startup+520.025 s]
Raw data (loadavg): 1.05 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 9541 0 0 0 51917 89 0 0 25 0 1 0 642075955 42610688 9503 4294967295 134512640 134714540 3221221776 3221220404 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10403 9503 1111 63 0 10340 0
vsize: 41612
[startup+530.026 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 9882 0 0 0 52917 90 0 0 25 0 1 0 642075955 44093440 9844 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10765 9844 1111 63 0 10702 0
vsize: 43060
[startup+540.027 s]
Raw data (loadavg): 1.04 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 10089 0 0 0 53916 91 0 0 25 0 1 0 642075955 44904448 10051 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10963 10051 1111 63 0 10900 0
vsize: 43852
[startup+550.027 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 10240 0 0 0 54914 93 0 0 25 0 1 0 642075955 45580288 10202 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11128 10202 1111 63 0 11065 0
vsize: 44512
[startup+560.027 s]
Raw data (loadavg): 1.03 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 10362 0 0 0 55913 95 0 0 25 0 1 0 642075955 45985792 10324 4294967295 134512640 134714540 3221221776 3221220608 134551460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11227 10324 1111 63 0 11164 0
vsize: 44908
[startup+570.028 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 10441 0 0 0 56911 96 0 0 25 0 1 0 642075955 46391296 10403 4294967295 134512640 134714540 3221221776 3221220452 134594355 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11326 10403 1111 63 0 11263 0
vsize: 45304
[startup+580.028 s]
Raw data (loadavg): 1.02 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 10596 0 0 0 57910 97 0 0 25 0 1 0 642075955 46931968 10558 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11458 10558 1111 63 0 11395 0
vsize: 45832
[startup+590.029 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 10758 0 0 0 58909 99 0 0 25 0 1 0 642075955 47607808 10720 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11623 10720 1111 63 0 11560 0
vsize: 46492
[startup+600.029 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 10876 0 0 0 59908 100 0 0 25 0 1 0 642075955 48123904 10838 4294967295 134512640 134714540 3221221776 3221220332 134535631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11749 10838 1111 63 0 11686 0
vsize: 46996
[startup+610.029 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 10955 0 0 0 60907 101 0 0 25 0 1 0 642075955 48513024 10917 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11844 10917 1111 63 0 11781 0
vsize: 47376
[startup+620.029 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 11029 0 0 0 61906 103 0 0 25 0 1 0 642075955 48766976 10991 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11906 10991 1111 63 0 11843 0
vsize: 47624
[startup+630.03 s]
Raw data (loadavg): 1.01 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 11073 0 0 0 62904 104 0 0 25 0 1 0 642075955 48902144 11035 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11939 11035 1111 63 0 11876 0
vsize: 47756
[startup+640.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 11090 0 0 0 63903 106 0 0 25 0 1 0 642075955 49020928 11052 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11968 11052 1111 63 0 11905 0
vsize: 47872
[startup+650.031 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 11195 0 0 0 64902 107 0 0 25 0 1 0 642075955 49426432 11157 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12067 11157 1111 63 0 12004 0
vsize: 48268
[startup+660.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 11256 0 0 0 65901 108 0 0 25 0 1 0 642075955 49696768 11218 4294967295 134512640 134714540 3221221776 3221220164 1077378762 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12133 11218 1111 63 0 12070 0
vsize: 48532
[startup+670.032 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26683
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 11321 0 0 0 66900 109 0 0 25 0 1 0 642075955 49967104 11283 4294967295 134512640 134714540 3221221776 3221220560 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12199 11283 1111 63 0 12136 0
vsize: 48796
[startup+680.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 11494 0 0 0 67899 111 0 0 25 0 1 0 642075955 50642944 11456 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12364 11456 1111 63 0 12301 0
vsize: 49456
[startup+690.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 11689 0 0 0 68898 112 0 0 25 0 1 0 642075955 51453952 11651 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12562 11651 1111 63 0 12499 0
vsize: 50248
[startup+700.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 11784 0 0 0 69897 113 0 0 25 0 1 0 642075955 51859456 11746 4294967295 134512640 134714540 3221221776 3221220368 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12661 11746 1111 63 0 12598 0
vsize: 50644
[startup+710.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 12029 0 0 0 70895 115 0 0 25 0 1 0 642075955 52817920 11991 4294967295 134512640 134714540 3221221776 3221220272 134535442 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12895 11991 1111 63 0 12832 0
vsize: 51580
[startup+720.033 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 12182 0 0 0 71893 117 0 0 25 0 1 0 642075955 53493760 12144 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13060 12144 1111 63 0 12997 0
vsize: 52240
[startup+730.034 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 12308 0 0 0 72893 118 0 0 25 0 1 0 642075955 54034432 12270 4294967295 134512640 134714540 3221221776 3221220352 134549713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13192 12270 1111 63 0 13129 0
vsize: 52768
[startup+740.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 12435 0 0 0 73891 119 0 0 25 0 1 0 642075955 54575104 12397 4294967295 134512640 134714540 3221221776 3221220512 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13324 12397 1111 63 0 13261 0
vsize: 53296
[startup+750.035 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 12622 0 0 0 74890 121 0 0 25 0 1 0 642075955 55250944 12584 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13489 12585 1111 63 0 13426 0
vsize: 53956
[startup+760.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 12765 0 0 0 75889 122 0 0 25 0 1 0 642075955 55914496 12727 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13651 12727 1111 63 0 13588 0
vsize: 54604
[startup+770.036 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 12811 0 0 0 76889 123 0 0 25 0 1 0 642075955 56049664 12773 4294967295 134512640 134714540 3221221776 3221220368 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13684 12773 1111 63 0 13621 0
vsize: 54736
[startup+780.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 12932 0 0 0 77887 125 0 0 25 0 1 0 642075955 56573952 12894 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13812 12894 1111 63 0 13749 0
vsize: 55248
[startup+790.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 12996 0 0 0 78887 125 0 0 25 0 1 0 642075955 56860672 12958 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13882 12958 1111 63 0 13819 0
vsize: 55528
[startup+800.037 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13031 0 0 0 79886 126 0 0 25 0 1 0 642075955 56950784 12993 4294967295 134512640 134714540 3221221776 3221220560 134529252 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13904 12993 1111 63 0 13841 0
vsize: 55616
[startup+810.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13053 0 0 0 80885 127 0 0 25 0 1 0 642075955 57085952 13015 4294967295 134512640 134714540 3221221776 3221220452 1077374563 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13937 13015 1111 63 0 13874 0
vsize: 55748
[startup+820.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13169 0 0 0 81884 129 0 0 25 0 1 0 642075955 57491456 13131 4294967295 134512640 134714540 3221221776 3221220408 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14036 13131 1111 63 0 13973 0
vsize: 56144
[startup+830.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13193 0 0 0 82883 130 0 0 25 0 1 0 642075955 57626624 13155 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14069 13155 1111 63 0 14006 0
vsize: 56276
[startup+840.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13207 0 0 0 83882 131 0 0 25 0 1 0 642075955 57761792 13169 4294967295 134512640 134714540 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14102 13169 1111 63 0 14039 0
vsize: 56408
[startup+850.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13229 0 0 0 84881 132 0 0 25 0 1 0 642075955 57745408 13191 4294967295 134512640 134714540 3221221776 3221220536 134592337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14098 13191 1111 63 0 14035 0
vsize: 56392
[startup+860.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13253 0 0 0 85880 133 0 0 25 0 1 0 642075955 57872384 13215 4294967295 134512640 134714540 3221221776 3221220548 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14129 13215 1111 63 0 14066 0
vsize: 56516
[startup+870.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13324 0 0 0 86879 134 0 0 25 0 1 0 642075955 58142720 13286 4294967295 134512640 134714540 3221221776 3221220536 134552578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14195 13286 1111 63 0 14132 0
vsize: 56780
[startup+880.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13358 0 0 0 87878 135 0 0 25 0 1 0 642075955 58273792 13320 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14227 13320 1111 63 0 14164 0
vsize: 56908
[startup+890.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13395 0 0 0 88876 137 0 0 25 0 1 0 642075955 58535936 13357 4294967295 134512640 134714540 3221221776 3221220336 134696581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14291 13357 1111 63 0 14228 0
vsize: 57164
[startup+900.038 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13413 0 0 0 89876 138 0 0 25 0 1 0 642075955 58535936 13375 4294967295 134512640 134714540 3221221776 3221220428 134536779 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14291 13375 1111 63 0 14228 0
vsize: 57164
[startup+910.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13443 0 0 0 90875 139 0 0 25 0 1 0 642075955 58671104 13405 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14324 13405 1111 63 0 14261 0
vsize: 57296
[startup+920.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13448 0 0 0 91875 139 0 0 25 0 1 0 642075955 58671104 13410 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14324 13410 1111 63 0 14261 0
vsize: 57296
[startup+930.039 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13457 0 0 0 92874 140 0 0 25 0 1 0 642075955 58793984 13419 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14354 13419 1111 63 0 14291 0
vsize: 57416
[startup+940.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13484 0 0 0 93874 141 0 0 25 0 1 0 642075955 58793984 13446 4294967295 134512640 134714540 3221221776 3221220512 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14354 13446 1111 63 0 14291 0
vsize: 57416
[startup+950.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13496 0 0 0 94872 142 0 0 25 0 1 0 642075955 58916864 13458 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14384 13458 1111 63 0 14321 0
vsize: 57536
[startup+960.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13505 0 0 0 95872 143 0 0 25 0 1 0 642075955 58916864 13467 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14384 13467 1111 63 0 14321 0
vsize: 57536
[startup+970.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13518 0 0 0 96871 144 0 0 25 0 1 0 642075955 59060224 13480 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14419 13480 1111 63 0 14356 0
vsize: 57676
[startup+980.041 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13540 0 0 0 97869 146 0 0 25 0 1 0 642075955 59060224 13502 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14419 13502 1111 63 0 14356 0
vsize: 57676
[startup+990.042 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13548 0 0 0 98868 147 0 0 25 0 1 0 642075955 59195392 13510 4294967295 134512640 134714540 3221221776 3221220368 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14452 13510 1111 63 0 14389 0
vsize: 57808
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13571 0 0 0 99868 147 0 0 25 0 1 0 642075955 59183104 13533 4294967295 134512640 134714540 3221221776 3221220332 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14449 13533 1111 63 0 14386 0
vsize: 57796
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13605 0 0 0 100868 148 0 0 25 0 1 0 642075955 59322368 13567 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14483 13567 1111 63 0 14420 0
vsize: 57932
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13634 0 0 0 101868 148 0 0 25 0 1 0 642075955 59457536 13596 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14516 13596 1111 63 0 14453 0
vsize: 58064
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13647 0 0 0 102867 149 0 0 25 0 1 0 642075955 59604992 13609 4294967295 134512640 134714540 3221221776 3221220316 134539282 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14552 13609 1111 63 0 14489 0
vsize: 58208
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13652 0 0 0 103866 150 0 0 25 0 1 0 642075955 59604992 13614 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14552 13614 1111 63 0 14489 0
vsize: 58208
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13662 0 0 0 104866 151 0 0 25 0 1 0 642075955 59604992 13624 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14552 13624 1111 63 0 14489 0
vsize: 58208
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13677 0 0 0 105865 152 0 0 25 0 1 0 642075955 59740160 13639 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14585 13639 1111 63 0 14522 0
vsize: 58340
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13713 0 0 0 106864 152 0 0 25 0 1 0 642075955 59875328 13675 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14618 13675 1111 63 0 14555 0
vsize: 58472
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13739 0 0 0 107864 153 0 0 25 0 1 0 642075955 59875328 13701 4294967295 134512640 134714540 3221221776 3221220352 134549718 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14618 13701 1111 63 0 14555 0
vsize: 58472
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13775 0 0 0 108863 154 0 0 25 0 1 0 642075955 60141568 13737 4294967295 134512640 134714540 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14683 13737 1111 63 0 14620 0
vsize: 58732
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 13833 0 0 0 109863 154 0 0 25 0 1 0 642075955 60276736 13795 4294967295 134512640 134714540 3221221776 3221220456 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14716 13795 1111 63 0 14653 0
vsize: 58864
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 14192 0 0 0 110861 156 0 0 25 0 1 0 642075955 61763584 14154 4294967295 134512640 134714540 3221221776 3221220352 134549802 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15079 14154 1111 63 0 15016 0
vsize: 60316
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 14359 0 0 0 111860 158 0 0 25 0 1 0 642075955 62435328 14321 4294967295 134512640 134714540 3221221776 3221220368 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15243 14321 1111 63 0 15180 0
vsize: 60972
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 14483 0 0 0 112858 160 0 0 25 0 1 0 642075955 62959616 14445 4294967295 134512640 134714540 3221221776 3221220608 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15371 14445 1111 63 0 15308 0
vsize: 61484
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 14587 0 0 0 113857 161 0 0 25 0 1 0 642075955 63356928 14549 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15468 14549 1111 63 0 15405 0
vsize: 61872
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 14743 0 0 0 114856 162 0 0 25 0 1 0 642075955 64032768 14705 4294967295 134512640 134714540 3221221776 3221220352 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15633 14705 1111 63 0 15570 0
vsize: 62532
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 14944 0 0 0 115854 164 0 0 25 0 1 0 642075955 64819200 14906 4294967295 134512640 134714540 3221221776 3221220348 134535488 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15825 14906 1111 63 0 15762 0
vsize: 63300
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/54 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 15112 0 0 0 116853 166 0 0 25 0 1 0 642075955 65613824 15074 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16019 15074 1111 63 0 15956 0
vsize: 64076
[startup+1174.91 s]
Raw data (loadavg): 1.00 1.00 0.98 1/53 26685
Raw data (stat): 26628 (bsolo_mis) R 26627 7876 7672 0 -1 0 15112 0 0 0 116853 166 0 0 25 0 1 0 642075955 65613824 15074 4294967295 134512640 134714540 3221221776 3221220524 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16019 15074 1111 63 0 15956 0
vsize: 0

Child status: 0
Real time (s): 1174.91
CPU time (s): 1175.05
CPU user time (s): 1173.36
CPU system time (s): 1.69874
CPU usage (%): 100.013
Max. virtual memory (Kb): 64076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####