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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:3-13,25,26.opb
MD5SUM	85cf0fb6ed84e77eea7ef88259fe2fe8
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	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	104
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	16.5575
Number of variables	4644
Total number of constraints	35898
Number of constraints which are clauses	30228
Number of constraints which are cardinality constraints (but not clauses)	5592
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 24944

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 04:47:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3243 boxname=wulflinc31 idbench=361 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  85cf0fb6ed84e77eea7ef88259fe2fe8  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:3-13,25,26.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:3-13,25,26.opb
IDLAUNCH: 3243
/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:        817380 kB
Buffers:         40620 kB
Cached:         154648 kB
SwapCached:       1932 kB
Active:         159940 kB
Inactive:        38528 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        817128 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            13044 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 05:07:33 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 3243 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4644 variables and 31428 constraints.
c After prepocess the problem consists of 4644 variables and 31428 constraints.
c preprocess terminated 57.514 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): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (runsolver) R 31309 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 749687722 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.0017 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 39434 0 0 0 898 98 0 0 25 0 1 0 749687722 52580352 11900 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12837 11900 1111 63 0 12774 0
vsize: 51348
[startup+20.0021 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 66143 0 0 0 1829 168 0 0 25 0 1 0 749687722 70664192 16315 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16315 1111 63 0 17189 0
vsize: 69008
[startup+30.0018 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 79047 0 0 0 2797 199 0 0 25 0 1 0 749687722 70664192 16315 4294967295 134512640 134714540 3221221792 3221220592 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16315 1111 63 0 17189 0
vsize: 69008
[startup+40.002 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 91804 0 0 0 3763 234 0 0 25 0 1 0 749687722 70664192 16315 4294967295 134512640 134714540 3221221792 3221220320 134542848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16315 1111 63 0 17189 0
vsize: 69008
[startup+50.0025 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 114329 0 0 0 4704 292 0 0 25 0 1 0 749687722 70664192 16315 4294967295 134512640 134714540 3221221792 3221220432 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16315 1111 63 0 17189 0
vsize: 69008
[startup+60.0033 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135304 0 0 0 5652 345 0 0 25 0 1 0 749687722 70664192 16332 4294967295 134512640 134714540 3221221792 3221220408 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16332 1111 63 0 17189 0
vsize: 69008
[startup+70.0045 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 6649 348 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220384 134696117 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+80.0049 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 7648 349 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220496 134528449 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+90.0047 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 8646 351 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220432 134539460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+100.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 9645 353 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220540 134543155 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+110.005 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 10643 355 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220400 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+120.006 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 11642 356 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220188 1077379848 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+130.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 12641 357 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220400 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+140.007 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 13639 359 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220196 134697228 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+150.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 14638 360 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+160.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 15638 361 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+170.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 16637 362 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+180.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 17637 362 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+190.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 18637 362 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+200.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 19636 363 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220576 134529365 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+210.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 20636 363 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+220.009 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 21636 364 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220560 134529115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+230.008 s]
Raw data (loadavg): 1.00 0.98 0.99 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 22635 364 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+240.008 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 23635 365 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220400 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+250.009 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 24634 366 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+260.009 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 25633 367 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220432 134539437 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+270.009 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135305 0 0 0 26633 367 0 0 25 0 1 0 749687722 70664192 16333 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16333 1111 63 0 17189 0
vsize: 69008
[startup+280.009 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135416 0 0 0 27632 368 0 0 25 0 1 0 749687722 71204864 16444 4294967295 134512640 134714540 3221221792 3221220384 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17384 16444 1111 63 0 17321 0
vsize: 69536
[startup+290.01 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135629 0 0 0 28631 369 0 0 25 0 1 0 749687722 72101888 16657 4294967295 134512640 134714540 3221221792 3221220472 134542961 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17603 16657 1111 63 0 17540 0
vsize: 70412
[startup+300.01 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135761 0 0 0 29630 370 0 0 25 0 1 0 749687722 72626176 16789 4294967295 134512640 134714540 3221221792 3221220400 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17731 16789 1111 63 0 17668 0
vsize: 70924
[startup+310.01 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 135875 0 0 0 30630 371 0 0 25 0 1 0 749687722 73031680 16903 4294967295 134512640 134714540 3221221792 3221220372 134549630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17830 16903 1111 63 0 17767 0
vsize: 71320
[startup+320.01 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136026 0 0 0 31629 372 0 0 25 0 1 0 749687722 73707520 17054 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17995 17054 1111 63 0 17932 0
vsize: 71980
[startup+330.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136116 0 0 0 32628 373 0 0 25 0 1 0 749687722 74072064 17144 4294967295 134512640 134714540 3221221792 3221220516 134535789 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18084 17144 1111 63 0 18021 0
vsize: 72336
[startup+340.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136208 0 0 0 33628 373 0 0 25 0 1 0 749687722 74473472 17236 4294967295 134512640 134714540 3221221792 3221220512 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18182 17236 1111 63 0 18119 0
vsize: 72728
[startup+350.009 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136330 0 0 0 34628 374 0 0 25 0 1 0 749687722 74878976 17358 4294967295 134512640 134714540 3221221792 3221220304 134535433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18281 17358 1111 63 0 18218 0
vsize: 73124
[startup+360.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136358 0 0 0 35627 374 0 0 25 0 1 0 749687722 75014144 17386 4294967295 134512640 134714540 3221221792 3221220504 134552678 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18314 17386 1111 63 0 18251 0
vsize: 73256
[startup+370.01 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136421 0 0 0 36627 375 0 0 25 0 1 0 749687722 75284480 17449 4294967295 134512640 134714540 3221221792 3221220384 134549541 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18380 17449 1111 63 0 18317 0
vsize: 73520
[startup+380.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136514 0 0 0 37626 376 0 0 25 0 1 0 749687722 75689984 17542 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18479 17542 1111 63 0 18416 0
vsize: 73916
[startup+390.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136553 0 0 0 38625 377 0 0 25 0 1 0 749687722 75825152 17581 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18512 17581 1111 63 0 18449 0
vsize: 74048
[startup+400.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136587 0 0 0 39624 378 0 0 25 0 1 0 749687722 75960320 17615 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18545 17615 1111 63 0 18482 0
vsize: 74180
[startup+410.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136634 0 0 0 40624 378 0 0 25 0 1 0 749687722 76230656 17662 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18611 17662 1111 63 0 18548 0
vsize: 74444
[startup+420.011 s]
Raw data (loadavg): 1.07 1.02 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136699 0 0 0 41623 379 0 0 25 0 1 0 749687722 76500992 17727 4294967295 134512640 134714540 3221221792 3221220396 134536784 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18677 17727 1111 63 0 18614 0
vsize: 74708
[startup+430.011 s]
Raw data (loadavg): 1.06 1.02 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136699 0 0 0 42623 380 0 0 25 0 1 0 749687722 76500992 17727 4294967295 134512640 134714540 3221221792 3221220480 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18677 17727 1111 63 0 18614 0
vsize: 74708
[startup+440.012 s]
Raw data (loadavg): 1.05 1.01 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136752 0 0 0 43622 381 0 0 25 0 1 0 749687722 76636160 17780 4294967295 134512640 134714540 3221221792 3221220376 134543606 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18710 17780 1111 63 0 18647 0
vsize: 74840
[startup+450.012 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136824 0 0 0 44621 383 0 0 25 0 1 0 749687722 76906496 17852 4294967295 134512640 134714540 3221221792 3221220464 134542968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18776 17852 1111 63 0 18713 0
vsize: 75104
[startup+460.012 s]
Raw data (loadavg): 1.04 1.01 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 136907 0 0 0 45620 384 0 0 25 0 1 0 749687722 77312000 17935 4294967295 134512640 134714540 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18875 17935 1111 63 0 18812 0
vsize: 75500
[startup+470.013 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 137158 0 0 0 46619 385 0 0 25 0 1 0 749687722 78258176 18186 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19106 18186 1111 63 0 19043 0
vsize: 76424
[startup+480.012 s]
Raw data (loadavg): 1.03 1.01 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 137387 0 0 0 47618 386 0 0 25 0 1 0 749687722 79196160 18415 4294967295 134512640 134714540 3221221792 3221220576 134529318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19335 18415 1111 63 0 19272 0
vsize: 77340
[startup+490.013 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 137603 0 0 0 48616 388 0 0 25 0 1 0 749687722 80113664 18631 4294967295 134512640 134714540 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19559 18631 1111 63 0 19496 0
vsize: 78236
[startup+500.014 s]
Raw data (loadavg): 1.02 1.01 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 137772 0 0 0 49615 389 0 0 25 0 1 0 749687722 80781312 18800 4294967295 134512640 134714540 3221221792 3221220400 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19722 18800 1111 63 0 19659 0
vsize: 78888
[startup+510.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 137861 0 0 0 50615 389 0 0 25 0 1 0 749687722 81186816 18889 4294967295 134512640 134714540 3221221792 3221220428 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19821 18889 1111 63 0 19758 0
vsize: 79284
[startup+520.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 137891 0 0 0 51614 390 0 0 25 0 1 0 749687722 81321984 18919 4294967295 134512640 134714540 3221221792 3221220416 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19854 18919 1111 63 0 19791 0
vsize: 79416
[startup+530.014 s]
Raw data (loadavg): 1.01 1.01 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 137946 0 0 0 52614 391 0 0 25 0 1 0 749687722 81547264 18974 4294967295 134512640 134714540 3221221792 3221220432 134536698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19909 18974 1111 63 0 19846 0
vsize: 79636
[startup+540.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138088 0 0 0 53613 392 0 0 25 0 1 0 749687722 82067456 19116 4294967295 134512640 134714540 3221221792 3221220496 134528617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20036 19116 1111 63 0 19973 0
vsize: 80144
[startup+550.015 s]
Raw data (loadavg): 1.01 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138124 0 0 0 54612 393 0 0 25 0 1 0 749687722 82337792 19152 4294967295 134512640 134714540 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20102 19152 1111 63 0 20039 0
vsize: 80408
[startup+560.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138250 0 0 0 55611 394 0 0 25 0 1 0 749687722 82735104 19278 4294967295 134512640 134714540 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20199 19278 1111 63 0 20136 0
vsize: 80796
[startup+570.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138346 0 0 0 56611 395 0 0 25 0 1 0 749687722 83243008 19374 4294967295 134512640 134714540 3221221792 3221220624 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20323 19374 1111 63 0 20260 0
vsize: 81292
[startup+580.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138391 0 0 0 57610 395 0 0 25 0 1 0 749687722 83378176 19419 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20356 19419 1111 63 0 20293 0
vsize: 81424
[startup+590.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138428 0 0 0 58610 396 0 0 25 0 1 0 749687722 83513344 19456 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20389 19456 1111 63 0 20326 0
vsize: 81556
[startup+600.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138492 0 0 0 59609 397 0 0 25 0 1 0 749687722 83783680 19520 4294967295 134512640 134714540 3221221792 3221220400 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20455 19520 1111 63 0 20392 0
vsize: 81820
[startup+610.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138501 0 0 0 60609 398 0 0 25 0 1 0 749687722 83783680 19529 4294967295 134512640 134714540 3221221792 3221220400 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20455 19529 1111 63 0 20392 0
vsize: 81820
[startup+620.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138526 0 0 0 61608 398 0 0 25 0 1 0 749687722 83894272 19554 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20482 19554 1111 63 0 20419 0
vsize: 81928
[startup+630.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138568 0 0 0 62608 399 0 0 25 0 1 0 749687722 84029440 19596 4294967295 134512640 134714540 3221221792 3221220532 134591993 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20515 19596 1111 63 0 20452 0
vsize: 82060
[startup+640.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138620 0 0 0 63607 400 0 0 25 0 1 0 749687722 84279296 19648 4294967295 134512640 134714540 3221221792 3221220448 134536730 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20576 19648 1111 63 0 20513 0
vsize: 82304
[startup+650.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138760 0 0 0 64606 401 0 0 25 0 1 0 749687722 84819968 19788 4294967295 134512640 134714540 3221221792 3221220528 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20708 19788 1111 63 0 20645 0
vsize: 82832
[startup+660.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138803 0 0 0 65606 402 0 0 25 0 1 0 749687722 85090304 19831 4294967295 134512640 134714540 3221221792 3221220576 134529177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20774 19831 1111 63 0 20711 0
vsize: 83096
[startup+670.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138859 0 0 0 66605 402 0 0 25 0 1 0 749687722 85225472 19887 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20807 19887 1111 63 0 20744 0
vsize: 83228
[startup+680.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138868 0 0 0 67605 403 0 0 25 0 1 0 749687722 85360640 19896 4294967295 134512640 134714540 3221221792 3221220576 134584852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20840 19896 1111 63 0 20777 0
vsize: 83360
[startup+690.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138892 0 0 0 68605 403 0 0 25 0 1 0 749687722 85360640 19920 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20840 19920 1111 63 0 20777 0
vsize: 83360
[startup+700.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138938 0 0 0 69604 404 0 0 25 0 1 0 749687722 85630976 19966 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20906 19966 1111 63 0 20843 0
vsize: 83624
[startup+710.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 138974 0 0 0 70604 404 0 0 25 0 1 0 749687722 85766144 20002 4294967295 134512640 134714540 3221221792 3221220384 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20939 20002 1111 63 0 20876 0
vsize: 83756
[startup+720.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139043 0 0 0 71604 405 0 0 25 0 1 0 749687722 86036480 20071 4294967295 134512640 134714540 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 20071 1111 63 0 20942 0
vsize: 84020
[startup+730.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31310
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139048 0 0 0 72603 405 0 0 25 0 1 0 749687722 86036480 20076 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21005 20076 1111 63 0 20942 0
vsize: 84020
[startup+740.191 s]
Raw data (loadavg): 1.15 1.03 1.01 2/57 31351
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139063 0 0 0 73619 406 0 0 25 0 1 0 749687722 86171648 20091 4294967295 134512640 134714540 3221221792 3221220268 134613956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21038 20091 1111 63 0 20975 0
vsize: 84152
[startup+750.413 s]
Raw data (loadavg): 1.13 1.03 1.01 2/59 31353
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139132 0 0 0 74641 407 0 0 25 0 1 0 749687722 86441984 20160 4294967295 134512640 134714540 3221221792 3221220352 134696556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21104 20160 1111 63 0 21041 0
vsize: 84416
[startup+760.6 s]
Raw data (loadavg): 1.26 1.06 1.02 3/58 31358
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139153 0 0 0 75659 408 0 0 25 0 1 0 749687722 86441984 20181 4294967295 134512640 134714540 3221221792 3221220484 134528601 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21104 20181 1111 63 0 21041 0
vsize: 84416
[startup+770.6 s]
Raw data (loadavg): 1.45 1.11 1.03 2/55 31363
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139184 0 0 0 76658 409 0 0 25 0 1 0 749687722 86577152 20212 4294967295 134512640 134714540 3221221792 3221220384 134549686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21137 20212 1111 63 0 21074 0
vsize: 84548
[startup+781.016 s]
Raw data (loadavg): 1.38 1.10 1.03 2/55 31363
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139205 0 0 0 77699 409 0 0 25 0 1 0 749687722 86712320 20233 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21170 20233 1111 63 0 21107 0
vsize: 84680
[startup+791.244 s]
Raw data (loadavg): 1.33 1.10 1.03 2/55 31363
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139265 0 0 0 78722 410 0 0 25 0 1 0 749687722 86982656 20293 4294967295 134512640 134714540 3221221792 3221220624 134551447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21236 20293 1111 63 0 21173 0
vsize: 84944
[startup+801.245 s]
Raw data (loadavg): 1.27 1.10 1.03 2/55 31363
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139265 0 0 0 79721 411 0 0 25 0 1 0 749687722 86982656 20293 4294967295 134512640 134714540 3221221792 3221220624 134551454 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21236 20293 1111 63 0 21173 0
vsize: 84944
[startup+811.246 s]
Raw data (loadavg): 1.23 1.09 1.03 2/55 31363
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139265 0 0 0 80721 411 0 0 25 0 1 0 749687722 86982656 20293 4294967295 134512640 134714540 3221221792 3221220420 134696051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21236 20293 1111 63 0 21173 0
vsize: 84944
[startup+821.246 s]
Raw data (loadavg): 1.20 1.09 1.03 2/55 31363
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139326 0 0 0 81720 412 0 0 25 0 1 0 749687722 87248896 20354 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21301 20354 1111 63 0 21238 0
vsize: 85204
[startup+831.246 s]
Raw data (loadavg): 1.16 1.09 1.03 2/55 31363
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139326 0 0 0 82720 413 0 0 25 0 1 0 749687722 87248896 20354 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21301 20354 1111 63 0 21238 0
vsize: 85204
[startup+841.247 s]
Raw data (loadavg): 1.14 1.08 1.03 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139356 0 0 0 83719 413 0 0 25 0 1 0 749687722 87384064 20384 4294967295 134512640 134714540 3221221792 3221220496 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21334 20384 1111 63 0 21271 0
vsize: 85336
[startup+851.248 s]
Raw data (loadavg): 1.12 1.08 1.03 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139437 0 0 0 84719 414 0 0 25 0 1 0 749687722 87592960 20465 4294967295 134512640 134714540 3221221792 3221220560 134529381 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21385 20465 1111 63 0 21322 0
vsize: 85540
[startup+861.25 s]
Raw data (loadavg): 1.10 1.08 1.03 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139474 0 0 0 85718 415 0 0 25 0 1 0 749687722 87863296 20502 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21451 20502 1111 63 0 21388 0
vsize: 85804
[startup+871.25 s]
Raw data (loadavg): 1.08 1.07 1.02 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139501 0 0 0 86717 416 0 0 25 0 1 0 749687722 87863296 20529 4294967295 134512640 134714540 3221221792 3221220400 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21451 20529 1111 63 0 21388 0
vsize: 85804
[startup+881.251 s]
Raw data (loadavg): 1.07 1.07 1.02 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139518 0 0 0 87717 417 0 0 25 0 1 0 749687722 87998464 20546 4294967295 134512640 134714540 3221221792 3221220556 134552557 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21484 20546 1111 63 0 21421 0
vsize: 85936
[startup+891.252 s]
Raw data (loadavg): 1.06 1.07 1.02 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139567 0 0 0 88716 418 0 0 25 0 1 0 749687722 88231936 20595 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21541 20595 1111 63 0 21478 0
vsize: 86164
[startup+901.252 s]
Raw data (loadavg): 1.05 1.07 1.02 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139578 0 0 0 89716 418 0 0 25 0 1 0 749687722 88231936 20606 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21541 20606 1111 63 0 21478 0
vsize: 86164
[startup+911.253 s]
Raw data (loadavg): 1.04 1.06 1.02 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139594 0 0 0 90716 418 0 0 25 0 1 0 749687722 88231936 20622 4294967295 134512640 134714540 3221221792 3221220512 134524129 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21541 20622 1111 63 0 21478 0
vsize: 86164
[startup+921.254 s]
Raw data (loadavg): 1.03 1.06 1.02 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139603 0 0 0 91716 419 0 0 25 0 1 0 749687722 88367104 20631 4294967295 134512640 134714540 3221221792 3221220356 134542700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21574 20631 1111 63 0 21511 0
vsize: 86296
[startup+931.254 s]
Raw data (loadavg): 1.03 1.06 1.02 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139647 0 0 0 92715 420 0 0 25 0 1 0 749687722 88502272 20675 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21607 20675 1111 63 0 21544 0
vsize: 86428
[startup+941.255 s]
Raw data (loadavg): 1.02 1.06 1.02 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139660 0 0 0 93715 420 0 0 25 0 1 0 749687722 88502272 20688 4294967295 134512640 134714540 3221221792 3221220536 134672932 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21607 20688 1111 63 0 21544 0
vsize: 86428
[startup+951.255 s]
Raw data (loadavg): 1.02 1.05 1.02 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139672 0 0 0 94715 420 0 0 25 0 1 0 749687722 88637440 20700 4294967295 134512640 134714540 3221221792 3221220576 134528801 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21640 20700 1111 63 0 21577 0
vsize: 86560
[startup+961.255 s]
Raw data (loadavg): 1.02 1.05 1.02 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139688 0 0 0 95714 421 0 0 25 0 1 0 749687722 88637440 20716 4294967295 134512640 134714540 3221221792 3221220288 134535391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21640 20716 1111 63 0 21577 0
vsize: 86560
[startup+971.255 s]
Raw data (loadavg): 1.01 1.05 1.01 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139713 0 0 0 96714 421 0 0 25 0 1 0 749687722 88772608 20741 4294967295 134512640 134714540 3221221792 3221220340 134696760 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21673 20741 1111 63 0 21610 0
vsize: 86692
[startup+981.255 s]
Raw data (loadavg): 1.01 1.05 1.01 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139722 0 0 0 97713 422 0 0 25 0 1 0 749687722 88772608 20750 4294967295 134512640 134714540 3221221792 3221220420 134696296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21673 20750 1111 63 0 21610 0
vsize: 86692
[startup+991.256 s]
Raw data (loadavg): 1.01 1.05 1.01 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139722 0 0 0 98713 423 0 0 25 0 1 0 749687722 88772608 20750 4294967295 134512640 134714540 3221221792 3221220456 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21673 20750 1111 63 0 21610 0
vsize: 86692
[startup+1001.26 s]
Raw data (loadavg): 1.01 1.04 1.01 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139737 0 0 0 99713 423 0 0 25 0 1 0 749687722 88907776 20765 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21706 20765 1111 63 0 21643 0
vsize: 86824
[startup+1011.26 s]
Raw data (loadavg): 1.01 1.04 1.01 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139751 0 0 0 100713 423 0 0 25 0 1 0 749687722 88903680 20779 4294967295 134512640 134714540 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21705 20779 1111 63 0 21642 0
vsize: 86820
[startup+1021.26 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139778 0 0 0 101713 424 0 0 25 0 1 0 749687722 89038848 20806 4294967295 134512640 134714540 3221221792 3221220384 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21738 20806 1111 63 0 21675 0
vsize: 86952
[startup+1031.26 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 139884 0 0 0 102712 424 0 0 25 0 1 0 749687722 89485312 20912 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21847 20912 1111 63 0 21784 0
vsize: 87388
[startup+1041.26 s]
Raw data (loadavg): 1.00 1.04 1.01 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140185 0 0 0 103712 425 0 0 25 0 1 0 749687722 90697728 21213 4294967295 134512640 134714540 3221221792 3221220432 134613422 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22143 21213 1111 63 0 22080 0
vsize: 88572
[startup+1051.26 s]
Raw data (loadavg): 1.00 1.03 1.01 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140288 0 0 0 104711 426 0 0 25 0 1 0 749687722 91181056 21316 4294967295 134512640 134714540 3221221792 3221220464 134543681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22261 21316 1111 63 0 22198 0
vsize: 89044
[startup+1061.26 s]
Raw data (loadavg): 1.00 1.03 1.01 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140411 0 0 0 105710 427 0 0 25 0 1 0 749687722 91586560 21439 4294967295 134512640 134714540 3221221792 3221220456 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22360 21439 1111 63 0 22297 0
vsize: 89440
[startup+1071.26 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140463 0 0 0 106710 428 0 0 25 0 1 0 749687722 91856896 21491 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22426 21491 1111 63 0 22363 0
vsize: 89704
[startup+1081.26 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140557 0 0 0 107709 429 0 0 25 0 1 0 749687722 92262400 21585 4294967295 134512640 134714540 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22525 21585 1111 63 0 22462 0
vsize: 90100
[startup+1091.26 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140656 0 0 0 108708 430 0 0 25 0 1 0 749687722 92655616 21684 4294967295 134512640 134714540 3221221792 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22621 21684 1111 63 0 22558 0
vsize: 90484
[startup+1101.26 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140684 0 0 0 109708 430 0 0 25 0 1 0 749687722 92790784 21712 4294967295 134512640 134714540 3221221792 3221220400 134548843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22654 21712 1111 63 0 22591 0
vsize: 90616
[startup+1111.26 s]
Raw data (loadavg): 1.00 1.03 1.00 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140684 0 0 0 110707 431 0 0 25 0 1 0 749687722 92790784 21712 4294967295 134512640 134714540 3221221792 3221220432 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22654 21712 1111 63 0 22591 0
vsize: 90616
[startup+1121.26 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140688 0 0 0 111707 432 0 0 25 0 1 0 749687722 92790784 21716 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22654 21716 1111 63 0 22591 0
vsize: 90616
[startup+1131.26 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31365
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140760 0 0 0 112706 432 0 0 25 0 1 0 749687722 93057024 21788 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22719 21788 1111 63 0 22656 0
vsize: 90876
[startup+1141.26 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31367
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140778 0 0 0 113706 433 0 0 25 0 1 0 749687722 93159424 21806 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22744 21806 1111 63 0 22681 0
vsize: 90976
[startup+1151.26 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31367
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140815 0 0 0 114706 433 0 0 25 0 1 0 749687722 93294592 21843 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22777 21843 1111 63 0 22714 0
vsize: 91108
[startup+1161.26 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31367
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140877 0 0 0 115705 434 0 0 25 0 1 0 749687722 93564928 21905 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22843 21905 1111 63 0 22780 0
vsize: 91372
[startup+1171.26 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31367
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140919 0 0 0 116705 435 0 0 25 0 1 0 749687722 93700096 21947 4294967295 134512640 134714540 3221221792 3221220536 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22876 21947 1111 63 0 22813 0
vsize: 91504
[startup+1174.94 s]
Raw data (loadavg): 1.00 1.02 1.00 1/54 31367
Raw data (stat): 31310 (bsolo_mis) R 31309 7876 7672 0 -1 0 140919 0 0 0 116705 435 0 0 25 0 1 0 749687722 93700096 21947 4294967295 134512640 134714540 3221221792 3221220536 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22876 21947 1111 63 0 22813 0
vsize: 0

Child status: 0
Real time (s): 1174.93
CPU time (s): 1175.07
CPU user time (s): 1170.68
CPU system time (s): 4.39733
CPU usage (%): 100.012
Max. virtual memory (Kb): 91504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####