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:1-12,16.opb
MD5SUM	41edd2db35f2c8eb6d4b1f0a68a60338
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	102
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	6.63699
Number of variables	4662
Total number of constraints	36387
Number of constraints which are clauses	30696
Number of constraints which are cardinality constraints (but not clauses)	5613
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 24949

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 05:54:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3252 boxname=wulflinc31 idbench=362 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  41edd2db35f2c8eb6d4b1f0a68a60338  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-12,16.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-12,16.opb
IDLAUNCH: 3252
/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:        816188 kB
Buffers:         40720 kB
Cached:         155908 kB
SwapCached:       1932 kB
Active:         161156 kB
Inactive:        38616 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        815936 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            13032 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 06:14:27 (client local time) WITH STATUS 0 IN 1175.1 SECONDS
stats: 3252 7 1175.1 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4662 variables and 31899 constraints.
c After prepocess the problem consists of 4662 variables and 31899 constraints.
c preprocess terminated 46.432 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.95 0.97 2/55 31845
Raw data (stat): 31845 (runsolver) R 31844 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 750089222 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.96 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 28164 0 0 0 928 69 0 0 25 0 1 0 750089222 63918080 14668 4294967295 134512640 134714540 3221221792 3221220440 134532457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15605 14668 1111 63 0 15542 0
vsize: 62420
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 34029 0 0 0 1912 85 0 0 25 0 1 0 750089222 72331264 16722 4294967295 134512640 134714540 3221221792 3221220432 134606468 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16722 1111 63 0 17596 0
vsize: 70636
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 35567 0 0 0 2908 88 0 0 25 0 1 0 750089222 72331264 16722 4294967295 134512640 134714540 3221221792 3221220184 1077377411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16722 1111 63 0 17596 0
vsize: 70636
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38823 0 0 0 3901 96 0 0 25 0 1 0 750089222 72331264 16722 4294967295 134512640 134714540 3221221792 3221220432 134606456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16722 1111 63 0 17596 0
vsize: 70636
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.96 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38839 0 0 0 4900 96 0 0 25 0 1 0 750089222 72331264 16738 4294967295 134512640 134714540 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17659 16738 1111 63 0 17596 0
vsize: 70636
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 5899 98 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+70.0032 s]
Raw data (loadavg): 0.97 0.96 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 6898 99 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220380 134539223 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+80.0038 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 7897 100 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549463 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+90.0038 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 8896 101 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220512 134584757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 9896 102 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220396 134536787 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 10895 103 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220360 1077377885 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 11894 103 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 12894 104 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 13893 105 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 14893 106 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220448 134543740 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 15892 106 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 16892 107 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220424 134696049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 17892 107 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 18892 107 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220336 134543003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 19891 108 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220540 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 20891 108 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 21890 109 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220344 134696493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 22890 110 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220424 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 23890 110 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220348 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 24889 111 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220524 134554912 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 25889 112 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 26889 112 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 27889 112 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220600 134558617 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 28888 113 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 29888 113 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220520 134552622 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+310.588 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 31845
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 30945 114 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220396 134536769 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+320.687 s]
Raw data (loadavg): 1.07 0.99 0.98 3/58 31881
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 31955 114 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+330.944 s]
Raw data (loadavg): 1.14 1.00 0.98 2/59 31888
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 32981 114 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+341.108 s]
Raw data (loadavg): 1.19 1.02 0.99 3/58 31894
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 33996 115 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+351.42 s]
Raw data (loadavg): 1.32 1.05 1.00 3/59 31898
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 35027 115 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+361.421 s]
Raw data (loadavg): 1.27 1.05 1.00 2/55 31898
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 36027 116 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+371.421 s]
Raw data (loadavg): 1.30 1.06 1.00 2/55 31898
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 37027 116 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+381.422 s]
Raw data (loadavg): 1.25 1.06 1.00 2/55 31898
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 38027 117 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220336 134696505 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+391.422 s]
Raw data (loadavg): 1.21 1.06 1.00 2/55 31898
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 39026 117 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+401.423 s]
Raw data (loadavg): 1.18 1.06 1.00 2/55 31898
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 40026 118 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220188 1077379843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+411.423 s]
Raw data (loadavg): 1.15 1.05 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 41025 118 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220600 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+421.423 s]
Raw data (loadavg): 1.13 1.05 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 42025 119 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+431.424 s]
Raw data (loadavg): 1.11 1.05 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 43025 119 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220384 134549578 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+441.424 s]
Raw data (loadavg): 1.09 1.05 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 44024 120 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220496 134524573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+451.425 s]
Raw data (loadavg): 1.08 1.05 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 45024 120 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+461.426 s]
Raw data (loadavg): 1.06 1.04 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 46024 121 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221219864 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+471.425 s]
Raw data (loadavg): 1.05 1.04 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 47024 121 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+481.425 s]
Raw data (loadavg): 1.05 1.04 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 48023 122 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220416 134536675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+491.426 s]
Raw data (loadavg): 1.04 1.04 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 49023 123 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220384 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+501.426 s]
Raw data (loadavg): 1.03 1.04 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 50022 123 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220428 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+511.427 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 51022 123 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+521.427 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 52022 124 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220348 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+531.427 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 53021 125 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+541.427 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 54021 125 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220432 134539374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+551.428 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 55021 125 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+561.428 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 56021 126 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220444 134539582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+571.428 s]
Raw data (loadavg): 1.01 1.03 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 57021 126 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220512 134523874 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+581.429 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 58021 126 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+591.43 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 59020 127 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220348 134539337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+601.431 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 60020 127 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+611.431 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 61020 128 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+621.431 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 62020 128 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+631.431 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 63019 129 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220492 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+641.431 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31900
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 64019 129 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220288 134697287 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+651.432 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 65019 129 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549474 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+661.433 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 66019 129 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220432 134539460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+671.433 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 67019 130 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+681.433 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 68018 131 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+691.434 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 69018 131 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220412 134549859 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+701.435 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 70017 132 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+711.434 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 71017 132 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220432 134539419 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+721.434 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 72017 133 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220416 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+731.435 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 73017 133 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220544 134594947 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+741.435 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 74017 133 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220416 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+751.436 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 75017 134 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220300 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+761.437 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 76016 134 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220400 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+771.437 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 77016 135 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220348 134539265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+781.438 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 78016 135 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+791.438 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38841 0 0 0 79016 135 0 0 25 0 1 0 750089222 72331264 16740 4294967295 134512640 134714540 3221221792 3221220396 134536839 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17659 16740 1111 63 0 17596 0
vsize: 70636
[startup+801.439 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38975 0 0 0 80015 136 0 0 25 0 1 0 750089222 72994816 16874 4294967295 134512640 134714540 3221221792 3221220528 134523930 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17821 16874 1111 63 0 17758 0
vsize: 71284
[startup+811.439 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38975 0 0 0 81015 136 0 0 25 0 1 0 750089222 72994816 16874 4294967295 134512640 134714540 3221221792 3221220284 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17821 16874 1111 63 0 17758 0
vsize: 71284
[startup+821.439 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 38997 0 0 0 82015 137 0 0 25 0 1 0 750089222 72994816 16896 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17821 16896 1111 63 0 17758 0
vsize: 71284
[startup+831.44 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39032 0 0 0 83015 137 0 0 25 0 1 0 750089222 73129984 16931 4294967295 134512640 134714540 3221221792 3221220348 134535634 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17854 16931 1111 63 0 17791 0
vsize: 71416
[startup+841.439 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39062 0 0 0 84014 138 0 0 25 0 1 0 750089222 73265152 16961 4294967295 134512640 134714540 3221221792 3221220576 134529097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17887 16961 1111 63 0 17824 0
vsize: 71548
[startup+851.441 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39062 0 0 0 85014 138 0 0 25 0 1 0 750089222 73265152 16961 4294967295 134512640 134714540 3221221792 3221220348 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17887 16961 1111 63 0 17824 0
vsize: 71548
[startup+861.442 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39100 0 0 0 86014 138 0 0 25 0 1 0 750089222 73400320 16999 4294967295 134512640 134714540 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17920 16999 1111 63 0 17857 0
vsize: 71680
[startup+871.443 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39108 0 0 0 87014 139 0 0 25 0 1 0 750089222 73535488 17007 4294967295 134512640 134714540 3221221792 3221220284 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17953 17007 1111 63 0 17890 0
vsize: 71812
[startup+881.448 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39150 0 0 0 88014 139 0 0 25 0 1 0 750089222 73596928 17049 4294967295 134512640 134714540 3221221792 3221220564 134529109 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17968 17049 1111 63 0 17905 0
vsize: 71872
[startup+891.448 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39150 0 0 0 89014 140 0 0 25 0 1 0 750089222 73596928 17049 4294967295 134512640 134714540 3221221792 3221220440 1077374049 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17968 17049 1111 63 0 17905 0
vsize: 71872
[startup+901.449 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39162 0 0 0 90014 140 0 0 25 0 1 0 750089222 73732096 17061 4294967295 134512640 134714540 3221221792 3221220544 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18001 17061 1111 63 0 17938 0
vsize: 72004
[startup+911.449 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39251 0 0 0 91013 141 0 0 25 0 1 0 750089222 74129408 17150 4294967295 134512640 134714540 3221221792 3221220408 134549509 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18098 17150 1111 63 0 18035 0
vsize: 72392
[startup+921.449 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39251 0 0 0 92013 141 0 0 25 0 1 0 750089222 74129408 17150 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18098 17150 1111 63 0 18035 0
vsize: 72392
[startup+931.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39251 0 0 0 93013 141 0 0 25 0 1 0 750089222 74129408 17150 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18098 17150 1111 63 0 18035 0
vsize: 72392
[startup+941.451 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39251 0 0 0 94013 142 0 0 25 0 1 0 750089222 74129408 17150 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18098 17150 1111 63 0 18035 0
vsize: 72392
[startup+951.452 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39296 0 0 0 95012 143 0 0 25 0 1 0 750089222 74248192 17195 4294967295 134512640 134714540 3221221792 3221220352 134542306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18127 17195 1111 63 0 18064 0
vsize: 72508
[startup+961.453 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39319 0 0 0 96012 143 0 0 25 0 1 0 750089222 74383360 17218 4294967295 134512640 134714540 3221221792 3221220348 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18160 17218 1111 63 0 18097 0
vsize: 72640
[startup+971.453 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39353 0 0 0 97012 143 0 0 25 0 1 0 750089222 74506240 17252 4294967295 134512640 134714540 3221221792 3221220560 134592137 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18190 17252 1111 63 0 18127 0
vsize: 72760
[startup+981.453 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39353 0 0 0 98011 144 0 0 25 0 1 0 750089222 74506240 17252 4294967295 134512640 134714540 3221221792 3221220400 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18190 17252 1111 63 0 18127 0
vsize: 72760
[startup+991.453 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39353 0 0 0 99011 144 0 0 25 0 1 0 750089222 74506240 17252 4294967295 134512640 134714540 3221221792 3221220400 134549296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18190 17252 1111 63 0 18127 0
vsize: 72760
[startup+1001.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39393 0 0 0 100011 145 0 0 25 0 1 0 750089222 74641408 17292 4294967295 134512640 134714540 3221221792 3221220340 134696446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18223 17292 1111 63 0 18160 0
vsize: 72892
[startup+1011.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39393 0 0 0 101010 146 0 0 25 0 1 0 750089222 74641408 17292 4294967295 134512640 134714540 3221221792 3221220552 134523849 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18223 17292 1111 63 0 18160 0
vsize: 72892
[startup+1021.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39446 0 0 0 102010 146 0 0 25 0 1 0 750089222 74911744 17345 4294967295 134512640 134714540 3221221792 3221220384 134549764 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18289 17345 1111 63 0 18226 0
vsize: 73156
[startup+1031.45 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39486 0 0 0 103010 147 0 0 25 0 1 0 750089222 75046912 17385 4294967295 134512640 134714540 3221221792 3221220552 134592382 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18322 17385 1111 63 0 18259 0
vsize: 73288
[startup+1041.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39486 0 0 0 104010 147 0 0 25 0 1 0 750089222 75046912 17385 4294967295 134512640 134714540 3221221792 3221220356 134535986 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18322 17385 1111 63 0 18259 0
vsize: 73288
[startup+1051.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39494 0 0 0 105010 147 0 0 25 0 1 0 750089222 75046912 17393 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18322 17393 1111 63 0 18259 0
vsize: 73288
[startup+1061.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39569 0 0 0 106010 148 0 0 25 0 1 0 750089222 75206656 17442 4294967295 134512640 134714540 3221221792 3221220584 134558579 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18361 17442 1111 63 0 18298 0
vsize: 73444
[startup+1071.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39569 0 0 0 107010 148 0 0 25 0 1 0 750089222 75206656 17442 4294967295 134512640 134714540 3221221792 3221220428 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18361 17442 1111 63 0 18298 0
vsize: 73444
[startup+1081.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39634 0 0 0 108009 148 0 0 25 0 1 0 750089222 75603968 17507 4294967295 134512640 134714540 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18458 17507 1111 63 0 18395 0
vsize: 73832
[startup+1091.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39675 0 0 0 109009 149 0 0 25 0 1 0 750089222 75563008 17525 4294967295 134512640 134714540 3221221792 3221220428 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18448 17525 1111 63 0 18385 0
vsize: 73792
[startup+1101.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39714 0 0 0 110008 150 0 0 25 0 1 0 750089222 75833344 17564 4294967295 134512640 134714540 3221221792 3221220432 134696092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18514 17564 1111 63 0 18451 0
vsize: 74056
[startup+1111.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39714 0 0 0 111008 150 0 0 25 0 1 0 750089222 75833344 17564 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18514 17564 1111 63 0 18451 0
vsize: 74056
[startup+1121.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39714 0 0 0 112008 151 0 0 25 0 1 0 750089222 75833344 17564 4294967295 134512640 134714540 3221221792 3221220524 134552631 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18514 17564 1111 63 0 18451 0
vsize: 74056
[startup+1131.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39714 0 0 0 113008 151 0 0 25 0 1 0 750089222 75833344 17564 4294967295 134512640 134714540 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18514 17564 1111 63 0 18451 0
vsize: 74056
[startup+1141.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39745 0 0 0 114008 151 0 0 25 0 1 0 750089222 75833344 17595 4294967295 134512640 134714540 3221221792 3221220552 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18514 17595 1111 63 0 18451 0
vsize: 74056
[startup+1151.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39768 0 0 0 115007 152 0 0 25 0 1 0 750089222 75968512 17618 4294967295 134512640 134714540 3221221792 3221220348 134535952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18547 17618 1111 63 0 18484 0
vsize: 74188
[startup+1161.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39792 0 0 0 116007 152 0 0 25 0 1 0 750089222 76095488 17642 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18578 17642 1111 63 0 18515 0
vsize: 74312
[startup+1171.46 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39814 0 0 0 117007 153 0 0 25 0 1 0 750089222 76230656 17664 4294967295 134512640 134714540 3221221792 3221220400 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18611 17664 1111 63 0 18548 0
vsize: 74444
[startup+1174.97 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 31902
Raw data (stat): 31845 (bsolo_mis) R 31844 7876 7672 0 -1 0 39814 0 0 0 117007 153 0 0 25 0 1 0 750089222 76230656 17664 4294967295 134512640 134714540 3221221792 3221220400 134549318 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18611 17664 1111 63 0 18548 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.1
CPU user time (s): 1173.54
CPU system time (s): 1.56576
CPU usage (%): 100.012
Max. virtual memory (Kb): 74444
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####