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-fpga45_45_sat_pb.cnf.cr.opb
MD5SUM	da4cd22fd601b0d838453ba86be8f9aa
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	46
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	6.73997
Number of variables	3038
Total number of constraints	2160
Number of constraints which are clauses	2070
Number of constraints which are cardinality constraints (but not clauses)	90
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	22
Maximum length of a constraint	45
Trace number 23424

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-03 11:44:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=507 boxname=wulflinc31 idbench=57 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  da4cd22fd601b0d838453ba86be8f9aa  /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_45_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-fpga45_45_sat_pb.cnf.cr.opb
IDLAUNCH: 507
/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:        920520 kB
Buffers:         39840 kB
Cached:          52036 kB
SwapCached:        944 kB
Active:          76908 kB
Inactive:        17376 kB
HighTotal:      131008 kB
HighFree:        78036 kB
LowTotal:       903652 kB
LowFree:        842484 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5536 kB
Slab:            14368 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-03 12:04:16 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 507 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 3038 variables and 2160 constraints.
c After prepocess the problem consists of 3038 variables and 2160 constraints.
c preprocess terminated 9.206 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.98 0.99 2/54 1856
Raw data (stat): 1856 (runsolver) R 1855 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 648496401 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.0005 s]
Raw data (loadavg): 0.93 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 2100 0 0 0 989 7 0 0 25 0 1 0 648496401 12304384 2075 4294967295 134512640 134714540 3221221776 3221220416 134696120 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3004 2075 1111 63 0 2941 0
vsize: 12016
[startup+20.001 s]
Raw data (loadavg): 0.94 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 2347 0 0 0 1987 10 0 0 25 0 1 0 648496401 13385728 2322 4294967295 134512640 134714540 3221221776 3221220416 134536657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3268 2322 1111 63 0 3205 0
vsize: 13072
[startup+30.0017 s]
Raw data (loadavg): 0.95 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 2504 0 0 0 2985 12 0 0 25 0 1 0 648496401 13914112 2479 4294967295 134512640 134714540 3221221776 3221220464 134534098 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3397 2479 1111 63 0 3334 0
vsize: 13588
[startup+40.002 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3014 0 0 0 3983 14 0 0 25 0 1 0 648496401 16072704 2989 4294967295 134512640 134714540 3221221776 3221220544 134592137 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3924 2989 1111 63 0 3861 0
vsize: 15696
[startup+50.0026 s]
Raw data (loadavg): 0.96 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3219 0 0 0 4982 15 0 0 25 0 1 0 648496401 16883712 3194 4294967295 134512640 134714540 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4122 3194 1111 63 0 4059 0
vsize: 16488
[startup+60.0025 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3346 0 0 0 5982 16 0 0 25 0 1 0 648496401 17424384 3321 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3321 1111 63 0 4191 0
vsize: 17016
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3346 0 0 0 6981 16 0 0 25 0 1 0 648496401 17424384 3321 4294967295 134512640 134714540 3221221776 3221220368 134542680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3321 1111 63 0 4191 0
vsize: 17016
[startup+80.0034 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3346 0 0 0 7981 17 0 0 25 0 1 0 648496401 17424384 3321 4294967295 134512640 134714540 3221221776 3221220416 134696092 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3321 1111 63 0 4191 0
vsize: 17016
[startup+90.0033 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3346 0 0 0 8980 18 0 0 25 0 1 0 648496401 17424384 3321 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3321 1111 63 0 4191 0
vsize: 17016
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3346 0 0 0 9980 18 0 0 25 0 1 0 648496401 17424384 3321 4294967295 134512640 134714540 3221221776 3221220384 134549334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3321 1111 63 0 4191 0
vsize: 17016
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3346 0 0 0 10980 19 0 0 25 0 1 0 648496401 17424384 3321 4294967295 134512640 134714540 3221221776 3221220384 134523193 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3321 1111 63 0 4191 0
vsize: 17016
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 11979 19 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220496 134584825 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 12978 20 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 13978 20 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220336 134696578 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 14978 20 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 15977 21 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 16977 21 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220444 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 17977 22 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220476 134528413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 18977 22 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220192 134697414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 19977 22 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220336 134696587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 20976 23 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220352 134538959 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 21976 23 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220432 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 22976 23 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220396 134613752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 23976 24 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220416 134539382 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+250.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 24976 24 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220372 134543703 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+260.008 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 25976 24 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220388 134696271 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+270.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 26975 25 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 27975 26 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220384 134549318 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+290.01 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 28975 26 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220452 134594355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+300.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 29973 28 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+310.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 30971 30 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+320.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 31969 32 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+330.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 32967 34 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220404 1077374210 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+340.011 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 33965 37 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+350.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 34963 38 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220308 134551693 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+360.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 35962 40 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220428 134536804 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+370.012 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 36959 43 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+380.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 37956 46 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220524 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+390.013 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 38956 47 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+400.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3353 0 0 0 39956 47 0 0 25 0 1 0 648496401 17424384 3328 4294967295 134512640 134714540 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4254 3328 1111 63 0 4191 0
vsize: 17016
[startup+410.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3389 0 0 0 40956 47 0 0 25 0 1 0 648496401 17559552 3364 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3364 1111 63 0 4224 0
vsize: 17148
[startup+420.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3389 0 0 0 41955 48 0 0 25 0 1 0 648496401 17559552 3364 4294967295 134512640 134714540 3221221776 3221220560 134551781 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3364 1111 63 0 4224 0
vsize: 17148
[startup+430.015 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3389 0 0 0 42954 49 0 0 25 0 1 0 648496401 17559552 3364 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3364 1111 63 0 4224 0
vsize: 17148
[startup+440.014 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3389 0 0 0 43954 50 0 0 25 0 1 0 648496401 17559552 3364 4294967295 134512640 134714540 3221221776 3221220544 134529157 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3364 1111 63 0 4224 0
vsize: 17148
[startup+450.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3389 0 0 0 44953 50 0 0 25 0 1 0 648496401 17559552 3364 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3364 1111 63 0 4224 0
vsize: 17148
[startup+460.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3389 0 0 0 45953 51 0 0 25 0 1 0 648496401 17559552 3364 4294967295 134512640 134714540 3221221776 3221220560 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4287 3364 1111 63 0 4224 0
vsize: 17148
[startup+470.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3506 0 0 0 46952 52 0 0 25 0 1 0 648496401 18100224 3481 4294967295 134512640 134714540 3221221776 3221220360 134538951 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4419 3481 1111 63 0 4356 0
vsize: 17676
[startup+480.016 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3506 0 0 0 47951 53 0 0 25 0 1 0 648496401 18100224 3481 4294967295 134512640 134714540 3221221776 3221220460 134552632 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4419 3481 1111 63 0 4356 0
vsize: 17676
[startup+490.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3549 0 0 0 48950 54 0 0 25 0 1 0 648496401 18235392 3524 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4452 3524 1111 63 0 4389 0
vsize: 17808
[startup+500.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3551 0 0 0 49949 55 0 0 25 0 1 0 648496401 18157568 3519 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3519 1111 63 0 4370 0
vsize: 17732
[startup+510.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3551 0 0 0 50949 56 0 0 25 0 1 0 648496401 18157568 3519 4294967295 134512640 134714540 3221221776 3221220368 134548587 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3519 1111 63 0 4370 0
vsize: 17732
[startup+520.017 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3551 0 0 0 51948 57 0 0 25 0 1 0 648496401 18157568 3519 4294967295 134512640 134714540 3221221776 3221220400 134542300 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3519 1111 63 0 4370 0
vsize: 17732
[startup+530.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3551 0 0 0 52948 58 0 0 25 0 1 0 648496401 18157568 3519 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3519 1111 63 0 4370 0
vsize: 17732
[startup+540.018 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3551 0 0 0 53947 58 0 0 25 0 1 0 648496401 18157568 3519 4294967295 134512640 134714540 3221221776 3221220420 134539352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4433 3519 1111 63 0 4370 0
vsize: 17732
[startup+550.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3571 0 0 0 54947 59 0 0 25 0 1 0 648496401 18292736 3539 4294967295 134512640 134714540 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4466 3539 1111 63 0 4403 0
vsize: 17864
[startup+560.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3640 0 0 0 55946 60 0 0 25 0 1 0 648496401 18264064 3545 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4459 3545 1111 63 0 4396 0
vsize: 17836
[startup+570.019 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3640 0 0 0 56945 61 0 0 25 0 1 0 648496401 18264064 3545 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4459 3545 1111 63 0 4396 0
vsize: 17836
[startup+580.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3640 0 0 0 57945 62 0 0 25 0 1 0 648496401 18255872 3543 4294967295 134512640 134714540 3221221776 3221220180 134697231 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4457 3543 1111 63 0 4394 0
vsize: 17828
[startup+590.02 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3640 0 0 0 58943 63 0 0 25 0 1 0 648496401 18255872 3543 4294967295 134512640 134714540 3221221776 3221220416 134613451 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4457 3543 1111 63 0 4394 0
vsize: 17828
[startup+600.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3780 0 0 0 59942 64 0 0 25 0 1 0 648496401 18931712 3683 4294967295 134512640 134714540 3221221776 3221220460 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4622 3683 1111 63 0 4559 0
vsize: 18488
[startup+610.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3844 0 0 0 60941 65 0 0 25 0 1 0 648496401 18526208 3607 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4523 3607 1111 63 0 4460 0
vsize: 18092
[startup+620.021 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3966 0 0 0 61940 66 0 0 25 0 1 0 648496401 18984960 3721 4294967295 134512640 134714540 3221221776 3221220400 134696263 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4635 3721 1111 63 0 4572 0
vsize: 18540
[startup+630.022 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 3966 0 0 0 62939 68 0 0 25 0 1 0 648496401 18984960 3721 4294967295 134512640 134714540 3221221776 3221220384 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4635 3721 1111 63 0 4572 0
vsize: 18540
[startup+640.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4010 0 0 0 63938 69 0 0 25 0 1 0 648496401 18984960 3721 4294967295 134512640 134714540 3221221776 3221220384 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4635 3721 1111 63 0 4572 0
vsize: 18540
[startup+650.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4010 0 0 0 64938 69 0 0 25 0 1 0 648496401 18984960 3721 4294967295 134512640 134714540 3221221776 3221220416 134696114 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4635 3721 1111 63 0 4572 0
vsize: 18540
[startup+660.023 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4010 0 0 0 65937 70 0 0 25 0 1 0 648496401 18984960 3721 4294967295 134512640 134714540 3221221776 3221220400 134542297 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4635 3721 1111 63 0 4572 0
vsize: 18540
[startup+670.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4010 0 0 0 66937 70 0 0 25 0 1 0 648496401 18984960 3721 4294967295 134512640 134714540 3221221776 3221220464 134528712 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4635 3721 1111 63 0 4572 0
vsize: 18540
[startup+680.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4010 0 0 0 67936 71 0 0 25 0 1 0 648496401 18923520 3706 4294967295 134512640 134714540 3221221776 3221220416 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3706 1111 63 0 4557 0
vsize: 18480
[startup+690.024 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4010 0 0 0 68936 71 0 0 25 0 1 0 648496401 18923520 3706 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3706 1111 63 0 4557 0
vsize: 18480
[startup+700.025 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4010 0 0 0 69935 72 0 0 25 0 1 0 648496401 18923520 3706 4294967295 134512640 134714540 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3706 1111 63 0 4557 0
vsize: 18480
[startup+710.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4010 0 0 0 70935 73 0 0 25 0 1 0 648496401 18923520 3706 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3706 1111 63 0 4557 0
vsize: 18480
[startup+720.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4010 0 0 0 71933 75 0 0 25 0 1 0 648496401 18923520 3706 4294967295 134512640 134714540 3221221776 3221220368 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3706 1111 63 0 4557 0
vsize: 18480
[startup+730.026 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4010 0 0 0 72933 76 0 0 25 0 1 0 648496401 18923520 3706 4294967295 134512640 134714540 3221221776 3221220464 134543759 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3706 1111 63 0 4557 0
vsize: 18480
[startup+740.027 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4010 0 0 0 73932 76 0 0 25 0 1 0 648496401 18923520 3706 4294967295 134512640 134714540 3221221776 3221220512 134535735 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4620 3706 1111 63 0 4557 0
vsize: 18480
[startup+750.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 74931 77 0 0 25 0 1 0 648496401 19369984 3792 4294967295 134512640 134714540 3221221776 3221220332 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4729 3792 1111 63 0 4666 0
vsize: 18916
[startup+760.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 75931 78 0 0 25 0 1 0 648496401 19288064 3792 4294967295 134512640 134714540 3221221776 3221220352 134542802 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3792 1111 63 0 4646 0
vsize: 18836
[startup+770.028 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 76931 78 0 0 25 0 1 0 648496401 19288064 3792 4294967295 134512640 134714540 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3792 1111 63 0 4646 0
vsize: 18836
[startup+780.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 77930 79 0 0 25 0 1 0 648496401 19288064 3792 4294967295 134512640 134714540 3221221776 3221220252 134613966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3792 1111 63 0 4646 0
vsize: 18836
[startup+790.029 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 78930 79 0 0 25 0 1 0 648496401 19288064 3792 4294967295 134512640 134714540 3221221776 3221220416 134696145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3792 1111 63 0 4646 0
vsize: 18836
[startup+800.03 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 79930 80 0 0 25 0 1 0 648496401 19288064 3792 4294967295 134512640 134714540 3221221776 3221220464 134543700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3792 1111 63 0 4646 0
vsize: 18836
[startup+810.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 80930 80 0 0 25 0 1 0 648496401 19288064 3792 4294967295 134512640 134714540 3221221776 3221220360 134543606 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3792 1111 63 0 4646 0
vsize: 18836
[startup+820.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 81929 81 0 0 25 0 1 0 648496401 19288064 3792 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3792 1111 63 0 4646 0
vsize: 18836
[startup+830.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 82928 82 0 0 25 0 1 0 648496401 19288064 3792 4294967295 134512640 134714540 3221221776 3221220384 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3792 1111 63 0 4646 0
vsize: 18836
[startup+840.031 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 83928 82 0 0 25 0 1 0 648496401 19288064 3792 4294967295 134512640 134714540 3221221776 3221220536 134592430 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3792 1111 63 0 4646 0
vsize: 18836
[startup+850.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 84928 83 0 0 25 0 1 0 648496401 19288064 3792 4294967295 134512640 134714540 3221221776 3221220404 134696291 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3792 1111 63 0 4646 0
vsize: 18836
[startup+860.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4098 0 0 0 85928 83 0 0 25 0 1 0 648496401 19288064 3792 4294967295 134512640 134714540 3221221776 3221220384 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4709 3792 1111 63 0 4646 0
vsize: 18836
[startup+870.033 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4152 0 0 0 86926 85 0 0 25 0 1 0 648496401 19558400 3846 4294967295 134512640 134714540 3221221776 3221220528 134592416 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4775 3846 1111 63 0 4712 0
vsize: 19100
[startup+880.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4152 0 0 0 87926 86 0 0 25 0 1 0 648496401 19558400 3846 4294967295 134512640 134714540 3221221776 3221220464 134542845 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4775 3846 1111 63 0 4712 0
vsize: 19100
[startup+890.034 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4152 0 0 0 88925 86 0 0 25 0 1 0 648496401 19558400 3846 4294967295 134512640 134714540 3221221776 3221220416 134696371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4775 3846 1111 63 0 4712 0
vsize: 19100
[startup+900.035 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4152 0 0 0 89925 86 0 0 25 0 1 0 648496401 19558400 3846 4294967295 134512640 134714540 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4775 3846 1111 63 0 4712 0
vsize: 19100
[startup+910.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4152 0 0 0 90925 87 0 0 25 0 1 0 648496401 19558400 3846 4294967295 134512640 134714540 3221221776 3221220692 134588439 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4775 3846 1111 63 0 4712 0
vsize: 19100
[startup+920.036 s]
Raw data (loadavg): 0.99 0.98 0.99 2/54 1856
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4306 0 0 0 91925 88 0 0 25 0 1 0 648496401 19734528 3904 4294967295 134512640 134714540 3221221776 3221220416 134539518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4818 3904 1111 63 0 4755 0
vsize: 19272
[startup+930.037 s]
Raw data (loadavg): 1.07 1.00 0.99 3/57 1895
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4306 0 0 0 92923 89 0 0 25 0 1 0 648496401 19734528 3904 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4818 3904 1111 63 0 4755 0
vsize: 19272
[startup+940.257 s]
Raw data (loadavg): 1.14 1.02 1.00 3/56 1903
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4306 0 0 0 93943 91 0 0 25 0 1 0 648496401 19734528 3904 4294967295 134512640 134714540 3221221776 3221220172 1077379863 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4818 3904 1111 63 0 4755 0
vsize: 19272
[startup+950.258 s]
Raw data (loadavg): 1.19 1.03 1.00 2/54 1909
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4306 0 0 0 94942 93 0 0 25 0 1 0 648496401 19734528 3904 4294967295 134512640 134714540 3221221776 3221220172 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4818 3904 1111 63 0 4755 0
vsize: 19272
[startup+960.257 s]
Raw data (loadavg): 1.16 1.03 1.00 2/54 1909
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 95940 94 0 0 25 0 1 0 648496401 20275200 4007 4294967295 134512640 134714540 3221221776 3221220384 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4007 1111 63 0 4887 0
vsize: 19800
[startup+970.257 s]
Raw data (loadavg): 1.14 1.03 1.00 2/54 1909
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 96939 95 0 0 25 0 1 0 648496401 20275200 4007 4294967295 134512640 134714540 3221221776 3221220492 134542828 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4007 1111 63 0 4887 0
vsize: 19800
[startup+980.258 s]
Raw data (loadavg): 1.12 1.03 1.00 2/54 1909
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 97939 96 0 0 25 0 1 0 648496401 20275200 4007 4294967295 134512640 134714540 3221221776 3221220308 1077374077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4007 1111 63 0 4887 0
vsize: 19800
[startup+990.259 s]
Raw data (loadavg): 1.10 1.03 1.00 2/54 1909
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 98938 96 0 0 25 0 1 0 648496401 20275200 4007 4294967295 134512640 134714540 3221221776 3221220524 134672920 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4007 1111 63 0 4887 0
vsize: 19800
[startup+1000.26 s]
Raw data (loadavg): 1.08 1.03 1.00 2/54 1909
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 99938 97 0 0 25 0 1 0 648496401 20275200 4007 4294967295 134512640 134714540 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4007 1111 63 0 4887 0
vsize: 19800
[startup+1010.26 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 100938 97 0 0 25 0 1 0 648496401 20275200 4007 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4007 1111 63 0 4887 0
vsize: 19800
[startup+1020.26 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 101937 98 0 0 25 0 1 0 648496401 20221952 4007 4294967295 134512640 134714540 3221221776 3221220172 1077379860 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4937 4007 1111 63 0 4874 0
vsize: 19748
[startup+1030.26 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 102936 99 0 0 25 0 1 0 648496401 20221952 4007 4294967295 134512640 134714540 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4937 4007 1111 63 0 4874 0
vsize: 19748
[startup+1040.26 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 103936 99 0 0 25 0 1 0 648496401 20221952 4007 4294967295 134512640 134714540 3221221776 3221220384 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4937 4007 1111 63 0 4874 0
vsize: 19748
[startup+1050.26 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 104936 100 0 0 25 0 1 0 648496401 20221952 4007 4294967295 134512640 134714540 3221221776 3221220560 134528883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4937 4007 1111 63 0 4874 0
vsize: 19748
[startup+1060.26 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 105936 100 0 0 25 0 1 0 648496401 20221952 4007 4294967295 134512640 134714540 3221221776 3221220324 134696726 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4937 4007 1111 63 0 4874 0
vsize: 19748
[startup+1070.26 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 106935 101 0 0 25 0 1 0 648496401 20221952 4007 4294967295 134512640 134714540 3221221776 3221220400 134696392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4937 4007 1111 63 0 4874 0
vsize: 19748
[startup+1080.26 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 107935 101 0 0 25 0 1 0 648496401 20221952 4007 4294967295 134512640 134714540 3221221776 3221220512 134524376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4937 4007 1111 63 0 4874 0
vsize: 19748
[startup+1090.26 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 108935 102 0 0 25 0 1 0 648496401 20221952 4007 4294967295 134512640 134714540 3221221776 3221220400 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4937 4007 1111 63 0 4874 0
vsize: 19748
[startup+1100.26 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 109934 102 0 0 25 0 1 0 648496401 20221952 4007 4294967295 134512640 134714540 3221221776 3221220364 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4937 4007 1111 63 0 4874 0
vsize: 19748
[startup+1110.26 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4409 0 0 0 110933 104 0 0 25 0 1 0 648496401 20221952 4007 4294967295 134512640 134714540 3221221776 3221220412 134552672 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4937 4007 1111 63 0 4874 0
vsize: 19748
[startup+1120.26 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 4537 0 0 0 111931 106 0 0 25 0 1 0 648496401 20373504 4060 4294967295 134512640 134714540 3221221776 3221220416 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4974 4060 1111 63 0 4911 0
vsize: 19896
[startup+1130.26 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 5145 0 0 0 112929 108 0 0 25 0 1 0 648496401 22937600 4668 4294967295 134512640 134714540 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5600 4668 1111 63 0 5537 0
vsize: 22400
[startup+1140.26 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 5719 0 0 0 113927 110 0 0 25 0 1 0 648496401 25235456 5242 4294967295 134512640 134714540 3221221776 3221220480 134528410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6161 5242 1111 63 0 6098 0
vsize: 24644
[startup+1150.26 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 6147 0 0 0 114926 111 0 0 25 0 1 0 648496401 27078656 5670 4294967295 134512640 134714540 3221221776 3221220480 134528656 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6611 5670 1111 63 0 6548 0
vsize: 26444
[startup+1160.26 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 6557 0 0 0 115925 113 0 0 25 0 1 0 648496401 28700672 6080 4294967295 134512640 134714540 3221221776 3221220356 134549630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7007 6080 1111 63 0 6944 0
vsize: 28028
[startup+1170.26 s]
Raw data (loadavg): 1.00 1.01 1.00 2/54 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 6834 0 0 0 116924 114 0 0 25 0 1 0 648496401 29728768 6344 4294967295 134512640 134714540 3221221776 3221220384 134523393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7258 6344 1111 63 0 7195 0
vsize: 29032
[startup+1174.93 s]
Raw data (loadavg): 1.00 1.01 1.00 1/53 1911
Raw data (stat): 1856 (bsolo_mis) R 1855 7876 7672 0 -1 0 6834 0 0 0 116924 114 0 0 25 0 1 0 648496401 29728768 6344 4294967295 134512640 134714540 3221221776 3221220384 134523393 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7258 6344 1111 63 0 7195 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.05
CPU user time (s): 1173.89
CPU system time (s): 1.16382
CPU usage (%): 100.01
Max. virtual memory (Kb): 29032
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####