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/mps-v2-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-ran6x43.opb
MD5SUM	795a1eda830447df9b9714fdf1d66b4e
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2795888
Optimality of the best value was proved	NO
Number of terms in the objective function	5418
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1537450315
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1537450315
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1224.65
Number of variables	5418
Total number of constraints	307
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	307
Minimum length of a constraint	21
Maximum length of a constraint	860
Trace number 25542

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-20 09:36:15 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19347 boxname=wulflinc31 idbench=1489 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  795a1eda830447df9b9714fdf1d66b4e  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran6x43.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-ran6x43.opb
IDLAUNCH: 19347
/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:        718464 kB
Buffers:         17424 kB
Cached:         278452 kB
SwapCached:        944 kB
Active:         182884 kB
Inactive:       115124 kB
HighTotal:      131008 kB
HighFree:          364 kB
LowTotal:       903652 kB
LowFree:        718100 kB
SwapTotal:     2097892 kB
SwapFree:      2095936 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5088 kB
Slab:            12568 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-20 09:55:51 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 19347 7 1175.04 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 5418 variables and 356 constraints.
c After prepocess the problem consists of 2953 variables and 356 constraints.
c preprocess terminated 4.793 s
c Initial Lower Bound: 177
c Lower Bound Elapsed time: 0
c 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.98 2/55 30847
Raw data (stat): 30847 (runsolver) R 30846 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 794622671 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.0002 s]
Raw data (loadavg): 0.93 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 6583 0 0 0 981 15 0 0 25 0 1 0 794622671 30658560 6537 4294967295 134512640 134714540 3221221776 3221220576 134611401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7485 6537 1111 63 0 7422 0
vsize: 29940
[startup+20 s]
Raw data (loadavg): 0.94 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 6596 0 0 0 1980 16 0 0 25 0 1 0 794622671 30658560 6550 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7485 6550 1111 63 0 7422 0
vsize: 29940
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7369 0 0 0 2977 19 0 0 25 0 1 0 794622671 33865728 7323 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8268 7323 1111 63 0 8205 0
vsize: 33072
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7369 0 0 0 3975 22 0 0 25 0 1 0 794622671 33865728 7323 4294967295 134512640 134714540 3221221776 3221220344 1077377398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8268 7323 1111 63 0 8205 0
vsize: 33072
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7369 0 0 0 4974 23 0 0 25 0 1 0 794622671 33865728 7323 4294967295 134512640 134714540 3221221776 3221220456 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8268 7323 1111 63 0 8205 0
vsize: 33072
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7369 0 0 0 5972 24 0 0 25 0 1 0 794622671 33865728 7323 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8268 7323 1111 63 0 8205 0
vsize: 33072
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7369 0 0 0 6972 25 0 0 25 0 1 0 794622671 33865728 7323 4294967295 134512640 134714540 3221221776 3221220432 134613585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8268 7323 1111 63 0 8205 0
vsize: 33072
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7369 0 0 0 7970 27 0 0 25 0 1 0 794622671 33865728 7323 4294967295 134512640 134714540 3221221776 3221220512 134591946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8268 7323 1111 63 0 8205 0
vsize: 33072
[startup+90.0026 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7437 0 0 0 8969 28 0 0 25 0 1 0 794622671 34136064 7391 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8334 7391 1111 63 0 8271 0
vsize: 33336
[startup+100.003 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7460 0 0 0 9968 29 0 0 25 0 1 0 794622671 34271232 7414 4294967295 134512640 134714540 3221221776 3221220536 134592433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7414 1111 63 0 8304 0
vsize: 33468
[startup+110.003 s]
Raw data (loadavg): 0.98 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7460 0 0 0 10967 31 0 0 25 0 1 0 794622671 34271232 7414 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7414 1111 63 0 8304 0
vsize: 33468
[startup+120.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7460 0 0 0 11966 32 0 0 25 0 1 0 794622671 34271232 7414 4294967295 134512640 134714540 3221221776 3221220572 134543540 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7414 1111 63 0 8304 0
vsize: 33468
[startup+130.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7462 0 0 0 12965 33 0 0 25 0 1 0 794622671 34271232 7416 4294967295 134512640 134714540 3221221776 3221220544 134542598 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7416 1111 63 0 8304 0
vsize: 33468
[startup+140.003 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7463 0 0 0 13964 34 0 0 25 0 1 0 794622671 34271232 7417 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7417 1111 63 0 8304 0
vsize: 33468
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7463 0 0 0 14963 35 0 0 25 0 1 0 794622671 34271232 7417 4294967295 134512640 134714540 3221221776 3221220252 1076533124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7417 1111 63 0 8304 0
vsize: 33468
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7463 0 0 0 15961 37 0 0 25 0 1 0 794622671 34271232 7417 4294967295 134512640 134714540 3221221776 3221220512 134695294 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7417 1111 63 0 8304 0
vsize: 33468
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7463 0 0 0 16960 38 0 0 25 0 1 0 794622671 34271232 7417 4294967295 134512640 134714540 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7417 1111 63 0 8304 0
vsize: 33468
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 17959 40 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220524 134535537 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+190.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 18958 41 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220568 134558585 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+200.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 19957 42 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+210.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 20956 43 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220528 134592421 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+220.004 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 21955 45 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220496 134556725 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 22954 46 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220268 1076647546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+240.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 23953 46 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+250.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 24952 48 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+260.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 25951 49 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+270.005 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 26950 51 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220356 1077378621 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 27948 52 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220416 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+290.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 28947 54 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+300.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 29945 55 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220536 134543187 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+310.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 30944 57 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220336 134540022 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+320.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 31943 58 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220464 134534089 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+330.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 32941 60 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220416 134535026 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+340.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 33940 61 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220416 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 34939 63 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220400 1076999581 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+360.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 35938 64 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+370.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 36937 65 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+380.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 37936 67 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+390.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 38934 68 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220544 134592449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+400.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 39933 70 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+410.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 40931 72 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220520 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+420.006 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 41930 73 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220456 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+430.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 42928 75 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220416 134538795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+440.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 43926 77 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220520 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+450.007 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 44925 79 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220416 134613424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+460.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 45923 81 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+470.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 46922 82 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220344 1077378310 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+480.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 47920 84 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220104 1077378091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+490.008 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 48918 86 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+500.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 49916 88 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+510.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 50915 89 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220400 134696055 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+520.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 51913 91 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220368 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+530.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 52912 93 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220412 134523384 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+540.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7465 0 0 0 53911 94 0 0 25 0 1 0 794622671 34271232 7419 4294967295 134512640 134714540 3221221776 3221220524 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7419 1111 63 0 8304 0
vsize: 33468
[startup+550.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7475 0 0 0 54909 96 0 0 25 0 1 0 794622671 34271232 7429 4294967295 134512640 134714540 3221221776 3221220532 134592387 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8367 7429 1111 63 0 8304 0
vsize: 33468
[startup+560.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7488 0 0 0 55908 97 0 0 25 0 1 0 794622671 34406400 7442 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7442 1111 63 0 8337 0
vsize: 33600
[startup+570.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7488 0 0 0 56907 98 0 0 25 0 1 0 794622671 34406400 7442 4294967295 134512640 134714540 3221221776 3221220424 134538739 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7442 1111 63 0 8337 0
vsize: 33600
[startup+580.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7488 0 0 0 57906 99 0 0 25 0 1 0 794622671 34406400 7442 4294967295 134512640 134714540 3221221776 3221220440 134672929 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7442 1111 63 0 8337 0
vsize: 33600
[startup+590.009 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7488 0 0 0 58905 101 0 0 25 0 1 0 794622671 34406400 7442 4294967295 134512640 134714540 3221221776 3221220500 1076647544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7442 1111 63 0 8337 0
vsize: 33600
[startup+600.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7491 0 0 0 59904 102 0 0 25 0 1 0 794622671 34406400 7445 4294967295 134512640 134714540 3221221776 3221220504 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7445 1111 63 0 8337 0
vsize: 33600
[startup+610.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7491 0 0 0 60902 103 0 0 25 0 1 0 794622671 34406400 7445 4294967295 134512640 134714540 3221221776 3221220408 134696348 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7445 1111 63 0 8337 0
vsize: 33600
[startup+620.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7492 0 0 0 61901 105 0 0 25 0 1 0 794622671 34406400 7446 4294967295 134512640 134714540 3221221776 3221220416 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7446 1111 63 0 8337 0
vsize: 33600
[startup+630.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7492 0 0 0 62900 106 0 0 25 0 1 0 794622671 34406400 7446 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7446 1111 63 0 8337 0
vsize: 33600
[startup+640.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7492 0 0 0 63900 107 0 0 25 0 1 0 794622671 34406400 7446 4294967295 134512640 134714540 3221221776 3221220428 134535483 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7446 1111 63 0 8337 0
vsize: 33600
[startup+650.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7492 0 0 0 64898 108 0 0 25 0 1 0 794622671 34406400 7446 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7446 1111 63 0 8337 0
vsize: 33600
[startup+660.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7492 0 0 0 65897 110 0 0 25 0 1 0 794622671 34406400 7446 4294967295 134512640 134714540 3221221776 3221220524 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7446 1111 63 0 8337 0
vsize: 33600
[startup+670.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7492 0 0 0 66896 111 0 0 25 0 1 0 794622671 34406400 7446 4294967295 134512640 134714540 3221221776 3221220448 134524436 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7446 1111 63 0 8337 0
vsize: 33600
[startup+680.01 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7492 0 0 0 67895 112 0 0 25 0 1 0 794622671 34406400 7446 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7446 1111 63 0 8337 0
vsize: 33600
[startup+690.011 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7492 0 0 0 68894 113 0 0 25 0 1 0 794622671 34406400 7446 4294967295 134512640 134714540 3221221776 3221220424 134535015 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7446 1111 63 0 8337 0
vsize: 33600
[startup+700.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7492 0 0 0 69892 115 0 0 25 0 1 0 794622671 34406400 7446 4294967295 134512640 134714540 3221221776 3221220336 134539757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7446 1111 63 0 8337 0
vsize: 33600
[startup+710.012 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7492 0 0 0 70891 116 0 0 25 0 1 0 794622671 34406400 7446 4294967295 134512640 134714540 3221221776 3221220508 134532440 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7446 1111 63 0 8337 0
vsize: 33600
[startup+720.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7492 0 0 0 71890 118 0 0 25 0 1 0 794622671 34406400 7446 4294967295 134512640 134714540 3221221776 3221220416 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7446 1111 63 0 8337 0
vsize: 33600
[startup+730.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7501 0 0 0 72889 119 0 0 25 0 1 0 794622671 34406400 7455 4294967295 134512640 134714540 3221221776 3221220368 134543738 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7455 1111 63 0 8337 0
vsize: 33600
[startup+740.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7501 0 0 0 73887 121 0 0 25 0 1 0 794622671 34406400 7455 4294967295 134512640 134714540 3221221776 3221220544 134592449 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7455 1111 63 0 8337 0
vsize: 33600
[startup+750.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7508 0 0 0 74886 122 0 0 25 0 1 0 794622671 34406400 7462 4294967295 134512640 134714540 3221221776 3221220572 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7462 1111 63 0 8337 0
vsize: 33600
[startup+760.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7508 0 0 0 75885 123 0 0 25 0 1 0 794622671 34406400 7462 4294967295 134512640 134714540 3221221776 3221220544 134592107 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7462 1111 63 0 8337 0
vsize: 33600
[startup+770.013 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7509 0 0 0 76884 125 0 0 25 0 1 0 794622671 34406400 7463 4294967295 134512640 134714540 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8400 7463 1111 63 0 8337 0
vsize: 33600
[startup+780.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7513 0 0 0 77883 126 0 0 25 0 1 0 794622671 34516992 7467 4294967295 134512640 134714540 3221221776 3221220280 134613962 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7467 1111 63 0 8364 0
vsize: 33708
[startup+790.014 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7513 0 0 0 78882 127 0 0 25 0 1 0 794622671 34516992 7467 4294967295 134512640 134714540 3221221776 3221220416 134696117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7467 1111 63 0 8364 0
vsize: 33708
[startup+800.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7513 0 0 0 79881 128 0 0 25 0 1 0 794622671 34516992 7467 4294967295 134512640 134714540 3221221776 3221220496 134556671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7467 1111 63 0 8364 0
vsize: 33708
[startup+810.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7513 0 0 0 80881 129 0 0 25 0 1 0 794622671 34516992 7467 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7467 1111 63 0 8364 0
vsize: 33708
[startup+820.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7513 0 0 0 81880 130 0 0 25 0 1 0 794622671 34516992 7467 4294967295 134512640 134714540 3221221776 3221220520 134672929 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7467 1111 63 0 8364 0
vsize: 33708
[startup+830.015 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7513 0 0 0 82879 131 0 0 25 0 1 0 794622671 34516992 7467 4294967295 134512640 134714540 3221221776 3221220336 134539628 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7467 1111 63 0 8364 0
vsize: 33708
[startup+840.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7513 0 0 0 83878 132 0 0 25 0 1 0 794622671 34516992 7467 4294967295 134512640 134714540 3221221776 3221220336 134539608 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7467 1111 63 0 8364 0
vsize: 33708
[startup+850.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7513 0 0 0 84877 133 0 0 25 0 1 0 794622671 34516992 7467 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7467 1111 63 0 8364 0
vsize: 33708
[startup+860.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7513 0 0 0 85877 134 0 0 25 0 1 0 794622671 34516992 7467 4294967295 134512640 134714540 3221221776 3221220440 134672933 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7467 1111 63 0 8364 0
vsize: 33708
[startup+870.016 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 86876 135 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220524 134535509 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+880.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 87875 135 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+890.017 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 88874 136 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220336 134540480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+900.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 89873 138 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220512 134591946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+910.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 90873 139 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220416 134613431 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+920.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 91872 140 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220344 1077377272 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+930.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 92871 141 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220448 134524436 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+940.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 93869 143 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220184 134697505 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+950.02 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 94868 144 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220536 134592385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+960.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 95868 145 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220464 134594338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+970.024 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 96867 146 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+980.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 97867 147 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+990.025 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 98865 148 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220544 134624789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 99864 149 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220520 134558492 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 100864 150 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 101863 151 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220520 134672932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7522 0 0 0 102861 153 0 0 25 0 1 0 794622671 34516992 7476 4294967295 134512640 134714540 3221221776 3221220496 134591847 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7476 1111 63 0 8364 0
vsize: 33708
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7523 0 0 0 103861 153 0 0 25 0 1 0 794622671 34516992 7477 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7477 1111 63 0 8364 0
vsize: 33708
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7523 0 0 0 104860 154 0 0 25 0 1 0 794622671 34516992 7477 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7477 1111 63 0 8364 0
vsize: 33708
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7523 0 0 0 105860 155 0 0 25 0 1 0 794622671 34516992 7477 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7477 1111 63 0 8364 0
vsize: 33708
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7523 0 0 0 106859 156 0 0 25 0 1 0 794622671 34516992 7477 4294967295 134512640 134714540 3221221776 3221220060 1077379843 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7477 1111 63 0 8364 0
vsize: 33708
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7523 0 0 0 107859 156 0 0 25 0 1 0 794622671 34516992 7477 4294967295 134512640 134714540 3221221776 3221220456 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7477 1111 63 0 8364 0
vsize: 33708
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7523 0 0 0 108858 157 0 0 25 0 1 0 794622671 34516992 7477 4294967295 134512640 134714540 3221221776 3221220520 134672944 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7477 1111 63 0 8364 0
vsize: 33708
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7523 0 0 0 109858 158 0 0 25 0 1 0 794622671 34516992 7477 4294967295 134512640 134714540 3221221776 3221220416 134535032 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7477 1111 63 0 8364 0
vsize: 33708
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7531 0 0 0 110857 159 0 0 25 0 1 0 794622671 34516992 7485 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7485 1111 63 0 8364 0
vsize: 33708
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7531 0 0 0 111856 160 0 0 25 0 1 0 794622671 34516992 7485 4294967295 134512640 134714540 3221221776 3221220416 134696371 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7485 1111 63 0 8364 0
vsize: 33708
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7531 0 0 0 112855 161 0 0 25 0 1 0 794622671 34516992 7485 4294967295 134512640 134714540 3221221776 3221220524 134535671 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7485 1111 63 0 8364 0
vsize: 33708
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7531 0 0 0 113855 162 0 0 25 0 1 0 794622671 34516992 7485 4294967295 134512640 134714540 3221221776 3221220544 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7485 1111 63 0 8364 0
vsize: 33708
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7531 0 0 0 114854 162 0 0 25 0 1 0 794622671 34516992 7485 4294967295 134512640 134714540 3221221776 3221220400 134535442 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7485 1111 63 0 8364 0
vsize: 33708
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.98 2/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7531 0 0 0 115853 164 0 0 25 0 1 0 794622671 34516992 7485 4294967295 134512640 134714540 3221221776 3221220416 134538875 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7485 1111 63 0 8364 0
vsize: 33708
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.98 3/55 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7531 0 0 0 116852 165 0 0 25 0 1 0 794622671 34516992 7485 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7485 1111 63 0 8364 0
vsize: 33708
[startup+1174.9 s]
Raw data (loadavg): 0.99 0.98 0.98 1/54 30847
Raw data (stat): 30847 (bsolo_mis) R 30846 7876 7672 0 -1 0 7531 0 0 0 116852 165 0 0 25 0 1 0 794622671 34516992 7485 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8427 7485 1111 63 0 8364 0
vsize: 0

Child status: 0
Real time (s): 1174.9
CPU time (s): 1175.04
CPU user time (s): 1173.37
CPU system time (s): 1.67774
CPU usage (%): 100.012
Max. virtual memory (Kb): 33708
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####