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/manquinho/primes-dimacs-cnf/normalized-g125.17.opb
MD5SUM	ed503628984a48598e5d5a4b8388e97a
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	4250
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	4250
Number of bits of the sum of numbers in the objective function	13
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	4250
Number of bits of the biggest sum of numbers	13
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4250
Total number of constraints	68397
Number of constraints which are clauses	68397
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	17
Trace number 23789

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 20:43:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1164 boxname=wulflinc31 idbench=130 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ed503628984a48598e5d5a4b8388e97a  /oldhome/oroussel/tmp/wulflinc31/normalized-g125.17.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-g125.17.opb
IDLAUNCH: 1164
/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:        903292 kB
Buffers:         44724 kB
Cached:          63948 kB
SwapCached:        944 kB
Active:          90380 kB
Inactive:        20756 kB
HighTotal:      131008 kB
HighFree:        66080 kB
LowTotal:       903652 kB
LowFree:        837212 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14544 kB
Committed_AS:    63616 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 21:03:31 (client local time) WITH STATUS 0 IN 1175.24 SECONDS
stats: 1164 7 1175.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 4250 variables and 68397 constraints.
c After prepocess the problem consists of 4250 variables and 68397 constraints.
c preprocess terminated 413.878 s
c Initial Lower Bound: 125
c Lower Bound Elapsed time: 0
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.13 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.85 0.95 0.98 2/54 6166
Raw data (stat): 6166 (runsolver) R 6165 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 660373269 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 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.001 s]
Raw data (loadavg): 0.88 0.95 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 41677 0 0 0 886 110 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+20.002 s]
Raw data (loadavg): 0.89 0.95 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 68841 0 0 0 1818 178 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+30.0034 s]
Raw data (loadavg): 0.91 0.95 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 102165 0 0 0 2731 265 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+40.0038 s]
Raw data (loadavg): 0.92 0.95 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 133655 0 0 0 3653 344 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220400 134529115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+50.0048 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 152967 0 0 0 4606 390 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+60.0057 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 164715 0 0 0 5578 419 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220432 134606485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+70.0066 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 6530 467 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220524 134672949 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+80.0066 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 7530 467 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220432 134606498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+90.0081 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 8530 467 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+100.009 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 9529 468 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+110.009 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 10529 469 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+120.01 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 11529 469 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220432 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+130.01 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 12528 469 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220296 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+140.01 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 13528 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220156 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+150.011 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 14528 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+160.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 15528 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220420 134594953 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+170.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 16528 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220404 134557806 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+180.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 17528 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220368 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+190.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 18528 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220272 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 19529 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220252 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+210.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 20529 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220408 134543793 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+220.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 21529 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220176 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+230.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 22529 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220176 134542362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 23529 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 24530 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+260.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 25530 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220272 134524137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 26530 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 27530 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 28530 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220272 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 29530 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220408 134543834 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 30531 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220176 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 31531 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220272 134542344 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 32531 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220408 134536897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 33531 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220368 134535821 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 34531 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220284 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 35531 470 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220176 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 36531 471 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220156 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 37531 471 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220208 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+390.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 38531 471 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220272 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 183781 0 0 0 39531 471 0 0 25 0 1 0 660373269 174391296 41641 4294967295 134512640 134714540 3221221792 3221220184 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42576 41641 1111 63 0 42513 0
vsize: 170304
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184319 0 0 0 40530 472 0 0 25 0 1 0 660373269 176586752 42179 4294967295 134512640 134714540 3221221792 3221220592 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42179 1111 63 0 43049 0
vsize: 172448
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 41530 473 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134524124 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 42530 473 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+440.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 43530 473 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220384 134542677 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 44530 473 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 45530 473 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220424 134543090 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 46530 473 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 47530 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 48530 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 49530 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134543108 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 50530 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 51530 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 52531 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220332 134539217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 53531 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220516 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 54531 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 55531 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 56531 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220416 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 57531 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220512 134535757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 58531 474 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220508 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+600.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 59531 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 60531 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 61532 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220460 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 62532 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+640.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 63532 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220528 134558542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+650.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 64532 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 65532 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220332 134539301 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 66532 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 67532 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+690.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 68532 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220456 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 69533 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+710.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 70533 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220456 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+720.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 71533 475 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134613454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+730.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 72533 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 73533 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220496 134535807 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 74533 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 75533 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220428 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+770.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 76533 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220472 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 77533 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134696043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+790.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 78533 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220448 134543735 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 79533 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220496 134528687 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+810.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 80534 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220560 134584757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+820.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 81534 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+830.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 82534 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220576 134528943 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+840.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 83534 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220552 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 84534 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220360 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 85534 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 86534 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 87534 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+890.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 88535 476 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+900.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 89535 477 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 90535 477 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220384 134542717 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+920.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 91535 477 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220376 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+930.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 92535 477 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220528 134594954 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+940.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 93536 477 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220328 134613763 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+950.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 94536 477 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+960.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 95536 477 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220384 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+970.039 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 6166
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 96536 477 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+980.039 s]
Raw data (loadavg): 1.22 1.02 1.00 2/58 6209
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 97535 477 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220456 134543652 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+990.104 s]
Raw data (loadavg): 1.27 1.04 1.01 2/58 6219
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 98542 478 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1000.1 s]
Raw data (loadavg): 1.23 1.03 1.00 2/54 6219
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 99542 478 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220464 134551968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1010.11 s]
Raw data (loadavg): 1.19 1.03 1.00 2/54 6219
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 100542 478 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220564 134529375 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1020.11 s]
Raw data (loadavg): 1.16 1.03 1.00 2/54 6219
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 101542 478 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220408 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1030.1 s]
Raw data (loadavg): 1.14 1.03 1.00 2/54 6219
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 102542 478 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1040.1 s]
Raw data (loadavg): 1.11 1.03 1.00 2/54 6219
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 103542 479 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1050.11 s]
Raw data (loadavg): 1.10 1.03 1.00 2/54 6219
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 104542 479 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220560 134529281 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1060.11 s]
Raw data (loadavg): 1.08 1.03 1.00 2/54 6219
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 105542 479 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220416 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1070.11 s]
Raw data (loadavg): 1.07 1.02 1.00 2/54 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 106542 479 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220384 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1080.11 s]
Raw data (loadavg): 1.06 1.02 1.00 2/54 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 107542 479 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220368 134542694 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1090.11 s]
Raw data (loadavg): 1.05 1.02 1.00 2/54 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 108542 479 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1100.11 s]
Raw data (loadavg): 1.04 1.02 1.00 2/54 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 109542 479 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220384 134542668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1110.11 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 110542 479 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220352 134542342 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1120.11 s]
Raw data (loadavg): 1.03 1.02 1.00 2/54 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 111542 480 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220496 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1130.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 112542 480 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1140.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 113542 480 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220448 134536591 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1150.11 s]
Raw data (loadavg): 1.02 1.02 1.00 2/54 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 114543 480 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1160.11 s]
Raw data (loadavg): 1.01 1.02 1.00 2/54 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 115543 480 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1170.11 s]
Raw data (loadavg): 1.01 1.01 1.00 2/54 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 116543 480 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220584 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 172448
[startup+1175.11 s]
Raw data (loadavg): 1.01 1.01 1.00 1/53 6221
Raw data (stat): 6166 (bsolo_mis) R 6165 7876 7672 0 -1 0 184334 0 0 0 116543 480 0 0 25 0 1 0 660373269 176586752 42194 4294967295 134512640 134714540 3221221792 3221220584 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43112 42194 1111 63 0 43049 0
vsize: 0

Child status: 0
Real time (s): 1175.11
CPU time (s): 1175.24
CPU user time (s): 1170.35
CPU system time (s): 4.88426
CPU usage (%): 100.011
Max. virtual memory (Kb): 172448
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####